文献あり

第４回匿式図形問題エスパー杯（T-GUESS Cup 4）　問題Ｆの解説

949

　2024年5月3日～5月8日にかけて『第４回匿式図形問題エスパー杯 (T-GUESS Cup 4: Tock's Geometry "Using Extra-Sensory Solutions" Cup The 4th)』を開催しました。本記事では、その最終問題である問題Ｆの紹介および解説を行います。高難度の幾何に翻弄されましょう。なお、問題Ａ～問題Ｅの解説はこちらの記事にて行っています。興味があればお読みください。
　コンテストに出場していない方も、「こんな性質が成り立っているのか」という気持ちで読んでいけるはずです。この1問に大量の知識がオムニバスされているので。

問題紹介

（問題Ｆ）

　 $△ A B C$ の外心を $O$ 、内心を $I$ とする。 $∠ A$ 内の傍接円と傍心をそれぞれ $ω_{A}, I_{A}$ とし、 $ω_{A}$ と半直線 $A B, A C$ の接点を $T_{A B}, T_{A C}$ とおく。同様に $ω_{B}, ω_{C},$ $I_{B}, I_{C},$ $T_{B C}, T_{B A},$ $T_{C A}, T_{C B}$ も定める。点 $U, W, Y$ はそれぞれ $T_{B C} T_{B A}$ と $T_{C A} T_{C B}$ 、 $T_{C A} T_{C B}$ と $T_{A B} T_{A C}$ 、 $T_{A B} T_{A C}$ と $T_{B C} T_{B A}$ の交点である。点 $V, X, Z$ はそれぞれ直線 $O I_{C}, O I_{A}, O I_{B}$ 上の点であり、 $∠ T_{C A} V T_{C B} = ∠ A I B,$ $∠ T_{A B} X T_{A C} = ∠ B I C,$ $∠ T_{B C} Z T_{B A} = ∠ C I A$ をみたす（ただし、 $V, X, Z$ はいずれも $△ U W Y$ の外部にある）。
　このとき、 $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U}$ の値を求めなさい。

「これは、なんですか？？？？？？」
　本問の印象を一言で述べると、こうなりますね。問題Ａ～Ｅまで数々の難問を打ち破って疲弊した脳にとっては、あまりにも重い一撃です。とにかく定義が多く、内容の理解さえも困難に思えます。問題文の時点で定義を23種類も用いる不親切設計。まず外心・内心・傍心を描いて、外心と傍心を結んで、角度を測って……。

　唯一の救いは、問われている式が特徴的な形をしていることですね。 $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U}$ という形は、有名なチェバの定理やメネラウスの定理を連想させます。これらの定理では、比の積が $1$ になっていました。ということは、今回解くべき問題も、きっと最終的に $1$ が出てくるのでしょう。仮に本問の答えが $1$ よりも大きい定数ならば、 $V$ と $Z$ 、 $W$ と $Y$ の名前を入れ替えることで $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U}$ の分母と分子が逆転し、 $1$ よりも小さな値を得るため仮定に矛盾、といった背理法的な推論も効きます。

いざ挑戦

最初のエスパー

　どこから考察しようか迷いますね。こういった難問は、手の付けどころを見極める時点から難しいものです。
　そこでエスパーです（注：本記事では無根拠の仮定や勘を「エスパー」と呼称します）。本問を作った主催者が、別に賢いわけではないとエスパーしましょう。
　賢くない人間が難問を捻出する方法とは、一体何でしょうか？　少し想像してみれば、答えは自ずと見えてきますね。そうです。既存の難問や定理を色々詰め込んで、強引に難しくしているのです。元となった性質さえ分かれば、あとは簡単な考察で糊付けするだけ、ともいえます。
　その性質の正体を突き止めるところから、我々の戦いが始まります。

2度目のエスパー

　隠れた性質を追うためには、さらなるエスパーが必要です。手がかりは、先述した $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U}$ という式の形。チェバらしさやメネラウスらしさが漂っており、どこかにチェバやメネラウスの使える図形が無いか探したくなります。
　ですが、ここで踏みとどまりましょう。作問者の気持ちになるのです。「チェバやメネラウスの形を露骨に残したまま、最終問題として出題するか？」と考えましょう。ええ、普通の感性であれば、そういう安易な出題はしませんね。「メネラウスだ」と思わせておいて実はメネラウスに頼らない、となるのが一般的です。

　チェバでもメネラウスでもなく、 $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U}$ をうまく扱える定理、何を思いつきますか？
　ある程度幾何を浚った方であれば、春木の定理（ Wikipedia ）を思いつくかもしれません。知らない方のために軽く紹介します。

（春木の定理）

　互いに交わる3つの円の交点を図のようにとったとき、 $\frac{A B \times C D \times E F}{B C \times D E \times F A} = 1$ が成立する。

　ビジュアルが良いですね。これを本問に使えないか、しばし試してみましょう。

　　～GeoGebraで作図中～

　収穫がありました。以下をご覧ください。

　春木の定理に概形を似せるため、3点 $V, X, Z$ をそれぞれ $U W, W Y, Y U$ について対称移動してみました。移動後の点を $V^{'}, X^{'}, Z^{'}$ としてみると、上図のように $(U, W, X^{'}, Z^{'}),$ $(W, Y, Z^{'}, V^{'}),$ $(Y, U, V^{'}, X^{'})$ が共円になっているではありませんか。（「こんな共円見つかるわけないよ」という方は、先程載せた春木の定理の図をもう一度よくご覧ください。割と定理そのままの形です。）
　この事実はあとで証明するとして、さらに考察を深めましょう。

3度目のエスパー

　先程の図をよく見れば、もう少しエスパーできそうなことがありますね。6点 $T_{A B}, T_{A C},$ $T_{B C}, T_{B A},$ $T_{C A}, T_{C B}$ が、緑点線で描かれた3円のいずれかに乗っているように見えます。また、3点 $V^{'}, X^{'}, Z^{'}$ はいずれも $△ A B C$ の傍接円上に存在しそうです（こちらの性質は角度計算で簡単に示せます）。
　取っ掛かりの候補が増えてきました。しかしながら、今のままではやや決定打に欠けます。 $U, W, Y$ という見慣れない点を扱うのは大変なので、どうにかしたいところ……。

　　～GeoGebraで試行錯誤中～

　収穫が増えました。以下をご覧ください。

　3点 $V^{'}, X^{'}, Z^{'}$ を通る円を作図してみました（赤点線）。すると、この円は $△ A B C$ の3つの傍接円すべてに外接する模様です。理由は分かりませんが、見た目と直感とGeoGebraがそう言っています。
「それって、つまり……」と察した方も多いでしょう。その通りです。フォイエルバッハの定理( Wikipedia )から、赤点線で描かれた円はすなわち $△ A B C$ の九点円であり、その接点たる $V^{'}, X^{'}, Z^{'}$ は $△ A B C$ の外フォイエルバッハ点とエスパーされます。とても強い結果が出てきましたね。
　ここまでを全部エスパーすると、本問は以下のように切り分けられます。

（問題Ｆの部分的解決）

　問題1における $T_{A B}, T_{A C},$ $T_{B C}, T_{B A},$ $T_{C A}, T_{C B}$ $U, W, Y$ の定義はそのまま用いる。 $△ A B C$ の $∠ A, ∠ B, ∠ C$ 内の外フォイエルバッハ点を $F_{A}, F_{B}, F_{C}$ としたとき、 $(T_{C A}, T_{A C},$ $F_{C}, F_{A},$ $Y, U),$ $(T_{A B}, T_{B A},$ $F_{A}, F_{B},$ $U, W),$ $(T_{B C}, T_{C B},$ $F_{B}, F_{C},$ $W, Y)$ がそれぞれ同一円周上に存在することを証明しなさい。

　したがって、ここからは次のような流れで考えていきます。

〈1st step〉	問題2を頑張って証明する。
〈2nd step〉	$V^{'} = F_{C},$ $X^{'} = F_{A},$ $Z^{'} = F_{B}$ を示す(難所)。
〈3rd step〉	残りのエスパー部分を論証して総仕上げ。

　前置きが長くなりましたが、いよいよミッション・スタートです。

重い解説

〈1st step〉

　取り敢えず $U, W, Y$ の周辺を色々調べると、以下の性質が見つかります。

　傍接円 $ω_{A}$ と辺 $B C$ との接点を $S_{A}$ と定めると、 $A U = I_{A} S_{A}$ かつ $A U / / I_{A} S_{A}$ である。

　 $A$ から $B C$ の平行線を引き、 $U W, U Y$ との交点をそれぞれ $P_{1}, Q_{1}$ とする。明らかに $△ A P_{1} T_{C A} \sim △ C T_{C B} T_{C A}$ であるため $A P_{1} = A T_{C A}$ となり、傍接円の性質から $A T_{C A} = C T_{A C}$ $= C S_{A}$ も判る。ゆえに $A P_{1} = C S_{A}$ 、同様にして $A Q_{1} = B S_{A}$ が従う。
　加えて、簡単な角度計算から $U W / / C I_{A},$ $U Y / / B I_{A}$ を示せる。これらを利用すると、線分 $A S_{A}$ の中点 $M_{1}$ について $△ I_{A} B C$ を点対称移動させれば $△ U Q_{1} P_{1}$ にぴったり重なることが導かれる。この事実は補題の主張を明瞭に説明する。 $◼$

　たったいま示した補題2を念頭に、次のような構図も考えましょう。

　 $ω_{B}$ と辺 $C A$ 、 $ω_{C}$ と辺 $A B$ との接点をそれぞれ $S_{B}, S_{C}$ と定める。点 $W_{2}$ は $B W_{2} = I_{C} S_{C}$ をみたす直線 $W B$ 上の点であり、 $B$ に関して $W$ の反対側にある。点 $Y_{2}$ は $C Y_{2} = I_{B} S_{B}$ をみたす直線 $Y C$ 上の点であり、 $C$ に関して $Y$ の反対側にある。
　このとき、6点 $(W, W_{2},$ $Y, Y_{2},$ $T_{B C}, T_{C B})$ はある1つの円に乗る。

　線分 $I_{B} I_{C}$ の中点を $M_{2}$ とする。 $△ A B C$ の外接円と $△ I_{A} I_{B} I_{C}$ の九点円は一致するので、 $M_{2}$ は $△ A B C$ の外接円に乗っている。ここから $∠ B M_{2} C = ∠ B A C$ が判る。また、 $∠ I_{B} B I_{C} = ∠ I_{B} C I_{C}$ $= 90^{\circ}$ より4点 $(B, C,$ $I_{B}, I_{C})$ は共円であり、特に $M_{2} I_{B} = M_{2} B$ $= M_{2} C$ $= M_{2} I_{C}$ を得る。
　いま、 $M_{2}$ を直線 $B C$ に関して対称移動した点を $K_{A}$ とおくと、当然ながら $K_{A} B = K_{A} C$ $= M_{2} C$ $= M_{2} I_{B}$ である。ゆえに、補題2を用いつつ軽めの角度計算を挟めば、 $△ K_{A} B W \equiv △ M_{2} I_{B} T_{B C}$ を示すことができる。この合同から $K_{A} W = M_{2} T_{B C}$ $= K_{A} T_{B C}$ が従うので、2点 $W, T_{B C}$ はいずれも $K_{A}$ からの距離が等しい。同様の考察を繰り返せば、6点 $(W, W_{2},$ $Y, Y_{2},$ $T_{B C}, T_{C B})$ はいずれも $K_{A}$ からの距離が等しいと判明する。 $◼$

　余談ですが、 $△ A B C$ の垂心を $H$ とすると $H W = H Y$ になっています。補題3の証明を追えば理解できると思うので、演習問題にどうぞ。

〈1st step〉の仕上げです。補題3にて4点 $(W, Y,$ $T_{B C}, T_{C B})$ の乗る円を見つけられたので、この円が $F_{B}, F_{C}$ も通ることを示せば問題2を証明できますね。そのためには、 $K_{A} F_{B} = K_{A} T_{B C}$ を導けると良さそうです。
　行きましょう。天啓を享け、下図のように放物線を描いてみます。

「また変なこと始めたよこの人……」
　少なからぬブーイングが聞こえますね。恐ろしや恐ろしや……。
　そもそもこれがどういう放物線なのか、そこから説明しましょう。まず $△ A B C$ において、辺 $B C$ の中点を $D$ 、九点円の中心を $E$ としました。次に、直線 $B C$ を点 $A$ と反対側に距離 $D E$ だけ移動させた直線 $l$ を用意しました。ここに、焦点が $E$ 、準線が $l$ である放物線 $p$ は3点 $I_{B}, I_{C}, D$ を通っている、という性質が生まれるのです。
　発想さえあれば、示すのは簡単です。放物線は焦点からと準線からの距離が等しい点の軌跡なので、3点 $I_{B}, I_{C}, D$ について $E$ からの距離と $l$ からの距離を比較するとよいですね。例えば $I_{B}$ に注目し、 $I_{B} T_{B C}$ と $l$ の交点を $L_{B}$ とおくと、 $I_{B} E = I_{B} F_{B} + F_{B} E$ $= I_{B} T_{B C} + T_{B C} L_{B}$ $= I_{B} L_{B}$ となって $p$ は $I_{B}$ を通ります。残りは自力で確かめてください。

「放物線を描いたとて……」と逡巡する暇は与えません。 $M_{2}$ （線分 $I_{B} I_{C}$ の中点）と $K_{A}$ は点 $D$ に関して対称な位置にありますから、 $K_{A} M_{2} = 2 D M_{2}$ が成り立ちます。至極当たり前に見えますが、実はこれを上手く活かせるのです。以下のような定理が有るからです。

（放物線の有名な性質）

　図で、 $F$ は放物線の焦点、 $A B, A C$ は接線である。このとき直線 $A E$ と準線は垂直であり、 $D$ は放物線上に存在する。さらに、 $△ B F A \sim △ A F C$ も成立する。

　定理4の証明はこちらのサイトを参照しましょう（決して怪しいサイトではありません）。「test2.pdf」や「test3.pdf」辺りに書いてあります。
　さて、定理4から、 $K_{A} I_{B}, K_{A} I_{C}$ は放物線 $p$ の接線といえますね（正確には定理4の逆を用いていますが、これも真であることは疑いようがありません）。すなわち $△ I_{C} E K_{A} \sim △ K_{A} E I_{B}$ です。放物線の軸と平行に入射した光線は焦点に集まる（ $\Rightarrow$ $K_{A} I_{B}$ は $∠ E I_{B} L_{B}$ を二等分する）ので、 $△ K_{A} E I_{B} \equiv △ K_{A} L_{B} I_{B}$ も得られます。これらを図に描き込みましょう。

　もう見えていますね。 $△ K_{A} E I_{B}$ と $△ K_{A} L_{B} I_{B}$ の合同において $F_{B}$ と $T_{B C}$ は対応する点ですから、もちろん $K_{A} F_{B} = K_{A} T_{B C}$ です。来ました。ここでやっと補題3が使えて、 $(W, W_{2},$ $Y, Y_{2},$ $T_{B C}, T_{C B},$ $F_{B}, F_{C})$ の8点共円を示せるのです！　残る $(T_{C A}, T_{A C},$ $F_{C}, F_{A},$ $Y, U),$ $(T_{A B}, T_{B A},$ $F_{A}, F_{B},$ $U, W)$ の組も同様の議論により共円と導けます。ついに問題2を証明できました。

〈2nd step〉

　ようやく〈2nd step〉が始まります。ここでは $X^{'} = F_{A}$ を示しましょう（他の一致も同様に示せます）。
　 $F_{A}$ に関する情報を増やすため、以下の補題を設けます。

　問題1における $I_{A}, ω_{A}, U$ の定義はそのまま用いる。 $△ A B C$ の $∠ A$ 内の外フォイエルバッハ点を $F_{A}$ とし、 $ω_{A}$ と辺 $B C$ の接点を $S_{A}$ とする。点 $I_{A}$ に関して $S_{A}$ と対称な点を ${S^{'}}_{A}$ と名付けると、 $F_{A}$ は直線 $U {S^{'}}_{A}$ 上に存在する。

　 $∠ A$ が鋭角の場合のみ記す（直角・鈍角の場合も同様に示せる）。 $△ A B C$ の外心 $O$ について $M_{2}$ （線分 $I_{B} I_{C}$ の中点）と対称な点を ${M^{'}}_{2}$ とすると、 ${M^{'}}_{2}$ は $△ B C I_{A}$ の外心になっている（有名性質）。線分 $H M_{2}$ の中点 $M_{H}$ について、九点円と外接円の相似に注目すれば、 $M_{H}$ は $△ A B C$ の九点円に乗っており、かつ $B C ⊥ E M_{H}$ であるといえる（ただし $H$ は $△ A B C$ の垂心）。いま、 $∠ A$ の二等分線と直線 $E M_{H}$ の交点を $F$ とし、 $A I_{A}$ と $H M_{2}$ の交点を $N_{0}$ とする。 $△ A H N_{0}$ と $△ {M^{'}}_{2} M_{2} N_{0}$ の相似に注目すれば、 $F M_{H} = \frac{| A H - {M^{'}}_{2} M_{2} |}{2}$ $= O {M^{'}}_{2} - O D = D {M^{'}}_{2}$ が判り、特に $F M_{H} = D {M^{'}}_{2}$ である。
　さて、 $F_{A}$ は明らかに $M_{H} {S^{'}}_{A}$ 上の点であるため、 $∠ A$ の二等分線と直線 $M_{H} {S^{'}}_{A}$ の交点を $M_{U}$ とし、 $△ M_{H} F M_{U}$ と $△ {S^{'}}_{A} I_{A} M_{U}$ の相似を考えると、 $\frac{F M_{U}}{M_{U} I_{A}} = \frac{F M_{H}}{I_{A} {S^{'}}_{A}}$ $= \frac{D {M^{'}}_{2}}{I_{A} S_{A}}$ が従う。
　ところで、補題2の証明過程から3点 $U, M_{1}, I_{A}$ は共線であり（ただし $M_{1}$ は線分 $A S_{A}$ の中点）、有名性質と併せれば $D$ もこの直線に乗っている。ゆえに、 $A$ から $B C$ に下ろした垂線の足を $H_{A}$ 、直線 $B C$ と直線 $E M_{H}$ の交点を $N_{1}$ とすると、 $△ I_{A} D {M^{'}}_{2}$ と $△ I_{A} U A$ の相似から $\frac{H_{A} D}{D S_{A}} = \frac{U A}{D {M^{'}}_{2}} - 1$ $= \frac{I_{A} S_{A}}{D {M^{'}}_{2}} - 1$ が判明する。したがって、
$\begin{aligned} \frac{H_{A} N_{1}}{N_{1} S_{A}} & = \frac{H_{A} N_{1}}{H_{A} D} \times \frac{H_{A} D}{D S_{A}} \times \frac{D S_{A}}{N_{1} S_{A}} \\ = \frac{1}{2} \times \frac{H_{A} D}{D S_{A}} \times (\frac{D S_{A}}{\frac{1}{2} H_{A} D + D S_{A}}) \\ = \frac{1}{2} \times \frac{H_{A} D}{D S_{A}} \times {(1 + \frac{H_{A} D}{2 D S_{A}})}^{- 1} \\ = \frac{H_{A} D}{D S_{A}} \times {(2 + \frac{H_{A} D}{D S_{A}})}^{- 1} = {(1 + \frac{2 D S_{A}}{H_{A} D})}^{- 1} \\ = {(1 + 2 {(\frac{I_{A} S_{A}}{D {M^{'}}_{2}} - 1)}^{- 1})}^{- 1} = \frac{I_{A} S_{A} - D {M^{'}}_{2}}{I_{A} S_{A} + D {M^{'}}_{2}} \end{aligned}$
$\frac{A F}{F I_{A}} = \frac{H_{A} N_{1}}{N_{1} S_{A}} = \frac{I_{A} S_{A} - D {M^{'}}_{2}}{I_{A} S_{A} + D {M^{'}}_{2}}$
$\begin{aligned} \frac{A M_{U}}{M_{U} I_{A}} & = \frac{A F + F M_{U}}{F I_{A} - F M_{U}} \\ = \frac{\frac{A F}{F I_{A}} + \frac{F M_{U}}{F I_{A}}}{1 - \frac{F M_{U}}{F I_{A}}} = \frac{\frac{A F}{F I_{A}} + \frac{F M_{U}}{F M_{U} + M_{U} I_{A}}}{1 - \frac{F M_{U}}{F M_{U} + M_{U} I_{A}}} \\ = \frac{\frac{I_{A} S_{A} - D {M^{'}}_{2}}{I_{A} S_{A} + D {M^{'}}_{2}} + \frac{D {M^{'}}_{2}}{D {M^{'}}_{2} + I_{A} S_{A}}}{1 - \frac{D {M^{'}}_{2}}{D {M^{'}}_{2} + I_{A} S_{A}}} = 1 \end{aligned}$
を導けて、 $M_{U}$ は線分 $A I_{A}$ の中点であるといえる。最後に $△ U A M_{U}$ と $△ {S^{'}}_{A} I_{A} M_{U}$ を考えると、ここまでの議論からこれらは合同であり、 $M_{U}$ は線分 $U {S^{'}}_{A}$ の中点にもなっている。 $F_{A} は$ 直線 $M_{U} {S^{'}}_{A}$ 上の点であったから、本補題の証明は既に完了している。 $◼$

　補題5、かなり重かったですね。ティーブレイクとして、次は易しい補題を示します。

　ここまでに登場した $ω_{A}, I_{A},$ $T_{A B}, T_{A C},$ $S_{A}, D$ の定義はそのまま用いる。辺 $A C$ の中点を $M_{3}$ 、 $C$ から $A I_{A}$ に下ろした垂線の足を $R_{3}$ としたとき、 $R_{3}$ は直線 $S_{A} T_{A B}, M_{3} D$ のいずれにも含まれる。

　まず簡単な計算から、 $M_{3}$ は $△ A C R_{3}$ の外心である。ここから $∠ C M_{3} R_{3} = 2 ∠ C A R_{3}$ $= ∠ B A C$ となり、 $A B / / M_{3} R_{3}$ が判る。中点連結定理の逆より、 $D$ は $M_{3} R_{3}$ 上の点であると示される。
　以上のことから、 $M_{3} R_{3} = \frac{1}{2} A C$ も得られる。いま、 $C$ から引いた $A B$ の平行線と直線 $S_{A} T_{A B}$ の交点を $G_{3}$ とする。明らかに $△ S_{A} B T_{A B} \sim △ S_{A} C G_{3}$ なので、 $C G_{3} = C S_{A}$ $(= C T_{A C})$ となる。線分 $T_{A B} G_{3}$ の中点を ${R^{'}}_{3}$ とし、四辺形 $A T_{A B} G_{3} C$ に注目すれば、 $M_{3} {R^{'}}_{3} = \frac{| A T_{A B} - C G_{3} |}{2}$ $= \frac{| A T_{A C} - C T_{A C} |}{2}$ $= \frac{1}{2} A C$ と計算される。結局 $R_{3}$ と ${R^{'}}_{3}$ は一致し、これが本補題の示すべきことである。 $◼$

　ついてきていますか？　難所と告知した以上、まだまだ続きますよ。ここからは、 $I_{A}$ を直線 $T_{A B} T_{A C}$ に関して対称移動させた点 ${I^{'}}_{A}$ が登場します。何となく問題1の影が見えてきたのではないでしょうか。
　また、外フォイエルバッハ点という扱いづらい点をどうにか他のものと結びつけるため、オイラー・ポンスレ点という大道具を持ち出します。

（オイラー・ポンスレ点）

　4点 $(A, B, C, D)$ を用意する。以下の8つの円をすべて定義できて、かつ少なくとも2円が相異なるとき、これらの円は共通する1点（オイラー・ポンスレ点）を通る。
・ $△ A B C,$ $△ B C D,$ $△ C D A,$ $△ D A B$ の九点円。
・ $△ A B C,$ $△ B C D,$ $△ C D A,$ $△ D A B$ の $D, A, B, C$ における垂足円。

　恐ろしい定理ですね。ちなみに、証明や使用法は denta_geometry氏のMathlog記事で確認できます。
　さて、もとの問題で4点 $(A, B, C, I_{A})$ のオイラー・ポンスレ点 $E_{P}$ を考えましょう。 $E_{P}$ は $I_{A}$ における $△ A B C$ の垂足円上にあります。この円は明らかに傍接円 $ω_{A}$ と一致しますね。また、 $E_{P}$ は $△ A B C$ の九点円にも乗っているようです。もうお分かりですね、つまり $E_{P} = F_{A}$ です。要するに、 $△ A B C,$ $△ B C I_{A},$ $△ C I_{A} A,$ $△ I_{A} A B$ の九点円、および $△ A B C,$ $△ B C I_{A},$ $△ C I_{A} A,$ $△ I_{A} A B$ の $I_{A}, A, B, C$ における垂足円はすべて $F_{A}$ を通ります。恐ろしい定理ですね（2回目）。

　さて、上記を踏まえ、以下の補題に挑みます。（注： $△ A B C$ が二等辺三角形の場合は補題8が成立しない(円が直線に退化する)ため、個別に考える必要があります。ただ二等辺三角形であれば問題1を速攻で解けるので、この議論はカットしましょう。）

　ここまでに登場した $F_{A}, I_{A}, {I^{'}}_{A}, {S^{'}}_{A}$ の定義はそのまま用いる。4点 $(F_{A}, I_{A}, {I^{'}}_{A}, {S^{'}}_{A})$ は共円である。

　 $B, C$ から直線 $A I_{A}$ に下ろした垂線の足を $B_{A}, C_{A}$ とし、 $A I_{A}$ と $T_{A B} T_{A C}$ の交点を $M_{4}$ とする。 $△ A C I_{A}$ の九点円 $n_{4}$ を考えると、 $M_{U}$ （線分 $A I_{A}$ の中点）、 $C_{A}$ および $T_{A C}$ は明らかに $n_{4}$ 上の点である。オイラー・ポンスレ点となる $F_{A}$ も、当然 $n_{4}$ に乗っている。この円を $ω_{A}$ で反転させた円 ${n^{'}}_{4}$ が、どのような点を通るか考えよう。
補題6より、直線 $S_{A} T_{A C}, S_{A} T_{A B}$ はそれぞれ $B_{A}, C_{A}$ を通る。 $B$ から引いた $ω_{A}$ の極線こそが $S_{A} T_{A B}$ であるから、 $C_{A}$ から引いた $ω_{A}$ の極線は $B$ を通り $A I_{A}$ に垂直な直線である。この極線はすなわち直線 $B B_{A}$ であり、ゆえに $B_{A}$ と $C_{A}$ は $ω_{A}$ に関する反転で互いに移りあう。また、 $A$ と $M_{4}$ も $ω_{A}$ に関する反転で互いに移りあう点の組であるから、 $I_{A} {I^{'}}_{A} \times I_{A} M_{U} = 2 I_{A} M_{4} \times \frac{I_{A} A}{2}$ $= (radius of ω_{A})^{2}$ となり、 ${I^{'}}_{A}$ と $M_{U}$ も $ω_{A}$ に関する反転で互いに移りあう。
　したがって、 ${n^{'}}_{4}$ が通る点として、 ${I^{'}}_{A}$ （ $M_{U}$ の反転先）、 $B_{A}$ （ $C_{A}$ の反転先）、 $T_{A C}$ および $F_{A}$ の4点が挙げられる。ゆえに4点 $({I^{'}}_{A}, B_{A}, T_{A C}, F_{A})$ は共円といえる。
　あとは円周角の定理を用いればよい（ここでは四角形 $F_{A} {I^{'}}_{A} I_{A} {S^{'}}_{A}$ が凸四角形となる場合を考えているが、代わりに四角形 ${I^{'}}_{A} F_{A} I_{A} {S^{'}}_{A}$ が凸四角形となる場合もほぼ同様に証明できる）。 $∠ B_{A} {I^{'}}_{A} F_{A} = ∠ B_{A} T_{A C} F_{A}$ $= ∠ S_{A} T_{A C} F_{A}$ $= ∠ S_{A} {S^{'}}_{A} F_{A}$ と追跡することで、四角形 $F_{A} {I^{'}}_{A} I_{A} {S^{'}}_{A}$ は円に内接すると断言できる。 $◼$

　途中で極線周りの議論をしたので、振り落とされた読者がいらっしゃるかもしれません。必要ならば、 Metachick_XOR氏のMathlog記事で復習しましょう。

　さあ、これで〈2nd step〉関連の補題はすべて示しました。図のように、 $△ I_{A} B C,$ $△ I_{A} C A,$ $△ I_{A} A B$ の外心 $O_{A}, O_{B}, O_{C}$ をとりましょう。

　有名性質から、 $O_{B}$ は $△ A B C$ の外接円上にあり、また直線 $I_{A} B$ にも乗っています（ $O_{A}, O_{C}$ も同様）。 $O_{B} A = O_{B} I_{A}$ および $O_{C} A = O_{C} I_{A}$ なので、 $O_{B} O_{C}$ は線分 $A I_{A}$ の垂直二等分線であり、すなわち $M_{U}$ を通るのですね。同様に考えれば、 $O_{A} O_{B} ⊥ C I_{A},$ $O_{C} O_{A} ⊥ B I_{A}$ を示せます。つまり $I_{A}$ は $△ O_{A} O_{B} O_{C}$ の垂心です。
　このタイミングで、 $A$ から直線 $I_{A} B, I_{A} C$ へ垂線を下ろし、その足を $A_{B}, A_{C}$ とおきましょう。すると、四角形 $A A_{B} I_{A} A_{C}$ は円に内接し、その円の中心は $M_{U}$ です。よって、 $∠ A A_{B} A_{C} = ∠ A I_{A} A_{C}$ $= ∠ O_{A} I_{A} O_{C}$ $= ∠ O_{A} O_{B} O_{C}$ が成り立ち、同様に $∠ A A_{C} A_{B} = ∠ O_{A} O_{C} O_{B}$ も判ります。ここから $△ A A_{B} A_{C} \sim △ O_{A} O_{B} O_{C}$ が得られるのです。

　さて、補題6より、直線 $A_{B} A_{C}$ は辺 $A B, A C$ の中点を通ります。ゆえにこの直線は $M_{1}$ （線分 $A S_{A}$ の中点）も通っており、3点 $(I_{A}, D, M_{1})$ の共線から $A_{B} M_{1} = A_{C} M_{1}$ も明らかです。補題2の結果と併せると、点 $M_{1}$ が線分 $U I_{A}$ および線分 $A_{B} A_{C}$ の中点であることが判るので、四角形 $U A_{B} I_{A} A_{C}$ は平行四辺形といえますね。特に $A A_{B} ⊥ A_{B} I_{A} / / U A_{C},$ $A A_{C} ⊥ A_{C} I_{A} / / U A_{B}$ となり、 $U$ は $△ A A_{B} A_{C}$ の垂心です。
　したがって、 $△ A A_{B} A_{C}$ と $△ O_{A} O_{B} O_{C}$ の相似において、外心→垂心→対応する頂点、の順で点を結ぶ操作を考えれば、 $∠ M_{U} U A = ∠ O I_{A} O_{A}$ が判明します。これと補題5、補題8を適宜用いることにより、 $∠ F_{A} {I^{'}}_{A} O_{A} = ∠ F_{A} {S^{'}}_{A} I_{A}$ $= ∠ U {S^{'}}_{A} I_{A}$ $= ∠ {S^{'}}_{A} U A$ $= ∠ M_{U} U A = ∠ O I_{A} O_{A}$ と角度追跡が可能です。最左辺と最右辺だけ取り出すと、 $∠ F_{A} {I^{'}}_{A} O_{A} = ∠ O I_{A} O_{A}$ が得られています。ということは、直線 $F_{A} {I^{'}}_{A}, O I_{A}$ の交点を $J$ とおけば、 $△ J I_{A} {I^{'}}_{A}$ は $J I_{A} = J {I^{'}}_{A}$ の二等辺三角形なのですね。結局 $J$ は直線 $T_{A B} T_{A C}$ 上に存在し、ゆえに $F_{A}$ を直線 $T_{A B} T_{A C}$ に関して対称移動させた点 ${F^{'}}_{A}$ は直線 $O I_{A}$ に乗るといえます。

　最後の角度追跡です。 $∠ T_{A B} {F^{'}}_{A} T_{A C} = ∠ T_{A B} F_{A} T_{A C}$ $= ∠ T_{A B} S_{A} T_{A C}$ $= ∠ B I C$ と追っていくと（ただし $I$ は $△ A B C$ の内心）、 ${F^{'}}_{A}$ は直線 $O I_{A}$ 上の点であり、 $∠ T_{A B} {F^{'}}_{A} T_{A C} = ∠ B I C$ をみたす、といえます。……これだけ語れば察しがつきますね、つまり ${F^{'}}_{A} = X$ です！　この結論から、自明に $X^{'} = F_{A}$ を主張できます。同様に $Z^{'} = F_{B},$ $V^{'} = F_{C}$ を証明できるので、ついに、ついに〈2nd step〉が終わりました。

〈3rd step〉

　長い長い議論の果てに、いよいよ $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U}$ を考えるときがきました。〈2nd step〉で示した事実より、
$\begin{aligned} \frac{U V \times W X \times Y Z}{V W \times X Y \times Z U} & = \frac{U V^{'} \times W X^{'} \times Y Z^{'}}{V^{'} W \times X^{'} Y \times Z^{'} U} \\ = \frac{U F_{C} \times W F_{A} \times Y F_{B}}{F_{C} W \times F_{A} Y \times F_{B} U} \end{aligned}$ です。一方、〈1st step〉で示した問題2によれば、 $(F_{C}, F_{A},$ $Y, U),$ $(F_{A}, F_{B},$ $U, W),$ $(F_{B}, F_{C},$ $W, Y)$ は共円でした。もとの図からここだけを取り出します。

「……あれ？　もう終わり？」
　お気づきですね、〈3rd step〉はこれで終わりです。最序盤で言及した春木の定理を適用し、 $\frac{U F_{C} \times W F_{A} \times Y F_{B}}{F_{C} W \times F_{A} Y \times F_{B} U} = 1$ と計算できますね。わざわざstepを設けるまでもありません。ともかく我々は、とうとう $\frac{U V \times W X \times Y Z}{V W \times X Y \times Z U} = 1$ を完全に論証できたのです。

解答発表

$1$

〈2024/05/23追記〉なお、ここまでに用いた補助線を1つの図にすべて描き込むと、以下の画像のようになります。~~なぜ解けると思った？~~

余興の季

　〈2nd step〉の補題8に再度注目します。 ${S^{'}}_{A}$ を直線 $T_{A B} T_{A C}$ に関して対称移動させた点 ${S^{″}}_{A}$ を考えれば、 ${S^{″}}_{A}$ は $(F_{A}, I_{A},$ ${I^{'}}_{A}, {S^{'}}_{A})$ の乗っていた円と同じ円上にありますね（ $∵$ この円の中心は $T_{A B} T_{A C}$ 上にある）。また、 ${I^{'}}_{A} {S^{″}}_{A} = I_{A} {S^{'}}_{A}$ $= I_{A} F_{A}$ より、四角形 $F_{A} {S^{″}}_{A} I_{A} {I^{'}}_{A}$ （あるいは四角形 $F_{A} I_{A} {S^{″}}_{A} {I^{'}}_{A}$ ）は $F_{A} {I^{'}}_{A} / / I_{A} {S^{″}}_{A}$ の等脚台形と言えるのです。
　いま、直線 $F_{A} {I^{'}}_{A}$ を直線 $T_{A B} T_{A C}$ に関して対称移動させると直線 $O I_{A}$ に一致しました（〈2nd step〉の主結果）。ゆえに、直線 $I_{A} {S^{″}}_{A}$ を直線 $T_{A B} T_{A C}$ に関して対称移動させた直線、すなわち直線 ${I^{'}}_{A} {S^{'}}_{A}$ は、直線 $O I_{A}$ と平行になるのです。 $△ A B C$ の内接円 $ω$ と辺 $B C, C A, A B$ の接点 $S_{a}, S_{b}, S_{c}$ 、および $I$ を直線 $S_{b} S_{c}$ で対称移動させた点 $I^{'}$ について、 $ω_{A}$ が $ω$ に移るような点 $A$ 中心の相似拡大を考えれば、 $S_{a} I^{'} / / O I_{A}$ が成立することになります。

　ここに yuu氏のMathlog記事の補題4を重ねることで、同記事のメインでもある、以下の有名な定理が証明できます。当該補題を認めればほとんど自明なので、厳密な証明は割愛します。

　 $△ A B C$ の外心・内心・ $∠ A$ 内の傍心をそれぞれ $O, I, I_{A}$ とし、直線 $B I$ と辺 $A C$ の交点を $E$ 、直線 $C I$ と辺 $A B$ の交点を $F$ とおく。このとき、 $E F ⊥ O I_{A}$ が成立する。

　各所で難問扱いされているこの定理も、問題Ｆという怪物の前には単なる余興でしかなかったのですね。

あとがき

　激重でしたね。外フォイエルバッハ点、補助放物線、8点共円、オイラー・ポンスレ点に春木の定理……。先日開催された IMO2023の第6問に高難度の幾何が入っていたと一部で騒がれましたが、少なくともアレの3倍は難しいと自認しています。HTMLコード（タグ含む）は無事に25,000文字を超えました。問題Ａ～問題Ｅの解説記事と併せれば、実に約43,000字、約69,000Byte（UTF-8）ものコード長です。こんなものを開催期間5日のコンテストで解かせようとした主催者がいるとは考えられません。ねえ、主催者さん？
　余談ですが、〈2nd step〉のために元々用意していた証明はさらに長く煩雑なものでした。コンテスト期間直前に先行研究を漁ったところ、こちらの論文に素晴らしいアイデアが載っていたため、そのアイデアを応用した比較的簡潔な証明（簡潔とは言っていない）に差し替えた次第です。

　各問題の作問背景や主催者なりの感想を述べて締めましょう。まず問題Ａ。こちらは天真様による作問であり、3月末に提供していただきました。自作ではないので上手く語れませんが、コンテストの「入り口」として、非常に相応しい問題であったと考えます。この「入り口」のおかげで、今回のエスパー杯は歴代最多の参加者数を達成できました。ありがたやありがたや。
　続いて問題Ｂ。有名な性質を活かした、翔子さん様による作問です。翔子さん様（敬称の重複？）は色々な場で数多の作問に携わっているそうで、本問も参加者の「解きたいという欲求」を刺激する良問となっていました。こういう低難易度幾何の作り方、どこかに載っていないものでしょうか？　どうでもよい情報として、主催者はコンテスト終了後に「フィンスラー・ハドヴィッガーの定理」という名称を知りました。
　ここから主催者の自画自賛になるのですが、問題Ｃ。元々はＤとＥの中間くらいの難易度で進む幾何研究から生まれたものです。数学オリンピック頻出のこの構図を知っていれば、決して難しくなかったでしょう。強いて申し上げれば外角の二等分線を見つける部分？　……意外と語ることがありませんね。
　問題Ｄ。主催者的には良問のつもりで出しましたが、そもそも挑戦者自体が少なかったです……難しくないのに……。こういう非典型的な求積問題は第３回の問題Ｂを彷彿させますね。求めやすい面積から等積を追うことで、正解に辿り着くタイプの問題です。先述の翔子さん様からDMにて「問題Ｄがめっちゃ好きです！！！」と告白されたことを誇りに、栄えある余生を過ごすこととします。
　難易度が急上昇して、問題Ｅ。第３回のラスボスとして華々しく登場したオリジナル定理、「レムニスケート版『余弦定理』」を、さらに応用させたものです（なぜ？）。2024年現在、レムニスケートアレルギーの有病率が著明な高値を呈しており、レムニスケートと遭遇するや否や重度のアナフィラキシーショックをきたす人々の脱感作に少しでも貢献できれば……と意図していたものの、どうやら禁忌肢を踏んだようです。申し訳ございません。アドレナリンは各自で調達してください。
　ラスト、駄目押しとしか形容できない問題Ｆ。求値として出題したため、正解率自体は高かったです。しかしながら、論証まで完遂した参加者は皆無でした。当たり前ですが、これは参加者の幾何力を侮った発言ではありません。ただ主催者がやりすぎただけです。せめて〈1st step〉で留めていれば難なく完答する方も出てきたかと思われます。仮に私が参加者としてこの問題と邂逅していれば、それはそれは清く虚しい椅子温めマシンが誕生していたことでしょう……。外心と傍心を結んだ時点で超難問と相場が決まっているのです（極論）。