>>430

a_{n+2} = p･a_{n+1} + q･a_n,
より
|a_{n+2}|^2 = a_{n+2}･a_{n+2}~
= (p･a_{n+1} + q･a_n) (p･a_{n+1}~ + q･a_n~)
= pp|a_{n+1}|^2 + pq･Re(a_{n+1}･a_n~) + qq|a_n|^2,

(1)　pp + qq = 1，pq = 0,
　　(p，q) = (0，±1)　(±1，0)