Let $ABC$ be a triangle and $\omega$ its circumcircle. Let $D$ and $E$ be the feet of the angle bisectors relative to $B$ and $C$, respectively. The line $DE$ meets $\omega$ at $F$ and $G$. Prove that the tangents to $\omega$ through $F$ and $G$ are tangents to the excircle of $\triangle ABC$ opposite to $A$.
Problem
Source: Brazilian Olympic Revenge 2020, P3
Tags: geometry, circumcircle, Brazil, olympic revenge
02.02.2020 02:29
I think this is a fairly well-known result.
02.02.2020 04:40
After noting that DE is perpendicular to OI_A you can also finish using Monge's theorem by showing that the insimilicenter of the incircle and circumcircle of ABC is the pole of the perspectrix of ABC and its incentral triangle (with vertices D, E, ...) with respect to (O).
24.04.2022 20:12
Just bashing.
30.04.2022 02:18
Solved with sevket12.
22.11.2022 23:50
without using $DE\perp OI_A$.
10.05.2024 17:11
Let $\Omega$ be the $A$-Mixtilinear, and $S$ its contact point with $\omega$. Now denote by $N_B$, $N_C$ the midpoints of minor arcs $AC$ and $AB$ respectively. Now Pascal at $AABN_BN_CC$ gives that the tangent to $\omega$ thorugh $A$, $N_BN_C$ and $FG$ concur. Now check that trivially by projecting on $I$ the quadrilateral $ASN_CN_B$ is harmonic, so $PS$ is also a tangent to $\omega$. This now means that $AS$, and the tangents to $\omega$ through $N_B$ and $N_C$ concur at some point we'll call $X$. We'll show $X$ is the excimillicenter of $\omega$ and the $A$-excircle, which will end the problem. To do this notice that $X$ lies on the line joining the centers of both circumferences, so it suffices to show that it's excimillicenter does indeed lie on line $AS$. To do this just apply Monge d'Alembert's Theorem to $\omega$, $\Omega$ and the $A$-excircle, which concludes the proof.