圆的面积推导的副本