由題意：
AC+AX=BC+BX（1）
AB+AY=BC+BY（2）

且，AB=AX+BX, AC=AY+CY

由（1），BC=AC+AX-BX，代入(2)
經換算，得出BX=CY