Finalement, pour resumer (et clarifier un tantinet le pdf d'AIB, s'il me permet), voila la démo que vous proposez.
Lemme:
Soit a,b,n des entiers naturels avec a et b premiers entre eux et n>2.
Alors si a^n t b^n ne sont pas décomposables comme somme de deux puissances n-iemes alors (ab)^n ne l'est pas non plus.
Etes vous d'accord AIB que c'est votre règle d'exclusion?
Preuve 1: Cela résulte de l'associativité de l'addiation et de la mutliplicaiton, et de la distributivité de l'addition par rapport a la mutliplication.
Etes vous d'accord que c'est votre preuve directe?
Preuve 2: Notons que si l'on a a^n=r^n+t^n alors (ab)^n=u^n+s^n avec u=rb et s=tb. Notons aussi que la meme démo s'applique si b^n=r^n+t^n.
"Donc" si ni a^n ni b^n ne sont sommes de puissances n-iemes, (ab)^n ne saurait l'etre.
Etes vous d'accord que c'est votre seconde preuve de votre regle d'exclusion AIB?
A moins d'un enorme probleme de rédaction (ou de compréhension de ma part) la réponse a ses 3 questions sera oui.
-----