0874132人目の素数さん
2024/03/20(水) 20:01:42.70ID:1IUuzgqK=1/2^5(sin(3P)sin(5P)sin(7P)sin(9P))
=-2^5 sin(P)sin(2P)sin(4P)sin(6P)sin(8P)sin(10P)/11
=-2^7 sin^2(P)sin^2(2P)cos(2P)sin^2(8P)cos(8P)/11
=-2^7(1-cos^2(P))(1-cos^2(2P))(1-cos^2(8P))cos(2P)cos(8P)/11
これで一応問2は解けている。ここからさらに目的の「簡単な形」
にするのはソフトを使った。たちどころに次が分かった。
sin(P)/√11=(1-cos(P)+2cos(3P)-2cos(5P))/11.