cosx=1/3を満たす実数x(0<x<π/2)を考える。

（1）a[n]=cos(nx),b[n]=sin(nx)とするとき、a[n]とb[n]をcosxとsinxで表せ。

（2）n≧2のとき、a[n]は無理数であることを示せ。