Maths Olympiad Prep

Library / /1 of 2

Geometry Difficulty 5.0 AIME Prove it United States

Problem:

Let ABCDABCD be a square and EE a point on side CDCD. The circle inscribed in triangle ADEADE touches DEDE at FF, and the circle inside quadrilateral ABCEABCE, tangent to sides ABAB, BCBC, EAEA, touches ABAB at GG. Prove that lines AEAE, BDBD, and FGFG meet in a point.

Solution

Solution:

Extend lines BCBC and AEAE to intersect at HH. Then the circle inside quadrilateral ABCEABCE, tangent to ABAB, BCBC, and EAEA, is really the inscribed circle of HBA\triangle HBA. (Actually, this is only true if the circle lies inside HBA\triangle HBA rather than outside it. However, the fact that CECE is parallel to ABAB with CE<CD=ABCE < CD = AB readily implies that EE lies between HH and AA, and CC lies between HH and BB, so that the whole quadrilateral ABCEABCE lies within HBA\triangle HBA, so the circle drawn inside it does too.)

Now let PP be the intersection point of lines BDBD and AEAE. Consider the homothety (scaling) about PP that sends point DD to point BB. Since homotheties preserve directions of lines, this map takes line ADAD to the line through BB and parallel to ADAD, namely line HBHB. Similarly, it takes line DEDE to line BABA. And line EAEA passes through PP, the center of the homothety, so it goes to itself.

Thus, our homothety takes lines ADAD, DEDE, EAEA to lines HBHB, BABA, AH(=AE)AH(=AE), respectively, so it takes ADE\triangle ADE to HBA\triangle HBA. Consequently, the incircle of ADE\triangle ADE is mapped to the incircle of HBA\triangle HBA, and the map also matches corresponding tangency points: FF goes to GG. But if a homothety about PP takes FF to GG, then PP, FF, GG must be collinear. We now know that PP lies on lines AEAE, BDBD, and FGFG, which is what we need.

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.