平面上の凸な領域を3本の直線で面積7等分できない(後編)

前編のおさらい

前編 では

という予想をたて、証明の準備として、

という補題をたてました。「コア」とは今回の記事で用いる呼称で、7分割された領域の中央の三角形の部分のことです。

証明には背理法を使います。まずは「平面上の凸な領域を3本の直線で面積7等分することができる」と仮定してみて、しかしそれでは矛盾が発生してしまうことを示そうというわけです。

記号

まず、証明に使う図の記号を説明します。コアを各辺の長さが1で底辺を水平とした正三角形とし、7分割した領域の面積を$A,B,C,D,E,F,G$とします。

正三角形のコアと面積$A,B,C,D,E,F,G$
記号が煩雑になるのを避けるために図を分けます。
領域と直線の交点を点$a,b,c,d,e,f$とし、直線同士の交点を$g,h,i$とします。また、領域の境界線において$b$上で$c$に向かう方向の接線と水平線のなす角を$\theta$とし、$c$上で$b$に向かう方向の接線と水平線のなす角を$\varphi$とします。
点$a,b,c,d,e,f,g,h,i$と角度$\theta ,\varphi$

ここからは$A=B=C=D=E=F=G$となるような領域の形を求めようということになります。

線分$g-a$の長さ

まず線分$g-a$の長さに注目します

また、対称性より下記がいえます。

ここで線分$g-a_{max},h-b_{max},h-c_{max},i-d_{max},i-e_{max},g-f_{max}$の長さはすべて$\sqrt{2}-1$です。
またこのとき、台形$g-a_{max}-b_{max}-h$の面積は$A$に等しくなることを意識しておいてください。

証明

これでようやく記事タイトルの証明ができます

証明できましたので、予想は晴れて定理となり...

本当に証明は完了したのか？

実は上記の証明について、領域の面積が「0より大きく有限の場合」にのみ有効であることに記事を執筆中に気がついしまいました。領域の面積が無限の場合はコアが有限の面積であることから面積7等分できないことを示せそうですが、面積0の場合は、そもそも「線分で領域を分ける」とはどういうことかをまずきちんと定義しないと面積7等分できないことを証明できそうにありません。

私が証明できたのはここまでとなります。

記事タイトルに若干の偽りがあることをここに謝罪いたします。

余談

今回は7等分でしたが、6等分について考えますと逆に「 平面上のどんな有限で凸な領域も、必ず直線3本で面積6等分できる 」ということが示せます。