圆与三角函数有关的计算和证明