Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Podróże po Imperium Liczb - Wydział Matematyki i Informatyki ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<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.