>>892
>としなければならない。しかし、これでは面積が最大のn角形の「存在性」を
>最初に仮定してしまっている

していませんよ