Để chứng minh BF = EC, ta sẽ sử dụng định lí phân giác trong tam giác.
Giả sử BF = x và EC = y.
Do AE = AB và AF = AC, ta có:
AE = AB = x + y
AF = AC = x + y
Do đó, tam giác AEF là tam giác cân.
Từ đó, ta có:
∠EAF = ∠EFA
∠EAF + ∠EFA = 180°
2∠EAF = 180°
∠EAF = 90°
Do đó, tam giác AEF là tam giác vuông tại A.
Do AB < AC, ta có ∠BAC > 90°.
Do đó, ∠EAC = ∠BAC - ∠EAF > 90° - 90° = 0°.
Tương tự, ∠FAB = ∠BAC - ∠EFA > 90° - 90° = 0°.
Do đó, ∠EAC và ∠FAB đều lớn hơn 0°.
Từ đó, ta có:
∠EAC + ∠FAB > 0° + 0° = 0°
∠EAC + ∠FAB > 0°
∠EAC + ∠FAB > 180° - ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠BAC
∠EAC + ∠FAB > ∠B