三倍角公式的推导过程:sian 3a=3sin a-4sin ^3a 求证?