ارسم مثلّثا \(ABC\) قائم الزاوية في \(A\) حيث \(AB = 3\) و \(AC = 5\)، و \((\Delta)\) الموسّط العمودي لـ \([BC]\) (يقطع \((AC)\) في \(I\)).
\((\Delta)\) موسّط عمودي لـ \([BC]\) ⇒ كل نقطة منه على بُعد واحد من \(B\) و \(C\)، ومناظِرة \(B\) بالنسبة إليه هي \(C\) (و العكس).
\(E\) مناظِرة \(A\). وبما أنّ \(A\mapsto E\) و \((AE)\perp(\Delta)\)، و كذلك \((BC)\perp(\Delta)\) (لأنّ \((\Delta)\) موسّطه العمودي)، فمستقيمان عموديّان على نفس المستقيم:
\[(AE)\parallel(BC).\]
التناظر بالنسبة إلى \((\Delta)\) يُرسل \(A\mapsto E\) و \(B\mapsto C\)، إذن \(EC = AB = 3\). وكذلك يُرسل \(A\mapsto E\) و \(C\mapsto B\)، إذن \(EB = AC = 5\) (حفظ الأطوال). ✅