独立と見なすことはできない。極値条件も(c.2)を満たすようにとらなければならない。束縛条件が一つあるとき系の自由度は一つ減っている。0(c.3)のものに限られる。置くわけにはいかない。0(c.4)を考える。(c.1)と(c.3)が成り立つ限り(c.4)も成り立つ。消えるようにすることができる。0(A2・50)(c.5)と選べばよい。このときのλは(c.5)を満たすものである。0j=1~f-1(A2・52)(c.7)である。0j=1~f(A2・53)(c.8)となる。条件(c.2)のもとで極値をとる。Lagrange(ラグランジュ)の未定乗数という。いう新しい関数の単なる極値問題に置き換えることができる。0j=1~f(c.8)ここで注意すべき事は、仮に極値をとるとした場合(c.8)という式を満たさなければならない、ということを述べているだけだということ、つまり、必要条件しか示していない、という点だ。極値であれば(c.8)を満たすが、(c.8)を満たすからといって、極値になるとは限らない。