2/
si a et b sont pairs , a²+b² est pair donc c est pair ce qui est incompatible avec le fait que a, b, c sont premiers entre eux.
si a et b sont impairs, ce qui est impossible d'après le 1/
3/
donc c est impair
donc (c-a) et (c+a) sont pairs.
si k divise (c-a)/2 et k divise (c+a)/2, alors
(c-a)/2 = k.n
(c+a)/2 = k.m
(c+a)/2+(c-a)/2 = k(m+n) = c
(c+a)/2-(c-a)/2 = k(m-n) = a
k divise a et k divise c
inversement si k' divise a et c, k' divise (c-a) et (c+a) et comme 2 ne divise pas a (ni c), k' divise (c-a)/2 et (c+a)/2 .
d'où pgcd(a,c)=pgcd((c-a)/2,(c+a)/2))
on montre que si pgcd(a,c)1, alors a,b et c ne sont pas premiers entre eux.
La fin découle naturellement.