正多边形有关的证明及计算