Maths Olympiad Prep

Track / Stage 8 / 78 of 180 #1778 of 1964

Problem 1778

IMO Shortlist mid-range; USAMO P2/P5
Geometry Difficulty 8.2 Prove it

Let the excircle of triangle ABCABC opposite the vertex AA be tangent to the side BCBC at the point A1A_1. Define the points B1B_1 on CACA and C1C_1 on ABAB analogously, using the excircles opposite BB and CC, respectively. Suppose that the circumcentre of triangle A1B1C1A_1B_1C_1 lies on the circumcircle of triangle ABCABC. Prove that triangle ABCABC is right-angled.

Proposed by Alexander A. Polyansky, Russia

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Official solution

1. Define the Excircle Tangency Points:
Let the excircle of triangle ABCABC opposite the vertex AA be tangent to the side BCBC at the point A1A_1. Similarly, define the points B1B_1 on CACA and C1C_1 on ABAB using the excircles opposite BB and CC, respectively.

2. **Circumcenter of A1B1C1\triangle A_1B_1C_1:**
Suppose the circumcenter of triangle A1B1C1A_1B_1C_1, denoted as OO, lies on the circumcircle of triangle ABCABC.

3. Midpoint of Excenters:
Let IA,IB,ICI_A, I_B, I_C be the excenters of ABC\triangle ABC opposite vertices A,B,CA, B, C, respectively. It is known that the midpoint of IBICI_BI_C lies on the circumcircle of ABC\triangle ABC. This midpoint is also the circumcenter of IAIBIC\triangle I_AI_BI_C.

4. Claim 1:
Claim: The point OO coincides with the midpoint of IBICI_BI_C.
Proof: The midpoint of IBICI_BI_C lies on the circumcircle of ABC\triangle ABC and is the center of the nine-point circle of IAIBIC\triangle I_AI_BI_C. This nine-point circle passes through A,B,CA, B, C. Let the midpoint of IBICI_BI_C be MM. Since MM lies on the circumcircle of ABC\triangle ABC and IBICI_BI_C is inscribed in a circle with center MM, we have MB=MCMB = MC. Therefore, triangles C1MBC_1MB and B1MCB_1MC are congruent (they have BM=CMBM = CM, BC1=B1CBC_1 = B_1C, and C1BM=MB1C\angle C_1BM = \angle MB_1C). Thus, MC1=MB1MC_1 = MB_1. Hence, MM is the intersection point of the perpendicular bisector of B1C1B_1C_1 with the circumcircle of ABC\triangle ABC. Therefore, OMO \equiv M. \blacksquare

5. Collinearity of Points:
Let RR be the circumcenter of IAIBIC\triangle I_AI_BI_C.
Claim 2: IC,C1,RI_C, C_1, R are collinear, as are IB,B1,RI_B, B_1, R and IA,R,A1I_A, R, A_1.
Proof: By Nagel's theorem, ICRABI_CR \perp AB, and since ICC1ABI_CC_1 \perp AB, we have that IC,C1,RI_C, C_1, R are collinear. Similarly, we obtain the other two collinearities. \blacksquare

6. Inscribed Quadrilaterals:
By the previous claim, BC1R=BA1R\angle BC_1R = \angle BA_1R, so quadrilateral BC1A1RBC_1A_1R is inscribed in a circle. Similarly, A1B1CRA_1B_1CR is also inscribed in a circle.

7. Angle Calculation:
We have:
BRC=BRA1+A1RC=AC1A1+AB1A1=360AA1B1C1=360A(180C1OB1/2)=360A+C1OB1/2=180A/2 \angle BRC = \angle BRA_1 + \angle A_1RC = \angle AC_1A_1 + \angle AB_1A_1 = 360^\circ - \angle A - \angle A_1B_1C_1 = 360^\circ - \angle A - (180^\circ - \angle C_1OB_1/2) = 360^\circ - \angle A + \angle C_1OB_1/2 = 180^\circ - \angle A/2
where the latter equality follows from:
C1OB1=C1OB+BOB1=B1OC+BOB1=BOC=A \angle C_1OB_1 = \angle C_1OB + \angle BOB_1 = \angle B_1OC + \angle BOB_1 = \angle BOC = \angle A

8. Conclusion:
We have thus obtained that BRC=180A/2\angle BRC = 180^\circ - \angle A/2. This, combined with BO=COBO = CO and BOC=A\angle BOC = \angle A, yields that OO is the circumcenter of triangle BRC\triangle BRC, so:
OB=OR=OC=OB1=OC1 OB = OR = OC = OB_1 = OC_1
This gives that in triangle ICRIB\triangle I_CRI_B that ICO=OIB=ORI_CO = OI_B = OR, which implies that ICRIB=90\angle I_CRI_B = 90^\circ.

9. Final Angle Calculation:
Lastly,
A=2πAC1RAB1RC1RB1=90 \angle A = 2\pi - \angle AC_1R - \angle AB_1R - \angle C_1RB_1 = 90^\circ
and the proof is complete. \blacksquare

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.