与圆有关的计算与证明