Maths Olympiad Prep

Library / /168 of 397

Geometry Difficulty 5.6 AIME, harder Prove it Taiwan

Let ABCC1B1A1ABCC_1B_1A_1 be a convex hexagon in which AB=BCAB = BC, and the perpendicular bisectors of segments AA1,BB1\overline{AA_1}, \overline{BB_1} and CC1\overline{CC_1} are all the same line. Let the diagonals AC1AC_1 and A1CA_1C meet at point DD, and denote the circumcircle of triangle ABCABC by ω\omega. Let ω\omega meet the circumcircle of triangle A1BC1A_1BC_1 again at a point EBE \neq B.

Prove that: the intersection point of line BB1BB_1 and DEDE lies on ω\omega.

Solution

If AA1=CC1AA_1 = CC_1, then the hexagon is symmetric about the line BB1BB_1; in particular the circles ABCABC and A1BC1A_1BC_1 are tangent to each other. So AA1AA_1 and CC1CC_1 must be different. Since the points AA and A1A_1 can be interchanged with CC and C1C_1, respectively, we may assume AA1<CC1AA_1 < CC_1.
Let RR be the radical center of the circles AEBCAEBC and A1EBC1A_1EBC_1, and the circumcircle of the symmetric trapezoid ACC1A1ACC_1A_1; that is the common point of the pairwise radical axes AC,A1C1AC, A_1C_1, and BEBE. By the symmetry of ACAC and A1C1A_1C_1, the point RR lies on the common perpendicular bisector of AA1AA_1 and CC1CC_1, which is the external bisector of ADC\angle ADC.
Let FF be the second intersection of the line DRDR and the circle ACDACD. From the power of RR with respect to the circles ω\omega and ACFDACFD we have
RBRE=RARC=RDDF, RB \cdot RE = RA \cdot RC = RD \cdot DF,
so the points B,E,DB, E, D and FF are concyclic.
The line RDFRDF is the external bisector of ADC\angle ADC, so the point FF bisects the arc CDACDA. By AB=BCAB = BC, on circle ω\omega, the point BB is the midpoint of arc AECAEC; let MM be the point diametrically opposite to BB, that is the midpoint of the opposite arc CACA of ω\omega. Notice that the points B,FB, F and MM lie on the perpendicular bisector of ACAC, so they are collinear.

Figure 1

Finally, let XX be the second intersection point of ω\omega and the line DEDE.
Since BMBM is a diameter in ω\omega, we have BXM=90\angle BXM = 90^\circ. Moreover,
EXM=180MBE=180FBE=EDF, \angle EXM = 180^\circ - \angle MBE = 180^\circ - \angle FBE = \angle EDF,
so MXMX and FDFD are parallel. Since BXBX is perpendicular to MXMX and BB1BB_1 is perpendicular to FDFD, this shows that XX lies on the line BB1BB_1.

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 translated into English from zh; metadata (topic, difficulty) added by this project.