Extend the cevians AX, BX, CX; let their intersection points with the sides BC, AC, BA be A1, B1, C1 respectively. We have
∠AXB1=180∘−∠BXA=180∘−(∠B+∠C)=∠A=α.
Similarly, ∠BXC1=∠B=β, ∠CXA1=∠C=γ. Let ∠CAA1=φ. Then ∠ABB1=∠ABX=180∘−(α−φ)−(α+β)=φ and, similarly, ∠BCC1=φ. That is, X is the Brakar point of the triangle ABC.
Now, using the law of sines for the triangles ABC, AXB, AXC, we have respectively
ACBC=sinγsinα,ABAX=sin∠BXAsinφ=sinαsinφ,
CXAC=sinφsin∠CXA=sinφsinγ.
Multiplying all three equalities we obtain
ABBC⋅ABAX⋅CXAC which is equivalent to ABBC⋅AX=ACAB⋅CX.