證明：

假設

n^4 + 2*n^3 + 2*n^2 + 2*n + 1 = m^2       (1)

其中，m是一個整數。那麼

n^4 + 2*n^3 + 2*n^2 + 2*n + 1 =n^2(n^2+2n+1) + n^2+2n+1=

(n+1)^2(n^2+1)=m^2

(n^2+1)=m^2/(n+1)^2

sqrt(n^2+1)=m/(n+1)

這說明，sqrt(n^2+1）是有理數。令

sqrt(n^2+1)=p/q            （2）

其中，p,q是即約分數，或者說互素。

先證明，q不等於1。如果q=1，從（2）得出 p^2-n^2=1。這是不可能的，兩個整數的平方差不可能是1。所以，q不等於1。從（2）又得出

n^2=(p-q)(p+q)/q^2               (3)

因為p,q互素，q中的任何素數因子即不能整除(p-q)也不能整除(p+q)。所以(3)的右端不可能是正數。這矛盾，所以（1）不成立。