(その2)では
an+1=161an+360bn,bn+1=72an+161bn
un=3bn+an/3
vn=3bn-an/3
wn=4bn
とおくと,
un^3+vn^3-wn^3-un-vn+wn
=(un+vn)(un^2-unvn+vn^2-1)-wn^3+wn
=2bn(an^2-5bn^2-1)=0
より,
(un^3-un)/6+(vn^3-vn)/6=(wn^3-wn)/6
が得られた.
これはanが3の倍数であることを前提としている.たしかに,
an+1=161an+360bn,a1=9
は3の倍数となる.
===================================
(その3)では
an+1=(an+5bn)/2
bn+1=(an+bn)/2
a1=1,b1=1→an^2-5bn^2=-4
a1=3,b1=1→an^2-5bn^2=+4
であるが,
un=3bn+an/3
vn=3bn-an/3
wn=4bn
とおくと,
un^3+vn^3-wn^3-un-vn+wn
=(un+vn)(un^2-unvn+vn^2-1)-wn^3+wn
=2bn(an^2-5bn^2-1)≠0 (NG)
(un^3-un)/6+(vn^3-vn)/6=(wn^3-wn)/6
が成り立たないのである.
===================================