در این شکل، \(O\) مرکز دایره است و دو خط \(DM\) و \(EF\) بر دایره مماس هستند. وقتی یک خط بر دایره مماس است، فاصلهاش از مرکز دایره تا نقطه تماس برابر است با شعاع دایره. همچنین، وقتی دو خط از یک نقطه خارج دایره به دایره رسم میشوند و بر دایره مماس هستند، طول آن دو خط از نقطه خارج دایره تا نقاط تماس برابر است.
اینجا، \(DM\) و \(EF\) هر دو از نقطه خارج دایرهای ترسیم شدهاند و بر دایره مماساند. بنابراین:
\[
DM = EF
\]
بنابراین، دلیل برابر بودن این دو خط، قضیه مماسهای دایره است.