数オリ解説2　（本選、ベクトルの使用方法の例）

445

こんにちは！Ωです！
今回はJMO本選の解説をしていこうと思います。
図を書くのは読者にお任せしたいと思います。申し訳ないです。
なるべく早くTikZ使えるようになりたいですね、、、

ということで早速問題です。

JMO2017本選3

鋭角三角形 $A B C$ があり、その外心を $O$ とする。3点 $A, B, C$ から対辺におろした垂線の足をそれぞれ $D, E, F$ とし、さらに辺 $B C$ の中点を $M$ とする。直線 $A D$ と直線 $E F$ の交点を $X$ ,直線 $A O$ と直線 $B C$ の交点を $Y$ とし、線分 $X Y$ の中点を $Z$ とする。このとき3点 $A, Z, M$ が同一直線上にあることを示せ。

さて、この問題をみて図を描いて見た感じだと、図が1つの三角形の中でほぼほぼ完結しているなぁ。という印象。共線を示せという問題なこともあり、ベクトルで解くのが良いのではないかという発想になりました。

解法1 ～ベクトル～

基礎的な知識として、 $5 心$ の位置ベクトルは知っておきましょう。

重心: $\vec{g} ＝ \frac{\vec{a} + \vec{b} + \vec{c}}{3}$

内心: $\vec{i} = \frac{a \vec{a} + b \vec{b} + c \vec{c}}{a + b + c}$

外心: $\vec{o} = \frac{\sin 2 A \vec{a} + \sin 2 B \vec{b} + \sin 2 C \vec{c}}{\sin 2 A + \sin 2 B + \sin 2 C}$

垂心: $\vec{h} = \frac{\tan A \vec{a} + \tan B \vec{b} + \tan C \vec{c}}{\tan A + \tan B + \tan C}$

傍心:内心の位置ベクトルの表示のうち、どれかひとつの文字をマイナスにする。

なお、外心、垂心は次のような表示も知られています。

$\vec{o} = \frac{a \cos A \vec{a} + b \cos B \vec{b} + c \cos C \vec{c}}{a \cos A + b \cos B + c \cos C}$

$\vec{h} = \frac{\frac{a}{\cos A} \vec{a} + \frac{b}{\cos B} \vec{b} + \frac{c}{\cos C} \vec{c}}{\frac{a}{\cos A} + \frac{b}{\cos B} + \frac{c}{\cos C}}$

普段ベクトルになじみのない方もきずかれたと思いますが、上のように、平面上の任意の点は $\frac{α \vec{a} + β \vec{b} + γ \vec{c}}{α + β + γ}$ のようにかけて、その $α, β, γ$ の比は一意に定まります。

この $(α, β, γ)$ を、その点の重心座標と言います。
例えば、内心の重心座標は $(a, b, c)$ です。重心座標については、ここで話すと趣旨がずれてしまいますので、別の記事を投稿しようと思います。

まず点 $Y$ について考察します。先程の $5 心$ の位置ベクトルの表示から、
$A O : A Y = b \cos B + c \cos C : a \cos A + b \cos B + c \cos C$ がわかります。
このことから、始点をAとする位置ベクトルを考えると、

$\vec{y} = \frac{b \cos B \vec{b} + c \cos C \vec{c}}{b \cos B + c \cos C}$
がわかります。
あとは $\vec{x}$ さえ解れば $\vec{z}$ がわかり、そうすれば $\vec{b}$ と $\vec{c}$ が一次独立なことを用いて、 $\vec{z}$ を $\vec{b}$ と $\vec{c}$ を用いて表したときのそれぞれの係数の比と、 $\vec{m}$ を $\vec{b}$ と $\vec{c}$ を用いて表したときのそれぞれの係数の比が一致することを示せばよいですね。

では方針が立ったので $\vec{x}$ を求めにいきましょう。

メネラウスかチェバかなんかを使って
$A X : A H = \frac{a}{\cos A} + \frac{b}{\cos B} + \frac{c}{\cos C} : \frac{2 a}{c o s A} + \frac{b}{\cos B} + \frac{c}{\cos C}$
とわかります。
実は、重心座標の考え方を使うとここの工程がとても楽になるのですが、それはまた別の機会に。

上から、 $\vec{x} = \frac{\frac{b}{\cos B} \vec{b} + \frac{c}{\cos C} \vec{c}}{\frac{2 a}{\cos A} + \frac{b}{\cos B} + \frac{c}{\cos C}}$ がわかる。

よって、
$\vec{z} = (\frac{\frac{b}{\cos B}}{\frac{2 a}{\cos A} + \frac{b}{\cos B} + \frac{c}{\cos C}} + \frac{b \cos B}{b \cos B + c \cos C}) \vec{b} + (\frac{\frac{c}{\cos C}}{\frac{2 a}{\cos A} + \frac{b}{\cos B} + \frac{c}{\cos C}} + \frac{c \cos C}{b \cos B + c \cos C}) \vec{c}$

となる。
見た目えぐいですが思ったよりはこの先の計算はきつくないです。

$\vec{m} = \frac{\vec{b} + \vec{c}}{2}$
なので、上のごつい式の $\vec{b}$ の係数と $\vec{c}$ の係数が等しくなることを示せばいいです。

たぶん5～10分もあれば計算は終わると思います。この途中式は書いてらんないので省略しますが、途中ででてくる以下の式はかなり示すのが面倒です。

$a \cos A + b \cos B = c \cos (A - B)$

この式、教科書に載ってそうな見た目してるくせに示すのはかなり難しいです。正弦定理と2倍角の式を使うと正しいことがわかります。
この式、図形的にはまだ示せていないので、示せた方がいたらコメントかなにかで知らせてくれると嬉しいです。

解法2 ～初等幾何～

この解法は正直な話、実際の試験会場の制限時間内に思いつくとは限らないので怖いですね。

垂心を $H$ とします。
点 $N$ を、 $A N$ が $△ A B C$ の外接円の直径となるように取ると、簡単に
四角形 $B N C H$ が平行四辺形であり、 $M$ は $H N$ の中点であることがわかります。
また、四角形 $A F H E$ と四角形 $A C N B$ が相似であるから、 $H, N$ は対応していて、それぞれの四角形の対角線である、 $X, Y$ も対応していることがわかります。