数列{a[n]}は
 a[n+2] = |a[n+1] - a[n]|
を満たす。
(1) a[1],a[2]が有理数ならば、a[k]=0となるkが存在することを示せ。

(2) a[1]=√3,a[2]=√2ならば、n≧3のとき
a[n]=x[n]√3+y[n]√2
をみたす整数x[n]、y[n]は0にならないことを示せ。