$ABC$ is an obtuse triangle satisfying $\angle A>90^\circ$, and its circumcenter $O$ and circumcircle $\omega_1$. Let $\omega_2$ be a circle passing $C$ with center $B$. $\omega_2$ meets $BC$ at $D$. $\omega_1$ meets $AD$ and $\omega_2$ at $E$ and $F(\neq C)$, respectively. $AF$ meets $\omega_2$ at $G(\neq F)$. Prove that the intersection of $CE$ and $BG$ lies on the circumcircle of $AOB$.
Problem
Source: 2017 Korea Winter Program Practice Test 2 #6
Tags: geometry
kmh1
24.12.2024 23:08
Maybe I have misread something, but there seems to be something wrong with the problem, because the diagram doesn't work.
Attachments:

kmh1
25.12.2024 17:52
The missing condition is probably $AB=AC$. Hopefully the problem gets edited correctly someday. Also the condition $\angle A>90^\circ$ is unnecessary, but it is probably there to avoid casework on the relative positions of points.
It is easy using complex coordinates. Set $\omega_1$ as the unit circle. We have $c=\frac{a^2}{b}$ because $AB=AC$.
I will not write out the whole computation in detail, because it is very routine if you are familiar with complex coordinates.
We can calculate $d=2b-\frac{a^2}{b}$, $e=\frac{a(a+2b)}{2a+b}$, $f=\frac{b^3}{a^2}$, $g=\frac{a^2+ab-b^2}{a}$.
Then we can calcuate the intersecting point of $CE$ and $BG$.(Actually, $BG$ is tangent to $\omega_1$). The intersecting point is $\frac{2ab}{a+b}$.
This point is where the tangent lines of $\omega_1$ at $A$ and $B$ intersect. Therefore it is on the circumcircle of $AOB$.
There is probably a nice synthetic solution, although I haven't given it much thought.
Edit: The synthetic solution is as simple as I thought it would be, here is a sketch:
Simple angle chasing shows that $BG$ is tangent to $\omega_1$.
Let $K$, $M$ be the midpoints of segments $AB$ and $AC$, then $AD//BM$, so $\angle DAB=\angle ABM=\angle ACK$. Now it is easy to see that $CE$ is the symmedian.
Therefore the intersecting point of $CE$ and $BG$ is where the tangent lines of $\omega_1$ at $A$ and $B$ intersect.