je ne sais si ça marche.
l'idée est d'utiliser les polynômes de Tchebycheff (cf. post d'Epsilon)
=cos(n \quad \arccos(x)))
ils vérifient une relation de récurrence:



on suppose par l'absurde que

et on regarde la valeur prise par le polynôme

au point

:
=cos( 2p \pi)=1)
par définition.
Par ailleur, ce terme
)
est le (2q+1) ième terme d'une suite numérique définie par la relation de
récurrence des polynomes, évalués au point

En posant
)
, il faudrait montrer que cette suite, définie par une relation de récurrence linéaire, ne prend jamais la valeur 1 (ou, tout au moins, pas son terme d'indice 2q) .
la suite
)
vérifie:



où

Peux t on montrer par récurrence que

ne prend pas la valeur 1, pour n > 0 ? ou , par un raisonnement identique que

ne prend pas les valeurs 1 et -1 ?