1. Define the Excircle Tangency Points:
Let the excircle of triangle ABC opposite the vertex A be tangent to the side BC at the point A1. Similarly, define the points B1 on CA and C1 on AB using the excircles opposite B and C, respectively.
2. **Circumcenter of △A1B1C1:**
Suppose the circumcenter of triangle A1B1C1, denoted as O, lies on the circumcircle of triangle ABC.
3. Midpoint of Excenters:
Let IA,IB,IC be the excenters of △ABC opposite vertices A,B,C, respectively. It is known that the midpoint of IBIC lies on the circumcircle of △ABC. This midpoint is also the circumcenter of △IAIBIC.
4. Claim 1:
Claim: The point O coincides with the midpoint of IBIC.
Proof: The midpoint of IBIC lies on the circumcircle of △ABC and is the center of the nine-point circle of △IAIBIC. This nine-point circle passes through A,B,C. Let the midpoint of IBIC be M. Since M lies on the circumcircle of △ABC and IBIC is inscribed in a circle with center M, we have MB=MC. Therefore, triangles C1MB and B1MC are congruent (they have BM=CM, BC1=B1C, and ∠C1BM=∠MB1C). Thus, MC1=MB1. Hence, M is the intersection point of the perpendicular bisector of B1C1 with the circumcircle of △ABC. Therefore, O≡M. ■
5. Collinearity of Points:
Let R be the circumcenter of △IAIBIC.
Claim 2: IC,C1,R are collinear, as are IB,B1,R and IA,R,A1.
Proof: By Nagel's theorem, ICR⊥AB, and since ICC1⊥AB, we have that IC,C1,R are collinear. Similarly, we obtain the other two collinearities. ■
6. Inscribed Quadrilaterals:
By the previous claim, ∠BC1R=∠BA1R, so quadrilateral BC1A1R is inscribed in a circle. Similarly, A1B1CR is also inscribed in a circle.
7. Angle Calculation:
We have:
∠BRC=∠BRA1+∠A1RC=∠AC1A1+∠AB1A1=360∘−∠A−∠A1B1C1=360∘−∠A−(180∘−∠C1OB1/2)=360∘−∠A+∠C1OB1/2=180∘−∠A/2
where the latter equality follows from:
∠C1OB1=∠C1OB+∠BOB1=∠B1OC+∠BOB1=∠BOC=∠A
8. Conclusion:
We have thus obtained that ∠BRC=180∘−∠A/2. This, combined with BO=CO and ∠BOC=∠A, yields that O is the circumcenter of triangle △BRC, so:
OB=OR=OC=OB1=OC1
This gives that in triangle △ICRIB that ICO=OIB=OR, which implies that ∠ICRIB=90∘.
9. Final Angle Calculation:
Lastly,
∠A=2π−∠AC1R−∠AB1R−∠C1RB1=90∘
and the proof is complete. ■