>>74
0<a_{n}<2なのだから、a_{n}=2cosθ_{n} (0<θ_{n}<π/2)を満たすθ_{n}がただひとつ存在するだろ。