Solution pour le challenge 57
Comme
est supposé impair, la condition
est remplie pour entier ![]()
Détail pour cette affirmation (cliquer pour déplier / replier)
Pour qu’on ait
c’est-à-dire
il faudrait que
pour un certain entier
ce qui imposerait
Or ceci est impossible (égalité entre deux entiers de parités contraires).
La somme
![Rendered by QuickLaTeX.com \[S_{n}=\sum_{k=0}^{n-1}\frac{1}{\left(1+\omega^{k}\right)^{2}}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-02cacfe3a8fb3739e918db0587f99c93_l3.png)
Rappelons que, pour tout polynôme
scindé dans
et à racines simples, en posant
avec
et les
deux à deux distincts, on la formule :
![Rendered by QuickLaTeX.com \[\sum_{k=1}^{n}\frac{1}{X-\alpha_{k}}=\frac{P'}{P}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-e99d0b69bd1ec0fd1f3a23f5ff5178cf_l3.png)
En appliquant ceci à
, et vu que
, on obtient :
![Rendered by QuickLaTeX.com \[\sum_{k=0}^{n-1}\frac{1}{X-\omega^{k}}=\frac{nX^{n-1}}{X^{n}-1}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-33d1c2c0d057ecfce9359b73829bab12_l3.png)
Après dérivation et changement de signe, on obtient : 
Il ne reste plus qu’à évaluer en -1 (sans oublier que
est impair) pour obtenir :
![Rendered by QuickLaTeX.com \[\boxed{\sum_{k=0}^{n-1}\frac{1}{(1+\omega^{k})^{2}}=\frac{n\left(2-n\right)}{4}}\]](https://math-os.com/wp-content/ql-cache/quicklatex.com-0171cc7e22d2e318bfa0bf041fa4a319_l3.png)
Pour consulter l’énoncé, c’est ici

