14/05/04 21:34:13.57
>>175
三倍角ならこっちだな。
細かいことは抜いてアウトラインだけ
tan35ﾟ=xとする。三倍角の公式より
tan105ﾟ=(3x-x^3)/(1-3x^2)
一方、加法定理よりtan105ﾟ=-(2+√3)
したがってtan35ﾟは(3x-x^3)/(1-3x^2)=-(2+√3)の0<x<1の解となる。
f(x)=x^3-3(2+√3)x^2-3x-(2+√3)とおく。
f(7/10) = (-817+470√3)/1000 = (-√(667489)+√(662700)/1000 < 0
f(1)=2+2√3 > 0
よってf(x)は0.7<x<1でf(x)=0となるのでtan35ﾟ>0.7