338
V. Funkcje wielu zmiennych
Jeśli przy M-*M0 dąży do zera stosunek MKlp, to tym bardziej jest to słuszne dla stosunku MK/r, ponieważ r>p. Załóżmy teraz, że MK/r dąży do zera i udowodnimy, że wówczas dąży również do zera MKlp. W tym celu wystarczy udowodnić, że przy M-*M0 stosunek rjp pozostaje ograniczony.
Odcinek MK równa się z dokładnością do znaku wyrażeniu
z-Z = z-z0-A(x-x0)-B(y-y0) lub, jeśli wprowadzimy oznaczenia
x-x0=Ax, y-y0=Ay, z-zc=Az=Af(x0,y0),
"'yraŻ“iu Jz-(AJx+BJy).
Wobec przyjętego założenia będziemy mieli (przynajmniej dla punktów M dostatecznie bliskich M„):
\Az—(AAx+BAy)\<łr=$\jAx2 + Ay2+Az1,
tak że
\*y 1! 1
P 2
2
lub po wzmocnieniu nierówności
Stąd . ,
a zatem
<2<|'i|+|b|+i)'
co było do udowodnienia.
Tak więc płaszczyzna (6) będzie styczna do powierzchni wtedy i tylko wtedy, gdy stosunek
Az—(AAx + BAy)
P
dąży do zera wraz z p, tj. gdy zachodzi równość
Az = Af(x0, y0) = AAx + BAy + o(p)
(porównaj (4)).
Dochodzimy do ostatecznego wniosku. Na to, by powierzchnia z=f{x, y) miała w punkcie M0(x0, y0, z0), gdzie z0=f(x0,y0), płaszczyznę styczną(ł), potrzeba i wystarcza, żeby w punkcie x=x0, y—y0 funkcja f(x,y) była róźniczkowalna.
O Mamy na myśli płaszczyznę hie równoległą do osi z.