Let ABC be a triangle with A<90∘. Outside of a triangle we consider isosceles triangles ABE and ACZ with bases AB and AC, respectively. If the midpoint D of the side BC is such that DE⊥DZ and EZ=2⋅ED, prove that AEB=2⋅AZC.
Solution
Since D is the midpoint of the side BC, in the extension of the line segment ZD we take a point H such that ZD=DH. Then the quadrilateral BHCZ is a parallelogram and therefore we have
BH=ZC=ZA
!
Also from the isosceles triangle ABE we get
BE=AE
Since DE⊥DZ,ED is the altitude and median of the triangle EZH and so this triangle is isosceles with
EH=EZ
From (1), (2) and (3) we conclude that the triangles BEH and AEZ are equal. Therefore they have also
BEH=AEZ,EBH=EAZ and EHB=AZE
Putting EBA=EAB=ω,ZAC=ZCA=φ, then we have CBH=BCZ=C+φ, and therefore from the equality EBH=EAZ we receive: