Polynôme réciproque
# 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.

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^{11}$ ± 1, $x^{13}$ ± 1, $x^{15}$ ± 1 et $x^{21}$ ± 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.

L'application P ↦ $P^*$ est une involution :

    $\left(P^{*}\right)^{*}=P.$

## Réduction

L'application qui à un polynôme P associe son polynôme aux inverses est diagonalisable, et de valeurs propres 1 et -1 (il suffit de vérifier que le polynôme $X^2$ - 1 l'annule). En particulier, si le degré de P est pair, la dimension des deux sous-espaces propres de l'involution est identique, égale à n/2. Si le degré de P est impair, en notant n = 2p + 1, alors :

$\dim {E_{+1}(*)}=p+1\quad {\text{et}}\quad \dim {E_{-1}(*)}=p.$

