156
X. Zastosowania rachunku całkowego
Na mocy (14) mamy— Kt
(15)
-J— dla wszystkich s. tzn. [270, (2)] 1^2
d<x, _ dx2 ds ds
Oprócz tego z założenia mamy dla s = 0
(16) i |
xi = *2 |
(17) |
a, |
Z równości (15) w myśl wniosku z ustępu 131 wynika, że kąty at i oc2 mogą się różnić tylko o stałą; ale jak widzieliśmy, dla s = 0 są one takie same, a więc równość (17) zachodzi dla każdego Wobec tego mamy dla wszystkich wartości parametru s
dx, dx2
—:— = cos a, = cos a, = —■— . ds ds
Stąd w analogiczny sposób stwierdzamy, że także równości (16) zachodzą zawsze, a to znaczy, że krzywe pokrywają się.
Pokażemy teraz, jak z równania naturalnego krzywej otrzymać jej równania para-
j
metryczne. Przede wszystkim z (14) mamy — = g(s), a zatem
ds
(18)
a = f g(s)ds + oc0 ,
O
gdzie a0 jest pewną stałą. Całkując następnie stronami równości
x
dx — cos a ds, dy = sin a ds,
S
/
cos ads+x0,
y = J sina t/s+y0 »
o
gdzie x0 i yQ oznaczają nowe stałe.
Nietrudno zauważyć, że obrót krzywej powoduje zmianę stałej a0, a przesunięcie równoległe krzywej jest związane ze zmianą stałych x0 i y0 ('). Jeśli wszystkie te stałe są zerami, to oczywiście krzywa jest położona tak, że punkt, od którego liczymy długość luku, pokrywa się z początkiem układu współrzędnych, a dodatni kierunek stycznej do krzywej w tym punkcie — z dodatnim kierunkiem osi x.
(') Odwracając te rozumowania otrzymujemy łatwo nowy dowód wypowiedzianego wyżej twierdzenia.