暇だから数学の問題出し合おうぜ

40 ：>>1：2017/08/12(土) 19:37:35.601 ID:A7AiaivEM.net

>>33から
和積を使いまくって
(1/2)(cos(x)-2cos(2x)^2+cos(3x))になる
cosx=tとおくと、
-4t^4+2t^3+4t^2-t-1で、
微分して-16t^3+6t^2+8t-1
の零点求めようとしたけどなんか有理根ないっぽくて詰んでる