§4_6二倍角的三角函数