407
§ 3. Zastosowania
a następnie różniczkujemy otrzymany szereg wyraz za wyrazem:
ri— 1
Ponieważ majorantą szeregu pochodnych* jest ciąg geometryczny zbieżny, więc różniczkowanie wyraz za wyrazem jest uzasadnione.
9) W 408 wprowadziliśmy rozwinięcie sin x w iloczyn nieskończony
sin x — x
n-l
Biorąc wartości bezwzględne otrzymujemy stąd
|sin*b=
nm 1 1
Jeśli x jest różne od liczb postaci kn (k = 0, ± 1, ±2...), to logarytmując otrzymamy szereg nieskończony
In fsin x| = ln |jr| + lnll--7—
I n2n2
n— 1
Różniczkując wyraz za wyrazem otrzymamy następujące rozwinięcie:
££ii = c.g^ = ±+y-r2£rr.
sin x x £—i x2 — n2n2
fl— 1
Dla uzasadnienia takiego postępowania wystarczy się przekonać, że otrzymany szereg jest zbieżny jednostajnie w dowolnym przedziale skończonym domkniętym, nie zawierającym punktów postaci kn. Rzeczywiście, gdy x pozostaje w tym przedziale, jego wartość bezwzględna jest ograniczona \x\<M, więc (przynajmniej dla n> M/n) zachodzi nierówność
2x
2M
= 2 W <
nhr2-WJ n2n2-M2
Ponieważ szereg
CO
2M
n2n2 — M2
jest zbieżny, więc żądany wynik otrzymujemy korzystając z kryterium Weierstrassa. Rozwinięciu ctg x można nadać postać
= Ctg X
-rm x+nn /
cos x sin x
w tej postaci jest ono jak gdyby rozkładem ctg x na ułamki proste odpowiadające poszczególnym pierwiastkom 0 i +rm mianownika sin x.
Ze wzoru tg x = —ctg (x— y 7t) można otrzymać rozkład tg x na ułamki proste
tgx =
_j_
2n— 1
2
, 2n—1 XĄ--n
2
00
l—E-
r2-
2x
(2it-l)2n2
4