正九边形尺规作图:mathematica4.0 求概率