איך יודעים אם הישר משיק למעגל בנקודה כך וכך לדוגמא

רדיוס מאונך למשיק בנקודת ההשקה,
אם זה מתקיים אז הישר משיק למעגל בנקודה הזו.