§3 二倍角的三角函数公式