図形と方程式8 円と直線が接する場合

円が出てくるので三角関数や垂直なのでベクトルが相性がいいのか。結局点と直線の距離の公式の証明方法だけ解法がある。

解法④は自信が無いです。これは正しいのか。。。