圆面积推导（剪开）