正多边形与圆的一个性质及其证明