s²+2(a+b)s-(a²+b²)=0
si s est dans Q ==> s=p/q avec p€Z , q€N* et (p,q)=1
==> p²=q((a²+b²)q-2(a+b)p)
==> p|(a²+b²)q-2(a+b)p
==> p|a²+b²
==> a²+b²=pk avec k€Z
==> p=q(kq-2(a+b))
==> q=1
==> p²+2(a+b)p-(a²+b²)=0
==> (p+a+b)²=2(a²+b²+ab)
==> a²+b²+ab est paire
==> a et b sont paires, ainsi de suite . C'est la descente infini