第3巻命題18 接線と半径は垂直

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