Trong ΔABM, ta có ∠(BAM) = 90o

Suy ra: AB < BM (trong tam giác vuông cạnh huyền lớn nhất)

Mà BM = BE + EM = BF - MF

Suy ra: AB < BE + EM

AB < BF - FM

Suy ra:AB + AB < BE + ME + BF - MF (1)

Xét hai tam giác vuông AEM và CFM, ta có:

∠(AEM) = ∠(CFM) = 90o

AM = CM (gt)

∠(AME) = ∠(CMF) (đối đỉnh)

Suy ra: ΔAEM = ΔCFM (cạnh huyền - góc nhọn)

Suy ra: ME = MF (2)

Từ (1) và (2) suy ra: AB + AB < BE + BF

Suy ra: 2AB < BE + BF

Vậy AB < (BE + BF) / 2 .