AB एक रेखाखण्ड है और रेखा l इसका लंब समद्विभाजक है यदि l पर स्तिथित P कोई बिंदु है तो दर्शाइए की P बिन्दुओ A और B से संदुरस्ताहह(equidistant) है

Explanation

`l botAB AB` है और AB का मध्ये-बिंदु C है
अब `trianglePCA` और से,
AC=BC (C,AB का मध्ये बिंदु है)
`anglePCA=anglePCB=90^(@)` ((उभयनिष्ट)
अंत: `triangle cong trianglePCB` (SAS नियम)
अंत: PA=PB (सर्वांगसम त्रिभुजों की सांगत भुजाओ)