Polynôme réciproque

En mathématiques, le polynôme réciproque d'un polynôme à coefficients complexes

$P(X)=a_{0}+a_{1}X+a_{2}X^{2}+\ldots +a_{n}X^{n}$

est le polynôme P* défini par :

$P^{*}(X)={\overline {a}}_{n}+{\overline {a}}_{n-1}X+\ldots +{\overline {a}}_{0}X^{n}~,$

où ${\overline {a}}$ désigne le conjugué de $a$. Pour tout nombre complexe z non nul, on a donc :

$P^{*}(z)=z^{n}{\overline {P({\bar {z}}^{-1})}}~.$

Un polynôme est dit réciproque lorsqu'il est égal à son polynôme réciproque.

Si les coefficients a_i sont réels, cette définition équivaut à a_i = a_n−i. Dans ce cas, P est aussi appelé un polynôme palindromique (en).

Le polynôme minimal sur $\mathbb {Q}$ d'un nombre algébrique de module 1 est égal ou opposé à son polynôme réciproque.

Démonstration

Soient $\beta$ un nombre algébrique de module 1 et

$P(X)=a_{0}+a_{1}X+\ldots +a_{n-1}X^{n-1}+X^{n}$

son polynôme minimal sur ${}^{\mathbb {Q} }$. Son polynôme réciproque,

$P^{*}(X)=1+a_{n-1}X+\ldots +a_{1}X^{n-1}+a_{0}X^{n},$

admet $\beta$ pour racine puisque

$P^{*}(\beta )=\beta ^{n}P(1/\beta )=\beta ^{n}P({\overline {\beta }})=\beta ^{n}{\overline {P(\beta )}}=\beta ^{n}.0=0.$

Par conséquent, il existe un rationnel $\lambda$ tel que $P^{*}=\lambda P$. Dans cette égalité, le coefficient dominant et le terme constant sont : $a_{0}=\lambda$ et $1=\lambda a_{0}$. On en déduit que

$P^{*}=a_{0}P\quad {\text{et}}\quad a_{0}=\pm 1.$

Une conséquence est que les polynômes cyclotomiques Φ_n sont palindromiques pour n > 1 ; ceci est utilisé dans le crible sur les corps de nombres particuliers pour factoriser des nombres de la forme x¹¹ ± 1, x¹³ ± 1, x¹⁵ ± 1 et x²¹ ± 1 en profitant des facteurs polynomiaux de degrés respectifs 5, 6, 4 et 6 - remarquons que l'indicatrice d'Euler des exposants vaut 10, 12, 8 et 12.

Crédit d'auteurs

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Reciprocal polynomial » (voir la liste des auteurs).

Références

Émile Durand (1961) Solutions numériques des équations algrébriques I, Masson et Cie: XV - polynômes dont les coefficients sont symétriques ou antisymétriques, p. 140-141.