एक रेखाखण्ड AB पर AD और BC दो बराबर लम्ब रेखाखण्ड है (देखिए आकृति )। दर्शाइए कि CD रेखाखण्ड AB को समद्विभाजित करता है।

Explanation

`DeltaAOD" तथा "DeltaBOC` में,
`angleAOD=angleBOC " "` (शीर्षाभिमुख कोण )
`angleOAD=angleOBC" "("प्रत्येक "90^(@))`
`AD=BC" "` (दिया है)
`:.DeltaAOD~=DeltaBOC" "(A.A.S. " से ")`
`impliesOA=OB" "(c.p.c.t.)`
`impliesAB` का मध्य-बिन्दु O है।
`impliesCD,AB` को समद्विभाजित करता है।