<s>[INST] Let $ABC$ be a triangle. Let $X$ be the foot of the altitude from $A$ to $BC$. Show that for all $s>0$, we have $AX^2+sBC>2s\cdot BX$ without assuming that $s$ is equal to the area or anything else from the problem.[/INST]