Fit/Y,'^' f
V Ti x/4 T /
Traktując lewą stronę równości jako funkcję jednej zmiennej x i stosując twierdzenie o różniczkowaniu takiej funkcji otrzymamy:
dx dx dy ax hy(x,yj
dF dx + dF
Różniczkując powyższą równość stronami po zmiennej x, otrzymamy wzór na drugą pochodną funkcji uwikłanej jednej zmiennej:
\ y W" /CM3
Wykorzystując wzór na pierwszą pochodną funkcji uwikłanej oraz twierdzenie Fermata (warunek konieczny istnienia ekstremum) możemy podać warunki, na podstawie których możemy wyznaczyć punkty stacjonarne:
18 MAT2 Mechatronika Jan Nawrocki