Soit (a,b,c)∈(N∗)3 vérifiant (E). On suppose a,b,c premiers entre eux dans leur ensemble. On pose α=a−c et β=b−c. Montrer que α, β, c sont premiers entre eux dans leur ensemble puis que α et β sont premiers entre eux. En déduire que α et β sont des carrés d'entiers, puis qu'il existe (u,v)∈(N∗)2 tel que a=(u+v)u, b=(u+v)v et c=uv.