
« Précédent 1 2 Suivant » +


piepalm piepalm
Plus généralement, l'équation X^2+Y^2=K a une solution si la décomposition en facteurs premiers de K ne contient des facteurs de la forme 4p-1 qu'à une puissance paire. Ici 730=2*5*73, donc pas de facteur de forme 4p-1: l'équation est soluble.
piepalm piepalm
La démonstration (due à Euler, je pense) en est assez longue et doit se trouver dans les bons bouquins d'arithmétique; le plus beau morceau consiste à montrer que tout nombre premier de la forme 4p+1 peut s'exprimer comme somme de deux carrés. Par ailleurs quelques autres éléments peuvent se montrer facilement. Un nombre de la forme 4p-1 ne peut être somme de 2 carrés: en effet modulo 4, un carré vaut 0 ou 1.... La congruence n^2=-1 mod 4p-1 n'a pas de solution donc x^2+y^2=0 mod 4p-1 n'a d'autre solution que x=y=0. Par contre le carré d'un nombre de la forme 4p-1 est de la forme 4k+1. Le produit de deux nombres de forme 4p+1 est encore de la forme 4p+1. Avec l'identité que j'ai utilisée plus haut, on voit que si chaque facteur se décompose en deux carrés, le produit aussi. En rassemblant ces morceaux, on doit arriver au théorème cité...« Précédent 1 2 Suivant » +
