421
§ 3. Niektóre zastosowania teorii funkcji uwikłanych
Współczynnik proporcjonalności łatwo jest obliczyć z warunku dodatkowego
a
P
e
Ityfjt •
X
Jeśli stosuje się metodę Lagrange’a, trzeba zbudować funkcję pomocniczą ('):
f(<7i, <72, <7„) = /i ql + ... + l„q, + X1
i przyrównać do zera jej pochodne
\
)
—0,
=0.
SF X2l1J1
--‘1 2~
oq i q i
dF X2lnJ„ 3<?»
Otrzymamy stąd znowu równości (12), itd.
y2
4) Jako bardziej złożony przykład rozpatrzymy następujące zadanie. Elipsoida trójosiowa —I---h
zi a2 b2
■f--=1 (a>b>c) jest przekrojona płaszczyzną lx+my+nz=0 przechodzącą przez jej środek. Trzeba
c2
znaleźć półosie elipsy otrzymanej w przekroju. Inaczej mówiąc, trzeba znaleźć wartości ekstremalne funkcji r2 = x2+y2+z2, której zmienne spełniać muszą dwa dodatkowe warunki — równania elipsoidy i płaszczyzny.
Metoda rugowania różniczek zmiennych zależnych [211] prowadzi tu do skomplikowanych rachunków, dlatego też zastosujemy od razu metodę Lagrange'a.
Aby się przekonać, że rząd macierzy
X |
y |
Z |
~~2 a |
b2 |
c7 |
./ |
m |
n |
jest równy 2 we wszystkich punktach przecięcia elipsoidy i płaszczyzny (2) załóżmy, że jest przeciwnie. Byłyby zatem równe zeru wszystkie wyznaczniki drugiego stopnia tej macierzy i wobec tego elementy jej pierwszego wiersza byłyby proporcjonalne do elementów drugiego wiersza. Tym samym równanie
x2 y2 z2
lx+my+nz = 0 pociągałoby za sobą równanie —I---1—-=0, co jest niemożliwe.
a2 b2 c2
Tworzymy funkcję pomocniczą
jx2 y2 z2 \
F(x, y, z)=x2 + y2 + z2+X\-ji+^ + -^\+2iz(lx+my+nz) i przyrównujemy do zera jej pochodne
(13) x+X -r+ji/=0 , y+X-^+/tm=0, z+X —+pn*=0 .
a b c
Mnożąc te równania odpowiednio przez x, y, z, dodając stronami i korzystając następnie z równań sfery i płaszczyzny, otrzymujemy X=—r2.
Załóżmy, że żadna z liczb /, m, n nie jest równa zeru. Z równań (13) wynika wówczas, że r nie jest równe żadnej z liczb a, b, c i równania te możemy wobec tego napisać w postaci
y— —p~.
mb2
z=-(i
(‘) Czynnik nieoznaczony bierzemy tu dla wygody w postaci X2 i włączamy do niego stałą p. (2) Zobacz uwagę w ustępie 212.