シムソンの定理
このときの 3 点 を通る直線のことを, シムソン線といいます.
この定理自体は, 三角形や円に関する角度の性質を用いると非常に簡単に証明できるのですが, ここでは極座標平面を用いた証明を紹介します.
(私が高校のときの問題集に問題として載っていたのですが, 途中の計算が非常にややこしいです. )
極座標を用いた証明.
まず, 極座標平面で極 と極座標 , の点を結ぶ線分を直径とする円で考えます. ここで, 極 は定理の中の点 とします.
円周上の 3 点 の偏角をそれぞれ とすると, 3 点の極座標は,
\begin{align*}
\left\{
\begin{array}{l}
A(a\cos\alpha, \alpha)\\
B(a\cos\beta, \beta)\\
C(a\cos\gamma, \gamma)
\end{array}
\right.
\end{align*}
補題1.
\begin{align*}
r\cos{(\theta-\alpha-\beta)} = k\cos\alpha\cos\beta.
\end{align*}
ただし, .
証明.
直交座標に直すと, の座標は\begin{align*}
P(k\cos^2\alpha, k\cos\alpha\sin\alpha)\\
Q(k\cos^2\beta, k\cos\beta\sin\beta)
\end{align*}
直線 の直交座標での方程式は,
\begin{align*}
(k\cos^2\alpha-k\cos^2\beta)(y-k\cos\alpha\sin\alpha)\\
\quad\quad\quad = (k\cos\alpha\sin\alpha-k\cos\beta\sin\beta)(x-k\cos^2\alpha)
\end{align*}
が異なる点なので, であること, などを用いて変形していくと,
\begin{align*}
\cos(\alpha+\beta) \cdot x + \sin(\alpha+\beta)\cdot y = k\cos\alpha\cos\beta
\end{align*}
を用いると,
\begin{align*}
r\cos(\theta-\alpha-\beta) = k\cos\alpha\cos\beta.
\end{align*}
補題2.
\begin{align*}
r\cos(\theta-\alpha) = p
\end{align*}
で表される直線に下ろした垂線の足の極座標は, となる.
証明.
右図を考えれば明らか.補題3.
\begin{align*}
P(k\cos\alpha\cos\beta, \alpha+\beta)\\
Q(k\cos\beta\cos\gamma, \beta+\gamma)
\end{align*}
のとき, 直線 の極方程式は
\begin{align*}
r\cos(\theta-\alpha-\beta-\gamma)=k\cos\alpha\cos\beta\cos\gamma
\end{align*}
となる.
証明.
直交座標に直して直線の方程式を求めてももちろんできますが, 式が複雑になるので, ここでは導出は省きます.
ただ,
\begin{align*}
r\cos(\theta-\alpha-\beta-\gamma)=k\cos\alpha\cos\beta\cos\gamma
\end{align*}
に を代入すると成り立つので, この結果が正しいことの確認は簡単にできます.
シムソンの定理の証明(続き)
補題1. を使うと, 直線 の方程式はそれぞれ,\begin{align*}
\left\{
\begin{array}{l}
r\cos(\theta-\alpha-\beta)=a\cos\alpha\cos\beta\\
r\cos(\theta-\beta-\gamma)=a\cos\beta\cos\gamma\\
r\cos(\theta-\gamma-\alpha)=a\cos\gamma\cos\alpha
\end{array}
\right.
\end{align*}
になります.
これらに極 から下ろした垂線の足 の極座標は, 補題2. により,
\begin{align*}
\left\{
\begin{array}{l}
P(a\cos\alpha\cos\beta, \alpha+\beta)\\
Q(a\cos\beta\cos\gamma, \beta+\gamma)\\
R(a\cos\gamma\cos\alpha, \gamma+\alpha)
\end{array}
\right.
\end{align*}
ここで, 補題3. を使うと, 明らかに直線 と直線 の極方程式は一致します.
よって, 3 点 が同一直線上にあることが証明できました.