الشكل:
بالتماثل المحوري الذي محوره نعلم أن صورة هي النقطة وأن صورة النقطة هي النقطة نفسها لأن
إذن صورة المستقيم بالتماثل المحوري هي المستقيم
وبما أن فإن
وبالتالي لدينا: مماثلة الدائرة بالنسبة للمستقيم هي الدائرة
وبما أن وأن مماثلة هي بالنسبة للمستقيم
فإن
ومنه هو مماسا للدائرة في