516
VII. Zastosowania rachunku różniczkowego do geometrii
Wzory (10) można stosować i w przypadku, gdy krzywa dana jest równaniem biegunowym r=g(0) przyjmując jak zwykle kąt d za parametr.
Jeżeli porównamy wyprowadzone przed chwilą wzory (lOa) ze wzorami na punkt rozgraniczający na normalnej, znalezionymi przy rozwiązywaniu zadania w ustępie 137 (rys. 62), to przekonamy się, że punkt rozgraniczający pokrywa się ze środkiem krzywizny.
Jeszcze ważniejszy wynik otrzymamy, jeżeli porównamy wzory (lOa) i (7a) ze wzorami (22) i (23) z ustępu 243. Mianowicie koło krzywiznowe krzywej w danym punkcie jest po prostu kołem ściśle stycznym. Innymi słowami, koło krzywiznowe w punkcie M krzywej jest granicznym położeniem okręgu przechodzącego przez trzy punkty krzywej dążące do punktu M [244],
Wynik ten można było przewidzieć. W przypadku, gdy rząd styczności krzywej z okręgiem jest równy dwa, rzędna y i pochodne y' i y” w punkcie styczności mają te same wartości dla obu krzywych Tym samym krzywizny i kierunki wypukłości obu krzywych pokrywają się w tym punkcie, bo zależą tylko od wartości tych pochodnych.
254. Definicja ewoluty i ewolwenty; znajdowanie ewoluty. Jeżeli punkt M(x, y) przesuwa się wzdłuż krzywej, to odpowiadający mu środek krzywizny S(£, tj) opisuje na ogół także pewną krzywą. Miejsce geometryczne środków krzywizny danej krzywej będziemy nazywali jej ewolutą. Samą zaś krzywą wyjściową będziemy nazywali ewolwentą krzywej, będącej jej ewolutą.
Wzory (10) lub (lOa) z poprzedniego ustępu, wyrażające współrzędne £, t] środka krzywizny C przez parametr t lub x, można rozpatrywać jako gotowe już parametryczne równania ewoluty. Często wygodnie jest wyrugować z nich parametr i przedstawić ewolutę równaniem uwikłanym
Przykład 1. Znaleźć ewolutę paraboli y2 = 2px. Korzystając z otrzymanych wyżej [252, 8)] wyników
yy'=p, y3y''=-p2
znajdujemy współrzędne środka krzywizny ze wzorów (lOa):
y2+(yy)2 y2+p2 3 y2
Ś=x-yy'-——=x +-= 3x+/» = -- +p ,
y3y p 2p
y +(yy) y 2 2 y
tf=y+y ■ v ;—=y--- (y +p )=--i.
Zatem, gdy y jest parametrem, równaniami parametrycznymi ewoluty paraboli są równania
3/
{=—+P, *=
y
p
3
Rugując z tych równań y otrzymujemy
2 •