اثبات قضیه
برای اثبات عمود بودن خط مماس بر شعاع در نقطه تماس، فرض کنیم دایرهای با مرکز O و شعاع r داریم. خط مماس در نقطه T بر این دایره مماس است.
- فاصله نقطه O تا خط مماس را در نظر بگیرید.
- کوتاهترین فاصله نقطه O تا خط مماس، عمود بر آن است.
- از آنجا که OT شعاع دایره است و خط مماس در T بر دایره مماس است، OT کوتاهترین فاصله بین O و خط مماس است.
- بنابراین، OT بر خط مماس عمود است.
پس ثابت شد که خط مماس در نقطه تماس T بر شعاع OT عمود است.