■(a^2+b^2−1)/abの整除性(その26)
a=F2k-1,b=F2k+1のとき、
(a^2+b^2+1)/ab=3
が成り立つ
===================================
a=F2k,b=F2k+2のとき、
(a^2+b^2-1)/ab=3
が成り立つ
===================================