AX = AB + BC − CA
----------------------
2
AY = BC + CA − AB
----------------------
2
AD = AE = CA + AB − BC
-----------------------------
2
BD = AB − AD = AB − CA + AB − BC
------------------------------------------
2
= AB + BC − CA
------------------
2
= AX.