8x^2+1=y^2
x^2=1/32{(17+12√2)^n+(17-12√2)^n-2}
y^2=1/4{(17+12√2)^n+(17-12√2)^n-2}+1
=1/4{(17+12√2)^n+(17-12√2)^n+2}
α=17+12√2=(1+√2)^4=(3+2√2)^2は2次方程式:x^2-34x+1=0の根であるから,
y^2=1/4{(17+12√2)^n+(17-12√2)^n+2}
=1/4{(3+2√2)^2n+(3-2√2)^2n+2}
y=1/2{{(3+2√2)^n+(3-2√2)^n}
===================================
一方,
y^2-8x^2=y^2-2(2x)^2=1=p^2-2q^2
α=3+2√2,β=3-2√2
xn =1/2(α^n+β^n)
yn =1/2√2(α^n-β^n)
p=1/2(α^n+β^n)
===================================
[まとめ]1/32{(17+12√2)^n+(17-12√2)^n-2}
に食い違いは解消されたことになる.
===================================