برای اثبات اینکه فاصله \( PA \) با \( PB \) مساوی است، به این صورت عمل میکنیم:
1. فرض کنید \( M \) نقطه وسط پارهخط \( AB \) باشد.
2. طبق صورت مسئله، \( P \) روی عمودمنصف \( AB \) قرار دارد، به این معنی که \( PA = PB \) است.
**اثبات:**
- چون \( P \) روی عمودمنصف \( AB \) قرار دارد، پس میدانیم که فاصله آن از \( A \) و \( B \) برابر است. یعنی داریم:
\[
PA = PB
\]
با استفاده از خاصیت عمودمنصف که هر نقطه روی آن به دو انتهای پارهخط (در اینجا \( A \) و \( B \)) فاصلهای یکسان دارد، میتوانیم نتیجه بگیریم که \( PA = PB \).
مفهوم این اثبات در واقع بر اساس تعریف عمودمنصف است که به وضوح نشان میدهد هر نقطهای روی این خط، از دو سر خط مساوی است.