Let $ABC$ be an acute triangle with circumcircle $\omega$. Let $\ell$ be the tangent line to $\omega$ at $A$. Let $X$ and $Y$ be the projections of $B$ onto lines $\ell$ and $AC$, respectively. Let $H$ be the orthocenter of $BXY$. Let $CH$ intersect $\ell$ at $D$. Prove that $BA$ bisects angle $CBD$.
Problem
Source: Baltic Way 2020, Problem 13
Tags: geometry, geometry proposed
14.11.2020 22:58
This problem was proposed by Burii.
19.11.2020 17:56
Cleary its enough to show that $\odot(BAD)$ is tangent to $AC$. Thus we get, Rephrased Problem wrote: Let $\omega_1,\omega_2$ be two circles intersecting at $\{A,B\}$. Tangents to $\omega_1,\omega_2$ at $A$ intersect $\omega_2,\omega_1$ for the second time at $D$ and $C$ respectively. Let $X$ and $Y$ be projections of $B$ on $AD, AC$. Prove that the orthocenter of $\triangle BXY$ lies on $DC$. Obviously $H$ is the reflection of $A$ about midpoint of $XY$ thus $AXHY$ is a parallelogram. Define $H':=\ell \cap DC$ where $\ell$ is a line parallel to $AC$ passing through $X$. Thus, its enough to show $H'Y\|AD$. For that, we note that $\triangle BAY\sim\triangle BDX$ and $\triangle BXA\sim\triangle BYC$. Thus, $$\frac{DH'}{H'C}=\frac{DX}{XA}=\frac{AY}{YC}\implies H'Y\| AD\implies H'\equiv H\quad\blacksquare$$
27.10.2024 04:56
Jupiter_is_BIG wrote: Cleary its enough to show that $\odot(BAD)$ is tangent to $AC$. Thus we get, Rephrased Problem wrote: Let $\omega_1,\omega_2$ be two circles intersecting at $\{A,B\}$. Tangents to $\omega_1,\omega_2$ at $A$ intersect $\omega_2,\omega_1$ for the second time at $D$ and $C$ respectively. Let $X$ and $Y$ be projections of $B$ on $AD, AC$. Prove that the orthocenter of $\triangle BXY$ lies on $DC$. Obviously $H$ is the reflection of $A$ about midpoint of $XY$ thus $AXHY$ is a parallelogram. Define $H':=\ell \cap DC$ where $\ell$ is a line parallel to $AC$ passing through $X$. Thus, its enough to show $H'Y\|AD$. For that, we note that $\triangle BAY\sim\triangle BDX$ and $\triangle BXA\sim\triangle BYC$. Thus, $$\frac{DH'}{H'C}=\frac{DX}{XA}=\frac{AY}{YC}\implies H'Y\| AD\implies H'\equiv H\quad\blacksquare$$ Good sol: Great that you used the 'same' method (I totally made that up)