ISL2022G6を解いてみよう．

231

　お久しぶりです．春合宿の問題を漁っていたら計算がブッ刺さるむずめの幾何があったのでご紹介します．

鋭角三角形 $A B C$ があり, $A$ から辺 $B C$ に下ろした垂線の足を $H$ とする. 直線 BC 上にない点 $P$ を, $∠ P B C$ の二等分線 k と $∠ P C B$ の二等分線 $l$ が線分 $A H$ 上 (端点を除く) で交わるようにとる. $k$ と直線 $A C$ の交点を $E$ , $l$ と直線 $A B$ の交点を $F$ , 直線 $E F$ と直線 $A H$ の交点を $Q$ とする. このとき, ある点 $X$ があり, $P$ のとり方によらず $X$ は直線 $P Q$ 上にあることを示せ.
画像の名前

まず気づくこと

　 $k, l, A H$ の交点を $R$ とするとこれは三角形 $P B C$ の内心なので， $P R$ は $B P C$ の二等分線です．また， $B P - C P = B H - C H$ が成り立つので， $P$ は $B, C$ を焦点とし， $H$ を通る双曲線上にあります．この双曲線を $π$ としましょう．
　上の $2$ つの事実と，多少の二次曲線についての知識により $P R$ は $π$ の $P$ での接線であることがわかります．

次に気づくこと

　 $A H ⊥ B C$ かに関わらず， $A H : H R = A Q : Q H$ (すなわち $A, Q, R, H$ は調和点列)が成り立ちます．
　以上より，次のお気持ちになります．

　もはや $B, C, E, F$ は考えなくてもいいな、、

ということで次のことを示せば良いです．

双曲線 $π : x^{2} - a y^{2} = 1$ 上の点 $H (1, 0), P (x_{0}, y_{0}) (x_{0}, y_{0} > 0)$ と，定点 $A (0, b)$ がある． $P$ での $π$ の接線と $A H$ の交点を $R (1, w)$ とし， $A H : H R = A Q : Q H$ を満たす線分 $A R$ 上の点 $Q$ をとる． $P$ の位置に関わらず直線 $P Q$ はある定点を通ることを示せ．

解いてみよう

　 $x^{2} - a y^{2} = 1$ の両辺を $x$ で微分することで $\frac{d y}{d x} = \frac{x}{a y}$ を得る．したがって $\frac{y_{0} - w}{x_{0} - 1} = \frac{x_{0}}{a y_{0}}$ なので $x_{0}^{2} - a y_{0}^{2} = 1$ に注意して $w$ について解くと， $w = \frac{x_{0} - 1}{a y_{0}}$ となる．
　 $Q (1, q)$ とすると， $A H : H R = A Q : Q H ⟺ b : w = b - q : q - w$ より， $q = \frac{b}{1 + b / w} = \frac{b (x_{0} - 1)}{x_{0} + a b y_{0} - 1}$ を得る．
　 $P Q : (q - y_{0}) x + (x_{0} - 1) y = x_{0} q - y_{0}$ に先ほど求めた $q$ を代入して整理すると $P Q : (b x_{0} + y_{0}) x - (x_{0} + a b y_{0} - 1) y = y_{0} + b$ となる．(途中で $x_{0}^{2} - a y_{0}^{2} = 1$ を使っているので注意)
　これは $P (x_{0}, y_{0})$ に関わらず定点 $(\frac{1}{a b^{2} - 1}, \frac{b}{a b^{2} - 1})$ を通るので示された． $◻$

　式が与えられている曲線の接線は扱いやすいので結構刺さります． $P R$ を二等分線から接線に捉え直した時点で座標計算に分があると判断します． $3$ 段落の式整理は少し大変ですが，その途中に両辺を $x_{0} - 1$ で割る過程があり，そのおかげで得られる直線の式は $x_{0}, y_{0}$ についての $1$ 次式となりました．勝ちを確信します． $x, y$ をうまく調整すれば $x_{0}, y_{0}$ を消せます．
　以上がISL2022G6の解説になります．読んでいただきありがとうございました．

投稿日：2024年6月14日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

natu

135

12356

複素座標入門を終わらせたら何するか悩んでます

他の人のコメント

コメントはありません。

読み込み中

natu

ISL2022G6を解いてみよう．