正多边形的一个有趣的性质

P为正n边形外接圆上任意一点,那么点P与正n边形各个顶点连线的线段的平方和为2nR^2(R为正n边形外接圆的半径) 为了证明这个性质。