494
VII. Zastosowania rachunku różniczkowego do geometrii
Jeżeli dla x=x0 wstawimy wszędzie w tych równaniach zamiast g(x0), g'(x0).....
g<n)(xo) odpowiednio /(x0),/'(x0), ...,f(n)(x0), to otrzymamy równania
G(x0,f(x 0))=0,
G'x(x0, f(x0))+G;(x0 , f(x0))f'(x p)=0, +2G"/'(x0)+g;2[/'(x0)]2+g;/"(x0)=o ,
G(;J + ... + G’yf^\xo)=0,
które są całkowicie równoważne warunkom (13).
Aby równaniom tym nadać bardziej przejrzystą formę, wprowadzimy oznaczenie
(16) <P(x)=G(x,/(x)).
Możemy je teraz napisać w postaci
Jeżeli więc w punkcie o odciętej x0 spełnione są równania (17), to krzywa (15) ma z krzywą y =/(x) styczność rzędu nie mniejszego niż n.
Nietrudno dostrzec, że rząd styczności jest dokładnie równy n, gdy oprócz tego
(18) 0(B+1)(xo)#O.
243. Krzywa ściśle styczna. Załóżmy teraz, że dana jest nie jedna krzywa (15), lecz (n+l)-parametrowa rodzina krzywych
n+ 1
(19) G(x, y,a,b...../)=0.
Naturalne jest teraz pytanie, czy można dobierając odpowiednie wartości parametrów wybrać z tej rodziny taką krzywą, która by miała z daną krzywą y=f(x) w danym jej punkcie M0(x0, / (x0)) najwyższy rząd styczności spośród wszystkich krzywych rodziny.
Krzywą taką nazywa się ściśle styczną do danej krzywej w punkcie M0. Ściślej należałoby powiedzieć: krzywa ściśle styczna spośród krzywych danej rodziny, bo dla jednej, oddzielnie wziętej krzywej (15), termin ten nie ma sensu.
Dla znalezienia krzywej ściśle stycznej wprowadźmy oznaczenia analogiczne do (16):
#(x, a, b, ..., /)=G(x,/(x), a, b,...,/)
i napiszmy warunki analogiczne do (17):
(20) <P(x0, a, b, ..., /)=0, $’x(x0, a, b,.0..... ^Xn(x0, a, b,..., /)=0.
Otrzymaliśmy układ n+1 równań o n+\ niewiadomych a, b, ..., I. Ten układ równań zazwyczaj określa jednoznacznie układ wartości parametrów i w ten sposób znajdujemy krzywą ściśle styczną mającą rząd styczności nie niższy niż n.