ATLAS Ouvrir dans l'atlas →

ExerciceMaths Sup – MPSI, chapitre 13 — Polynômes et fractions rationnelles · Fractions rationnelles

Exercice 44

Démonstration

Soit n⩾2n \geqslant 2 et ω=e2iπ/n\omega = \mathrm{e}^{2\mathrm{i}\pi/n}.

1. Soit P∈ℂ[X]P \in \mathbb{C}[X] tel que P(ωX)=P(X)P(\omega X) = P(X). Montrer qu'il existe Q∈ℂ[X]Q \in \mathbb{C}[X] tel que P=Q(Xn)P = Q(X^{n}).

2. Mettre sous forme irréductible la fraction ∑k=0n−1X+ωkX−ωk\sum_{k = 0}^{n - 1} \frac{X + \omega^{k}}{X - \omega^{k}}.

Corrigé

1. Si P=∑akXkP = \sum a_{k}X^{k}, alors P(ωX)=∑akωkXkP(\omega X) = \sum a_{k}\omega^{k}X^{k}, et l'identification donne ak(ωk−1)=0a_{k}(\omega^{k} - 1) = 0 : ak=0a_{k} = 0 dès que n∤kn \nmid k. Donc P=∑mamnXmn=Q(Xn)P = \sum_{m} a_{mn}X^{mn} = Q(X^{n}).

2. On écrit X+ωkX−ωk=1+2ωkX−ωk\frac{X + \omega^{k}}{X - \omega^{k}} = 1 + \frac{2\omega^{k}}{X - \omega^{k}}. Par la proposition 23, nXn−1=∑kωkX−ωk\frac{n}{X^{n} - 1} = \sum_{k} \frac{\omega^{k}}{X - \omega^{k}}, car le coefficient en ωk\omega^{k} vaut nnωk(n−1)=ωk\frac{n}{n\omega^{k(n - 1)}} = \omega^{k}. ∑k=0n−1X+ωkX−ωk=n+2nXn−1=n(Xn+1)Xn−1\boxed{\sum_{k = 0}^{n - 1} \frac{X + \omega^{k}}{X - \omega^{k}} = n + \frac{2n}{X^{n} - 1} = \frac{n(X^{n} + 1)}{X^{n} - 1}}

Ouvrir dans l'atlas interactif →