- Je renvoie à la solution de FiniteField pour cette question car je n’ai rien de mieux à ajouter.
- On considère ici une variable X et x∈R\{±1}.
On a alors la décomposition en éléments simples
(x−X)(1−X)X=1−x1(x−Xx−1−X1)Si maintenant on prend n∈N et X=xn+1 alors on trouve
(x−xn+1)(1−xn+1)xn+1=1−x1(x−xn+1x−1−xn+11),relation que l’on peut réécrire
(1−xn)(1−xn+1)xn=1−x1(1−xn1−1−xn+11).On peut alors sommer sur n∈N et user du télescopage pour obtenir
f(x)=1−x1n=1∑+∞(1−xn1−1−xn+11)=1−x1(1−x11−n→+∞lim1−xn+11).où la limite vaut 1 si ∣x∣<1 et 0 sinon.
Ce qui donne enfin:
∀x∈]−1,1[,f(x)=(1−x)2x.et
∀x∈R,∣x∣>1⟹f(x)=(1−x)21.
Très fin ce télescopage, bravo ! Je peux ajouter ta preuve dans mes fichiers ?
Merci ! Et oui avec plaisir bien sûr.