On veut trouver les valeurs extremales de
sous la contrainte que
soit nulle.
. Il reste à déterminer la nature des points obtenus.
,
pour lesquels
On se pose le même problème pour
sachant que
est nul.
On trouve
où l'on a posé
.03
f:='f' : g:='g' : phi:= f(x,y)+mu*g(x,y) ;
defab:= k=series(a*h+b*h^2/2,h) ; g(x+h,y+k) ; mtaylor(%,[h,k],3) : subs(defab, %) : convert(series(%,h,3), polynom) :
valab:= solve({coeffs(%,h)},{g(x,y),a,b}) ;
MULTILINE
mtaylor(f(x+h,y+k), [h,k],3) : tmp:= series(subs(defab, valab, %), h, 3)
;
MULTILINE
\begin{flushleft}Onveut que les deux surfaces soient tangentes\end{flushleft}
lag_rule:= expand(coeff(tmp,h,1)/D[1](g)(x,y)) ;
coeff(tmp,h^2) : collect(%, [D[1,1](g)(x,y)] ) ;
MULTILINE
grf:= map2(diff,phi,[x,y,mu]) ;