ある関数の積分F(x, y, dy/dx)を考えます。その差異をδFとするとこれが極値を持つ条件というのを考えてその導関数の変分を取ります。その変分は微分と入れ替えることができそれに今度は全微分の公式を適用します。