30.11.2014 Views

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 ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!