Let $ABC$ be a triangle with $\angle ABC \neq 90^\circ$, and $AB$ its shortest side. Let $H$ be the orthocenter of $ABC$. Let $\Gamma$ be the circle with center $B$ and radius $BA$. Let $D$ be the second point where the line $CA$ meets $\Gamma$. Let $E$ be the second point where $\Gamma$ meets the circumcircle of the triangle $BCD$. Let $F$ be the intersection point of the lines $DE$ and $BH$. Prove that the line $BD$ is tangent to the circumcircle of the triangle $DFH$.
Problem
Source: 2022 Pan-African Mathematics Olympiad Problem 1
Tags: geometry, circumcircle
25.06.2022 23:36
5 mins solve. First clearly $H$ lies on $(BDC)$ becuase $\angle BHD=90-\angle BAC=\angle HCD$, now $\angle BDE=\angle BCE=\angle BCD=\angle FHD$ hence $BD$ is tangent to $(FHD)$ as desired, thus we are done
26.06.2022 20:07
claim 1 : $D$ lies on $(BHC)$ : proof: Let $D'=(BHC) \cap AC$ so we have $\angle ADB=180-\angle BDC=180-\angle BHC = \angle BAD \implies BA=BD' \implies D=D'$ claim 2 : $A,H$ and $F$ are collinear : proof: we have $BA=BF$ and $F \in (BHS)$ so $F$ is the reflexion of $A$ about line $BC$, therfore $F$ lies on $AH$ now we have $\angle HFD = 90- \angle ADF = 90 - \angle EBC = 90-\angle ABC =\angle HCB = \angle HBD$ so $BH$ is a tangent to $(DFH)$
26.06.2022 20:28
inspired problem : Let $ABC$ be a triangle with $\angle ABC \neq 90^\circ$, and $AB$ its shortest side. Let $H$ be the orthocenter of $ABC$. Let $\Gamma$ be the circle with center $B$ and radius $BA$. Let $D$ be the second point where the line $CA$ meets $\Gamma$. Let $E$ be the second point where $\Gamma$ meets the circumcircle of the triangle $ABC$. Let $F$ be the intersection point of the lines $DE$ and $BH$. Prove that the circumcenter of $(HDF)$ lies on line $AC$.
09.07.2022 12:36
Here's a link to a video solution https://youtu.be/1p6NAbU8cxw