Trên AC lấy AK=AB thì K nằm giữa A và C, do đó
KC=AC-AB (1)
Ta có ∆AEB=∆AEK (c.g.c). Suy ra EB=EK. Xét ∆EKC ta có
KC>EC-EK nên KC>EC-EB (2)
Từ (1) và (2) suy ra
AC-AB>EC-EB
*Chú ý: Sẽ sai lầm nếu từ EC<AC+AE và EB<AB+AE suy ra EC-EB<AC-AB, vì ko được trừ từng vế hai bất đẳng thức cùng chiều.