Problem

Source: XIII International Festival of Young Mathematicians Sozopol 2024, Theme for 10-12 grade

Tags: geometry



A triangle \( ABC \) is given with centers \( O \) and \( I \) of the circumscribed and inscribed circles, respectively. Point \( A_1 \) is the reflection of \( A \) with respect to \( I \). Point \( A_2 \) is such that lines \( BA_1 \) and \( BA_2 \) are symmetric with respect to \( BI \), and lines \( CA_1 \) and \( CA_2 \) are symmetric with respect to \( CI \). Prove that \( AO^2 = |A_2O^2 - A_2I^2| \).