>>816
a1=cos(2θ), a2=sin(2θ), tanθ=有理数, a3, …, an=0