MathLabs

Problem 3

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.
Step 5 of 5: Conclude that ABC is right-angled
2∠A=180∘  ⟹  ∠A=90∘2\angle A=180^\circ\implies\angle A=90^\circ
Detailed analysis

The final equality gives 2∠A=180∘2\angle A=180^\circ, hence ∠A=90∘\angle A=90^\circ. Therefore ABCABC is right-angled.