Do A thuộc trung trực BC nên AB = AC, hay ∆ABC cân tại A. Từ đây suy ra ACB^=ABC^=60°. Do tổng các góc trong tam giác ABC bằng 180° nên:

BAC^=180°−ABC^−ACB^=180°−60°−60°=60°.

Vậy tam giác ABC có ba góc bằng nhau nên nó là tam giác đều, và do đó CA = CB.