315
7.7. Funkcje wielu zmiennych
^ : współczynniki O,, nazywane współrzędnymi baryccntrycznymi punktu F. wyznacza
^"Stępującego układu meosobliwcgo równań
0,X, + $2X2+&3X1
\0| + 0J +^3
(1.
Wnę,r/C trójkąta 7'charakteryzują nierówności
W pm przypadku F jest środkiem ciężkości dla trzech mas Bt, B2, 65 umieszczonych w wierzchołkach trójkąta (tłumaczy to nazwę „współrzędne baryeentryczne”) Równanie g.^ff określa bok P2F3 trójkąta i podobnie jest dla dwóch pozostałych
Jcś?i u jest funkcją liniową niejednorodną punktu P, tzn. jeśli u( P) = aJP ±b, to - jak czytelnik może sprawdzić -
(77.15) u{P\=0} u{P-i)+6iu(P2) + $}U(P3) •
Jest to wzór interpolacji liniowej na siatce trójkątnej. Aby otrzymać interpolację kwadratową definiujemy wielkości
Niech będzie uy-uiPj.
Twierdzenie 7.7.1. Wzór interpolacyjny
jeśt dokładny dla wszystkich wielomianów drugiego stopnia.
Dow ód Prawa strona tego wzoru (oznaczmy ją chwilowo PS) jest funkcją kwadratową punktu F. gdyż z (7.7.14) wynika, źe % są funkcjami liniowym: (niejednorodnymi) zmiennych a-, y (zob. też zadanie 8). Pozostaje wykazać, że PS jest równe u{ P) dla P-F, ; ^-(F,-t F;)/2 <U=1,2,3).
D!a F = F, mamy
0i=l, Oj—0 C/#<),
Wi^ PS = «j. Dla F=(F, + P}){2 mamy
0i = (j=i. ^=0 (kći.kćjf.
wiec
PS = ius. + 4ay-.2-l-|[uł+ui-2u(i(F.. + Fi))J = u(i(Fi-EF^)
Poniższe twierdzenie jest równoważne regule używanej w mechanice już w dziewiętnas-wieku do obiiczania momentów bezwładności:
Sierdzenie: 7.7.2. Wzór całkowania
C77-I7) fekie a
jest polem trójkąta Tj jest dokładny dla wszystkich wielomianów stopnia drugiego.