Problem: Let ABCD be a trapezium such that AB∥CD. Let E be the intersection of diagonals AC and BD. Suppose that AB=BE and AC=DE. Prove that the internal angle bisector of ∠BAC is perpendicular to AD.
Solution
Solution: First note that triangle ABE is isosceles because AB=BE.
Let x=∠DEC. Angle chasing gives: x=∠DEC=∠BEA=∠EAB=∠ACD. Therefore triangle CDE is isosceles. Hence DE=DC. Since we are also given AC=DE this implies AC=DC. Therefore △ACD is isosceles. Since x=∠ACD this gives us ∠CDA=∠DAC=90∘−2x Now let λ be the angle bisector of ∠BAC. Since x=∠BAC we know that λ makes an angle of 21∠BAC=2x with line AC. Therefore the angle between λ and AD is 2x+∠DAC=2x+(90∘−2x)=90∘ as required.
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.