Let ABC be a triangle inscribed in circle (O) with angle ∠A=45∘ and AB<AC. Let AD,AH be the angle bisector and altitude of triangle ABC with D,H are on BC. Suppose that OD intersects AH at E and K is the circumcenter of triangle EBC. Prove that HK∥AD.
Solution
Let P,N be the projections of O,K on AE and M,T be the midpoints of BC and the minor arc BC of (O). Let AH=h and R,R′ be the radii of (O),(K) respectively. By Thales' theorem, we have HAHE=MTMO=OT−OMMO=2+1⟹HE=(2+1)h. According to the Pythagorean theorem, BK2−BO2=KM2−OM2 so R′2−R2=KM2−OM2⟹KM2=R′2−2R2. Similarly, AO2−(AH−OM)2⇔R2−(h−2R)2⇔MK2+h⋅R2⇔R2⇔MK=OP2=KN2=KE2−(EH−MK)2=R′2−((2+1)h−MK)2=R′2−2R2−(2+1)2h2+(2+22)h⋅MK=(2+22)h+(2+22)MK=h+2+22R2=h+MT. Thus KT=MK−MT=h=AH, proving that AHKT is a parallelogram. Therefore, AD∥HK. □
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.