如果没有一对满足条件,那么三个数将同时是完全平方数;这会使得关于 ddd 的奇偶性与整除性约束相互冲突。
反设存在整数 p,q,rp,q,rp,q,r 使得 p2=2d−1p^2=2d-1p2=2d−1,q2=5d−1q^2=5d-1q2=5d−1,r2=13d−1r^2=13d-1r2=13d−1。下面推出矛盾,从而说明三者中至少有一个不能是完全平方数。