Adamm: sin2x=2cosx*sinx
o ile sinx≠0 to mamy
| x | | x | | x | |
cos( |
| )*cos( |
| )*...*cos( |
| )= |
| 2 | | 4 | | 2n | |
| sinx | | sin(x/2) | | sin(x/2n−1) | |
= |
| * |
| *...* |
| = |
| 2sin(x/2) | | 2sin(x/4) | | 2sin(x/2n) | |
| sinx*(x/2n) | | sinx | |
= |
| → |
| |
| x*sin(x/2n) | | x | |
o ile x≠0 oraz sin(x/2
i)≠0 dla i=1, 2, ...
jeśli sin(x/2
i)=0 dla pewnego i=1, 2, ..., to x=2
iπk
0
cos(x/2
i+1)=0 to x=2
iπ+2
i+1k
1π więc dla nieparzystych k
0 mamy równość
dla parzystych k
0 mamy sin(x/2
i+1)=0 i wtedy się powtarza
ale k
0 nie może być parzyste w nieskończoność
więc dla pewnego j mamy cos(x/2
j)=0
i cała granica dąży do 0
| sinx | |
odp. |
| dla x≠0 oraz sin(x/2i)≠0 dla i=1, 2, ... |
| x | |
w przeciwnym wypadku 0