>>390
教科書嫁か。
実数ｘ、ｙがｘ^2+y^2=1を満たしているなら1-x^2=y^2≧0故、-1≦x≦1。
三角関数cos(t)は連続関数で-1≦cos(t)≦1故、中間値の定理により
x=cos(t)となるtがある。
以下略
答えを聞きゃ、前から知ってた、って顔をするんだろうな。