3角函数倍角公式不要简单的告诉我三角函数的倍角公式,我只想知道是如何推出来的