こんにちは。今回は円の接線をベクトルを用いて証明しておこうと思います。
円の接線の公式(接点が与えられている)
(A) 円上の点における接線の方程式
(B) 円上の点における接線の方程式
(A)の証明
円の方程式をとし, 接点をP, 円の中心(原点)をOとし, 接線上の点をXとする。
このとき,
で, なので, 内積が0になる。
これを利用すると,
また, である。
よって,
(B)の証明
円の方程式をとし, 接点P, 円の中心をQとし, 接線上の点をXとする。
このとき,
で, なので, 内積が0になる。
これを利用すると,
また, Pは円上の点なので,
から,
よって,