三角函数关系式(半角公式,二倍角公式,和差化角公式)