證明：

2^(n+1) - 7*[f(n-1)^2]是一個完全平方數。

解：

當n=2時，2^3-7=1是完全平方數。

2^(n+2)-7*f(n)^2]= [2^(n+1)-7*f(n-1)^2]+[4(2^n-7*f(n-2)^2)]-

                                 2[2^n- 2(7)f(n-1)f(n-2)]        (1)

如果(1)中第一個[]乘第二個[]=第三個[]的平方，命題得證。就令

(1)中第一個[]乘第二個[]=第三個[]的平方,得

2^(n-2)=f(n-1)^2+2f(n-2)^2+f(n-1)f(n-2)               (2)

現在用數學歸納法證明(2)

將f(n) = -f(n-1) - 2*f(n-2)代入下式

f(n)^2+2f(n-1)^2+f(n)f(n-1)

得到

f(n)^2+2f(n-1)^2+f(n)f(n-1)=2[f(n-1)^2+2f(n-2)^2+f(n-1)f(n-2)]

將歸納假設(2)代入上式得

2^(n-1)= f(n)^2+2f(n-1)^2+f(n)f(n-1)                (3)

用n=2驗證(3),成立。這樣我們就證明了(2)。從而，證明了(1)的左端是完全平方數。