Point $X$ is on $\overline{AC}$ such that $AX = 4\cdot CX = 12$. We know $\angle ABC = \angle BXA = 90^\circ.$ What is $BX$?
https://latex.artofproblemsolving.com/d/f/9/df9066fdcb6254b17f9af91efe50d1c466810587.png