Let ABC be a triangle with incenter I and circumcenter O for which BC<AB<AC. Let D and E be points in the interiors of sides AB and AC, respectively, of triangle ABC, such that DB=BC=CE. Prove that DE⊥IO.
Solution
Solution:
It is enough to show that DI2−DO2=EI2−EO2. But if we let R denote the circumradius, then by power of a point we have R2−DO2=AD⋅DB, and R2−EO2=AE⋅EC. Thus it suffices to prove DI2+AD⋅DB=EI2+AE⋅EC⟺DI2−EI2=AE⋅EC−AD⋅DB. In the usual notation a=BC, b=CA, c=AB, the right-hand side is AE⋅EC−AD⋅DB=(b−a)a−(c−a)a=a(b−c). Now let the foot from I to BC be K; it's well-known that BK=21(a−b+c) and CK=21(a+b−c). So DI2−EI2=CI2−BI2=(IK2+CK2)−(IK2+BK2)=(CK−BK)(CK+BK)=a(c−b). This gives the desired equality, so we're done.
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.