>>893
n角形の面積が頂点の位置の連続関数かつ有界
ってことが言えれば>>884のやり方でも良いの?