数式で独楽する

数式を使って楽しむブログです

[tex: ]

京大 2007年 理系 第4問

点Oを中心とする円に内接する△ABCの3辺AB, BC, CAをそれぞれ2:3に内分する点をP, Q, Rとする。△PQRの外心が点Oと一致するとき、△ABCはどのような三角形か。

解答例

f:id:toy1972:20211029052329p:plain:w300
円Oの半径を R、△ABCの内角A, B, Cの大きさをそれぞれ A,B,Cとします。
OBCについて、以下が成り立ちます。
\begin{eqnarray}
\mathrm{OB} &=& \mathrm{OC} = R \\
\angle \mathrm{BOC} &=& 2A \\
\angle \mathrm{O BC} &=& \angle \mathrm{OCB} = \frac{\pi}{2} -A \\
\mathrm{BC} &=& 2R \sin A
\end{eqnarray}2番目の式は円周角の定理、4番目の式は正弦定理です。
円周角の定理 - 数式で独楽する
正弦定理 - 数式で独楽する

△OBQについては、以下が成り立ちます。
\begin{eqnarray}
\mathrm{BQ} &=& \frac{4}{5} \, R \sin A \\
\mathrm{OQ}^2 &=& \mathrm{OB}^2 +\mathrm{BQ}^2 -2 \mathrm{OB} \cdot \mathrm{BQ} \cos \left( \frac{\pi}{2} -A \right) \\
&=& R^2 +\frac{16}{25} \, R^2 \sin^2 A -\frac{8}{5} \, R^2 \sin^2 A \\
&=& \left( 1 -\frac{24}{25} \, \sin^2 A \right) R^2
\end{eqnarray}
第2余弦定理 - 数式で独楽する

同様にして、
\begin{eqnarray}
\mathrm{OR}^2 &=& \left( 1 -\frac{24}{25} \, \sin^2 B \right) R^2 \\
\mathrm{OP}^2 &=& \left( 1 -\frac{24}{25} \, \sin^2 C \right) R^2
\end{eqnarray}を得ます。

ここで、△PQRの外心が点Oと一致するとき、
\begin{equation}
\mathrm{OQ = OR = OP}
\end{equation}です。
OQ = ORより、
\begin{eqnarray}
\mathrm{OQ}^2 &=& \mathrm{OR}^2 \\
\left( 1 -\frac{24}{25} \, \sin^2 A \right) R^2 &=& \left( 1 -\frac{24}{25} \, \sin^2 B \right) R^2 \\
\sin^2 A &=& \sin^2 B
\end{eqnarray}です。
 0 < A < \pi, \ 0 < B < \piなので \sin A > 0, \ \sin B > 0です。したがって、
\begin{equation}
\sin A = \sin B
\end{equation}となります。
これより、以下のいずれが成り立ちます。
\begin{eqnarray}
B &=& A \\
B &=& \pi -A
\end{eqnarray}ただし、 A +B +C = \piなので、後者は成り立ちません。
よって
\begin{equation}
B = A
\end{equation}を得ます。

同様に、OP = OQより
\begin{equation}
C = A
\end{equation}を得ます。

以上より、
\begin{equation}
A = B = C
\end{equation}となり、△ABCは正三角形であることが分かります。

解説

△ABCと△PQRの外心が一致する、の表現が面倒です。
外心をベクトルで表現する簡便な方法がないわけではありませんが、それぞれの外心が一致することを示すとなると、煩雑になりそうです。

外心から各頂点までの距離が等しいことを手掛かりに進めていく方が容易で、本稿もその筋で話を進めています。

別解があります。
京大 2007年 理系 第4問 別解 - 数式で独楽する