求角問題と外心３つ法と「外心10個法」（後編）

　 前編 をお読みくださった皆様、こんにちは。本記事では、前編で紹介した「外心10個法」を活用し、（おそらく）非常に難しい求角問題を初等幾何で解決してみます。

A Problematic Problem

　前回定義した 二段整角四角形問題 そのものです。余程のこだわりがない限りは三角関数を利用しゴリゴリと計算するのがよいですけれども、ここは敢えて余程のこだわりを見せます。以前共同研究した某氏も「人々にとって初等幾何とエンジョイは同値」と仰っており、初等幾何解法の発見はきっと皆様のエンジョイにコミットできます。……できますよね？

Is the Elementary Solution Elementary?

折れ線10分クッキング

　外心10個法の初手は10個の外心をとることです。$\triangle EBC, \triangle FBC$の外心を$O_1, O_2$、$\triangle O_1 O_2 B, \triangle O_1 O_2 C$の外心を$O_3, O_4$、$\triangle ABF, \triangle DCE$の外心を$O_5, O_6$、$\triangle O_2 O_5 B, \triangle O_1 O_6 C$の外心を$O_7, O_8$、$\triangle O_2 O_3 O_7, \triangle O_1 O_4 O_8$の外心を$O_9, O_{10}$とします。$\triangle BO_1 C \sim \triangle O_2 O_9 O_7$および$\triangle BO_2 C \sim \triangle O_1 O_{10} O_8$が成立していたので、$\triangle CO_8 O_1 \sim \triangle O_2 XO_9$をみたす点$X$および$\triangle BO_7 O_2 \sim \triangle O_1 YO_{10}$をみたす点$Y$をとれば、$XO_2=YO_1$を導出できます（前編の この部分 を参照）。

　外心がつくる等長関係に注目し、$\triangle O_2 XO_9, \triangle O_1 YO_{10}$と合同な三角形をペタペタペタペタペタペタペタペタペタペタペタペタペタペタペタペタペタと貼り付けます。すると下図のように$P_0$～$P_{36}$が定められ、本問は三十七角形$P_0 P_1 P_2 \dots P_{36}$に対する三十六等辺三十七角形問題に帰着されます。なお、$P_0$～$P_{36}$のとり方は$2^{26}$通り存在し、下図はそのうちの一例に過ぎません。
　ここまでが下準備、外科手術でいうところの麻酔導入です。下準備で補助線57本と補助円10個？

　いま、上図右において、線分$P_{n-1}P_n$の偏角を${a_n}^{\circ}$とすると、
$$\begin{aligned} \{ a_n \} =\, & 278,334,266,210,290,346,278,222,322,266,198,254, \\ & \quad 342,38,242,186,86,30,354,298,62,330,286,18, \\ & \quad 42,134,178,86,98,6,142,50,150,58,14,106 \end{aligned}$$
が確認されます（画面幅の狭いデバイスで閲覧される方に配慮し適宜改行を挟みました）。サラッと書きましたが、この確認を手計算で行おうとすると20分は必要です。
　簡単のため、勝手に$|P_0 P_1|=1$と仮定しましょう。角度は不変です。以下、$z$は$\arg z=1^{\circ}$をみたす$1$の360乗根、すなわち$z=\exp\qty(\dfrac{\pi i}{180})$とします。このとき、$|\zeta|=1,$$\arg \zeta = m^{\circ}$をみたす数$\zeta$は$\zeta = z^m$と表現できるため、線分$P_0 P_{36}$の偏角は$\displaystyle \arg \qty(\sum_{k=1}^{36} z^{a_k})$に等しいです。可読性のために以下の関数$Z$を定義すると、この式は$\arg Z(\{a_n\})$と書けます。

　凄まじい観察眼を用いてエスパーする or 事前に三角関数などで計算しておくと、$\arg Z(\{a_n\})={-16}^{\circ}$です。このことは$z^{16} Z(\{a_n\})=Z(\{a_n +16\})$が実数であることと同値になるので、今からこれを代数的に確認します。

裏計算のお時間（読み飛ばし推奨）

　数列$\{ {a^{(0)}}_n \}$を${a^{(0)}}_n=(a_n+16)\%360$で定義すると（$\%$は剰余演算子）、
$$\begin{aligned} \{ {a^{(0)}}_n \} =\, & 294,350,282,226,306,2,294,238,338,282,214,270, \\ & \quad 358,54,258,202,102,46,10,314,78,346,302,34, \\ & \quad 58,150,194,102,114,22,158,66,166,74,30,122 \end{aligned}$$
です。$z^{360}=1$ですから、$Z(\{a_n +16\})$が実数$\Longleftrightarrow$$Z(\{{a^{(0)}}_n\})$が実数、といえます。
　ここで、以下のような関数$M$を考えます。

　関数$M$の果たす役割を説明します。いま、$z^{250}+z^{70}$はガウス平面上で原点対称な数の和ですから$0$と等しくなります。$z^{20}+z^{140}+z^{260}$はガウス平面上で原点を中心とする正三角形の頂点の和であり、こちらも$0$です。ゆえに、
$$\{{\Lambda}_n\}=\, 250,70,20,140,260$$
という数列を考えれば、自明に$Z(\{{\Lambda}_n\})=0$です。
　それでは、こちらの数列$\{{\Lambda'}_n\}$における$Z(\{{\Lambda'}_n\})$の値はいくらでしょうか。
$$\{{\Lambda'}_n \}=\, 20,70,140,250,260$$
　問うまでもありませんね。数列を構成する項がすべて対応するので、$Z(\{{\Lambda'}_n\})$$=Z(\{{\Lambda}_n\})$$=0$です。これは「$M_{1,3}(M_{3,4}(\{{\Lambda'}_n\}))$と$\{{\Lambda}_n\}$とが一致するため、$Z(\{{\Lambda'}_n\})$$=Z(\{{\Lambda}_n\})$$=0$」とも言い換えられます。
　有限数列に関する計算を行う際、このように関数$M$を利用することで、視覚的に最も計算しやすい形へと数列が整理されます。それこそが関数$M$の役割です。……「わざわざ順番を入れ替えなくても計算可能ではないか？」と思われたかもしれません。もっともなご意見ですが、数列の項数が10項、20項と増えていけば、いずれ我々の脳のキャパシティを超えた複雑さを抱くでしょう。その際にも、互いに打ち消しあう項の組を関数$M$でまとめることで、計算が幾分か楽になります。加えて、数列の計算を初等幾何に還元する際、関数$M$はある操作に対応するのです（後述）。初等幾何解法を創出するうえでキーとなるのが、この関数$M$です。

　本題に戻ります。
$$\begin{aligned} \{{a^{(1)}}_n\}&=M_{31,35}(M_{28,30}(M_{24,27}(M_{19,20}(M_{20,21}(M_{12,17}(M_{3,6}(\{{a^{(0)}}_n\}))))))) \\ \{{b^{(1)}}_n\}&=M_{34,36}(M_{20,22}(M_{18,19}(M_{17,18}(M_{10,11}(M_{7,8}(M_{5,9}(\{{a^{(1)}}_n\}))))))))\end{aligned}$$
と定義すれば、
$$\begin{aligned} \{ {a^{(1)}}_n \} =\, & 294,350,2,306,226,282,294,238,338,282,214,102, \\ & \quad 202,258,54,358,270,46,78,10,314,346,302,194, \\ & \quad 150,58,34,22,114,102,30,74,166,66,158,122 \\ \{ {b^{(1)}}_n \} =\, & 294,350,2,306,338,238,282,294,226,214,282,102, \\ & \quad 202,258,54,358,46,78,270,346,314,10,302,194, \\ & \quad 150,58,34,22,114,102,30,74,166,122,158,66 \end{aligned}$$であり、特に$Z_{11,12}(\{{b^{(1)}}_n\})$$=z^{282}+z^{102}$$=0$です。ゆえに、$\displaystyle {a^{(2)}}_n=\left\{\begin{aligned} &{b^{(1)}}_n \;\;(1\le n\le 10) \\ &{b^{(1)}}_{n+2} \;\;(11\le n\le 34) \end{aligned}\right.$とおくと$Z(\{{a^{(2)}}_n\})=Z(\{{b^{(1)}}_n\})$${\large(}=Z(\{{a^{(1)}}_n\})$$=Z(\{{a^{(0)}}_n\}){\large)}$が成立します。

　次の操作を行う前に、数列$\{{\mu}_n\}=30,74$と数列$\{{\mu'}_n\}$$=14,330,$$134,90$を用意し、$Z(\{{\mu}_n\})=Z(\{{\mu'}_n\})$を示しておきます。左辺に$z^{180}(=-1)$を掛け右辺に移項すると、以下の等式を示せばよいことになります。
$$z^{14}+z^{330}+z^{134}+z^{90}+z^{254}+z^{210}=0$$
　左辺を$z^{90}+z^{14}$で括れば$\qty(z^{90}+z^{14})$$\qty(z^{240}+z^{120}+z^{0})$であり、$z^{240}+z^{120}+z^{0}$$=0$なので証明完了です。
　$\{{b^{(2)}}_n\}$$=M_{20,23}(M_{7,14}(M_{3,6}(\{{a^{(2)}}_n\})))$とすれば、
$$\begin{aligned} \{ {b^{(2)}}_n \} =\, & 294,350,238,338,306,2,358,54,258,202, \\ & \quad 214,226,294,282,46,78,270,346,314,150,194,302, \\ & \quad 10,58,34,22,114,102,30,74,166,122,158,66 \end{aligned}$$
ですね。$Z_{29,30}(\{{b^{(2)}}_n\})$$=z^{{\mu}_1}+z^{{\mu}_2}$$=Z(\{{\mu}_n\})$なので、$\displaystyle {a^{(3)}}_n=\left\{\begin{aligned} &{b^{(2)}}_n \;\;(1\le n\le 28) \\ &{\mu'}_{n-28} \;\;(29\le n\le 32) \\ &{b^{(2)}}_{n-2} \;\;(33\le n\le 36) \end{aligned}\right.$なる数列$\{ {a^{(3)}}_n \}$において、$Z(\{{a^{(3)}}_n\})=Z(\{{b^{(2)}}_n\})$となります（行間注意）。

$$\{{b^{(3)}}_n\}=M_{32,33}(M_{14,16}(M_{12,13}(M_{11,12}(M_{9,14}(M_{9,12}(\{{a^{(3)}}_n\}))))))$$
を定めれば、
$$\begin{aligned} \{ {b^{(3)}}_n \} =\, & 294,350,238,338,306,2,358,54,282,294,202,214, \\ & \quad 258,78,46,226,270,346,314,150,194,302,10,58, \\ & \quad 34,22,114,102,14,330,134,166,90,122,158,66 \end{aligned}$$
をみたします。
$$\left\{\begin{aligned} Z_{13,14}(\{{b^{(3)}}_n\})&=z^{258}+z^{78}=0 \\ Z_{15,16}(\{{b^{(3)}}_n\})&=z^{46}+z^{226}=0 \\ Z_{9,12}(\{{b^{(3)}}_n\})&=z^{{b^{(3)}}_{12}}+z^{{b^{(3)}}_{11}}+z^{{b^{(3)}}_{10}}+z^{{b^{(3)}}_{9}} \\ &=-Z_{25,28}(\{{b^{(3)}}_n\}) \\ Z_{17,21}(\{{b^{(3)}}_n\})&=z^{{b^{(3)}}_{21}}+z^{{b^{(3)}}_{20}}+z^{{b^{(3)}}_{19}}+z^{{b^{(3)}}_{18}}+z^{{b^{(3)}}_{17}} \\ &=-Z_{29,33}(\{{b^{(3)}}_n\}) \end{aligned}\right.$$
を簡単に確認できるので、すべて足し合わせて$\displaystyle Z_{9,21}(\{{b^{(3)}}_n\})$$\displaystyle +Z_{25,33}(\{{b^{(3)}}_n\})$$=0$です。ゆえに、$\displaystyle {c^{(3)}}_n=\left\{\begin{aligned} &{b^{(3)}}_n \;\;(1\le n\le 8) \\ &{b^{(3)}}_{n+13} \;\;(9\le n\le 11) \\ &{b^{(3)}}_{n+22} \;\;(12\le n\le 14) \end{aligned}\right.$という数列$\{{c^{(3)}}_n\}$に関し$Z(\{{c^{(3)}}_n\})=Z(\{{b^{(3)}}_n\})$です。数列の項数が22項も一気に減りました。
$$\begin{aligned} \{ {c^{(3)}}_n \} =\, & 294,350,238,338,306,2,358,54,302,10,58,122,158,66 \end{aligned}$$

　いよいよ仕上げです。$\{{d^{(3)}}_n\}$$=M_{10,11}(M_{11,13}(M_{9,11}(\{{c^{(3)}}_n\})))$とすると、$Z_{12,13}(\{{d^{(3)}}_n\})$$=z^{122}+z^{302}$$=0$が成立します。すなわち、$\displaystyle {a^{(4)}}_n=\left\{\begin{aligned} &{d^{(3)}}_n \;\;(1\le n\le 11) \\ &{d^{(3)}}_{n+2} \;\;(n=12) \end{aligned}\right.$で数列$\{{a^{(4)}}_n\}$を作れば、これまで通り$Z(\{{a^{(4)}}_n\})=Z(\{{d^{(3)}}_n\})$が言えます。
$$\begin{aligned} \{ {a^{(4)}}_n \} =\, & 294,350,238,338,306,2,358,54,58,158,10,66 \end{aligned}$$
　${b^{(4)}}_n$$=M_{5,10}(M_{3,12}({a^{(4)}}_n))$とおきましょう。
$$\begin{aligned} \{ {b^{(4)}}_n \} =\, & 294,350,66,10,306,2,358,54,58,158,338,238 \end{aligned}$$
改めて$z^{360}=1$を思い出すと、$z^{{b^{(4)}}_3}=\overline{z^{{b^{(4)}}_1}},$$z^{{b^{(4)}}_4}=\overline{z^{{b^{(4)}}_2}},$$z^{{b^{(4)}}_7}=\overline{z^{{b^{(4)}}_6}},$$z^{{b^{(4)}}_8}=\overline{z^{{b^{(4)}}_5}}$に気づきますね。また、
$$Z_{9,12}(\{{b^{(4)}}_n\})=(z^{158}+z^{58})(z^{180}+1)=0$$
です。よって、
$$\begin{aligned} Z(\{{b^{(4)}}_n\}) &=Z_{1,8}(\{{b^{(4)}}_n\})+Z_{9,12}(\{{b^{(4)}}_n\}) \\ &=z^{{b^{(4)}}_1}+z^{{b^{(4)}}_2}+\overline{z^{{b^{(4)}}_1}}+\overline{z^{{b^{(4)}}_2}}+z^{{b^{(4)}}_5}+z^{{b^{(4)}}_6}+\overline{z^{{b^{(4)}}_6}}+\overline{z^{{b^{(4)}}_5}}+0 \\ &=z^{{b^{(4)}}_1}+z^{{b^{(4)}}_2}+z^{{b^{(4)}}_5}+z^{{b^{(4)}}_6}+\overline{z^{{b^{(4)}}_1}+z^{{b^{(4)}}_2}+z^{{b^{(4)}}_5}+z^{{b^{(4)}}_6}}=(\text{実数}) \end{aligned}$$
を証明できます。これまでの操作を顧みれば$Z(\{{a^{(0)}}_n\})$$=Z(\{{b^{(4)}}_n\})$ですから、$Z(\{{a^{(0)}}_n\})$も実数である、つまり$\arg Z(\{a_n\})={-16}^{\circ}$であることがやっと明かされました。

裏計算まとめ

$$\begin{aligned} \{ a_n \} =\, & 278,334,266,210,290,346,278,222,322,266,198,254,342,38,242,186,86,30, \\ & \qquad\qquad 354,298,62,330,286,18,42,134,178,86,98,6,142,50,150,58,14,106 \end{aligned}$$
において、定義2で定めた関数$M$を利用し
$$\begin{aligned} &{a^{(0)}}_n=(a_n+16)\%360 \\ &\{{a^{(1)}}_n\}=M_{31,35}(M_{28,30}(M_{24,27}(M_{19,20}(M_{20,21}(M_{12,17}(M_{3,6}(\{{a^{(0)}}_n\}))))))) \\ &\{{b^{(1)}}_n\}=M_{34,36}(M_{20,22}(M_{18,19}(M_{17,18}(M_{10,11}(M_{7,8}(M_{5,9}(\{{a^{(1)}}_n\})))))))) \\ &{a^{(2)}}_n=\left\{\begin{aligned} &{b^{(1)}}_n \;\;(1\le n\le 10) \\ &{b^{(1)}}_{n+2} \;\;(11\le n\le 34) \end{aligned}\right. \\ &\{{b^{(2)}}_n\}=M_{20,23}(M_{7,14}(M_{3,6}(\{{a^{(2)}}_n\}))) \\ &{a^{(3)}}_n=\left\{\begin{aligned} &{b^{(2)}}_n \;\;(1\le n\le 28) \\ &{\mu'}_{n-28} \;\;(29\le n\le 32) \\ &{b^{(2)}}_{n-2} \;\;(33\le n\le 36) \end{aligned}\right. \qquad (\{{\mu'}_n\}=14,330,134,90) \\ &\{{b^{(3)}}_n\}=M_{32,33}(M_{14,16}(M_{12,13}(M_{11,12}(M_{9,14}(M_{9,12}(\{{a^{(3)}}_n\})))))) \\ &{c^{(3)}}_n=\left\{\begin{aligned} &{b^{(3)}}_n \;\;(1\le n\le 8) \\ &{b^{(3)}}_{n+13} \;\;(9\le n\le 11) \\ &{b^{(3)}}_{n+22} \;\;(12\le n\le 14) \end{aligned}\right. \\ &\{{d^{(3)}}_n\}=M_{10,11}(M_{11,13}(M_{9,11}(\{{c^{(3)}}_n\}))) \\ &{a^{(4)}}_n=\left\{\begin{aligned} &{d^{(3)}}_n \;\;(1\le n\le 11) \\ &{d^{(3)}}_{n+2} \;\;(n=12) \end{aligned}\right. \\ &{b^{(4)}}_n=M_{5,10}(M_{3,12}({a^{(4)}}_n)) \end{aligned}$$
とすれば、$Z(\{{b^{(4)}}_n\})$が実数となり、これは$\arg Z(\{a_n\})={-16}^{\circ}$と同値です。

　裏計算が1枚で分かる表も掲載しておきます（最初にこの表を載せるべきでは？）。

計算を初等幾何へ反映させる

　待望の幾何セクションです。2点$A,D$を結ぶ折れ線$P_0 P_1 P_2 \dots P_{36}$に再度注目します。

　利便性のために定義を拵えました。具体例を挙げれば、本問の折れ線$P_{0} P_{1} P_{2} \dots P_{36}$は$Z(\{a_n\})$に対応していますね。

　先程の裏計算で定義した関数$M$を、幾何的にとらえてみましょう。いま、八角形$P_2 P_3 P_4 P_5$$P_6 Q_1 Q_2 Q_3$が点対称な図形となるように3点$Q_1,Q_2,Q_3$をとります。すると、$P_2 P_3$→$P_3 P_4$→$P_4 P_5$→$P_5 P_6$という経路と$P_2 Q_3$→$Q_3 Q_2$→$Q_2 Q_1$→$Q_1 P_6$という経路は、始点と終点が一致し、通る線分の偏角も逆順に一致しています。つまり、折れ線$P_0 P_1 P_2$$P_3 P_4 P_5$$P_6 P_7 \dots P_{36}$と$Z(\{a_n\})$（$=$$z^{a_n}$の総和）が対応する事実より、折れ線$P_0 P_1 P_2$$Q_3 Q_2 Q_1$$P_6 P_7 \dots P_{36}$と$Z(M_{3,6}(\{a_n\}))$が対応するのです（わずかな行間を読み取ってください）。関数$M$は折れ線（の一部）の点対称移動を表していたのですね。
　これを踏まえ、$Z(\{{a^{(1)}}_n\})$に対応する折れ線を作り出します。十二角形$P_{11} P_{12} P_{13} P_{14}$$P_{15} P_{16} P_{17} Q_4$$Q_5 Q_6 Q_7 Q_8$、四角形$P_{19} P_{20} P_{21} Q_9$、四角形$P_{18} P_{19} Q_9 Q_{10}$、八角形$P_{23} P_{24} P_{25} P_{26}$$P_{27} Q_{11} Q_{12} Q_{13}$、六角形$P_{27} P_{28} P_{29}$$P_{30} Q_{14} Q_{15}$、十角形$P_{30} P_{31} P_{32}$$P_{33} P_{34} P_{35}$$Q_{16} Q_{17} Q_{18} Q_{19}$がいずれも点対称な図形となるように、$Q_4$～$Q_{19}$の16点を設けましょう（下図左）。

　新しく用意した多角形のそれぞれについて、折れ線が通る経路を入れ替えます（上図右）。そうすると、新たに生成される経路は
$$Z(M_{31,35}(M_{28,30}(M_{24,27}(M_{19,20}(M_{20,21}(M_{12,17}(M_{3,6}(\{a_n\}))))))))$$
に対応し、$\{{a^{(0)}}_n\},$$\{{a^{(1)}}_n\}$の定義からこれは$Z(\{{a^{(1)}}_n -16\})$に対応する折れ線です（かなりの行間を読み取ってください）。この折れ線を反時計回りに${16}^{\circ}$回転させたものが、$Z(\{{a^{(1)}}_n\})$に対応する折れ線といえます。

　この調子で、始点と終点を保ったまま折れ線を変形していきます。十角形$Q_{2} Q_{1} P_{6}$$P_{7} P_{8} P_{9}$$Q_{20} Q_{21} Q_{22} Q_{23}$、四角形$Q_{22} Q_{21} Q_{20} Q_{24}$、四角形$P_{17} P_{18} Q_{26} Q_{4}$、四角形$Q_{26} P_{10} Q_{10} Q_{25}$、六角形$Q_{10} Q_{9} P_{21}$$P_{22} Q_{27} Q_{28}$、六角形$Q_{17} Q_{16} P_{35}$$P_{36} Q_{29} Q_{30}$がいずれも点対称な図形となるように、$Q_{20}$～$Q_{30}$の11点を設けましょう（下図左）。

　先程と同様に経路変換を行い、$P_9 P_{10}$→$P_{10} P_{11}$→$P_{11} P_8$という経路を$P_9 P_8$に直すと（$\because$四角形$P_{9} P_{10} P_{11} Q_{8}$は平行四辺形）折れ線は上図右のような形状になります。この折れ線が$Z(\{{a^{(2)}}_n -16\})$$=z^{-16}Z(\{{a^{(2)}}_n\})$に対応することは、従前の議論と同じ道筋で判りますね。実際には$\{{a^{(1)}}_n\}$から$\{{a^{(2)}}_n\}$へ変形する手順をカンニングし、それを根拠に多角形を貼りつけているのですが。

　以下、多角形の名称を書き並べる気力が無くなったので、図から読み取ってください。原則点対称です。$Q_{31}$～$Q_{43}$の13点を設けます。また、六角形$P_{30} Q_{19} Q_{18}$$Q_{44} Q_{45} Q_{46}$が${120}^{\circ}$回転で自身と重なる図形となるように$Q_{44}$～$Q_{46}$の3点を設けます（ただし$Q_{19} Q_{44}< Q_{19} Q_{18}$とする）。ここまでを行い、いつも通り経路を変換したものが下図です。これで$z^{-16}Z(\{{a^{(3)}}_n\})$に対応する折れ線が作られます。

　$\{{a^{(3)}}_n\}$から$\{{a^{(4)}}_n\}$へ変形する手順を参考に、どんどん経路を変えていきます。点対称の原則を守りつつ$Q_{44}$～$Q_{55}$の12点を設け、経路変換と（同じ道を行って戻る経路の）削除を適宜行えば、下図のように折れ線が移ります。

　折れ線$Q_{39} Q_{53}$$Q_{52} Q_{54} Q_{25}$と折れ線$P_{30} Q_{14}$$Q_{15} P_{27} Q_{11}$は平行移動で重なるため（計算略）、$Q_{39} Q_{25}=P_{30} Q_{11}$です。また、折れ線$Q_{25} Q_{10} Q_{28}$$Q_{27} Q_{43} Q_{42}$と折れ線$Q_{17} Q_{55} Q_{44}$$Q_{45} Q_{46} P_{30}$も平行移動で重なり、$Q_{25} Q_{42}=Q_{17} P_{30}$を得ます（下図左）。ついでに$Q_{42} Q_{41} /\!/ Q_{30} Q_{17}$です。
　ということは、十角形$Q_{39} Q_{25} Q_{42}$$Q_{41} Q_{12} Q_{11}$$P_{30} Q_{17} Q_{30} Q_{56}$が点対称な図形となるように、点$Q_{56}$をとることができますね。四角形$Q_{56} Q_{30} Q_{29} Q_{57}$がひし形となるような点$Q_{57}$もとっておくと、長かった経路が下図右のように短縮されます。これが$z^{-16}Z(\{{a^{(4)}}_n\})$に対応する折れ線です。

　あとはどうとでもなります。$\triangle Q_{32} Q_{22} Q_{39}$が二等辺三角形であることに注目し、線分$Q_{32} Q_{39}$の偏角が${-16}^{\circ}$であると判ります。また$P_2 Q_{32}=Q_{57} Q_{39}$かつ$P_2 Q_{32} /\!/ Q_{57} Q_{39}$から、線分$P_2 Q_{57}$の偏角も${-16}^{\circ}$です。すると$\angle P_1 P_2 Q_{57}$$=\angle Q_{29} Q_{57} P_2$が成立し、四角形$P_0 P_2 Q_{57} P_{36}$は$P_0 P_2 = P_{36} Q_{57}$の等脚台形といえます。以上より、線分$P_0 P_{36}$の偏角、すなわち線分$AD$の偏角は${-16}^{\circ}$なのです。
　いま、線分$ED$の偏角は$34^{\circ}$ですから、最終的に$\angle ADE$$={50}^{\circ}$が確定しました。

Frequently Asked Question

Ｑ．数列の項の入れ替え方をどうやって思いつけば……
Ａ．転倒数の考え方を用いましょう

　ここまで読んだ多くの読者は、各自で二段整角四角形問題を作り、経路変換を試みていることでしょう。しかしながら、ただ闇雲に折れ線の平行移動を繰り返すだけでは、図が複雑になっていくのみです。もっとシステマティックに変換しなければなりません。えっ、そもそも試みてなどいない？　おかしいですね……。
　今からその手順をお伝えします。例として、以下の数列$\{{\rho}_n\}$を持ってきました。
$$\{{\rho}_n\} = -82,-30,-18,142,22,54$$
　$Z(\{{\rho}_n\})$が実数であることを確かめましょう。まず、
$$\begin{aligned} &z^{-30}+z^{-18}+z^{54}-\qty(\overline{z^{-30}+z^{-18}+z^{54}}) \\ &\qquad = z^{-30}+z^{-18}+z^{54}+z^{-150}+z^{-162}+z^{126} \\ &\qquad = \qty(z^{-150}+z^{-30}+z^{90})+\qty(z^{-162}+z^{-90}+z^{-18}+z^{54}+z^{126})=0 \end{aligned}$$
より、$z^{-30}+z^{-18}+z^{54}$は実数です。また、$z^{142}+z^{22}+z^{-98}$も実数ですから、
$$\begin{aligned} Z(\{{\rho}_n\}) &= z^{-82}+z^{142}+z^{22}+\qty(z^{-30}+z^{-18}+z^{54}) \\ &= z^{-82}-z^{-98}+\qty(z^{142}+z^{22}+z^{-98})+(\text{実数}) \\ &= z^{-82}+z^{82}+(\text{実数})+(\text{実数})=(\text{実数}) \end{aligned}$$
という風に確かめられました。よって、$\{{\rho}_n\}$の先頭に$82,-98$を追加した数列$\{{\rho'}_n\}$を用意し、
$$\{{\rho'}_n\} = 82,-98,-82,-30,-18,142,22,54$$
から$(82,-82),$$(-98,142,22),$$(-30,-18,54)$の形を見つけられるように関数$M$を適用することが目標となります。

$$\{{\rho''}_n\} = 82,-82,-98,142,22,-30,-18,54$$
は$\{{\rho'}_n\}$の項を並べ替えた数列であり、かつ$(82,-82),$$(-98,142,22),$$(-30,-18,54)$の形が非常に見やすいです。
$$\{{\rho'}_n\} = {\rho''}_1, {\rho''}_3, {\rho''}_2, {\rho''}_6, {\rho''}_7, {\rho''}_4, {\rho''}_5, {\rho''}_8$$
ですから、この添字だけを抽出した新たな数列$\{{\sigma}_n\}$は$\{{\sigma}_n\}$$= 1,3,2,6,$$7,4,5,8$となります。
　$\{{\sigma}_n\}$について転倒数（inversion number）を計算してみると、その値は$5$です。試しに$M_{4,6}(\{{\sigma}_n\})$という数列の転倒数も計算すると、その値は$3$になります。数列$1,2,\dots,8$の転倒数は当然$0$ですから、$\{{\sigma}_n\}$と$M_{4,6}(\{{\sigma}_n\})$を比較すれば、後者のほうが数列$1,2,\dots,8$に「近い」といえますね。換言すると、$\{{\rho'}_n\}$と$M_{4,6}(\{{\rho'}_n\})$では後者のほうが数列$\{{\rho''}_n\}$$={\rho''}_1,{\rho''}_2,\dots,{\rho''}_8$に「近い」のです（行間……）。
　このように、「添字の転倒数を$0$に近づける」というコンセプトを抱きつつ関数$M$を用いれば、有限回の関数合成で$\{{\rho'}_n\}$は$\{{\rho''}_n\}$に変換されます。もとの数列の転倒数が$0$でない限り、転倒数が減少するような適用方法は必ず存在するためです（詳しくは「バブルソート 交換回数」などで検索してください）。今回であれば、$M_{2,3}(M_{5,7}(M_{4,6}(\{{\rho'}_n\})))$と操作することで$\{{\rho''}_n\}$と完全に一致させられます。

　問題1では、これと同じことを36項もの数列で行いました。ゴールとなる順序を仮定し、計算してみた添字の転倒数はなんと$116$（この値はゴール次第で変動します）。$116$回以内の関数合成で変換を終えられるという事実に大歓喜……できるわけもなく無事心が折れ、効率的に転倒数を減らす交換方法をPython先生へとお尋ねしました。やはり先生は優秀でして、ものの数秒で全探索を終え20回台の合成手順を提出されたのですが、幾何に還元した際の図の見やすさなども慮った結果、本記事に掲載したとおりの28回の交換（with 項の追加や除去）を採用するに至ったのです。実は28回でも結構削ったほうなのですよ……。

Impractical Practice Problems

　$(1)$は前回例示した二段整角四角形ですね。つまり、外心10個法などという煩雑極まりないメソッドに頼らずとも解けます。$(3)$は外心10個法以外の初等幾何解法を発見できていません（本記事投稿日現在）。

The Confused Conclusion

　お疲れ様でした。問題1の解答に用いた補助オブジェクトを上図にまとめたので、これで癒されてください。どことなくステンドグラスっぽくないですか？（主観）
　ちなみに、プログラムを組んで数えてみると、補助点が95個、補助円が10個、そして補助線が176本でした。 前々回 の記録を早くも超えてしまいました……。

　さて、以上の議論によって二段整角四角形問題（当然のように連呼していますがあくまで独自の呼称です）を完全解決した次第ですが、実のところ、「外心10個法」にはある問題点があります。
　問題2へ果敢に挑んでくださった読者ならば、恐らくお気づきのことでしょう。そう、本メソッドに従って折れ線を描いたとき、$P_0$～$P_8$の区間と$P_{24}$～$P_{28}$の区間からそれぞれ1本ずつ選んだ線分の組で、ちょうど逆向きのものが少なくとも1組存在するのです。$P_8$～$P_{12}$の区間と$P_{28}$～$P_{36}$の区間にも、同様の組が必ず存在します。
　長さが等しく向きが逆のベクトルは相互に打ち消しあうので、何らかの手順を加えることにより、はじめから三十二等辺三十三角形として議論を開始できるはずなのです。現行の三十六等辺三十七角形は過剰な複雑さを有するといえます。つまるところ、手法が洗練されていなかったのです。

　だからこそ。この問題点を独力で解決できなかったからこそ、私は本記事を書き上げました。私よりも数学への造詣が深い読者から、ソリューションを与えていただくためです。
　 aerile_re 氏が「 外心3つ法 」を発見したときも、もとは外心を2つしかとっていなかったそうです。しかしながら、2つの外心では（1組の線分が打ち消しあう）八等辺九角形が得られてしまい、それを解消すべく試行錯誤した結果、3つ目の外心を発見したといいます。帰納的に、私の提唱する「外心10個法」では、さらに1～2個の外心をどこかにとることで、真に洗練された三十二等辺三十三角形を得ると考えられます。本来「外心11個法」あるいは「外心12個法」であるべきなのでしょう。
　ですが、記事投稿日までの私には、それらの外心が見えませんでした。GeoGebraで数百個の外心を作図すれども、ただWindowsの挙動が遅くなるだけに終わりました。
　皆様、お力添えをいただけませんか？

It's Time for "Yodan"

　前編の投稿からわずか数時間で“ご本人”が降臨しました。解りますよ、自身で編み出した手法を別の誰かが語っていれば、内容云々の前に反応したくなるものです。私もレムニスケート関連で同様の経験が複数回あります。ですが流石に早すぎませんか？

　もう1件、 第４回匿式図形問題エスパー杯 の解説記事（ 問題Ａ～Ｅ ・ 問題Ｆ ）に2024年7月21日現在計12件の高評価をいただいております。誠にありがとうございます。今後とも変わらぬご愛顧を……。

　以上、独自研究の紹介＆蛇足でした。今回は前後編合わせて約38,000文字（約58,000バイト）のHTMLコードを打ち込みました。
　感想・提案・質問・指摘・$\mathbb{X}$でのバズり方などはコメントにお願いします。それではこれにて。