>>896
すみません 自己解決しました

最初は
長さ汎関数を
L[f] ≧ ∫[0,2π] sin(f(φ)) dφ
として不等式で小さくしてラグランジュ乗数法で変分してますが、その変分=0ともとの汎関数の変分=0で一致する理由はなんだろうかと思ったのですが
λが正でかつ最大問題を求めるのでそれで下からの汎関数で考えれば十分なんですね