如果一个正多边形有n条边，那么这个正多边形叫做正n边形．