補正しないのもドキュソだが法線を取れないのもドキュソだな。
線分と円の中心の距離が円の半径よりも小さくなったらそれは接触しているということだろ？
その法線は線分に直角な円の中心点を通る線だろ？
これ二次元ならば中学生の数学。