Let $ABC$ be a triangle such that the angular bisector of $\angle BAC$, the $B$-median and the perpendicular bisector of $AB$ intersect at a single point $X$. Let $H$ be the orthocenter of $ABC$. Show that $\angle BXH = 90^{\circ}$. Proposed by usjl
Problem
Source: 2024 Taiwan TST Round 3 Independent Study 2-G
Tags: Taiwan, geometry
25.04.2024 09:03
Nice Problem! Define $E$ as the $C$-foot and $G$ as the point such that $ABCG$ is a parallelogram. Then note that since $\angle ABM = \angle XAM$, it follows that $\triangle BAM \sim \triangle AXM$, so it follows that $MX \cdot MB = MA^2$ which implies that $AXCG$ is cyclic. Likewise, $\measuredangle DAG = \measuredangle (AD, AG) = \measuredangle (AD, BC) = 90^\circ$ and $\measuredangle DCG = \measuredangle (DC, AB) = 90^\circ$, so pentagon $AXDCG$ is cyclic. As such, it follows that $\measuredangle EBX = \measuredangle MAX = \measuredangle CAX = \measuredangle CDX = \measuredangle EDX$ so $(EBDX)$ is cyclic which implies that $\measuredangle BXD = \measuredangle BED = 90^\circ$.
25.04.2024 10:23
Another approach: Note that $\triangle MAX \sim \triangle MBA$ and thus $MX \cdot MB = MA^2$. This makes $X$ the so called $B$-HM point in $\triangle ABC$, which promptly implies the conclusion.
25.04.2024 16:59
Note that $X$ lies on the $B$-median as well as the circle through $B$ tangent to $AC$ at $A$ (as $\angle ABX = \angle BAX = \angle CAX$), so $X$ is the $B$-HM point and the conclusion is well-known.
27.07.2024 01:35
Let $M$ be the midpoint of $AC$ and $BB'$. The $AXCB'$ is cyclic as $$\angle AXB'=\angle XAB+\angle XBA=\angle BAC=\angle B'CA$$Notice we have that $HAB'C$ is also cyclic. As $X$ lies on the $B$-median this uniquely defines $X$ as the $B$-Humpty point, implying the result.
Attachments:
