#cosのn倍角 の 倍角の公式が についての多項式で表せることはわりと知られているようですが，具体的に $\cos^{\square…