圆的相关证明与计算