A challenging geometry proof?

OP's own answer shows that the key to the solution is to recognize that point $X$ lies on a hyperbola with foci $A$ and $C$ passing through $B$. Here's a "geometric" derivation of that fact.


Let the trisecting points of $\overline{BC}$ be $S$ and $T$. Let the angle bisector at $C$ meet $\overline{BX}$ at $D$, creating isosceles $\triangle BCD$. Let $\overleftrightarrow{DM}$ (with $M$ the midpoint of $\overline{BC}$ be the extended altitude of this triangle, and let $P$ be the projection of $X$ onto this line.

enter image description here

Then we have $$\left.\begin{align} \text{Angle Bis. Thm} &\implies \frac{|CX|}{|DX|}=\frac{|BC|}{|BD|} = \frac{2|BM|}{|BD|} \\[4pt] \triangle DXP\sim\triangle DBM &\implies \frac{|DX|}{|PX|}=\frac{|BD|}{|BM|} \end{align}\right\}\implies \frac{|CX|}{|PX|}=\frac{|CX|}{|DX|}\cdot\frac{|DX|}{|PX|}=2$$ Therefore, $\overleftrightarrow{DM}$ is the directrix, and $C$ the focus, of a hyperbola through $X$ with eccentricity $2$.

Since trisection point $T$ divides $\overline{MC}$ in the ratio $1:2$, it must be a vertex of the hyperbola. Moreover, since $|ST|:|SC|=1:2$, it follows that $S$ is the center of the hyperbola. By symmetry across that center, $B$ and $A$ are the other vertex and focus, respectively, and the result follows. $\square$


Here is my non-Euclidean proof of the fact, as it was suggested that it might inspire people. Understand that I want a Euclidean proof of the statement, so this proof is not what I'm looking for here.

Arrange the diagram on the Cartesian plane such that C is at the origin and B is at (1,0). Let $(x,y)$ be the coordinates of point X. Then, dropping a perpendicular from X to $\overline{AB}$ we see that $$\tan\theta=\frac{y}{x}$$ $$\tan2\theta=\frac{2\tan\theta}{1-\tan^2\theta}=\frac{y}{1-x}$$

by the double angle formula. Combining those two formulas gives us

$$\frac{y}{1-x}=\frac{2y/x}{1-y^2/x^2}=\frac{2xy}{x^2-y^2}$$ $$2x(1-x)=x^2-y^2$$ $$y^2=x^2-2x(1-x)$$ $$y^2=3x^2-2x$$

This is the equation of a hyperbola with foci at $(-\frac{1}{3},0)=A$ and $(1,0)=B$ and a vertex at $(\frac{2}{3},0)$. Since this hyperbola is the locus of points $X$ such that $AX-BX=\frac{2}{3}=2AC$, the statement follows.


Draw a circle with center at $X$ and radius $XB$ (look at the picture).

Easy angle chase give $CE = EX (=BX=DX)$

Since the triangles $ADE$ and $ABD'$ are similar we have $$AD \cdot AD' = AE\cdot AB$$

so $$(AX-BX)(AX+BX) = (AC+BX)\cdot 4AC$$ so $$AX^2 = BX^2+4AC\cdot BX+4AC^2 = (BX+2AC)^2$$ and we are done.

enter image description here