Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 155<br />
12.8.7. Jeżeli p 1 , p 2 , . . . , p s są parami różnymi liczbami pierwszymi, to<br />
(<br />
)<br />
Φ r p 1<br />
1 p r 2<br />
2 ···p rs (x) = Φ p s 1 p 2···p s<br />
x pr 1 −1<br />
1 p r 2 −1<br />
2 ···p rs−1<br />
s<br />
.<br />
12.8.8. Niech r(n) oznacza iloczyn wszystkich liczb pierwszych dzielących liczbę naturalną n.<br />
Zachodzi zawsze równość:<br />
Φ n (x) = Φ r(n) (x n/r(n) ).<br />
Jest to inne wysłowienie faktu 12.8.7.<br />
12.8.9. Jeżeli liczby m i n są względnie pierwsze, to<br />
Φ m (x n ) = ∏ Φ md (x). ([ArB]).<br />
d|n<br />
D. Φ m (x) = ∏ (x − α n ). Wobec tego:<br />
α∈U m<br />
Φ m (x n ∏<br />
) = (x n − α n ) =<br />
∏ ∏<br />
(x − α · γ) = ∏ ∏ ∏<br />
(x − αβ)<br />
α∈U m α∈U m γ∈G n d|n α∈U m β∈U d<br />
= ∏ ∏<br />
(x − αβ) = ∏ ∏<br />
(x − δ) = ∏ Φ md (x). ⊠<br />
d|n (α,β)∈U m×U d d|n δ∈U md d|n<br />
12.8.10. Jeżeli p jest liczbą pierwszą i m liczbą naturalną taką, że p ∤ m, to<br />
Φ mp (x) = Φ m(x p )<br />
Φ m (x) .<br />
([ArB]).<br />
D. Korzystając z 12.8.9 dla n = p mamy: Φ m (x p ) = Φ m·1 (x) · Φ mp (x) i stąd wynika teza. ⊠<br />
Następne stwierdzenia dotyczą wielomianów cyklotomicznych o numerach parzystych.<br />
12.8.11. Jeżeli n 3 jest liczbą nieparzystą, to Φ 2n (x) = Φ n (−x). ([ArB]).<br />
D. Indukcja ze względu na n. Dla n = 3 mamy: Φ 6 (x) = x 2 − x + 1 = Φ 3 (−x). Załóżmy, że to<br />
jest prawdą dla wszystkich liczb nieparzystych (większych od 1) mniejszych od n. Wtedy<br />
x 2n − 1 = ∏ Φ e (x) = ∏ Φ d (x) · ∏<br />
Φ 2d (x) = ∏ ∏<br />
Φ d (x) · Φ 2d (x) · Φ 2n (x) · Φ 2 (x).<br />
e|2n<br />
d|n<br />
d|n d|n<br />
d|n<br />
1