Maths Olympiad Prep

Library / China Southeastern Mathematical Olympiad /11 of 39

China Southeastern Mathematical Olympiad

Geometry Difficulty 5.4 AIME, harder Prove it China

For a convex pentagon ABCDEABCDE, AB=DE=EAAB = DE = EA, AB≠EAAB \neq EA, and BB, CC, DD, EE are concyclic. Prove that AA, BB, CC, DD are concyclic if and only if AC=ADAC = AD. (Posed by Xiong Bin)

Solution

First, if AA, BB, CC, DD are concyclic, by AB=DEAB = DE and BC=EABC = EA we have ∠BAC=∠EDA\angle BAC = \angle EDA, ∠ACB=∠DAE\angle ACB = \angle DAE, so ∠ABC=∠DEA\angle ABC = \angle DEA, which means that AC=ADAC = AD.

Figure 1

Second, if AC=ADAC = AD, let OO be the center of the circle (BB, CC, DD, EE are on the circle). Then OO is on the perpendicular bisector (AHAH) of CDCD. Let FF be the symmetric point of BB by the line AHAH. Then FF is on the circle OO. AB≠EAAB \neq EA, so DE≠DFDE \neq DF, and thus EE, FF are not the same points. Now one can see that △AFD≅△ABC\triangle AFD \cong \triangle ABC, with AB=DEAB = DE, BC=EABC = EA, and one can get △AED≅△CBA\triangle AED \cong \triangle CBA, and so △AED≅△DFA\triangle AED \cong \triangle DFA, which indicates ∠AED=∠DFA\angle AED = \angle DFA, and therefore AA, EE, FF, DD is concyclic. This means that AA is on the circle OO, and BB, CC, DD are concyclic.

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.