\[∠CAT=∠ABC\]
という関係が成り立ちます。この関係は接弦定理と呼ばれます。
本当に接弦定理は成り立つのでしょうか？確かめてみます。
$∠ABC$が鋭角の場合、直角の場合、鈍角の場合の3つに分けて考えてみます。
$∠ABC$が鋭角の場合
.png)
このとき、$△AB'C$は$∠ACB'=90°$の直角三角形で、円周角の定理より
\begin{equation}∠ABC=∠AB'C\end{equation}
となります。
$△AB'C$の2つの鋭角の和は$90°$なので
さらに$∠B'AT=∠B'AC+∠CAT$より
\begin{equation}∠AB'C+∠B'AC=90°\end{equation}
円の接線は円の中心と接点を通る直径に垂直なので$∠B'AT=90°$
さらに$∠B'AT=∠B'AC+∠CAT$より
\begin{equation}∠B'AC+∠CAT=90°\end{equation}
$(2)-(3)$より
\begin{align*}∠AB'C-∠CAT&=0°\\[0.5em]\therefore∠CAT&=∠AB'C\end{align*}
$(1)$より
\[∠CAT=∠ABC\]
となり、鋭角$ABC$のとき接弦定理が成り立つことがわかります。
$∠ABC$が直角の場合
.png)
そして、直径$AC$は接線$AT$に対して垂直なので$∠CAT=90°$
したがって、
\[∠CAT=∠ABC\]
となり、直角$ABC$のとき接弦定理が成り立つことがわかります。
$∠ABC$が鈍角の場合
.png)
このとき、直径$AB'$は接線$AT$に対して垂直なので
\begin{equation}∠B'AT=90°\end{equation}
四角形$ABCB'$に着目すると、円に内接する四角形の対角の和より
\begin{align*}∠ABC+∠AB'C&=180°\\[0.5em]\therefore∠ABC&=180°-∠AB'C\tag5\end{align*}
$△AB'C$に着目すると、直角三角形の2つの鋭角の和は$90°$なので
\begin{align*}∠AB'C+∠B'AC&=90°\\[0.5em]\therefore∠B'AC&=90°-∠AB'C\tag6\end{align*}
$∠CAT=∠B'AC+∠B'AT$、$(4),(6)$より
\begin{align*}∠CAT&=\bigl(90°-∠AB'C\bigr)+90°\\[0.5em]&=180°-∠AB'C\end{align*}
$(5)$より
\[∠CAT=∠ABC\]
となり、鈍角$ABC$のとき接弦定理が成り立つことがわかります。
以上より$∠ABC$がどのような大きさであっても接弦定理が成り立つことがわかります。
(2023/9)内容を修正しました。
Share:
