間違っている。
(1) 円に内接するn角形で、正n角形より面積の大きいものが存在すると仮定する。
(2) そのようなn角形は>>884の主張により正n角形でなければならない
この2行について、(1)から(2)への推論の仕方が間違っている。
(1)では、正n角形より面積の大きいn角形(面積最大とは限らないn角形)を
仮定しているだけなので、そのn角形に対しては >>884 は適用できない。
>>884 を使って(2)を推論するためには、もともとの(1)を
(1)' 円に内接する面積最大のn角形は正n角形でないと仮定する。
としなければならない。しかし、これでは面積が最大のn角形の「存在性」を
最初に仮定してしまっているので意味が無い。
