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.

<strong>Podróże</strong> <strong>po</strong> <strong>Imperium</strong> <strong>Liczb</strong><br />

Część 12. Wielomiany<br />

Rozdział 12<br />

12. Wielomiany cyklotomiczne<br />

Andrzej Nowicki 31 maja 2013, http://www.mat.uni.torun.pl/~anow<br />

Spis treści<br />

12 Wielomiany cyklotomiczne 143<br />

12.1 Definicja i przykłady . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 143<br />

12.2 Początkowe własności wielomianów cyklotomicznych . . . . . . . . . . . . . . 144<br />

12.3 Nierozkładalność wielomianów cyklotomicznych . . . . . . . . . . . . . . . . 146<br />

12.4 Następne własności wielomianów cyklotomicznych . . . . . . . . . . . . . . . 147<br />

12.5 Wielomiany cyklotomiczne i nierówności . . . . . . . . . . . . . . . . . . . . 151<br />

12.6 Wielomiany cyklotomiczne nad ciałami . . . . . . . . . . . . . . . . . . . . . 152<br />

12.7 Wielomiany Ψ n (x, y) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153<br />

12.8 Wielomiany cyklotomiczne i ich numery . . . . . . . . . . . . . . . . . . . . . 154<br />

12.9 Współczynniki wielomianów cyklotomicznych . . . . . . . . . . . . . . . . . . 158<br />

12.10 Współczynniki wielomianu Φ pq (x) . . . . . . . . . . . . . . . . . . . . . . . . 159<br />

12.11 Współczynniki wielomianów Φ pqr (x) i Φ pqrs (x) . . . . . . . . . . . . . . . . . 162<br />

12.12 <strong>Liczb</strong>y naturalne <strong>po</strong>staci Φ n (a) . . . . . . . . . . . . . . . . . . . . . . . . . . 164<br />

12.13 Podzielność liczb Φ n (a) przez liczby pierwsze . . . . . . . . . . . . . . . . . . 166<br />

12.14 Twierdzenie Hurwitza . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169<br />

12.15 Twierdzenie Banga o rzędach . . . . . . . . . . . . . . . . . . . . . . . . . . . 169<br />

12.16 <strong>Liczb</strong>y pierwsze w <strong>po</strong>stępach arytmetycznych . . . . . . . . . . . . . . . . . . 172<br />

12.17 Wielomiany <strong>po</strong>dzielne przez x 2 + x + 1 . . . . . . . . . . . . . . . . . . . . . 172<br />

12.18 Inne zastosowania wielomianów cyklotomicznych . . . . . . . . . . . . . . . . 176<br />

Wszystkie książki z serii ”<strong>Podróże</strong> <strong>po</strong> <strong>Imperium</strong> <strong>Liczb</strong>” napisano w edytorze L A TEX.<br />

Spisy treści tych książek oraz pewne wybrane rozdziały moża znaleźć na internetowej stronie<br />

autora: http://www-users.mat.uni.torun.pl/~anow.


⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡<br />

12 Wielomiany cyklotomiczne<br />

⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡⊡<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.1 Definicja i przykłady<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Niech n 1 będzie ustaloną liczbą naturalną. Wiadomo, że istnieje dokładnie ϕ(n) pierwiastków<br />

pierwotnych n-tego stopnia z jedynki. Oznaczmy te pierwiastki przez ω 1 , . . . , ω ϕ(n)<br />

i niech<br />

ϕ(n)<br />

∏<br />

Φ n (x) =<br />

k=1<br />

(x − ω k ) .<br />

Φ n (x) nazywamy n-tym wielomianem cyklotomicznym lub n-tym wielomianem <strong>po</strong>działu koła.<br />

Jest to wielomian moniczny stopnia ϕ(n) i jego pierwiastkami są wszystkie pierwiastki pierwotne<br />

n-tego stopnia z jedynki. Udowodnimy w następnych <strong>po</strong>drozdziałach, że każde takie<br />

Φ n (x) jest nieprzywiedlnym wielomianem o współczynnikach całkowitych (patrz 12.3.1 oraz<br />

12.2.8).<br />

Przykłady:<br />

Φ 1 (x) = x − 1,<br />

Φ 2 (x) = x + 1,<br />

Φ 3 (x) = x 2 + x + 1,<br />

Φ 4 (x) = x 2 + 1,<br />

Φ 5 (x) = x 4 + x 3 + x 2 + x + 1,<br />

Φ 6 (x) = x 2 − x + 1,<br />

Φ 7 (x) = x 6 + x 5 + · · · + x + 1,<br />

Φ 8 (x) = x 4 + 1,<br />

Φ 9 (x) = x 6 + x 3 + 1,<br />

Φ 10 (x) = x 4 − x 3 + x 2 − x + 1,<br />

Φ 11 (x) = x 10 + x 9 + x 8 + · · · + x + 1,<br />

Φ 12 (x) = x 4 − x 2 + 1,<br />

Φ 13 (x) = x 12 + x 11 + x 10 + · · · + x + 1,<br />

Φ 14 (x) = x 6 − x 5 + x 4 − x 3 + x 2 − x + 1,<br />

Φ 15 (x) = x 8 − x 7 + x 5 − x 4 + x 3 − x + 1,<br />

Φ 16 (x) = x 8 + 1,<br />

Φ 17 (x) = x 16 + x 15 + x 14 + · · · + x + 1,<br />

Φ 18 (x) = x 6 − x 3 + 1,<br />

Φ 19 (x) = x 18 + x 17 + x 16 + · · · + x + 1,<br />

Φ 20 (x) = x 8 − x 6 + x 4 − x 2 + 1,<br />

Φ 21 (x) = x 12 − x 11 + x 9 − x 8 + x 6 − x 4 + x 3 − x + 1,<br />

Φ 22 (x) = x 10 − x 9 + x 8 − x 7 + x 6 − x 5 + x 4 − x 3 + x 2 − x + 1,<br />

Φ 23 (x) = x 22 + x 21 + x 20 + · · · + x 2 + x + 1,<br />

Φ 24 (x) = x 8 − x 4 + 1,<br />

Φ 25 (x) = x 20 + x 15 + x 10 + x 5 + 1,<br />

Φ 26 (x) = x 12 − x 11 + x 10 − x 9 + x 8 − x 7 + x 6 − x 5 + x 4 − x 3 + x 2 − x + 1,<br />

Φ 27 (x) = x 18 + x 9 + 1,<br />

Φ 28 (x) = x 12 − x 10 + x 8 − x 6 + x 4 − x 2 + 1,<br />

Φ 29 (x) = x 28 + x 27 + x 26 + · · · + x 2 + x + 1,<br />

Φ 30 (x) = x 8 + x 7 − x 5 − x 4 − x 3 + x + 1,<br />

Φ 50 (x) = x 20 − x 15 + x 10 − x 5 + 1,<br />

Φ 100 (x) = x 40 − x 30 + x 20 − x 10 + 1,<br />

Φ 1000 (x) = x 400 − x 300 + x 200 − x 100 + 1.<br />

143


144 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.2 Początkowe własności wielomianów cyklotomicznych<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.2.1. Z definicji wielomianów cyklotomicznych wynika, że<br />

Φ n (x) = ∏<br />

k∈A n<br />

(x − ξ k ) ,<br />

gdzie ξ = cos 2π n +i sin 2π n oraz A n jest zbiorem wszystkich liczb naturalnych zbioru {1, . . . , n}<br />

względnie pierwszych z n.<br />

12.2.2. Dla n 3 zachodzi równość<br />

Φ n (x) = ∏<br />

k∈B n<br />

(<br />

x 2 − 2x cos<br />

( 2kπ<br />

n<br />

) )<br />

+ 1 ,<br />

gdzie B n jest zbiorem wszystkich liczb naturalnych mniejszych od n 2<br />

liczbą n.<br />

i względnie pierwszych z<br />

D. Wynika to z równości 12.2.1 oraz tego, że ξ n−k jest sprzężeniem liczby ξ k . ⊠<br />

12.2.3. Jeżeli n ≠ m, to Φ n (x) ≠ Φ m (x).<br />

D. Niech U n i U m będą zbiorami pierwiastków pierwotnych od<strong>po</strong>wiednio stopni n i m z jedynki.<br />

Wiadomo, że jeśli n ≠ m, to U n ≠ U m (a nawet U n ∩ U m = ∅). Zatem jeśli n ≠ m, to Φ n (x) ≠ Φ m (x),<br />

gdyż są to wielomiany moniczne mające różne zbiory pierwiastków. ⊠<br />

Niech n 2 będzie ustaloną liczbą naturalną. Przez F n (x) oznaczać będziemy wielomian<br />

należący do Z[x], będący najmniejszą wspólną wielokrotnością wszystkich wielomianów<br />

<strong>po</strong>staci x d −1, gdzie d < n oraz d | n. Dodatkowo przyjmujemy, że F 1 (x) = 1. Zapamiętajmy:<br />

{<br />

F n (x) = nww x d }<br />

− 1; d < n, d | n, d ∈ N<br />

Z tej definicji wynika, że F n (x) jest monicznym wielomianem o współczynnikach całkowitych,<br />

<strong>po</strong>dzielnym przez wielomian x − 1. Ponadto, x d − 1 dzieli F n (x) dla wszystkich 1 d < n<br />

takich, że d | n.<br />

12.2.4. Niech e będzie pierwiastkiem pierwotnym n-tego stopnia z jedynki. Wówczas:<br />

∏<br />

F n (x) = (x − e r ).<br />

r∈{1,2,...,n}<br />

(r,n)>1<br />

12.2.5. Dla każdego n ∈ N zachodzi równość x n − 1 = F n (x) · Φ n (x). ([Br77], [La84]).<br />

12.2.6. Jeżeli p jest liczbą pierwszą, to<br />

Φ p (x) = x p−1 + x p−2 + . . . + x + 1.<br />

.


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 145<br />

D. Jedyną liczbą naturalną mniejszą niż p i dzielącą p jest d = 1. Wobec tego F p = (x − 1).<br />

Z równości 12.2.5 wynika zatem, że Φ p (x) = xp −1<br />

x−1<br />

= xp−1 + x p−2 + . . . + x + 1. ⊠<br />

12.2.7. Niech A ⊂ B będą pierścieniami (przemiennymi z 1). Rozważmy trzy wielomiany:<br />

f(x), g(x), h(x) należące do B[x]. Załóżmy, że:<br />

(a) f(x) = g(x)h(x),<br />

(b) f(x) i g(x) są moniczne,<br />

(c) f(x), g(x) ∈ A[x].<br />

Wtedy wielomian h(x) jest moniczny i należy do A[x].<br />

D. Moniczność wielomianu h(x) jest oczywista. Niech:<br />

f(x) = x n + a n−1 x n−1 + . . . + a 1 x + a 0 ,<br />

g(x) = x m + b m−1 x m−1 + . . . + b 1 x + b 0 ,<br />

h(x) = x s + c s−1 x s−1 + . . . + c 1 x + c 0 ,<br />

Współczynniki <strong>po</strong>staci a i , b j należą do A, natomiast współczynniki <strong>po</strong>staci c i należą do B. Ponieważ<br />

f(x) = g(x)h(x), więc <strong>po</strong>równując współczynniki przy x n−1 mamy a n−1 = c s−1 + b m−1 . Stąd c s−1 =<br />

a n−1 − b m−1 ∈ A. Wiemy więc, że c s−1 ∈ A. Załóżmy, że wiemy już, że wszystkie współczynniki<br />

c s−1 , c s−2 , . . . , c k+2 , c k+1<br />

należą do A. Pokażemy, że wówczas współczynnik c k również należy do A. W tym celu <strong>po</strong>równajmy<br />

w równości f(x) = g(x)h(x) współczynniki przy x k+s . Wtedy a k+s = c k + c k+1 b s−1 + c k+2 b s−2 + . . .<br />

i wobec tegoże<br />

c k = a k+s − (c k+1 b s+1 + c k+2 b s−2 + . . .).<br />

Prawa strona należy do A. Zatem c k ∈ A i to kończy nasz indukcyjny dowód. ⊠<br />

12.2.8. Każdy wielomian Φ n (x) należy do pierścienia Z[x]. Innymi słowy, wszystkie współczynniki<br />

dowolnego wielomianu cyklotomicznego są liczbami całkowitymi. ([Br77], [La84]).<br />

D. Wiemy, że x n − 1 = F n (x)Φ n (x) (patrz 12.2.5). Wielomiany x n − 1 i F n (x) są moniczne i<br />

należą do Z[x]. Z 12.2.7 wynika więc, że wielomian Φ n (x) również należy do Z[x]. ⊠<br />

⋆ T. Nagell, The cyclotomic <strong>po</strong>lynomial, [Nagl] 158-160.


146 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.3 Nierozkładalność wielomianów cyklotomicznych<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.3.1 (Kronecker). Każdy wielomian Φ n (x) jest nierozkładalny w Z[x]. ([Br77], [Fila] s.86).<br />

D. ([Br77]). Przypuśćmy, że wielomian Φ n (x) jest rozkładalny w Z[x]. Istnieją wtedy dwa wielomiany<br />

g(x) i h(x) należące do Z[x] (dodatniego stopnia) takie, że:<br />

Φ n (x) = g(x) · h(x).<br />

Możemy założyć, że wielomian g(x) jest nierozkładalny w Z[x]. Załóżmy <strong>po</strong>nadto, że są to wielomiany<br />

moniczne. Ponieważ Φ n (ω 1 ) = Φ n (ω 2 ) = . . . = Φ n (ω ϕ(n) ) = 0, gdzie ω 1 , ω 2 , . . . , ω ϕ(n) są wszystkimi<br />

pierwiastkami pierwotnymi n-tego stopnia z jedynki, więc istnieje co najmniej jeden z tych pierwiastków<br />

pierwotnych, oznaczmy go przez e, spełniający równość g(e) = 0.<br />

Niech p będzie taką liczbą pierwszą, że p ∤ n. Udowodnimy, że g(e p ) = 0. W tym celu zauważmy<br />

najpierw, że e p jest również pierwiastkiem pierwotnym n-tego stopnia z jedynki (<strong>po</strong>nieważ liczby p, n<br />

są względnie pierwsze). Zatem Φ n (e p ) = 0, więc g(e p ) = 0 lub h(e p ) = 0. Pokażemy, że g(e p ) = 0.<br />

Przypuśćmy, że h(e p ) = 0. Wówczas liczba e jest pierwiastkiem jednocześnie wielomianów g(x)<br />

oraz h(x p ). Ponieważ wielomian g(x) jest jest nierozkładalny w Z[x], więc stąd wynika, że g(x) dzieli<br />

h(x p ) w Z[x]. Zatem<br />

h(x p ) = g(x) · v(x),<br />

gdzie v(x) ∈ Z[x]. Rozpatrzmy homomorfizm pierścieni α : Z[x] −→ Z p [x] indukowany przez naturalny<br />

homomorfizm: Z → Z p (liczbie całkowitej a przy<strong>po</strong>rządkowana jest reszta z dzielenia a przez p). Mamy<br />

wówczas w pierścieniu Z p [x] następujące dwie równości:<br />

α(Φ n (x)) = α(g(x)) · α(h(x)),<br />

α(h(x p )) = α(g(x)) · α(v(x)).<br />

Ale α(h(x p )) = (α(h(x))) p , więc α(h(x)) p = α(g(x)) · α(v(x)). Wielomian α(v[x]) ma stopień 1 (bo<br />

jest moniczny). Niech u(x) ∈ Z p [x] będzie wielomianem nierozkładalnym w Z p [x] dzielącym α(v(x)).<br />

Wtedy wielomian u(x) dzieli wielomian<br />

(α(h(x))) p = α(h(x)) · α(h(x)) · · · α(h(x)) ,<br />

} {{ }<br />

p<br />

dzieli więc α(h(x)). Wielomian u(x) dzieli więc jednocześnie wielomiany α(g(x)) i α(h(x)). Oznacza<br />

to, że wielomiany α(g(x)) i α(h(x)) mają wspólny czynnik w Z p [x]. Stąd wynika dalej, że wielomian<br />

α(Φ n (x)) = α(g(x)) · α(h(x))<br />

ma czynnik wielokrotny w Z p [x]. Ale x n − 1 = F n (x) · Φ n (x) (patrz 12.2.5), więc w pierścieniu Z p [x]<br />

mamy równość<br />

x n − 1 = α(x n − 1) = α(f n (x)) · α(Φ n (x)),<br />

z której wynika, że wielomian x n − 1 ma czynnik wielokrotny w Z p [x]. Zatem w pewnym rozszerzeniu<br />

ciała Z p wielomian x n − 1 ma pierwiastek <strong>po</strong>dwójny. To jest oczywiście niemożliwe. Doszliśmy zatem<br />

do sprzeczności.<br />

W ten s<strong>po</strong>sób wykazaliśmy, że g(e) = 0 oraz g(e p ) = 0 dla wszystkich takich liczb pierwszych p,<br />

że p ∤ n. Stąd wynika, że g(ω) = 0 dla każdego ω będącego pierwotnym pierwiastkiem n-tego stopnia<br />

z jedynki.<br />

Niech ω będzie pierwiastkiem pierwotnym n-tego stopnia z jedynki. Ponieważ e jest też takim<br />

pierwotnym pierwiastkiem, więc ω = e k dla pewnego k. Zatem nwd(k, n) = 1. Jeżeli k = 1, to ω = e,<br />

więc g(ω) = g(e) = 0. Niech teraz k 2. Niech k = p 1 p 2 · · · p s , gdzie p 1 , p 2 , . . . , p s są liczbami<br />

pierwszymi (niekoniecznie różnymi). Każda z tych liczb pierwszych jest oczywiście względnie pierwsza<br />

z liczą n. Zatem p 1 ∤ n, p 2 ∤ n, . . . , p s ∤ n. Z tego co już udowodniliśmy wynika, że g(e p1 ) = 0.<br />

Przyrównując e 1 = e p1 mamy g(e 1 ) = 0, więc g(e p2 ) = 0, więc g(e p1p2 ) = 0 i tak dalej aż do równości


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 147<br />

g(e p1p2...ps ) = 0. Zatem g(e k ) = 0 czyli g(ω) = 0. Każdy zatem pierwiastek pierwotny n-tego stopnia<br />

z jedynki jest zerem wielomianu g(x). Zatem:<br />

g(x) =<br />

ϕ(n)<br />

∏<br />

(x − ω k ) = Φ n (x).<br />

k=1<br />

Ale g(x) jest nierozkładalne w Z[x], więc Φ n (x) jest wielomianem nierozkładalnym w Z[x]. ⊠<br />

12.3.2. Jeżeli n ≠ m, to wielomiany cyklotomiczne Φ n (x) i Φ m (x) są względnie pierwsze.<br />

D. Wynika to z tego, że wielomiany Φ n (x) oraz Φ m (x) są nierozkładalne, moniczne i różne. ⊠<br />

12.3.3 (Kronecker). Jeśli f ∈ Z[x] Z jest nierozkładalnym wielomianem monicznym i<br />

wszystkie jego pierwiastki (zes<strong>po</strong>lone) leżą na kole<br />

{z; |z| = 1},<br />

to f(x) jest wielomianem cyklotomicznym. ([Fila] s.86).<br />

⋆ T. Nagell, Irreducibility of the cyclotomic <strong>po</strong>lynomial, [Nagl] 160-164.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.4 Następne własności wielomianów cyklotomicznych<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.4.1. Jeżeli d | n, to wielomian Φ d (x) dzieli wielomian x n −1 w Z[x], tzn. istnieje wielomian<br />

H(x) ∈ Z[x] taki, że x n − 1 = H(x)Φ d (x).<br />

D. Niech n = dm. Wtedy<br />

x n − 1 = x dm − 1 = (x d ) m − 1 m = (x d − 1)(x d(m−1) + x d(m−2) + . . . + 1),<br />

a zatem wielomian x d − 1 dzieli w Z[x] wielomian x n − 1. Wiemy , że x d − 1 = F d (x) · Φ d (x) (patrz<br />

12.2.5). Zatem Φ d (x) dzieli x d − 1 oraz x d − 1 dzieli x n − 1, a więc Φ d (x) dzieli x n − 1. ⊠<br />

12.4.2. x n − 1 = ∏ d|n<br />

Φ d (x) .<br />

D. Oznaczmy: H(x) = ∏ Φ d (x). Ponieważ wielomiany <strong>po</strong>staci Φ d (x) są parami względnie pierwsze<br />

(patrz 12.3.2) oraz każdy z nich (gdy d | n) dzieli wielomian x n − 1 (patrz 12.4.1), więc H(x)<br />

d|n<br />

dzieli<br />

∑<br />

x n − 1. Wielomian H(x) jest moniczny i jego stopień jest równy n, gdyż dobrze wiadomo, że<br />

ϕ(d) = n. Zatem H(x) = x n − 1. ⊠<br />

d|n<br />

12.4.3. Jeśli m < n, to wielomiany x m − 1 i Φ n (x) są względnie pierwsze.<br />

D. Wynika to z 12.4.2 i 12.3.2. ⊠<br />

12.4.4. x 15 − 1 = Φ 1 (x)Φ 3 (x)Φ 5 (x)Φ 15 (x). (Wynika z 12.4.2).


148 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

12.4.5 (T. M. A<strong>po</strong>stol, 1970). Niech d < n będą liczbami naturalnymi i niech k będzie liczbą<br />

naturalną zdefiniowaną następująco:<br />

k =<br />

{ p, gdy<br />

n<br />

d<br />

jest <strong>po</strong>tęgą liczby pierwszej p,<br />

1, w przeciwnym przypadku.<br />

Istnieją wtedy wielomiany o współczynnikach całkowitych F (x), G(x) takie, że<br />

k = F (x)Φ d (x) + G(x)Φ n (x) .<br />

W literaturze matematycznej znajdziemy s<strong>po</strong>ro różnych dowodów tego twierdzenia. W<br />

1970 roku udowodnił to Tom M. A<strong>po</strong>stol [Apl]. Dwa dowody, w tym jeden Andrzeja Schinzla,<br />

opublikował później Michael Filaseta [Fil]. Ostatnio prosty dowód opublikował Gregory<br />

Dresden [Drn]. Jego dowód <strong>po</strong>daje jawnie <strong>po</strong>stać wielomianów F (x) i G(x).<br />

W pierwszym wydaniu tej książki <strong>po</strong>wyższe twierdzenie się nie <strong>po</strong>jawiło. Autor dziękuje<br />

profesorom Władysławowi Narkiewiczowi oraz Andrzejowi Schinzlowi za cenne informacje o<br />

tym twierdzeniu i jego dowodach.<br />

W jednym z następnych <strong>po</strong>drozdziałów (patrz 12.12.6) wykorzystamy pewien szczególny<br />

przypadek omawianego twierdzenia. Teraz przedstawimy ten przypadek wraz z dowodem.<br />

Załóżmy, że m > n są liczbami naturalnymi i niech m = kn + r, gdzie k ∈ N, r ∈ Z,<br />

0 r < n. Mamy wtedy równość<br />

x m − 1 = (x m−n + x m−2n + x m−3n + · · · + x m−kn )(x n − 1) + x r − 1.<br />

Stosując tego typu równości i <strong>po</strong>stępując tak jak w algorytmie Euklidesa, otrzymujemy:<br />

12.4.6. Niech n, m ∈ N oraz d = nwd(n, m). Istnieją wtedy wielomiany o współczynnikach<br />

całkowitych A(x), B(x) takie, że x d − 1 = A(x)(x n − 1) + B(x)(x m − 1).<br />

Z <strong>po</strong>wyższych obserwacji wynika, ws<strong>po</strong>mniany wcześniej, następujący szczególny przypadek<br />

twierdzenia 12.4.5.<br />

12.4.7. Jeśli d, n są liczbami naturalnymi takimi, że d < n oraz d ∤ n, to istnieją wielomiany<br />

o współczynnikach całkowitych F (x), G(x) takie, że<br />

1 = F (x)Φ d (x) + G(x)Φ n (x) .<br />

D. Oznaczmy: H k (x) = x k − 1 dla wszystkich k ∈ N.<br />

Niech r = nwd(d, n) i niech A(x), B(x) ∈ Z[x] takie, że<br />

(∗)<br />

H r (x) = A(x)H d (x) + B(x)H n (x).<br />

Takie wielomiany A(x), B(x) istnieją na mocy 12.4.6. Wprowadźmy zbiory:<br />

U = {m ∈ N; m | r}, V 1 = {m ∈ N; m | d, m ∤ r}, V 2 = {m ∈ N; m | n, m ∤ r}<br />

U jest zbiorem wszystkich dzielników naturalnych liczby r; każdy taki dzielnik jest oczywiście dzielnikiem<br />

liczby d i jest dzielnikiem liczby n. V 1 jest zbiorem tych wszystkich dzielników liczby d, które


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 149<br />

nie są dzielnikami liczby r. Natomiast V 2 jest zbiorem tych wszystkich dzielników liczby n, które nie<br />

są dzielnikami liczby r.<br />

Zauważmy, że d nie należy do zbioru U. Gdyby bowiem było przeciwnie, to mielibyśmy równości<br />

d = r = nwd(d, n), z których wynikałoby, że d dzieli n; sprzeczność z założeniem, że d ∤ n. W <strong>po</strong>dobny<br />

s<strong>po</strong>sób uzasadniamy, że n nie należy do zbioru U.<br />

Zatem d ∈ V 1 oraz n ∈ V 2 . Oznaczmy:<br />

F (x) =<br />

∏<br />

m∈V 1{d}<br />

Φ m (x), G(x) =<br />

∏<br />

m∈V 2{n}<br />

Φ m (x).<br />

Jest jasne, że F (x), G(x) są wielomianami o współczynnikach całkowitych. Korzystamy teraz z twierdzenia<br />

12.4.2 i mamy:<br />

H d (x) = ∏ Φ m (x) = ∏ ∏<br />

Φ m (x) · Φ m (x) = H r (x) ∏<br />

Φ m (x) = H r (x)F (x)Φ d (x).<br />

m|d<br />

m∈U m∈V 1 m∈V 1<br />

W ten sam s<strong>po</strong>sób wykazujemy, że H n (x) = H r (x)G(x)Φ n (x). Wstawiamy to do równości (∗) i <strong>po</strong><br />

<strong>po</strong>dzieleniu przez H r (x) otrzymujemy tezę. ⊠<br />

12.4.8. Dla każdego n ∈ N zachodzi równość:<br />

Φ n (x) = ∏ d|n(x n d − 1) µ(d) ,<br />

w której µ oznacza funkcję Möbiusa. ([Fila] s.87).<br />

D. Wynika z równości 12.4.2 i własności splotowych funkcji Möbiusa (patrz [N-5]). ⊠<br />

12.4.9. W ciele Q(x) dla każdej liczby naturalnej n 2 zachodzi równość<br />

Φ n (x) = x ϕ(n) Φ n<br />

( 1<br />

x<br />

)<br />

.<br />

D. Wynika to z równości 12.4.8 i ze znanych równości ∑ d|n µ(d) n d = ϕ(n) oraz ∑d|n µ(d) = 0<br />

(dla n 2). ⊠<br />

12.4.10. Niech f(x) ∈ Z[x] będzie wielomianem z nieparzystymi współczynnikami stopnia<br />

d − 1. Jeśli Φ n (x) dzieli wielomian f(x), to n dzieli 2d. ([BoC]).<br />

12.4.11 (Gauss). Jeśli n > 1 jest nieparzystą liczbą bezkwadratową, to istnieją takie wielomiany<br />

A(x), B(x) ∈ Z[x], że 4Φ n (x) = A(x) 2 − n(−1) (n−1)/2 B(x) 2 . (Brent).<br />

12.4.12 (Aurifeuille, Le Lasseur, Lucas). Jeśli n > 1 jest nieparzystą)<br />

liczbą bezkwadratową,<br />

to istnieją takie wielomiany C(x), D(x) ∈ Z[x], że Φ n<br />

((−1) (n−1)/2 x = C(x) 2 − nxD(x) 2 .<br />

(Brent).<br />

12.4.13 (Aurifeuille, Le Lasseur, Lucas). Jeśli n jest parzystą liczbą bezkwadratową, to istnieją<br />

takie wielomiany C(x), D(x) ∈ Z[x], że ±Φ n/2 (−x 2 ) = C(x) 2 − nxD(x) 2 . (Brent).


150 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

12.4.14. Przykłady:<br />

(1) 4Φ 3 (x) = (2x + 1) 2 + 3 · 1 2 ;<br />

(2) 4Φ 5 (x) = (2x 2 + x + 2) 2 − 5x 2 , Φ 5 (x) = (x 2 + 3x + 1) 2 − 5x(x + 1) 2 ;<br />

(3) 4Φ 15 (x) = A 2 + 15B 2 , gdzie A = 2x 2 − x 3 − 4x 2 − x + 2, B = x 3 − x;<br />

(4) Φ 15 (−x) = C 2 − 15xD 2 , gdzie C = x 4 + 8x 3 + 13x 2 + 8x + 1, D = x 3 + 3x 2 + 3x + 1.<br />

(Brent).<br />

12.4.15 ([BoC]). Niech p ∈ P i niech T p będzie funkcją przy<strong>po</strong>rządkującą każdemu monicznemu<br />

wielomianowi f(x) = ∏ (x − α i ) (gdzie każde α i jest liczbą zes<strong>po</strong>loną) wielomian<br />

∏<br />

(x − α<br />

p<br />

i ).<br />

Jeśli n jest liczbą naturalną nie<strong>po</strong>dzielną przez p, to<br />

(1) T p (Φ n (x)) = Φ n (x);<br />

(2) T p (Φ pn (x)) = Φ n (x) p−1 ;<br />

(3) T p (Φ p s n(x)) = Φ p s−1 n(x) p , dla s 2.<br />

Zdefiniowaliśmy wielomiany cyklotomiczne za <strong>po</strong>mocą pierwiastków pierwotnych z jedynki.<br />

Pan Tomasz Ordowski przesłał mi (w maju 2013 roku) następujące zadanie do rozwiązania.<br />

Z tezy tego zadania wynika, że wielomiany cyklotomiczne można definiować bez ws<strong>po</strong>minania<br />

o pierwiastkach z jedynki.<br />

12.4.16. Niech (E n (x)) będzie ciągiem wielomianów takim, że<br />

(<br />

)<br />

E 1 (x) = 1 oraz E n+1 (x) = nww E n (x), x n − 1<br />

dla n ∈ N.<br />

Wówczas dla każdej liczby naturalnej n, zachodzi równość<br />

E n+1 (x)<br />

E n (x)<br />

= Φ n (x).<br />

D. (S<strong>po</strong>sób I). Udowodnimy indukcyjnie, że dla każdej liczby naturalnej n zachodzi równość<br />

(∗) E n+1 (x) =<br />

n∏<br />

Φ k (x).<br />

Dla n = 1 jest to oczywiste. Jeśli f(x), g(x) są wielomianami, to przez [f(x), g(x)] oznaczać będziemy<br />

najmniejszą wspólną wielokrotność tych wielomianów. Krok indukcyjny:<br />

⎡<br />

⎤<br />

[<br />

] n−1<br />

∏<br />

[<br />

]<br />

E n+1 (x) = E n (x), x n − 1 = ⎣<br />

Φ d (b) ⎦ = A(x)B(x), A(x)Φ n (x) .<br />

k=1<br />

k=1<br />

Φ k (x), ∏ d|n<br />

Wykorzystaliśmy twierdzenie 12.4.2. Tutaj A(x) jest iloczynem wszystkich wielomianów <strong>po</strong>staci Φ d (x),<br />

gdzie d < n oraz d | n. Natomiast B(x) jest iloczynem wszystkich wielomianów <strong>po</strong>staci Φ d (x), gdzie<br />

d < n oraz d ∤ n. Wiemy, że wielomiany cyklotomiczne są nieprzywiedlne i są parami różne. Zatem,


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 151<br />

wielomiany B(x) oraz Φ n (x) są względnie pierwsze, a zatem [B(x), Φ n )(x)] = B(x) · Φ n (x). Mamy<br />

więc:<br />

[<br />

] [<br />

]<br />

E n+1 (x) = A(x)B(x), A(x)Φ n (x) = A(x) B(x), Φ n (x)<br />

( ∏n−1<br />

)<br />

= A(x)B(x)Φ n (x) =<br />

k=1 Φ k(x) · Φ n (x)<br />

= ∏ n<br />

k=1 Φ k(x)<br />

i to kończy nasz indukcyjny dowód równości (∗). Zatem E n+1 (x)/E n (x) = Φ n (x). ⊠<br />

D. (S<strong>po</strong>sób II). (Władysław Narkiewicz). Niech A n (x) = E n+1 (x)/E n (x). Jeśli liczba (zes<strong>po</strong>lona)<br />

z jest pierwiastkiem wielomianu A n (x), to E n+1 (z) = 0 oraz E n (z) jest niezerowe, gdyż wielomiany<br />

E n (x) nie mają pierwiastków wielokrotnych. Zatem z musi być pierwiastkiem wielomianu x n − 1,<br />

wiec jest pierwiastkiem n-tego stopnia z jedynki. Zauważmy, że ten pierwiastek jest pierwotny. Gdyby<br />

nie był, to mielibyśmy równość E n (z) = 0, a to jest niemożliwe. Zatem każdy pierwiastek wielomianu<br />

A n (x) jest pierwiastkiem n-tego wielomianu cyklotomicznego Φ n (x) i z nieprzywiedlności tego<br />

ostatniego wynika, że A n (x) = Φ n (x). ⊠<br />

⋆ R. P. Brent, On computing factors of cyclotomic <strong>po</strong>lynomials, preprint, 1993.<br />

L. Carlitz, Note on the cyclotomic <strong>po</strong>lynomials, [Mon] 61(2)(1954) 106-108.<br />

M. Isaacs, Cyclotomy and geometric constructions. [Isaa], rozdział 20.<br />

D. R. Kohel, Cyclotomic <strong>po</strong>lynomials and base b representations of integers, preprint.<br />

J. MacDougall, Mersenne com<strong>po</strong>sities and cyclotomic primes, [MG] 87(508)(2003) 71-75.<br />

D. G. C. McKeon, T. N. Sherry, Exploring cyclotomic <strong>po</strong>lynomials, [MG] 502(2001) 59-65.<br />

K. F. McLean, Cyclotomic and double angle <strong>po</strong>lynomials, [MG] 88(512)(2004) 208-214.<br />

L. Mirsky, A note on cyclotomic <strong>po</strong>lynomials, [Mon] 69(8)(1962) 772-775.<br />

K. Motose, Ramanujan’s sums and cyclotomic <strong>po</strong>lynomials, Hirosaki 2004.<br />

K. Motose, On Euclidean algorithm, Hirosaki, 2005.<br />

P. Ribenboim, Wielomiany <strong>po</strong>działu koła, [Ri01] 93-108.<br />

M. Sawczuk, Wielomiany cyklotomiczne, [Pmgr] 2001.<br />

W. Sengerov, A. Spivak, Wielomiany <strong>po</strong>działu okręgu, [Kw] 1/1998 11-18, 2/1998 63-64.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.5 Wielomiany cyklotomiczne i nierówności<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.5.1. Dla każdego n ∈ N funkcja Φ n (x) jest ściśle rosnąca w przedziale [1, ∞). ([Mot1]).<br />

D. To jest oczywiste dla n = 1 i n = 2, gdyż Φ 1 (x) = x − 1, Φ 2 (x) = x + 1. Jeśli n 3, to fakt ten<br />

łatwo wynika z równości Φ n (x) = ∏ (<br />

k∈B n x 2 − 2x cos ( ) )<br />

2kπ<br />

n + 1 , gdzie Bn jest zbiorem wszystkich<br />

liczb naturalnych mniejszych od n 2<br />

i względnie pierwszych z n (patrz 12.2.2). Każda bowiem funkcja<br />

<strong>po</strong>staci f(x) = x 2 − 2x cos ( )<br />

2kπ<br />

n + 1 (dla n 3) jest ściśle rosnąca w przedziale [1, ∞). ⊠<br />

12.5.2. Jeśli n 2, to Φ n (a) 1 dla wszystkich liczb rzeczywistych a 1.<br />

D. Z dowodu faktu 12.5.1 wynika, że Φ n (1) > 0. Zatem Φ n (1) 1 (gdyż Φ n (1) ∈ Z). To, że<br />

Φ n (1) 1 wynika również z 12.9.3. Jeśli więc a 1, to Φ n (a) Φ n (1) 1 (na mocy 12.5.1). ⊠<br />

12.5.3. Jeśli n 2, to dla każdej liczby naturalnej a zachodzi nierówność<br />

|Φ n (a)| > a − 1.


152 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

D. ([Br68]). Niech e będzie pierwiastkiem n-tego stopnia z jedynki. Dla a = 1 oczywiście Φ n (a) ≠<br />

0, a zatem |Φ n (q)| 1 > q−1 = 0. Przypuśćmy więc, że a > 1. Wówczas dla dowolnej liczby całkowitej<br />

k mamy: |a − e k | |a| − |e k | = a − 1 1. Wobec tego:<br />

∏<br />

Φ n (a) =<br />

|a − e r | |a − e|.<br />

r∈{1,2,...,n}<br />

(r,n)=1<br />

Ponieważ e nie jest liczbą rzeczywistą dodatnią dla n > 1, więc |a − e| > |a| − |e| = a − 1. ⊠<br />

U. Powyższy fakt wykorzystuje się w dowodzie Twierdzenia Wedderburna o przemienności ciał<br />

skończonych (patrz np. [Br68]). ⊠<br />

12.5.4. Jeśli n 2, to dla każdej liczby naturalnej a zachodzi nierówność<br />

Φ n (a) a.<br />

D. Już wiemy z 12.5.2, że Φ n (1) 1. Zatem rozważana nierówność jest prawdziwa dla a = 1.<br />

Niech teraz a będzie liczbą naturalną większą od 1 i przypuśćmy, że Φ n (a) < a. Ponieważ 1 < 2 <<br />

· · · < a − 1 < a, więc na mocy 12.5.1 otrzymujemy:<br />

1 Φ n (1) < Φ n (2) < · · · < Φ n (a − 1) < Φ n (a) < a,<br />

przy czym wszystkie liczby Φ n (1), Φ n (2), . . . , Φ n (a) są naturalne (gdyż Φ n (x) ∈ Z[x]). Otrzymaliśmy<br />

sprzeczność: <strong>po</strong>między 1 i a jest a + 1 liczb naturalnych. ⊠<br />

12.5.5. Niech n 2 będzie liczbą naturalną. Niech r = ω(n) będzie liczbą wszystkich liczb<br />

pierwszych dzielących n. Niech n ′ = r(n) będzie iloczynem wszystkich liczb pierwszych dzielących<br />

n i niech m = n/n ′ . Wtedy:<br />

(1) jeśli r jest liczbą parzystą, to am − 1<br />

a m aϕ(n) < Φ n (a) < a ϕ(n) , dla wszystkich liczb<br />

rzeczywistych a 2;<br />

(2) jeśli r jest liczbą nieparzystą, to a ϕ(n) < Φ n (a) < am<br />

a m − 1 aϕ(n) , dla wszystkich liczb<br />

rzeczywistych a 2. ([Mot1]).<br />

12.5.6. (a − 1) ϕ(n) < Φ n (a) (a + 1) ϕ(n) , dla n 2, a 2. ([Mot5]).<br />

12.5.7.<br />

1<br />

2 aϕ(n) < Φ n (a) 2a ϕ(n) , dla n 2, a 2. (R.Thangadurai, A.Vatwani, [Mon] 118(8)(2011)).<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.6 Wielomiany cyklotomiczne nad ciałami<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.6.1. Niech p ∈ P, n, m ∈ N, n ≠ m, p ∤ n, p ∤ m. Wtedy wielomiany Φ n (x) i Φ m (x) są<br />

względnie pierwsze w Z p [x]. ([BoC]).<br />

12.6.2. Jeśli p ∈ P, to Φ p (x) = (x − 1) p−1 w Z p [x].<br />

12.6.3. Niech p ∈ P, n ∈ N, p ∤ n. Niech m = δ n (p) będzie rzędem liczby p modulo<br />

n. Wtedy wielomian Φ n (x), traktowany jako wielomian należący do Z p [x], jest iloczynem<br />

ϕ(n)/m parami różnych wielomianów nierozkładalnych w Z p [x], z których każdy jest stopnia<br />

m. ([Mon] 75(1)(1968) 46).


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 153<br />

12.6.4. Niech k będzie q = p s elementowym ciałem. Niech n ∈ N, p ∤ n i niech m =<br />

δ n (q) będzie rzędem liczby q modulo n. Wtedy wielomian Φ n (x), traktowany jako wielomian<br />

należący do k[x], jest iloczynem ϕ(n)/m parami różnych wielomianów nierozkładalnych w<br />

k[x], z których każdy jest stopnia m. ([Mot5], [Mot7]).<br />

12.6.5. Niech n, s ∈ N. Wielomian Φ n (x s ) jest nierozkładalny w Q[x] wtedy i tylko wtedy,<br />

gdy każdy dzielnik pierwszy liczby s jest dzielnikiem pierwszym liczby n. ([Golo]).<br />

⋆ W. J. Guerrier, The factorization of the cyclotomic <strong>po</strong>lynomials mod p, [Mon] 75(1)(1968) 46.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.7 Wielomiany Ψ n (x, y)<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Oznaczmy:<br />

)<br />

Ψ n (x, y) = y ϕ(n) Φ n<br />

(<br />

x<br />

y<br />

.<br />

Przykłady:<br />

Ψ 1 (x, y) = x − y,<br />

Ψ 2 (x, y) = x + y,<br />

Ψ 3 (x, y) = x 2 + xy + y 2 ,<br />

Ψ 4 (x, y) = x 2 + y 2 ,<br />

Ψ 5 (x, y) = x 4 + x 3 y + x 2 y 2 + xy 3 + y 4 ,<br />

Ψ 6 (x, y) = x 2 − xy + y 2 ,<br />

Ψ 7 (x, y) = x 6 + x 5 y + x 4 y 2 + x 3 y 3 + x 2 y 4 + xy 5 + y 6 ,<br />

Ψ 8 (x, y) = x 4 + y 4 ,<br />

Ψ 9 (x, y) = x 6 + x 3 y 3 + y 6 .<br />

12.7.1. Z własności wielomianów cyklotomicznych wynikają następujące własności wielomianów<br />

<strong>po</strong>staci Ψ n (x, y).<br />

(1) Każde Ψ n (x, y) jest jednorodnym wielomianem stopnia ϕ(n) zmiennych x i y o współczynnikach<br />

całkowitych.<br />

(2) Każdy wielomian Ψ n (x, y) jest nierozkładalny w Z[x, y].<br />

(3) Φ n (x) = Ψ n (x, 1).<br />

(4) Ψ n (x, y) = ∏ (<br />

x n/d − y n/d) µ(d)<br />

.<br />

d|n<br />

(5) x n − y n = ∏ d|n<br />

Ψ d (x, y).<br />

12.7.2. Ψ n (x, y) = Ψ n (y, x), dla n 2. ([Mot7]).


154 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

D. Wynika to z równości<br />

Ψ n (x, y) = ∏ (x n/d − y n/d) µ(d)<br />

d|n<br />

(dla n 2). ⊠<br />

oraz<br />

∑<br />

µ(d) = 0<br />

d|n<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.8 Wielomiany cyklotomiczne i ich numery<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Najpierw zajmować się będziemy wielomianami cyklotomicznymi, których numery są <strong>po</strong>tęgami<br />

liczb pierwszych. Wiemy (patrz 12.2.6), że jeżeli p jest liczbą pierwszą, to<br />

Φ p (x) = x p−1 + x p−2 + . . . + x + 1.<br />

12.8.1. Φ p 2(x) = x p(p−1) + x p(p−2) + . . . + x p + 1.<br />

12.8.2. Jeżeli p jest liczbą pierwszą i k jest liczbą naturalną to<br />

Φ p k(x) = x pk−1 (p−1) + x pk−1 (p−2) + . . . + x pk−1·1 + 1.<br />

D. Indukcja ze względu na k. Dla k=1,2 już wiemy, że tak jest. Załóżmy,<br />

że to jest prawdą dla pewnego k 1. Wtedy dla k + 1 mamy<br />

x pk+1 − 1 = (x pk ) p − 1 = (x pk − 1)(x pk (p−1) + x pk (p−2) + . . . + x pk + 1).<br />

Z drugiej strony (ma mocy 12.4.2) mamy:<br />

x pk+1 − 1 = (x pk ) p − 1 = Φ 1 (x)Φ p (x)Φ p 2(x) . . . Φ p k(x) Φ p k+1(x) = (x pk − 1)Φ p k+1(x).<br />

} {{ }<br />

x pk −1<br />

Zatem Φ p k+1(x) = x pk (p−1) + x pk (p−2) + . . . + x pk + 1. ⊠<br />

12.8.3. Jeżeli p jest liczbą pierwszą i k 0, to<br />

Φ p k+1(x) = Φ p (x pk ). (Wynika z 12.8.2).<br />

12.8.4. Φ 2 k+1 = x 2k + 1. (Jest to szczególny przypadek faktu 12.8.3).<br />

12.8.5. Jeśli s = i + j, to Φ p s(x) = Φ p i(x pj ).<br />

D. Φ p s(x) = p−1 ∑<br />

x kps−1 = p−1<br />

k=0<br />

k=0<br />

∑<br />

(x pj ) kpi−1 = Φ p i(x pj ). ⊠<br />

12.8.6. Jeżeli p i q są różnymi liczbami pierwszymi, to<br />

dla i 1, j 1.<br />

Φ p i q j(x) = Φ pq(x pi−1 q j−1 ),


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


156 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

12.8.12. Jeżeli p 3 jest liczbą pierwszą, to Φ 4p (x) = Φ p (−x 2 ). ([ArB]).<br />

D. Na mocy twierdzenia 12.4.2 mamy: że<br />

x 4p − 1 = Φ 1 (x) · Φ 2 (x) · Φ 4 (x) · Φ p (x) · Φ 2p (x) · Φ 4p (x).<br />

Z drugiej strony wiemy, że:<br />

( )( )<br />

x 4p − 1 = (x p ) 2 − 1 (x p ) 2 + 1<br />

( )<br />

= (x p − 1)(x p + 1) (x 2 ) p + 1<br />

= Φ 1 (x) · Φ p (x) · Φ 2 (x) · Φ p (−x) · Φ 2 (x 2 ) · Φ p (−x 2 ).<br />

Z 12.8.11 wiemy, że zachodzi równość Φ 2p (x) = Φ p (−x). Ponadto wiemy, że Φ 2 (x 2 ) = x 2 + 1 = Φ 4 (x).<br />

Porównując strony napisanych <strong>po</strong>wyżej równości otrzymujemy tezę. ⊠<br />

12.8.13. Jeżeli p 3 jest liczbą pierwszą, to<br />

D. Wiemy z 12.4.2, że<br />

Φ 8p (x) = Φ p (−x 4 ).<br />

([ArB]).<br />

x 8p − 1 = Φ 1 (x) · Φ 2 (x) · Φ 4 (x) · Φ 8 (x) · Φ p (x) · Φ 2p (x) · Φ 4p (x) · Φ 8p (x).<br />

Z drugiej strony wiemy, że:<br />

x 8p − 1 =<br />

(<br />

(x 4p − 1)<br />

)<br />

(x 4 ) p + 1<br />

= Φ 1 (x) · Φ 2 (x) · Φ 4 (x) · Φ p (x) · Φ 2p (x) · Φ 4p (x) · Φ 2 (x 4 ) · Φ p (−x 4 ).<br />

Z 12.8.3 wiemy, że Φ 8 (x) = Φ 2 (x 4 ). Zatem Φ 8p (x) = Φ p (−x 4 ). ⊠<br />

12.8.14. Jeżeli p 3 jest liczbą pierwszą, to<br />

Φ 2 k p(x) = Φ p (−x 2k−1 ).<br />

12.8.15. Jeżeli p i q są różnymi liczbami pierwszymi nieparzystymi, to<br />

D. Wiemy z 12.4.2, że<br />

Φ 4pq (x) = Φ pq (−x 2 ).<br />

x 4pq −1 = Φ 1 (x)·Φ 2 (x)·Φ 4 (x)·Φ p (x)·Φ 2p (x)·Φ 4p (x)·Φ q (x)·Φ 2q (x)·Φ 4q (x)·Φ pq (x)·Φ 2pq (x)·Φ 4pq (x).<br />

Z drugiej strony wiemy, że:<br />

x 4pq − 1 = (x 2pq − 1)(x 2pq + 1)<br />

= Φ 1 (x) · Φ 2 (x) · Φ p (x) · Φ 2p (x) · Φ q (x) · Φ 2q (x) · Φ pq (x) · Φ 2pq (x) · (x 2pq + 1).<br />

Porównując stronami <strong>po</strong>wyższe równości otrzymujemy równość:<br />

Następnie korzystając z 12.8.12 otrzymujemy, że:<br />

Φ 4 (x) · Φ 4p (x) · Φ 4q (x) · Φ 4pq (x) = x 2pq + 1.<br />

(x 2 + 1) · Φ p (−x 2 ) · Φ q (−x 2 ) · Φ 4pq (x) = x 2pq + 1<br />

(<br />

)<br />

= − (−x 2 ) pq − 1<br />

Wiemy jednak, że<br />

Zatem Φ 4pq (x) = Φ pq (−x 2 ). ⊠<br />

= −Φ 1 (−x 2 ) · Φ p (−x 2 ) · Φ q (−x 2 ) · Φ pq (−x 2 ).<br />

−Φ 1 (−x 2 ) = −(−x 2 − 1) = x 2 + 1.


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 157<br />

Teraz przedstawiamy wielomiany cyklotomiczne o numerach <strong>po</strong>dzielnych przez 3.<br />

12.8.16. Jeżeli p i q są takimi liczbami pierwszymi, że p > q > 3, to<br />

Φ 3p (x) − Φ 3q (x) = (x p − x q ) xp + x q + 1<br />

x 2 + x + 1 .<br />

D. Φ 3p (x) − Φ 3q (x) = Φ 3(x p )<br />

Φ 3 (x) − Φ 3(x q )<br />

Φ 3 (x)<br />

1<br />

[<br />

]<br />

=<br />

x 2 (x 2p + x p + 1) − (x 2q + x q + 1)<br />

+ x + 1<br />

1<br />

=<br />

x 2 + x + 1 (x2p − x 2q + x p − x q )<br />

1<br />

[<br />

]<br />

=<br />

x 2 (x p − x q )(x p + x q ) + (x p − x q )<br />

+ x + 1<br />

1<br />

=<br />

x 2 + x + 1 (xp − x q )(x p + x q + 1). ⊠<br />

12.8.17. Jeżeli p i q są takimi liczbami pierwszymi, że p > q > 3, to wielomian<br />

(x p − x q )(x p + x q + 1)<br />

jest <strong>po</strong>dzielny w Z[x] przez wielomian x 2 + x + 1.<br />

D. Wynika z 12.8.17, gdyż wiemy, że<br />

Φ 3p − Φ 3q<br />

jest wielomianem należącym do pierścienia Z[x]. Mamy zatem w Z[x] równość<br />

(x 2 + x + 1)(Φ 3p (x) − Φ 3q (x)) = (x p − x q )(x p + x q + 1). ⊠<br />

U. Wielomiany <strong>po</strong>staci x p − x q (gdzie p i q są liczbami pierwszymi takimi, że p > q > 3) i<br />

x 2 + x + 1 nie muszą być względnie pierwsze. Dla przykładu<br />

x 29 − x 23 = x 23 (x 6 − 1) = x 23 (x 3 − 1)(x 3 + 1) = x 23 (x − 1)(x 3 + 1)(x 2 + x + 1),<br />

czyli tutaj x 2 + x + 1 dzieli x 29 − x 23 . ⊠<br />

12.8.18. Jeżeli p i q są takimi liczbami pierwszymi, że p > q > 3, to wielomian<br />

jest <strong>po</strong>dzielny przez x q .<br />

Φ 3p (x) − Φ 3q (x)<br />

12.8.19. Jeżeli p i q są takimi liczbami pierwszymi, że p > q > 3, to wielomian<br />

Φ 3p (x) − Φ 3q (x)<br />

jest <strong>po</strong>dzielny przez wielomian x q (x − 1)(x + 1).<br />

12.8.20. Jeżeli p i q są takimi liczbami pierwszymi, że p > q > 3 oraz p − q = 6, to<br />

Φ 3p (x) − Φ 3q (x) = (x − 1)(x + 1)(x 2 − x + 1)(x p + x q + 1)x q .<br />

12.8.21. Jeżeli p i q są takimi liczbami pierwszymi, że p > q > 3 oraz p−q = 4, to wielomian<br />

Φ 3p (x) − Φ 3q (x)<br />

jest <strong>po</strong>dzielny przez wielomian x q (x 4 − 1) = x q (x − 1)(x + 1)(x 2 + 1).


158 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.9 Współczynniki wielomianów cyklotomicznych<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Niech<br />

Φ n (x) = c ϕ(n) x ϕ(n) + c ϕ(n)−1 x ϕ(n)−1 + · · · + c 2 x 2 + c 1 x 1 + c 0 .<br />

Wiemy, że liczby c 0 , c 1 , . . . , c ϕ(n) są całkowite.<br />

12.9.1. Jeśli n 2, to c k = c ϕ(n)−k dla wszystkich k ∈ {0, 1, . . . , ϕ(n)}.<br />

D. Wynika to z równości Ψ n (x, y) = Ψ n (y, x) (patrz 12.7.2). ⊠<br />

12.9.2. Wyrazem wolnym wielomianu Φ 1 (x) jest −1. Wyraz wolny każdego wielomianu<br />

Φ n (x), gdzie n 2, jest równy 1.<br />

D. (S<strong>po</strong>sób I). Jest to szczególny przypadek faktu 12.9.1, gdyż dla n 2 mamy: c 0 = c ϕ(n)−0 =<br />

c ϕ(n) = 1.<br />

(S<strong>po</strong>sób II). Wyrazem wolnym wielomianu Φ 2 (x) = x + 1 jest oczywiście 1. Załóżmy, że n 3<br />

i niech ω 1 , . . . , ω ϕ(n) będą wszystkimi pierwotnymi pierwiastkami n-tego stopnia z jedynki. Niech a<br />

oznacza wyraz wolny wielomianu Φ n (x). Mamy wtedy<br />

a = (−1) ϕ(n) ω 1 · · · ω ϕ(n) .<br />

Wiadomo, że jeśli n 3, to ϕ(n) jest liczbą parzystą. Zatem a = ω 1 · · · ω ϕ(n) .<br />

Jeśli ε jest pierwotnym pierwiastkiem n-tego stopnia z jedynki, to liczba 1 ε<br />

również jest pierwotnym<br />

pierwiastkiem n-tego stopnia z jedynki. Ponadto, jeśli n > 2, to ε ≠ 1 ε<br />

. Zatem zbiór wszystkich<br />

pierwotnych pierwiastków n-tego stopnia z jedynki można rozbić na parami rozłączne dwuelementowe<br />

zbiory <strong>po</strong>staci {ε, 1 ε<br />

}. Iloczyn wszystkich takich pierwiastków jest więc równy 1, tzn. a = 1. ⊠<br />

12.9.3. Niech n 2. Rozpatrzmy sumę wszystkich współczynników wielomianu Φ n (x). Suma<br />

ta jest oczywiście równa Φ n (1). Jeśli n nie jest <strong>po</strong>tęgą liczby pierwszej, to<br />

Φ n (1) = 1.<br />

W przeciwnym przypadku, jeśli n = p s , p ∈ P, s 1, to<br />

Φ n (1) = p.<br />

D. (K. Motose). Dla n = p s fakt ten wynika z równości<br />

Φ p s = x ps−1 (p−1) + x ps−1 (p−2) + · · · + 1<br />

(patrz 12.8.2). Załóżmy, że n 2 nie jest <strong>po</strong>tegą liczby pierwszej. Wtedy n = p s m, gdzie p jest pewną<br />

liczbą pierwszą i m 2, p ∤ m. Ponieważ<br />

Φ mp s(x) = Φ m(x ps )<br />

Φ m (x ps−1 )<br />

oraz Φ m (1) ≠ 0 (gdyż m ≠ 1), więc Φ n (1) = Φ m(1)<br />

Φ m (1) = 1. ⊠<br />

12.9.4. Jeśli n 3 jest liczbą nieparzystą, to Φ n (−1) = 1. ([Mon] 6(111)(2004) 531-533).


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 159<br />

12.9.5. Jeżeli n ∈ N jest dowolną <strong>po</strong>tęgą liczby pierwszej, wówczas wszystkie współczynniki<br />

n-tego wielomianu cyklotomicznego są nieujemne.<br />

D. Wynika to z równości Φ p s = x ps−1 (p−1) + x ps−1 (p−2) + · · · + 1 (patrz 12.8.2). ⊠<br />

12.9.6. Wszystkie współczynniki wielomianu Φ n (x) są nieujemne wtedy i tylko wtedy, gdy n<br />

jest <strong>po</strong>tęgą liczby pierwszej. ([Mon] 73(5)(1966) E1769).<br />

12.9.7. Niech q > p będą liczbami pierwszymi i niech r, s będą nieujemnymi liczbami całkowitymi<br />

takimi jak w 12.10.3. Wówczas środkowy współczynnik wielomianu Φ pq (x) jest równy<br />

(−1) r . ([Mon] 103(7)(1996) 562-564, wynika z 12.10.4).<br />

12.9.8 (Dresden 2004). Dla n 3 środkowy współczynnik wielomianu Φ n (x) jest albo równy<br />

zero (kiedy n jest <strong>po</strong>tęgą dwójki) albo jest liczbą nieparzystą. ([Mon] 6(111)(2004)).<br />

12.9.9. Niech m(n) oznacza środkowy współczynnik wielomianu Φ n (x). Kilka przykładów:<br />

m(385 = 5 · 7 · 11) = −3,<br />

m(4785 = 3 · 5 · 11 · 29) = 5,<br />

m(7735 = 5 · 7 · 13 · 17) = −7,<br />

m(11305 = 5 · 7 · 17 · 19) = 19. (J. Suzuki 1987).<br />

12.9.10 (I. Schur). Niech b ∈ N. Istnieje wielomian cyklotomiczny, którego co najmniej<br />

jeden współczynnik ma wartość bezwzględną większą od b. ([Fila] s.103).<br />

⋆ G. P. Dresden, On the middle coefficient of a cyclotomic <strong>po</strong>lynomial,<br />

[Mon] 6(111)(2004) 531 - 533.<br />

E. Lehmer, On the magnitude of coefficients of the cyclotomic <strong>po</strong>lynomials,<br />

[Bams] 42(1936) 389-392.<br />

J. Suzuki, On coefficients of cyclotomic <strong>po</strong>lynomials, [Pjap] 63(1987) 279-280.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.10 Współczynniki wielomianu Φ pq (x)<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Jeśli p i q są różnymi liczbami pierwszymi, to (patrz 12.4.8)<br />

Φ pq (x) = (1 − xpq )(1 − x)<br />

(1 − x p )(1 − x q ) .<br />

Jest to wielomian stopnia ϕ(pq) = (p − 1)(q − 1).<br />

12.10.1 (Migotti 1883, Bang 1895). Wszystkie współczynniki wielomianu<br />

Φ pq (x),<br />

gdzie p i q są liczbami pierwszymi, należą do zbioru {−1, 0, 1}.<br />

([Bang], [Mon] 73(9)(1966), 103(7)(1996)).


160 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

Przedstawimy teraz dokładniejsze opisy współczynników wielomianów <strong>po</strong>staci Φ pq . Opisy<br />

te <strong>po</strong>chodzą głównie z artykułów z czasopisma [Mon].<br />

12.10.2 (Sister Marion Beiter 1964). Niech q > p będą liczbami pierwszymi i niech<br />

Φ pq (x) = ∑ c k x k .<br />

Wtedy dla każdego k = 0, 1, . . . , ϕ(pq) zachodzi równość<br />

c k =<br />

{ (−1) δ , jeśli k można jednoznacznie przedstawić w <strong>po</strong>staci k = αq + βp + δ,<br />

0, w przeciwnym wypadku,<br />

gdzie α, β są nieujemnymi liczbami całkowitymi oraz δ = 0 lub 1. ([Mon] 71(1964) 769-770).<br />

Do przedstawienia następnych charakteryzacji współczynników wielomianu Φ pq (x) <strong>po</strong>trzebny<br />

będzie następujący fakt. Jeśli a i b są względnie pierwszymi liczbami naturalnymi, to<br />

każdą liczbę naturalną n, większą od ab − a − b, można przedstawić w <strong>po</strong>staci n = xa + yb,<br />

gdzie x i y są nieujemnymi liczbami całkowitymi. Dowód tego faktu można znaleźć np. w<br />

[Nar03] s.34 (jest również w [N-6]). Korzystając z tego, łatwo dowodzi się następujący lemat.<br />

12.10.3. Jeśli q ≠ p są liczbami pierwszymi, to istnieją jednoznacznie wyznaczone takie<br />

nieujemne liczby całkowite r, s, że (p − 1)(q − 1) = rp + sq. Ponadto:<br />

(1) 0 r q − 2, 0 s p − 2;<br />

(2) r = u − 1, s = v − 1, gdzie u ∈ {1, 2, . . . , q − 1}, v ∈ {1, 2, . . . , p − 1} są takimi<br />

liczbami naturalnymi, że up ≡ 1 (mod q) oraz vq ≡ 1 (mod p).<br />

12.10.4 (Lam, Leung 1996). Niech q > p będą liczbami pierwszymi i niech r, s będą nieujemnymi<br />

liczbami całkowitymi takimi jak w 12.10.3. Wówczas wszystkie współczynniki wielomianu<br />

Φ pq (x) = ∑ c k x k należą do zbioru {−1, 0, 1}. Dokładniej:<br />

(1) c k = 1 wtedy i tylko wtedy, gdy k = ip + jq, gdzie i ∈ {0, 1, . . . , r}, j ∈ {0, 1, . . . , s};<br />

(2) c k = −1 wtedy i tylko wtedy, gdy k = ip + jq − pq, gdzie i ∈ {r + 1, r + 2, . . . , q − 1},<br />

j ∈ {s + 1, s + 2, . . . , p − 1};<br />

(3) c k = 0 w <strong>po</strong>zostałych przypadkach. ([Mon] 103(7)(1996) 562-564).<br />

Wprowadzamy następujące oznaczenia. Przez a(p, q) oznaczać będziemy liczbę wszystkich<br />

współczynników równych 1 wielomianu Φ pq (x). Podobnie przez b(p, q) i c(p, q) oznaczać<br />

będziemy liczby współczynników równych od<strong>po</strong>wiednio −1 i 0 wielomianu Φ pq (x). Dla przykładu,<br />

jeśli p = 3 i q = 5, to<br />

Φ 15 = x 8 − x 7 + x 5 − x 4 + x 3 − x + 1<br />

i mamy: a(3, 5) = 4, b(3, 5) = 3 oraz c(3, 5) = 2.<br />

12.10.5. b(p, q) = a(p, q) − 1. ([Mon] 73(9)(1966), 103(7)(1996)).


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 161<br />

D. Wynika to natychmiast z tego, że wszystkie współczynniki wielomianu Φ pq (x) należą do zbioru<br />

{−1, 0, 1} oraz z tego, że<br />

Φ pq (1) = 1<br />

(patrz 12.10.1 i 12.9.3). Łatwo to również wywnioskować z faktu 12.10.7. ⊠<br />

12.10.6 (Carlitz 1966 ). Niech q > p będą liczbami pierwszymi i niech w ∈ {1, 2, . . . , p − 1}<br />

będzie jedyną liczbą naturalną taką, że wq ≡ −1 (mod p). Wtedy<br />

a(p, q) = 1 (p − w)(wq + 1).<br />

p<br />

([Mon] 73(9)(1966)).<br />

12.10.7 (Lam, Leung 1996). Niech q > p będą liczbami pierwszymi i niech r, s będą nieujemnymi<br />

liczbami całkowitymi takimi jak w 12.10.3. Zachodzą równości:<br />

(1) a(p, q) = (r + 1)(s + 1),<br />

(2) b(p, q) = (p − s − 1)(q − r − 1),<br />

(3) c(p, q) = 2 + (p − 1)(q − 1) − 2(r + 1)(s + 1). ([Mon] 103(7)(1996), wynika to z 12.10.4).<br />

12.10.8 (Lenstra 1978). Niech q > p będą liczbami pierwszymi.<br />

Niech u ∈ {1, 2, . . . , q − 1}, v ∈ {1, 2, . . . , p − 1} będą jedynymi takimi liczbami naturalnymi,<br />

że up ≡ 1 (mod q) i vq ≡ 1 (mod p). Wtedy<br />

([Mon] 103(7)(1996)).<br />

a(p, q) = uv, b(p, q) = uv − 1.<br />

12.10.9 (Carlitz 1966). Z faktu 12.10.6 łatwo wywnioskować następujące równości.<br />

(1) a(3, 3k + 1) = 2k + 1, a(3, 3k + 2) = 2k + 2.<br />

(2) a(5, 5k+1) = 4k+1, a(5, 5k+2) = 6k+3, a(5, 5k+3) = 6k+4, a(5, 5k+4) = 4k+4.<br />

(3) a(p, kp + 1) = k(p − 1) + 1, a(p, pk + p − 1) = k(p − 1) + p − 1. ([Mon] 73(9)(1966)).<br />

12.10.10 (Zeitlin 1968). Niech q > p bądą liczbami pierwszymi i niech<br />

Φ pq (x) =<br />

N∑<br />

c k x k ,<br />

gdzie N = ϕ(pq) = (p − 1)(q − 1). Przyjmujemy, że c k = 0 dla k > N. Zachodzą wówczas<br />

następujące równości.<br />

(1) c k =<br />

(2)<br />

(3)<br />

N−1 ∑<br />

i=0<br />

N/2<br />

∑<br />

i=0<br />

2k∑<br />

i=0<br />

k=0<br />

(−1) i c i c 2k−i , dla k = 0, 1, . . . , N;<br />

(−1) i c i c i+1 = 0;<br />

c 2i = 1;<br />

N/2 ∑<br />

i=1<br />

c 2i−1 = 0;


162 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

(4)<br />

(5)<br />

(6)<br />

(7)<br />

N∑<br />

ic i = 1 2 N = ∑ N (−1) i ic i ;<br />

i=1<br />

i=1<br />

N∑<br />

(−1) i ic 2 i = 1 2 Nc N/2;<br />

i=1<br />

N∑<br />

i=1<br />

i 2 c i = 1 N∑<br />

N(N + pq + 1),<br />

6<br />

N∑<br />

i 3 c i = 1 4 N 2 (pq + 1),<br />

i=1<br />

i=1<br />

(−1) i i 2 c i = 1 2N(pq + 1);<br />

N∑<br />

(−1) i i 3 c i = 1 4 N 2 (3pq + 3 − N). ([Zeit]).<br />

i=1<br />

⋆ M. Beiter, The midterm coefficient of the cyclotomic <strong>po</strong>lynomial F pq (x),<br />

[Mon] 71(1964) 769-770.<br />

M. Beiter, Magnitude of the coefficients of the cyclotomic <strong>po</strong>lynomial F pq (x),<br />

[Mon] 75(1968) 370-372.<br />

L. Carlitz, The number of terms in the cyclotomic <strong>po</strong>lyn. F pq (x), [Mon] 73(9)(1966) 979-981.<br />

T. Y. Lam, K. H. Leung, On the cyclotomic <strong>po</strong>lynomial Φ pq (x), [Mon] 103(7)(1996) 562-564.<br />

H. Lenstra, Vanishing sums of roots of unity, Proc. Bicentennial Congress Wiskunding Genootschap,<br />

Vrije Univ. Amsterdam, 1978, 249-268.<br />

A. Migotti, Zur Theorie der Kreisteilungsgleichung, S.-B. der Math.-Naturwiss. Classe der Kaiser.<br />

Akad. der Wiss., Wien 87(1983) 7-14.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.11 Współczynniki wielomianów Φ pqr (x) i Φ pqrs (x)<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.11.1. Patrząc na tablice wielomianów cyklotomicznych mogłoby się wydawać, że wszystkie<br />

niezerowe współczynniki wielomianów cyklotomicznych są równe ±1. Nie jest to jednak<br />

prawdą bowiem:<br />

Φ 105 (x) = 1 + x + x 2 − x 5 − x 6 −2x 7 − x 8 − x 9 + x 12 + x 13 + x 14 + x 15 + x 16 + x 17<br />

−x 20 − x 22 − x 24 − x 28 + x 31 + x 32 + x 33 + x 34 + x 35<br />

+x 36 − x 39 − x 40 −2x 41 − x 42 − x 43 + x 46 + x 47 + x 48 .<br />

12.11.2. Niech r > q > p będą liczbami pierwszymi i niech<br />

Φ pqr (x) =<br />

gdzie N = ϕ(pqr) = (p − 1)(q − 1)(r − 1).<br />

N∑<br />

c k x k ,<br />

Oznaczmy przez m największą z liczb |c 0 |, |c 1 |, . . . , |c N |. Wtedy:<br />

([Bloo]).<br />

(1) m p − 1, ([Bang] 1895);<br />

(2) jeśli p = 5, to m 3;<br />

(3) jeśli p = 7 i m = 6, to q ≡ ±3 (mod 7) oraz r ≡ ±3 (mod 7);<br />

(4) jeśli p 5 i m = p − 1, to liczby r i s nie przystają do ±1 modulo p.<br />

k=0


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 163<br />

12.11.3 (Zeitlin 1968). Niech r > q > p bądą liczbami pierwszymi i niech<br />

Φ pqr (x) =<br />

N∑<br />

c k x k ,<br />

gdzie N = ϕ(pqr) = (p − 1)(q − 1)(r − 1). Oznaczmy M = pqr + p + q + r. Zachodzą wówczas<br />

następujące równości.<br />

(1)<br />

(2)<br />

(3)<br />

(4)<br />

N∑<br />

ic i = 1 2 N = ∑ N (−1) i ic i ;<br />

i=1<br />

i=1<br />

N∑<br />

(−1) i ic 2 i = 1 2 Nc N/2;<br />

i=1<br />

N∑<br />

i=1<br />

i 2 c i = 1 N N(N + M),<br />

6<br />

N∑<br />

i 3 c i = 1 4 N 2 M,<br />

i=1<br />

k=0<br />

∑<br />

(−1) i i 2 c i = 1 2 NM;<br />

i=1<br />

N∑<br />

(−1) i i 3 c i = 1 4 N 2 (3M − N). ([Zeit]).<br />

i=1<br />

12.11.4 (Bloom 1968). Niech s > r > q > p bądą liczbami pierwszymi i niech<br />

N∑<br />

Φ pqrs (x) = c k x k ,<br />

k=0<br />

gdzie N = ϕ(pqrs) = (p − 1)(q − 1)(r − 1)(s − 1).<br />

Oznaczmy przez m największą z liczb |c 0 |, |c 1 |, . . . , |c N |. Wtedy<br />

m p(p − 1)(pq − 1).<br />

([Bloo]).<br />

12.11.5 (Zeitlin 1968). Niech s > r > q > p bądą liczbami pierwszymi i niech<br />

N∑<br />

Φ pqr (x) = c k x k ,<br />

k=0<br />

gdzie N = ϕ(pqrs) = (p − 1)(q − 1)(r − 1)(s − 1). Zachodzą wówczas następujące równości.<br />

(1)<br />

(2)<br />

N∑<br />

ic i = 1 2 N = ∑ N (−1) i ic i ;<br />

i=1<br />

i=1<br />

N∑<br />

(−1) i ic 2 i = 1 2 Nc N/2. ([Zeit]).<br />

i=1<br />

⋆ M. Beiter, Magnitude of the coefficients of the cyclotomic <strong>po</strong>lynomial F pq (x), [Mon] 75(1968)<br />

370-372.


164 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.12 <strong>Liczb</strong>y naturalne <strong>po</strong>staci Φ n (a)<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

W tym <strong>po</strong>drozdziale zajmować się będziemy liczbami <strong>po</strong>staci Φ n (a), gdzie a jest liczbą<br />

naturalną. Przy<strong>po</strong>mnijmy (patrz 12.5.4), że jeśli n 2, to dla każdej liczby naturalnej a<br />

zachodzi nierówność Φ n (a) a. Stąd w szczególności wynika, że każde takie Φ n (a) (dla<br />

n 2 oraz a ∈ N) jest liczbą naturalną.<br />

Przypadek a = 1 jest już nam dobrze znany. Przy<strong>po</strong>mnijmy (patrz 12.9.3), że jeśli n 2<br />

nie jest <strong>po</strong>tęgą liczby pierwszej, to Φ n (1) = 1. W przeciwnym przypadku, jeśli n = p s , p ∈ P,<br />

s 1, to Φ n (1) = p. W dalszym ciągu zakładać będziemy często, że a jest liczbą naturalną<br />

większą od 1.<br />

Spójrzmy na kilka przykładów.<br />

12.12.1. <strong>Liczb</strong>y <strong>po</strong>staci Φ n (2) dla 1 n 40.<br />

n Φ n (2)<br />

1 1<br />

2 3<br />

3 7<br />

4 5<br />

5 31<br />

6 3<br />

7 127<br />

8 17<br />

9 73<br />

10 11<br />

n Φ n (2)<br />

11 2047<br />

12 13<br />

13 8191<br />

14 43<br />

15 151<br />

16 257<br />

17 131071<br />

18 57<br />

19 524287<br />

20 205<br />

n Φ n (2)<br />

21 2359<br />

22 683<br />

23 8388607<br />

24 241<br />

25 1082401<br />

26 2731<br />

27 262657<br />

28 3277<br />

29 536870911<br />

30 331<br />

n Φ n (2)<br />

31 2147483647<br />

32 65537<br />

33 599479<br />

34 43691<br />

35 8727391<br />

36 4033<br />

37 137438953471<br />

38 174763<br />

39 9588151<br />

40 61681<br />

W prawych kolumnach mamy dokładnie 27 liczb pierwszych. W pierwszej tabelce oprócz<br />

Φ 1 (2) = 1 występują same liczby pierwsze. Następna liczba, Φ 11 (2) = 2047 = 23 · 89, już nie<br />

jest liczbą pierwszą. Istnieją dokładnie 44 liczby pierwsze <strong>po</strong>staci Φ n (2), gdzie 1 n 100.<br />

Jeśli natomiast 1 n 1000, to takich liczb pierwszych jest dokładnie 99. (Maple).<br />

12.12.2. <strong>Liczb</strong>y <strong>po</strong>staci Φ n (3) dla 1 n 40.<br />

n Φ n (3)<br />

1 2<br />

2 4<br />

3 13<br />

4 10<br />

5 121<br />

6 7<br />

7 1093<br />

8 82<br />

9 757<br />

10 61<br />

n Φ n (3)<br />

11 88573<br />

12 73<br />

13 797161<br />

14 547<br />

15 4561<br />

16 6562<br />

17 64570081<br />

18 703<br />

19 581130733<br />

20 5905<br />

n Φ n (3)<br />

21 368089<br />

22 44287<br />

23 47071589413<br />

24 6481<br />

25 3501192601<br />

26 398581<br />

27 387440173<br />

28 478297<br />

29 34315188682441<br />

30 8401<br />

n Φ n (3)<br />

31 308836698141973<br />

32 43046722<br />

33 2413941289<br />

34 32285041<br />

35 189150889201<br />

36 530713<br />

37 225141952945498681<br />

38 290565367<br />

39 195528263281<br />

40 42521761<br />

W prawych kolumnach mamy dokładnie 16 liczb pierwszych. Istnieją dokładnie 23 liczby<br />

pierwsze <strong>po</strong>staci Φ n (3), gdzie 1 n 100. Jeśli natomiast 1 n 200, to takich liczb<br />

pierwszych jest dokładnie 31. (Maple).


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 165<br />

Przy<strong>po</strong>mnijmy, że jeśli n ≠ m, to wielomiany cyklotomiczne Φ n (x), Φ m (x) są względnie<br />

pierwsze (patrz 12.9.3) w pierścieniu Z[x]. Stąd jednak nie wynika, że jeśli n ≠ m oraz<br />

2 a ∈ N, to liczby naturalne Φ n (a), Φ m (a) są również względnie pierwsze. Mamy na<br />

przykład 6 ≠ 18 oraz nwd (Φ 6 (2), Φ 18 (2)) = nwd(6, 57) = 3. Inny przykład: 2 ≠ 4 oraz<br />

nwd (Φ 2 (3), Φ 4 (3)) = nwd(4, 10) = 2<br />

W pewnych jednak przypadkach tę względną pierwszość można uzyskać. Udowodniliśmy<br />

(patrz 12.4.7), że jeśli d, n są liczbami naturalnymi takimi, że d < n oraz d ∤ n, to istnieją<br />

wielomiany o współczynnikach całkowitych F (x), G(x) takie, że<br />

1 = F (x)Φ d (x) + G(x)Φ n (x).<br />

Podobnego typu równość zachodzi zachodzi nawet przy słabszym założeniu; wystarczy założyć,<br />

że n/d nie jest <strong>po</strong>tągą liczby pierwszej (patrz twierdzenie 12.4.5). Z tych faktów wynikają<br />

natychmiast następujące trzy stwierdzenia zachodzące dla dowolnej liczby naturalnej a (a<br />

nawet dla a ∈ Z).<br />

12.12.3. Jeśli d, n są liczbami naturalnymi takimi, że d < n oraz d ∤ n, to dla dowolnej liczby<br />

całkowitej a, liczby Φ d (a), Φ n (a) są względnie pierwsze.<br />

12.12.4. Jeśli m, m są względnie pierwszymi liczbami naturalnymi większymi od 1, to to dla<br />

dowolnej liczby całkowitej a, liczby Φ n (a), Φ m (a) są względnie pierwsze.<br />

12.12.5. Niech 1 < d < m będą liczbami naturalnymi. Jeśli istnieje taka liczba całkowita a,<br />

że nwd (Φ d (a), Φ n (a)) > 1, to d jest dzielnikiem liczby n.<br />

Pan Tomasz Ordowski przesłał mi (w maju 2013 roku) dwa interesujące zadania do rozwiązania,<br />

dotyczące wielomianów cyklotomicznych. O pierwszym jego zadaniu napisaliśmy<br />

na stronie 150 (patrz 12.4.16). Oto drugie zadanie wraz z dowodem.<br />

12.12.6. Niech a 2 będzie liczbą naturalną i niech (b n ) będzie ciągiem liczb naturalnych<br />

takim, że<br />

( )<br />

b 1 = 1 oraz b n+1 = nww b n , a n − 1 dla n ∈ N.<br />

Wówczas dla dowolnej liczby naturalnej n zachodzi równość<br />

b n+1<br />

b n<br />

= Φ n (a).<br />

D. Udowodnimy, że dla każdej liczby naturalnej n zachodzi równość<br />

(∗) b n =<br />

n−1<br />

∏<br />

k=1<br />

Φ k (a).<br />

Indukcja ze względu na n. Dla n = 1 jest to oczywiste. Krok indukcyjny:<br />

⎡<br />

⎤<br />

n−1<br />

∏<br />

b n+1 = [b n , a n − 1] = ⎣<br />

Φ d (a) ⎦ = [AB, AΦ n (a)] .<br />

k=1<br />

Φ k (a), ∏ d|n<br />

Wykorzystaliśmy twierdzenie 12.4.2. Tutaj A jest iloczynem wszystkich liczb <strong>po</strong>staci Φ d (a), gdzie<br />

d < n oraz d | n. Natomiast B jest iloczynem wszystkich liczb <strong>po</strong>staci Φ d (a), gdzie d < n oraz d ∤ n.<br />

Nawiasami kwadratowymi oznaczono najmniejszą wspólną wielokrotność.


166 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

Ze stwierdzenia 12.12.3 wynika, że liczby B oraz Φ n (b) są względnie pierwsze. Mamy zatem:<br />

b n+1 = [AB, AΦ n (a)] = A [B, Φ n (a)] = ABΦ n (a) =<br />

( n−1<br />

) ∏<br />

Φ k (a) · Φ n (a) =<br />

k=1<br />

i to kończy nasz indukcyjny dowód równości (∗). Zatem b n+1 /b n = Φ n (a). ⊠<br />

n∏<br />

Φ k (a)<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.13 Podzielność liczb Φ n (a) przez liczby pierwsze<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Jeśli a, m ∈ Z, m 2 oraz nwd(a, m) = 1, to przez δ m (a) oznaczamy rząd liczby a modulo<br />

m, tzn. δ m (a) jest najmniejszą liczbą naturalną n taką, że<br />

a n ≡ 1 (mod m).<br />

Podstawowe własności liczby δ m (a) znajdują się np. w [N-4].<br />

k=1<br />

12.13.1. Niech p ∈ P, a ∈ Z, n ∈ N. Jeśli p | Φ n (a), to p ∤ a.<br />

D. Wiadomo, że wielomian Φ n (x) jest <strong>po</strong>dzielnikiem (w Z[x]) wielomianu x n − 1. Załóżmy, że<br />

p | Φ n (a). Wtedy p | a n − 1. Gdyby p dzieliło a, to otrzymalibyśmy sprzeczność: p | 1. ⊠<br />

12.13.2. Niech a 2, n 2 będą liczbami naturalnymi i niech p będzie liczbą pierwszą. Jeśli<br />

p | Φ n (a), to<br />

n = p s δ p (a),<br />

gdzie s 0 jest pewną liczbą całkowitą. ([Mot1], [Mot5]).<br />

D. Załóżmy, że p | Φ n (a). Wtedy p ∤ a (patrz 12.13.1), więc można mówić o rzędzie δ p (a). Ponieważ<br />

a n ≡ 1 (mod p), więc rząd δ p (a) jest <strong>po</strong>dzielnikiem liczby n. Zatem n = p s tδ p (a), gdzie s 0, t ∈ N,<br />

p ∤ t. Pokażemy, że t = 1.<br />

Przypuśćmy, że t > 1. Oznaczmy: m = p s δ p (a). Wtedy n = mt, p ∤ t. Ponieważ m | n, więc<br />

a n − 1 = ∏ d|n<br />

Φ d (a) = ∏ d|m<br />

Φ d (a) · ∏<br />

d∈A<br />

Φ d (a) = (a m − 1) ∏ d∈A<br />

Φ d (a),<br />

gdzie A jest zbiorem tych wszystkich naturalnych <strong>po</strong>dzielników liczby n które nie są <strong>po</strong>dzielnikami<br />

liczby m. Zauważmy, że n ∈ A (gdyż t > 1). W iloczynie ∏ Φ d (a) występuje więc czynnik Φ n (a), który<br />

jest <strong>po</strong>dzielny przez p. Oznacza to, że liczba całkowita an −1<br />

a m −1<br />

jest <strong>po</strong>dzielna przez p. Przy<strong>po</strong>mnijmy,<br />

że a m ≡ 1 (mod p). Modulo p mamy więc:<br />

0 ≡ an − 1<br />

a m − 1 = amt − 1<br />

a m − 1 = am(t−1) + a m(t−2) + · · · + a m + 1 ≡ 1 + 1 · · · + 1 = t,<br />

} {{ }<br />

t<br />

czyli otrzymaliśmy sprzeczność: p | t. Zatem t = 1 i stąd n = p s δ p (a). ⊠<br />

Zmierzamy teraz do udowodnienia twierdzenia odwrotnego do twierdzenia 12.13.2.<br />

12.13.3. Niech p ∈ P, a 2, a ∈ N, p ∤ a. Wtedy p | Φ δ (a), gdzie δ = δ p (a).<br />

d∈A


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 167<br />

D. Wiemy, że δ jest najmniejszą liczbą naturalną taką, że p | a δ − 1. Wiemy również, że<br />

a δ − 1 = ∏ d|δ<br />

Φ d (a).<br />

Wśród czynników <strong>po</strong>staci Φ d (a), gdzie d | δ, występuje więc czynnik <strong>po</strong>dzielny przez p. Przypuśćmy,<br />

że p | Φ d (a), gdzie d < δ. Wtedy p dzieli a d − 1, gdyż<br />

a d − 1 = ∏ e|d<br />

Φ e (a).<br />

Jeśli więc d < δ, to mamy sprzeczność z własnością minimalności liczby δ. Zatem p | Φ δ (a). ⊠<br />

12.13.4. Niech a ∈ Z, 2 ∤ a, s ∈ N. Wtedy 2 | Φ 2 s(a).<br />

D. To jest oczywiste, gdyż Φ 2 s(a) = a 2s−1 + 1. ⊠<br />

Zanotujmy następujący dobrze znany fakt (patrz np. [N-8]), który w dalszym ciągu będzie<br />

przydatny.<br />

12.13.5. Niecg p 3 będzie liczbą pierwszą i niech b 2 będzie liczbą naturalną taką, że<br />

b ≡ 1 (mod p). Niech w = bp − 1<br />

b − 1 . Wtedy<br />

w ∈ N, p | w oraz p 2 ∤ w.<br />

12.13.6. Niech a 2, n 2 będą liczbami naturalnymi i niech p będzie liczbą pierwszą taką,<br />

że p ∤ a. Jeśli n = p s δ p (a), gdzie s 0, to p | Φ n (a). ([Mot1], [Mot5]).<br />

D. Wykazaliśmy to już w przypadkach, gdy s = 0 (patrz 12.13.3) i p = 2 (patrz 12.13.4).<br />

Zakładamy więc, że n = p s δ p (a), s 1, p 3. Oznaczmy:<br />

m = p s−1 δ p (a), b = a m .<br />

Wtedy oczywiście b ≡ 1 (mod p), b 2 oraz n = pm. Z faktu 12.13.5 wynika więc, że liczba bp −1<br />

b−1<br />

jest<br />

całkowita i <strong>po</strong>dzielna przez p. Ale<br />

b p − 1<br />

b − 1 = an − 1<br />

a m − 1 ,<br />

więc liczba an − 1<br />

a m jest całkowita i <strong>po</strong>dzielna przez p. Z własności wielomianów cyklotomicznych<br />

− 1<br />

otrzymujemy:<br />

a n − 1 = ∏ Φ d (a) = ∏ Φ d (a) · ∏<br />

Φ d (a) = (a m − 1) ∏ Φ d (a),<br />

d|n<br />

d|m d∈A d∈A<br />

gdzie A jest zbiorem tych wszystkich naturalnych <strong>po</strong>dzielników liczby n, które nie są <strong>po</strong>dzielnikami<br />

liczby m. Zatem liczba<br />

∏<br />

Φ d (a) = an − 1<br />

a m − 1<br />

d∈A<br />

jest <strong>po</strong>dzielna przez p. Istnieje więc d 0 ∈ A takie, że p | Φ d0 (a). Jest jasne, że d 0 = p s e, gdzie s | δ p (a).<br />

Przypuśćmy, że e < δ p (a). Ponieważ p | Φ d0 (a) oraz Φ d0 (a) | a d0 − 1, więc a d0 ≡ 1 (mod p).<br />

Ponadto, z małego twierdzenia Fermata mamy: a ps ≡ a ps−1 ≡ · · · ≡ a (mod p). Zatem,<br />

a e ≡ a pse = a d0<br />

≡ 1 (mod p).<br />

Jeśli więc e < δ p (a), to mamy sprzeczność z minimalnością liczby δ p (a). Zatem e = δ p (a). Stąd<br />

d 0 = p s δ p (a) = n oraz p | Φ d0 (a) = Φ n (a). ⊠


168 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

12.13.7. Niech a 2, n 2 będą liczbami naturalnymi i niech p będzie liczbą pierwszą.<br />

Następujące dwa warunki są równoważne.<br />

(1) p | Φ n (a);<br />

(2) p ∤ a i n = p s δ p (a), gdzie s 0. ([Mot1], wynika z 12.13.2 i 12.13.6).<br />

12.13.8. Niech p 3 będzie liczbą pierwszą i a 2 liczbą naturalną.<br />

Jeśli p | n i p | Φ n (a), to p 2 ∤ Φ n (a). ([Mot1]).<br />

D. Skoro p | n, więc n 3. Ponieważ p | Φ n (a), więc<br />

n = p s δ p (a)<br />

(patrz 12.13.2), gdzie s 0. W naszym przypadku s 1, gdyż p | n i δ p (a) < p. Niech<br />

Wtedy n = pm, δ p (a) | m, b 2 oraz<br />

m = p s−1 δ p (a) i b = a m .<br />

b ≡ 1 (mod p).<br />

Z dowodu twierdzenia 12.13.6 wiemy, że Φ n (a) jest <strong>po</strong>dzielnikiem liczby całkowitej<br />

a n − 1<br />

a m − 1 ,<br />

czyli liczby bp − 1<br />

b − 1 . <strong>Liczb</strong>a bp − 1<br />

b − 1 nie jest <strong>po</strong>dzielna przez p2 (patrz 12.13.5). Zatem p 2 ∤ Φ n (a). ⊠<br />

12.13.9. Niech p 3 będzie liczbą pierwszą i a 2 liczbą naturalną. Załóżmy, że p | Φ n (a).<br />

Wtedy n = p s δ p (a), dla pewnej nieujemnej liczby całkowitej s. Jeśli s 1, to p 2 ∤ Φ n (a).<br />

(Wynika z 12.13.2 i 12.13.8).<br />

12.13.10. Niech p 3 będzie liczbą pierwszą i a 2 liczbą naturalną. Jeśli p 2 | Φ n (a), to<br />

n = δ p (a). (Wynika z 12.13.9).<br />

⋆ Y. Gallot, Cyclotomic <strong>po</strong>lynomials and prime numbers, preprint.<br />

J. MacDougall, Mersenne com<strong>po</strong>sities and cyclotomic primes, preprint.<br />

K. Motose, [Mot2], [Mot3].


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 169<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.14 Twierdzenie Hurwitza<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.14.1. Niech a 1 i n 2 będą liczbami naturalnymi. Następujące dwa warunki są<br />

równoważne.<br />

(1) <strong>Liczb</strong>a Φ n−1 (a) jest <strong>po</strong>dzielna przez n.<br />

(2) <strong>Liczb</strong>a n jest pierwsza oraz δ n (a) = n−1 (tzn. a jest pierwiastkiem pierwotnym modulo<br />

n). ([Mot1]).<br />

D. Dla a = 1 jest to oczywiste. Zakładamy, że a 2.<br />

(1) ⇒ (2). Załóżmy, że n | Φ n−1 (a) i niech p będzie liczbą pierwszą dzielącą n. Wtedy p | Φ n−1 (a) i<br />

stąd (patrz 12.13.2) n−1 = p s δ p (a) dla pewnego s 0. Gdyby s było większe od zera otrzymalibyśmy<br />

sprzeczność: p | 1. Zatem s = 0, czyli n − 1 = δ p (a). Ponieważ δ p (a) | p − 1, więc n − 1 | p − 1 i stąd<br />

n p n. Zatem n = p jest liczbą pierwszą i n − 1 = δ n (a).<br />

(2) ⇒ (1) Załóżmy, że n = p jest liczbą pierwszą i δ p (a) = p−1. Wtedy (patrz 12.13.3) p | Φ p−1 (a),<br />

czyli n | Φ n−1 (a). ⊠<br />

Z <strong>po</strong>wyższych faktów otrzymujemy następujące twierdzenie Hurwitza.<br />

12.14.2 (Hurwitz). Niech n 2. Wtedy n jest liczbą pierwszą wtedy i tylko wtedy, gdy<br />

istnieje liczba naturalna a taka, że n | Φ n−1 (a). ([Mon] 61(8)(1954) s.564, wynika z 12.14.1).<br />

⋆ M. Ward, Cyclotomy and the converse of Fermat’s theorem, [Mon] 61(8)(1954) 564.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.15 Twierdzenie Banga o rzędach<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

W tym i w następnych <strong>po</strong>drozdziałach przedstawiamy kilka zastosowań wielomianów cyklotomicznych.<br />

Przez δ m (a) oznaczamy rząd liczby a modulo m, tzn. δ m (a) najmniejszą liczbę naturalną<br />

n taką, że<br />

a n ≡ 1 (mod m).<br />

To ma sens tylko w przypadku, gdy nwd(a, m) = 1.<br />

12.15.1. Rozpatrzmy liczbę Mersenne’a M s = 2 s − 1, gdzie s 2.<br />

Nie istnieje żadna liczba pierwsza p taka, że δ p (M s ) = 2. ([Mot1]).<br />

D. Przypuśćmy, że taka liczba pierwsza p istnieje. Wtedy 2 = δ p (M s ) p − 1, więc p 3.<br />

Korzystając z 12.13.3 stwierdzamy, że<br />

p | Φ 2 (M s ) = M s + 1 = 2 s<br />

(gdyż Φ 2 (x) = x + 1). Mamy więc sprzeczność: 3 p = 2. ⊠<br />

12.15.2. Niech a 2 będzie liczbą naturalną. Następująe dwa warunki są równoważne.<br />

(1) Istnieje liczba pierwsza p taka, że δ p (a) = 2.<br />

(2) <strong>Liczb</strong>a a nie jest liczbą Mersenne’a.


170 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

D. Implikację (1) ⇒ (2) już wykazaliśmy (12.15.1). Wykażemy implikację (2) ⇒ (1). Załóżmy,<br />

że a nie jest liczbą Mersenne’a. Wtedy a + 1 nie jest <strong>po</strong>tęgą dwójki. Istnieje więc nieparzysta liczba<br />

pierwsza p dzieląca a + 1. Wtedy a ≡ −1 (mod p) i stąd a 2 ≡ 1 (mod p), czyli δ p (a) = 2. ⊠<br />

12.15.3. Nie istnieje żadna liczba pierwsza p taka, że δ p (2) = 6. ([Mot1], [Mot5]).<br />

D. Przypuśćmy, że taka liczba pierwsza p istnieje. Wtedy 6 = δ p (2) p−1, więc p 7. Oczywiście<br />

p ∤ 2. Korzystając z 12.13.3 stwierdzamy, że<br />

p | Φ 6 (2) = 2 2 − 2 + 1 = 3<br />

(gdyż Φ 6 (x) = x 2 − x + 1). Mamy więc sprzeczność: 7 p 3. ⊠<br />

12.15.4. Niech a 2, n 2 będą liczbami naturalnymi. Załóżmy, że p = Φ n (a) jest liczbą<br />

pierwszą i przy tym p | n. Wtedy<br />

(i wtedy p = 3). ([Mot5]).<br />

n = 6 oraz a = 2<br />

D. Przypuśćmy, że a 3. Wtedy p = Φ n (a) > (a − 1) ϕ(n) 2 ϕ(n) 2 p−1 (skorzystaliśmy z<br />

nierówności 12.5.6), czyli p > 2 p−1 , co jest oczywiście sprzecznością.<br />

Zatem a = 2. Mamy więc p = Φ n (2). Ponieważ Φ n (2) dzieli 2 n − 1, więc p jest nieparzyste, czyli<br />

p 3. Wiemy, na mocy 12.13.2, że n = p s δ, gdzie δ = δ p (2) oraz s 0, Ale p | n, więc s 1.<br />

Przypuśćmy, że s 2. Wtedy p = Φ n (2) = Φ ps δ(2) = Φ pδ<br />

(2 ps−1) i mamy sytuację taką samą jak<br />

na <strong>po</strong>czątku tego dowodu dla<br />

a = 2 ps−1 > 3;<br />

otrzymujemy znowu sprzeczność. Zatem s = 1.<br />

Mamy więc n = pδ, p = Φ n (2). Korzystając jeszcze raz z nierówności 12.5.6 otrzymujemy:<br />

p = Φ pm (2) = Φ m(2 p )<br />

Φ m (2) > (2p − 1) ϕ(m)<br />

(2 + 1) ϕ(m) =<br />

czyli 3p + 1 > 2 p . Stąd jedynie p = 3. Zatem n = 3δ 3 (2) = 3 · 2 = 6. ⊠<br />

( 2 p ) ϕ(m)<br />

− 1<br />

2p − 1<br />

,<br />

3<br />

3<br />

12.15.5. Niech n 3, a 2 będą liczbami naturalnymi. Jeśli Φ n (a) dzieli n, to (n, a) =<br />

(6, 2). ([Rtk], [Mot5]).<br />

D. Załóżmy, że Φ n (a) | n. Ponieważ Φ n (a) a, więc Φ n (a) 2. Niech p będzie liczbą pierwszą<br />

dzielącą Φ n (a). Wtedy n = p s δ p (a), s 0 (patrz 12.13.2). W naszym przypadku s 1, gdyż p |<br />

Φ n (a) | n. Oczywiście δ p (a) < p. Zatem p jest największą liczbą pierwszą dzielącą n. Gdyby jakaś<br />

inna liczba pierwsza q dzieliła również Φ n (a), to w ten sam s<strong>po</strong>sób <strong>po</strong>kazalibyśmy, że q jest również<br />

największą liczbą pierwszą dzielącą n, czyli q = p. Oznacza to, że Φ n (a) jest <strong>po</strong>tęgą liczby pierwszej p.<br />

Wiemy jednak (patrz 12.13.10), że<br />

p 2 ∤ Φ n (a).<br />

Zatem Φ n (a) = p jest liczbą pierwszą i teza wynika z 12.15.4. ⊠<br />

12.15.6 (Bang 1886). Niech n 3, a 2 będą takimi liczbami naturalnymi, że<br />

(n, a) ≠ (6, 2).<br />

Istnieje wtedy liczba pierwsza p taka, że n = δ p (a). ([BirV], [Rtk], [Mot1], [Mot5]).


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 171<br />

D. Przypuśćmy, że taka liczba pierwsza p nie istnieje. Oczywiście Φ n (a) a 2. Istnieje zatem<br />

liczba pierwsza p dzieląca liczbę Φ n (a). Wtedy, na mocy 12.13.2, n = p s δ p (a) gdzie s 0. Jeśli s = 0,<br />

to n = δ p (a) wbrew temu co założyliśmy. Zatem s 1. Ale δ p (a) p − 1, więc p jest największą liczbą<br />

pierwszą dzielącą n. Biorąc inną liczbę pierwszą q dzielącą Φ n (a), stwierdzamy w ten sam s<strong>po</strong>sób, że q<br />

jest największą liczbą pierwszą dzielącą n. Zatem Φ n (a) jest <strong>po</strong>tęgą liczby pierwszej p i przy tym p | n.<br />

Wiemy (patrz 12.13.10), że p 2 ∤ Φ n (a). Zatem Φ n (a) = p jest liczbą pierwszą dzielącą n. Korzystając<br />

z 12.15.4 stwierdzamy, że (n, a) = (6, 2) wbrew temu, że (n, a) ≠ (6, 2). ⊠<br />

Z <strong>po</strong>wyższych faktów wynika następujące ogólne twierdzenie.<br />

12.15.7 (Bang 1886). Niech n 2, a 2 będą liczbami naturalnymi. Następujące warunki<br />

są równoważne.<br />

(1) Istnieje liczba pierwsza p taka, że n = δ p (a).<br />

(2) Para (n, a) nie jest <strong>po</strong>staci (2, 2 s − 1) i nie jest równa (6, 2). ([Mot1]).<br />

12.15.8 (Maple). Przykłady najmniejszych liczb pierwszych p spełniających równość<br />

n = δ p (a),<br />

dla danych n, a.<br />

(13) a = 2 :<br />

2 = δ 3 (2),<br />

3 = δ 7 (2),<br />

4 = δ 5 (2),<br />

5 = δ 31 (2),<br />

7 = δ 127 (2),<br />

8 = δ 17 (2),<br />

9 = δ 73 (2),<br />

10 = δ 11 (2),<br />

11 = δ 23 (2),<br />

12 = δ 13 (2),<br />

13 = δ 8197 (2),<br />

14 = δ 43 (2),<br />

15 = δ 151 (2),<br />

16 = δ 257 (2),<br />

17 = δ 131071 (2),<br />

18 = δ 19 (2),<br />

19 = δ 524287 (2),<br />

20 = δ 41 (2).<br />

(14) a = 3 :<br />

3 = δ 13 (3),<br />

4 = δ 5 (3),<br />

5 = δ 11 (3),<br />

6 = δ 7 (3),<br />

7 = δ 1093 (3),<br />

8 = δ 41 (3),<br />

9 = δ 757 (3),<br />

10 = δ 61 (3),<br />

11 = δ 23 (3),<br />

12 = δ 73 (3).<br />

(15) a = 5 :<br />

2 = δ 3 (5),<br />

3 = δ 31 (5),<br />

4 = δ 13 (5),<br />

5 = δ 11 (5),<br />

6 = δ 7 (5),<br />

7 = δ 19531 (5),<br />

8 = δ 313 (5),<br />

9 = δ 19 (5),<br />

10 = δ 521 (5).<br />

12.15.9. Niech a 3, n 3, m 3. Jeśli Φ n (a) = Φ m (a), to n = m. ([Mot1]).<br />

D. Przypuśćmy, że n < m. Z twierdzenia Banga istnieje liczba pierwsza p taka, że m = δ p (a).<br />

Wtedy oczywiście p ∤ a oraz p | Φ m (a) (na mocy 12.13.3 lub 12.13.7). Ale Φ m (a) = Φ n (a), więc<br />

p | Φ n (a). Zatem (na mocy 12.13.2) n = p s δ p (a), gdzie s 0. Stąd n = p s δ p (a) δ p (a) = m, wbrew<br />

temu, że n < m. ⊠<br />

⋆ A. S. Bang, Taltheoretiske Undersφgelser, Tidsskrift for Math. 5(1886) 70-80, 130-137.


172 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.16 <strong>Liczb</strong>y pierwsze w <strong>po</strong>stępach arytmetycznych<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Za <strong>po</strong>mocą wielomianów cyklotomicznych można udowodnić następujący szczególny przypadek<br />

twierdzenia Dirichleta o liczbach pierwszych w <strong>po</strong>stępie arytmetycznym. Ws<strong>po</strong>minaliśmy<br />

o tym w [N-4].<br />

12.16.1. Niech m ∈ N. <strong>Liczb</strong> pierwszych <strong>po</strong>staci mk + 1 jest nieskończenie wiele.<br />

D. ([Mot1], [Mot5], [N-4]). Ponieważ wiemy, że wszystkich liczb pierwszych jest nieskończenie<br />

wiele, więc możemy założyć, że m 3. Z twierdzenia Banga 12.15.7 wiemy, że istnieje liczba pierwsza<br />

p taka, że<br />

δ p (4) = m.<br />

Wtedy m p − 1, więc p 5. <strong>Liczb</strong>a m jest więc najmniejszą liczbą naturalną taką, że<br />

4 m ≡ 1 (mod p).<br />

Ponieważ 4 p−1 ≡ 1 (mod p) (małe twierdzenie Fermata), więc m | p−1. Zatem p−1 = km dla pewnego<br />

naturalnego k i stąd p = mk + 1. Istnieje więc co najmniej jedna liczba pierwsza <strong>po</strong>staci mk + 1.<br />

Przypuśćmy, że liczb pierwszych <strong>po</strong>staci mk + 1 jest tylko skończenie wiele. Niech p będzie największą<br />

z nich. Z twierdzenia Banga wynika, że istnieje liczba pierwsza q taka, że<br />

δ q (4) = pm.<br />

Wtedy pm | q − 1, czyli q = pmt + 1, gdzie t ∈ N. <strong>Liczb</strong>a pierwsza q jest więc <strong>po</strong>staci pm + 1 i q > p,<br />

gdyż q = pmt + 1. Otrzymaliśmy sprzeczność z minimalnością liczby pierwszej p. ⊠<br />

Za <strong>po</strong>mocą wielomianów cyklotomicznych udowodniono:<br />

12.16.2. Niech m 2. Najmniejsza liczba pierwsza <strong>po</strong>staci mk + 1 jest mniejsza od<br />

(J. Sabia, S. Tesauri, 2009).<br />

1<br />

2 (3m − 1).<br />

12.16.3. Niech m 2. Najmniejsza liczba pierwsza <strong>po</strong>staci mk + 1 jest mniejsza od<br />

(R.Thangadurai, A.Vatwani, [Mon] 118(8)(2011) 737-742).<br />

2 ϕ(m)+1 .<br />

⋆ R. Thangadurai, A. Vatwani, The least prime congruent to one modulo n, [Mon] 118(8)(2011)<br />

737-742.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.17 Wielomiany <strong>po</strong>dzielne przez x 2 + x + 1<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

W <strong>po</strong>pularnonaukowej literaturze matematycznej często <strong>po</strong>jawiają się zagadnienia lub<br />

zadania dotyczące <strong>po</strong>dzielności wielomianów o współczynnikach całkowitych przez wielomian<br />

x 2 + x + 1. Ten wielomian x 2 + x + 1 niczym specjalnym się nie wyróżnia. Jest to jednak<br />

wielomian cyklotomiczny;<br />

x 2 + x + 1 = Φ 3 (x).<br />

Sprawdzanie czy dany wielomian f(x), o współczynnikach całkowitych, jest <strong>po</strong>dzielny przez<br />

jakiś wielomian cyklotomiczny Φ n (x) sprowadza się do zbadania wartości f(ε), gdzie ε jest<br />

pierwiastkiem pierwotnym n-tego stopnia z jedynki. Wyjaśnijmy to dokładniej.


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 173<br />

12.17.1. Niech n ∈ N i niech f(x) ∈ Z[x]. Następujące warunki są równoważne.<br />

(1) Wielomian f(x) jest <strong>po</strong>dzielny w Z[x] przez Φ n (x).<br />

(2) f(ε) = 0 dla pewnego pierwiastka pierwotnego n-tego stopnia z jedynki.<br />

(2) f(ε) = 0 dla każdego pierwiastka pierwotnego n-tego stopnia z jedynki.<br />

D. Przy<strong>po</strong>mnijmy, że przez U n oznaczamy zbiór wszystkich pierwiastków pierwotnych n-tego<br />

stopnia z jedynki.<br />

(1) ⇒ (3). Załóżmy, że wielomian f(x) jest <strong>po</strong>dzielny w Z[x] przez Φ n (x). Istnieje wtedy taki<br />

wielomian o współczynnikach całkowitych g(x), że<br />

f(x) = g(x)Φ n (x).<br />

Niech ε będzie dowolnym pierwiastkiem pierwotnym n-tego stopnia z jedynki. Wtedy Φ n (ε) = 0 i stąd<br />

f(ε) = g(ε)Φ n (ε) = g(ε) · 0 = 0.<br />

(3) ⇒ (2). Ta implikacja jest oczywista.<br />

(2) ⇒ (1). Załóżmy, że f(ε) = 0 dla pewnego ε ∈ U n . Ponieważ ε n = 1, więc ε jest elementem<br />

algebraicznym nad ciałem Q i (jak wiemy) jego wielomianem minimalnym nad Q jest wielomian<br />

cyklotomiczny Φ n (x). Zatem<br />

f(x) = g(x)Φ n (x)<br />

dla pewnego wielomianu g(x), należącego do pierścienia Q[x]. Wszystkie współczynniki wielomianów<br />

f(x) i Φ n (x) są liczbami całkowitymi oraz Φ n (x) jest wielomianem monicznym (tzn. jego wsółczynnik<br />

wiodący jest równy 1). Stąd wynika, że wszystkie współczynniki wielomian g(x) są również liczbami<br />

całkowitymi. Zatem f(x) = g(x)Φ n (x), gdzie g(x) ∈ Z[x]. Wielomian f(x) jest więc <strong>po</strong>dzielny w Z[x]<br />

przez Φ n (x). ⊠<br />

Następne stwierdzenie opisuje wielomiany <strong>po</strong>dzielne przez kwadrat wielomianu cyklotomicznego.<br />

12.17.2. Niech n ∈ N i niech ε będzie pierwiastkiem pierwotnym n-tego stopnia z jedynki.<br />

Niech f(x) ∈ Z[x] i niech f ′ (x) oznacza <strong>po</strong>chodną wielomianu f(x). Następujące warunki są<br />

równoważne.<br />

(1) Wielomian f(x) jest <strong>po</strong>dzielny w Z[x] przez Φ n (x) 2 .<br />

(2) f(ε) = f ′ (ε) = 0.<br />

D. (1) ⇒ (2). Załóżmy, że wielomian f(x) jest <strong>po</strong>dzielny w Z[x] przez Φ n (x) 2 . Istnieje wtedy taki<br />

wielomian o współczynnikach całkowitych g(x), że f(x) = g(x)Φ n (x) 2 . Mamy wtedy:<br />

f ′ (x) = g ′ (x)Φ n (x) 2 + 2g(x)Φ n (x)Φ ′ n(x).<br />

Ale Φ n (ε) = 0, więc f(ε) = g(ε)Φ n (ε) 2 = g(ε) · 0 2 = 0 oraz f ′ (ε) = g ′ (ε)Φ n (ε) 2 + 2g(ε)Φ n (ε)Φ ′ n(ε) =<br />

g ′ (ε) · 0 2 + 2g(ε) · 0 · Φ ′ n(ε) = 0. Zatem f(ε) = f ′ (ε) = 0.<br />

(2) ⇒ (1) Załóżmy, że f(ε) = f ′ (ε) = 0. Z tego założenia wynika (na mocy stwierdzenia 12.17.1),<br />

że wielomiany f(x) i f ′ (x) są <strong>po</strong>dzielne w Z[x] przez Φ n (x). Niech<br />

f(x) = g(x)Φ n (x),<br />

gdzie g(x) ∈ Z[x]. Ponieważ<br />

f ′ (x) = g ′ (x)Φ n (x) + g(x)Φ ′ n(x)


174 Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne<br />

oraz Φ n (x) dzieli f ′ (x), więc Φ n (x) dzieli g(x)Φ ′ n(x). Ale Φ n (x) ∤ Φ ′ n(x) (gdyż deg Φ ′ n(x) < deg Φ n (x))<br />

oraz Φ n (x) jest wielomianem nierozkładalnym nad Q, więc wielomian g(x) jest <strong>po</strong>dzielny (nad Q)<br />

przez Φ n (x). Istnieje więc taki wielomian h(x) ∈ Q[x], że<br />

g(x) = h(x)Φ n (x).<br />

Wszystkie współczynniki wielomianów g(x) i Φ n (x) są liczbami całkowitymi oraz Φ n (x) jest wielomianem<br />

monicznym (tzn. jego wsółczynnik wiodący jest równy 1). Wszystkie więc współczynniki<br />

wielomian h(x) są również liczbami całkowitymi. Zatem g(x) = h(x)Φ n (x), gdzie h(x) ∈ Z[x] i stąd<br />

mamy równość f(x) = h(x) · Φ n (x) 2 , w której h(x) jest wielomianem o współczynnikach całkowitych.<br />

Wielomian f(x) jest więc <strong>po</strong>dzielny w Z[x] przez Φ n (x) 2 . ⊠<br />

W <strong>po</strong>dobny s<strong>po</strong>sób można udowodnić ogólniejsze stwierdzenie.<br />

12.17.3. Niech n oraz s 2 będą liczbami naturalnymi i niech ε będzie pierwiastkiem pierwotnym<br />

n-tego stopnia z jedynki. Niech f(x) będzie wielomianem o współczynnikach całkowitych.<br />

Następujące warunki są równoważne.<br />

(1) Wielomian f(x) jest <strong>po</strong>dzielny w Z[x] przez Φ n (x) s .<br />

(2) f(ε) = f (1) (ε) = · · · = f (s−1) (ε) = 0, gdzie f (j) (x), dla j = 1, . . . , s − 1, oznacza j-tą<br />

<strong>po</strong>chodną wielomianu f(x).<br />

Teraz zajmiemy się za<strong>po</strong>wiedzianą <strong>po</strong>dzielnością przez wielomian cyklotomiczny<br />

Φ 3 (x) = x 2 + x + 1.<br />

Z wielomianem tym s<strong>po</strong>tkaliśmy się już wcześniej, patrz na przykład: 1.4.1, 3.1.2, 3.1.3,<br />

3.4.2, 3.11.3, 3.11.6, 3.11.7, 4.1.7.<br />

W dowodach następnych stwierdzeń przez ε oznaczamy pierwiastek pierwotny trzeciego<br />

stopnia z jedynki. W tym przypadku mamy:<br />

ε 3 = 1, ε 2 + ε + 1 = 0, ε = ε 2 , ε 2 = ε.<br />

12.17.4. Wielomian x 2n + x n + 1 dzieli się przez wielomian x 2 + x + 1 wtedy i tylko wtedy,<br />

gdy 3 ∤ n. ([BoW] 11 s.47, [Szn] 7.39).<br />

D. Oznaczmy f n (x) = x 2n + x n + 1. Zauważmy, że:<br />

f 3k (ε) = ( ε 3) 2k<br />

+<br />

(<br />

ε<br />

3 ) k<br />

+ 1 = 1 2k + 1 k + 1 = 3 ≠ 0,<br />

f 3k+1 (ε) = ( ε 3) 2k<br />

ε 2 + ( ε 3) k<br />

ε 1 + 1 = 1 2k ε 2 + 1 k ε + 1 = ε 2 + ε + 1 = 0,<br />

f 3k+2 (ε) = ( ε 3) 2k<br />

ε 4 + ( ε 3) k<br />

ε 2 + 1 = 1 2k ε + 1 k ε 2 + 1 = ε 2 + ε + 1 = 0.<br />

Teza wynika zatem ze stwierdzenia 12.17.1. ⊠<br />

12.17.5. Dla dowolnej liczby naturalnej n, wielomian<br />

x n+2 + (x + 1) 2n+1<br />

jest rozkładalny w Z[x]. Ma on czynnik x 2 + x + 1. ([Str72]).


Andrzej Nowicki, Wielomiany 12. Wielomiany cyklotomiczne 175<br />

D. (S<strong>po</strong>sób I). Zauważmy najpierw, że<br />

(x + 1) 2n = ( (x + 1) 2) n<br />

=<br />

(<br />

x + (x 2 + x + 1) ) n<br />

= x n + (x 2 + x + 1)q(x),<br />

gdzie q(x) jest wielomianem zmiennej x o współczynnikach w Z. Wobec tego<br />

x n+2 + (x + 1) 2n+1 = x 2 x n + (x + 1)(x + 1) 2n = x 2 x n + (x + 1) ( x n + (x 2 + x + 1)q(x) )<br />

= (x 2 + x + 1) (x n + (x + 1)q(x)) .<br />

Zatem rozważany wielomian jest <strong>po</strong>dzielny przez x 2 + x + 1.<br />

(S<strong>po</strong>sób II). Niech f(x) = x n+2 + (x + 1) 2n+1 . Mamy wtedy:<br />

i teza wynika z 12.17.1. ⊠<br />

f(ε) = ε n+2 + (ε + 1) 2n+1<br />

= ε n+2 + (−ε 2 ) 2n+1<br />

= ε n+2 − (ε 4 ) n ε 2<br />

= ε n+2 − (ε 1 ) n ε 2<br />

= ε n+2 − ε n+2 = 0<br />

12.17.6. Wielomian (x + 1) n − x n − 1 dzieli się przez wielomian x 2 + x + 1 wtedy i tylko<br />

wtedy, gdy n = 6k ± 1. ([BoW] 12 s.47, [Szn] 7.39).<br />

D. Oznaczmy: f n (x) = (x + 1) n − x n − 1. Mamy wtedy:<br />

f 6k (ε) = (ε + 1) 6k − ε 6k − 1 = (−ε 2 ) 6k − ε 6k − 1 = (ε 3 ) 4k − (ε 3 ) 2k − 1 = 1 4k − 1 2k − 1 = −1 ≠ 0,<br />

f 6k+1 (ε) = (ε + 1) 6k+1 − ε 6k+1 − 1 = (−ε 2 ) 6k+1 − ε 6k+1 − 1 = − ( ε 2 + ε + 1 ) = 0,<br />

f 6k+2 (ε) = (ε + 1) 6k+2 − ε 6k+2 − 1 = (−ε 2 ) 6k+2 − ε 6k+2 − 1 = ε 4 − ε 2 − 1 = ε − ε 2 − 1 = 2ε ≠ 0,<br />

f 6k+3 (ε) = (ε + 1) 6k+3 − ε 6k+3 − 1 = (−ε 2 ) 6k+3 − ε 6k+3 − 1 = −1 − 1 − 1 = −3 ≠ 0,<br />

f 6k+4 (ε) = (ε + 1) 6k+4 − ε 6k+4 − 1 = (−ε 2 ) 6k+4 − ε 6k+4 − 1 = ε 8 − ε 4 − 1 = ε 2 − ε − 1 = 2ε 2 ≠ 0,<br />

f 6k+5 (ε) = (ε + 1) 6k+5 − ε 6k+5 − 1 = (−ε 2 ) 6k+5 − ε 6k+5 − 1 = −ε − ε 2 − 1 = 0.<br />

Wykazaliśmy, że f n (ε) = 0 ⇐⇒ n = 6k ± 1. Teza wynika zatem ze stwierdzenia 12.17.1. ⊠<br />

12.17.7. Wielomian<br />

(x + 1) n − x n − 1<br />

dzieli się przez wielomian (x 2 + x + 1) 2 wtedy i tylko wtedy, gdy n = 6k + 1.<br />

D. Oznaczmy przez f(x) wielomian (x + 1) n − x n − 1 i przez f ′ (x) jego <strong>po</strong>chodną, tzn.<br />

f ′ (x) = n(x + 1) n−1 − nx n−1 .<br />

Załóżmy, że n = 6k + 1. Z <strong>po</strong>przedniego stwierdzenia wiemy, że wtedy f(ε) = 0. Ponadto,<br />

f ′ (ε) = n (ε + 1) 6k − nε 6k = n ( = ε 2) 6k<br />

− nε 6k = n − n = 0.<br />

Ze stwierdzenia 12.17.2 wynika zatem, że wielomian f(x) jest <strong>po</strong>dzielny w Z[x] przez (x 2 + x + 1) 2 .<br />

Załóżmy teraz, że wielomian f(x) jest <strong>po</strong>dzielny przez (x 2 + x + 1) 2 . Wtedy wielomian ten jest<br />

<strong>po</strong>dzielny przez x 2 + x + 1, a więc, na mocy 12.17.6, liczba n jest <strong>po</strong>staci 6k ± 1. Łatwo sprawdzić,<br />

że jeśli n = 6k − 1, to f ′ (ε) ≠ 0 i wtedy (patrz stwierdzenie 12.17.2) f(x) nie jest <strong>po</strong>dzielne przez<br />

(x 2 + x + 1) 2 . Zatem, n = 6k + 1. ⊠


176 Wielomiany 12. Wielomiany cyklotomiczne<br />

Wielomian (x + 1) n − x n − 1 jest oczywisście <strong>po</strong>dzielny przez x. Można udowodnić:<br />

12.17.8. Dla n 2 rozpatrzmy wielomian<br />

f n (x) = (x + 1)n − x n − 1<br />

.<br />

x<br />

(1) Jeśli α ∈ C jest pierwiastkiem wielomianu f n (x), to 1/α również jest pierwiastkiem<br />

tego wielomianu.<br />

(2) Jeśli p 3 jest liczbą pierwszą, to wielomian f 2p jest nierozkładalny. ([Fila] s.35).<br />

Nie znamy od<strong>po</strong>wiedzi na anstępujące pytanie.<br />

12.17.9. Czy dla każdej liczby parzystej n <strong>po</strong>wyższy wielomian f n (x) jest nierozkładalny<br />

nad Q ?. ([Fila] s.35).<br />

12.17.10. Wielomian (x + 1) n + x n + 1 dzieli się przez wielomian x 2 + x + 1 wtedy i tylko<br />

wtedy, gdy n = 6k ± 2. ([BoW] 12 s.47, [Szn] 7.39).<br />

Dowodzimy to dokładnie tak samo jak stwierdzenie 12.17.6. Drobne zmiany w dowodzie<br />

stwierdzenia 12.17.7 <strong>po</strong>zwalają natomiast udowodnić:<br />

12.17.11. Wielomian (x + 1) n + x n + 1 dzieli się przez wielomian (x 2 + x + 1) 2 wtedy i tylko<br />

wtedy, gdy n = 6k + 4.<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

12.18 Inne zastosowania wielomianów cyklotomicznych<br />

oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo<br />

Przy <strong>po</strong>mocy wielomianów cyklotomicznych łatwo dowodzi się następujące znane fakty.<br />

12.18.1. Niech G będzie skończoną grupą abelową. Istnie wtedy rozszerzenie Galois ciała<br />

liczb wymiernych, którego grupą Galois jest G. ([Mot1]).<br />

12.18.2 (Wedderburn). Każde (skośne) ciało skończone jest przemienne. ([Mot4]).<br />

12.18.3. Każda skończona <strong>po</strong>dgrupa multyplikatywnej grupy ciała jest cykliczna. ([Mot5]).<br />

12.18.4. Niech L będzie <strong>po</strong>dciałem ciała liczb zes<strong>po</strong>lonych i niech G będzie grupą wszystkich<br />

jego elementów skończonego rzędu. Wtedy G jest skończoną grupą cykliczną. ([Mot7]).<br />

12.18.5. Niech k będzie skończonym ciałem. Dla każdej liczby naturalnej n istnieje nierozkładalny<br />

wielomian stopnia n należący do k[x]. ([Mot5]).<br />

⋆ J. B. Dence, Primitive roots the cyclotomic way, preprint.<br />

D. C. van Leijenhorst, A simple proof of Wedderburn’s theorem, preprint.<br />

K. Motose, Let’s use cyclotomic <strong>po</strong>lynomials in your lecture for your students, 2003.<br />

B. Tuckerman, Factorization of x 2n + x n + 1 using cyclotomic <strong>po</strong>lynomials, [MM] 42(1)(1969)<br />

41-42.


Wielomiany 12. Wielomiany cyklotomiczne 177<br />

Literatura<br />

[Apl]<br />

[ArB]<br />

T. M. A<strong>po</strong>stol, Resultants of cyclotomic <strong>po</strong>lynomials, Proceedings of the American Mathematical<br />

Society, 24(3)(1970), 457-462.<br />

J.M. Arnaudiès, J. Bertin, Groupes, Algèbres et Géométrie (Tome 1) Ellipses.<br />

[Bams] Bulletin of the American Mathematical Society, (Bull. Amer. Math. Soc.), czasopismo matematyczne.<br />

[Bang] A. S. Bang, Om Ligningen φ n (x) = 0, Nyt Tidsskrift for Mathematik 6(1895) 6-12.<br />

[BirV] G. Birkhoff, H.S. Vandiver, On the integral divisors of a n − b n , Annals of Math. 2(5)(1904),<br />

173-180.<br />

[Bloo] D. M. Bloom, On the coefficients of the cyclotomic <strong>po</strong>lynomials, The American Mathematical<br />

Monthly, 75(1968), 372-377.<br />

[BoC] P. Borwein, K-K. S. Choi, On cyclotomic <strong>po</strong>lynomials with ±1 coefficients, preprint.<br />

[BoW] W. G. Bołtiański, I. J. Wilenkij, Symetria w Algebrze (<strong>po</strong> rosyjsku), Nauka, Moskwa, 1967.<br />

[Br68] J. Browkin, Wybrane Zagadnienia Algebry, PWN, Warszawa, 1968.<br />

[Br77] J. Browkin, Teoria Ciał, PWN, Warszawa, 1977.<br />

[Drn]<br />

[Fil]<br />

G. Dresden, Resultants of cyclotomic <strong>po</strong>lynomials, Rocky Mountain Journal of Mathematics,<br />

42(5)(2012), 1-9.<br />

M. Filaseta, Coverings of the integers associated with an irreducibility theorem of A. Schinzel,<br />

Number Theory for the Millennium, II Urbana, IL, 2000, 1-24, A.K. Peters Natick, MA, 2002.<br />

[Fila] M. Filaseta, The Theory of Irreducible Polynomials, Preprint, 2000.<br />

http://www.math.sc.edu/~filaseta.<br />

[Golo] S. W. Golomb, Cyclotomic <strong>po</strong>lynomials and factorization theorems, The American Mathematical<br />

Monthly, 85(9)(1978), 734-737.<br />

[Isaa]<br />

[Kw]<br />

I. M. Isaacs, Algebra, A Graduate Course, Brooks/Cole Publishing Company, Pacific Grove,<br />

California, 1994.<br />

Kwant, <strong>po</strong>pularne czasopismo rosyjskie.<br />

[La84] S. Lang, Algebra, Second Edition, Addison–Wesley Publ. Comp. 1984.<br />

[MG]<br />

[MM]<br />

The Mathematical Gazette, angielskie <strong>po</strong>pularne czasopismo matematyczne.<br />

Mathematics Magazine, <strong>po</strong>pularne czasopismo matematyczne.<br />

[Mon] The American Mathematical Monthly, Mathematical Association of America.<br />

[Mot1] K. Motose, On values of cyclotomic <strong>po</strong>lynomials, Math. J. Okayama Univ. 35(1993) 35-40.<br />

[Mot2] K. Motose, On values of cyclotomic <strong>po</strong>lynomials II, Math. J. Okayama Univ. 37(1995) 27-36.<br />

[Mot3] K. Motose, On values of cyclotomic <strong>po</strong>lynomials III, Math. J. Okayama Univ. 38(1996) 115-<br />

122.<br />

[Mot4] K. Motose, On values of cyclotomic <strong>po</strong>lynomials IV , Bull. Fac. Sci. Tech. Hirosaki Univ.<br />

1(1998) 1-7.<br />

[Mot5] K. Motose, On values of cyclotomic <strong>po</strong>lynomials V , Math. J. Okayama Univ. 45(2003) 29-36.<br />

[Mot7] K. Motose, On values of cyclotomic <strong>po</strong>lynomials V II, Bull. Fac. Sci. Tech. Hirosaki Univ.<br />

7(2004) 1-8.<br />

[N-4]<br />

A. Nowicki, <strong>Liczb</strong>y Pierwsze, <strong>Podróże</strong> <strong>po</strong> <strong>Imperium</strong> <strong>Liczb</strong>, cz.4, Wydawnictwo OWSIiZ, Toruń,<br />

Olsztyn. Wydanie pierwsze 2009; Wydanie drugie 2012.


178 Wielomiany 12. Wielomiany cyklotomiczne<br />

[N-5]<br />

[N-6]<br />

[N-8]<br />

A. Nowicki, Funkcje Arytmetyczne, <strong>Podróże</strong> <strong>po</strong> <strong>Imperium</strong> <strong>Liczb</strong>, cz.5, Wydawnictwo OWSIiZ,<br />

Toruń, Olsztyn. Wydanie pierwsze 2009; Wydanie drugie 2012.<br />

A. Nowicki, Podzielność w Zbiorze <strong>Liczb</strong> Całkowitych, <strong>Podróże</strong> <strong>po</strong> <strong>Imperium</strong> <strong>Liczb</strong>, cz.6, Wydawnictwo<br />

OWSIiZ, Toruń, Olsztyn. Wydanie pierwsze 2009; Wydanie drugie 2012.<br />

A. Nowicki, <strong>Liczb</strong>y Mersenne’a, Fermata i Inne <strong>Liczb</strong>y, <strong>Podróże</strong> <strong>po</strong> <strong>Imperium</strong> <strong>Liczb</strong>, cz.8,<br />

Wydawnictwo OWSIiZ, Toruń, Olsztyn. Wydanie pierwsze 2010; Wydanie drugie 2012.<br />

[Nagl] T. Nagell, Introduction to Number Theory, Chelsea Publishing Company, New York, 1964.<br />

[Nar03] W. Narkiewicz, Teoria <strong>Liczb</strong>, PWN, Wydanie trzecie, Warszawa, 2003.<br />

[Pjap] Proceedings of the Japan Academy, Ser. A, Mathematical Sciences.<br />

[Pmgr] Praca magisterska, Uniwersytet Mikołaja Kopernika w Toruniu, <strong>Wydział</strong> <strong>Matematyki</strong> i <strong>Informatyki</strong>.<br />

[Ri01] P. Ribenboim, Wielkie Twierdzenie Fermata dla Laików, WNT, Warszawa, 2001.<br />

[Rtk] A. Rotkiewicz, Elementarny dowód istnienia dzielnika pierwszego pierwotnego liczby a n − b n ,<br />

Prace Matematyczne, 4(1960), 21-28.<br />

[Str72] S. Straszewicz, Zadania z Olimpiad Matematycznych, tom IV, 16-20, 64/65 - 68/69, PZWS,<br />

Warszawa, 1972.<br />

[Szn] L. B. Szneperman, Zbiór Zadań z Algebry i Teorii <strong>Liczb</strong> (<strong>po</strong> rosyjsku), Minsk, 1982.<br />

[Zeit]<br />

D. Zeitlin, On coefficints identities for cyclotomic <strong>po</strong>lynomials F pq (x), The American Mathematical<br />

Monthly, 75(9)(1968), 976-980.

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

Saved successfully!

Ooh no, something went wrong!