136
II. Funkcje jednej zmiennej
w zależności od tego, czy
czy
1. Zajmiemy się najpierw przypadkiem (a).
Ponieważ 0</(c)<l, to znajdziemy takie 0 (0<0<łit), że
(12) y(c>—cos 0.
Sprowadzając następnie warunek (E) do postaci
podstawiajmy w nim kolejno
x=c, |
y—c. |
x=c, |
y=2c, |
X =c, Otrzymujemy, uwzględniając (10) i (12) |
y—3c |
/(2c)=2cos2 0—1 |
=cos2tf, |
/(3c)=2 cos 0 cos 2 0—cos 0=cos 3 0,
/(4c)=2cos0cos3 0—cos20=cos40
itd. Korzystając z metody indukcji matematycznej łatwo dowodzimy dla dowolnego naturalnego m wzoru
(13) f(mc) = cos m0.
Jeżeli w (E) przyjmiemy x=y=ic, to otrzymujemy (znowu uwzględniając (10) i (12)):
r/vi m* /(°)+/(c) l+cos6> ,
[/(ic)] =---= —---=[cosi0]2 ;
ponieważ wartości f(x) są dodatnie między x=Q i x=c, a funkcja cos x — pomiędzy 0 i 0, więc wyciągając po obu stronach pierwiastki arytmetyczne otrzymujemy równość:
/(i c)=cosi 0.
1
Podobnie, podstawiając w (E) x=y—^c znajdujemy, że
itd. W ten sposób przez indukcję matematyczną otrzymujemy ogólny związek
(14) /(?C)=cos^® (« = 1,2,3,...).
Powtarzając wreszcie proces, za pomocą którego przeszliśmy od (12) do (13), otrzymujemy z (14) równość