Problem: Let ABC be a triangle with A<90∘. Outside of the 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
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 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: 360∘−EBA−B−CBH=EAB+A+ZAC⇒360∘−B−ω−φ−C=ω+A+φ⇒2(ω+φ)=360∘−(A+B+C)⇒ω+φ=90∘⇒2180∘−AEB+2180∘−AZC=90∘⇒AEB+AZC=180∘ From the supposition EZ=2⋅ED, we get that the right triangle ZEH has EZD=30∘ and ZED=60∘. Thus we have ZEH=120∘. However, since we have proved that BEH=AEZ, we get that AEB=AEZ+ZEB=ZEB+BEH=ZEH=120∘ From (5) and (6) we obtain that AZC=60∘ and thus AEB=2⋅AZC.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.