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 .