一个一个圆的综合题 （2倍角的证明和关于圆的三角函数的计算）