21/03/03 12:07:59.99 SY070HAY.net
>>123
|t| < cos(72) < cos(18) のとき
T_4(t) - cos(72) = 8t^4 - 8t^2 + (1-cos(72))
= 8 [tt - cos(18)^2] [tt - cos(72)^2]
≧ 0,
∴ T_4(t) ≧ cos(72),
Max{|t|, T_4(t)} ≧ cos(72),
あるいは
|cosθ| < cos(72) となるのは
72<θ<108, 252<θ<288 (mod 360)
cos(4θ) < cos(72) となるのは
18<θ<72, 108<θ<162, 198<θ<252, 288<θ<342 (mod 360)
よって 共通部分はない。
Max{|cosθ|, cos(4θ)} ≧ cos(72),