已知五边形是正五边形,求证,正五边形有一个外接圆