Let E be an interior point in the convex quadrilateral ABCD. Let F, G, H, and I be points opposite the quadrilateral with respect to the lines AB, BC, CD, and DA, respectively, such that △ABF∼△DCE, △BCG∼△ADE, △CDH∼△BAE, and △DAI∼△CBE. Let P, Q, R, and S be the projections of E on the lines AB, BC, CD, and DA, respectively. Prove that if the quadrilateral PQRS is cyclic, then EF⋅CD=EG⋅DA=EH⋅AB=EI⋅BC.
Solution
We consider oriented angles modulo 180∘. From the cyclic quadrilaterals APES, BQEP, PQRS, CREQ, DSER and △DCE∼△ABF we get ∠AEB=∠EAB+∠ABE=∠ESP+∠PQE=∠ESR+∠RSP+∠PQR+∠RQE=∠ESR+∠RQE=∠EDC+∠DCE=∠DEC=∠AFB, so the quadrilateral AEBF is cyclic. By Ptolemy we then have EF⋅AB=AE⋅BF+BE⋅AF. This transforms by AB:BF:AF=DC:CE:DE into EF⋅CD=AE⋅CE+BE⋅DE.
Since the expression on the right of this equation is invariant under cyclic permutation of the vertices of the quadrilateral ABCD, the asserted equation follows immediately.
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.