@ Epita: forcément que j'arrivais pas à le refaire, j'oubliais l'hyptohèse a^b=1...
Soit p premier tq p/(a+b), p/(a^2+b^2)
=>p/((a+b)^2-(a^2+b^2)) => p/(2ab) => p/a ou p/b ou p/2
- si p/a alors p/((a+b)-a) => p/b. absurde car a^b=1
- Idem si p/b
- Donc p/2 => p=2 car p premier
- Si a et b de parité différente, a+b impair donc 2 ne idivse pas a+b, et pgcd(a+b;a^2+b^2)=1
- a et b ne peuvent être tous les deux pairs car pgcd(a;b)=1
- si a et b impairs, a+b et a^2=b^2 pairs. forcément pgcd(a+b;a^2+b^2)=2^n, n>=1
On suppose n>=2, alors 4/(a+b) et 4/(a^2+b^2) => 4/(2ab) => 2/ab donc soit a est pair soit b est pair, absurde. Donc n=1 et pgcd(a+b;a^2+b^2)=2
C'est p'tètre un peu brouillon et pas bien rédigé, demande si tu comprends pas.