[↑] , [←] , [^] , [→] 角の3等分器 / 角の3等分器?( GC World 2 : サンプル ,実物の代わり )

次の図では,赤い部分の長さが等しくなっています。
角には次のような関係があります。
どうしてでしょう。

GC/Win


Forum of Geometric Constructor by Y.Iijima