איך מוכיחים שישר משיק למעגל??

משווים בין הישר למעגל ורואים שיש רק פתרון אחד (שתי פתרונות אומר 2 נקודות חיתוך ואז הוא לא משיק, ואם אין פתרונות אין בניהם חיתוך בכלל)

אפשר להשוות את משוואת הישר למשוואת המעגל ולראות שיש רק נקודה אחת
או להציב בנוסחת משיק למעגל ולראות שהיא מתקיימת
או להראות שיש רדיוס שמאונך לישר בנקודת ההשקה

יש משפט בגיאומטריה ממש פשוט שמוכיח את זה.