もし直線が円に接し、接点から接線に直角に直線が引かれるならば、円の中心は引かれた直線上にあるであろう。

もし直線が円に接し、中心から接点に線分が結ばれるならば、結ばれた線分は接線に垂直であろう。