Ta có tam giác ABC vuông tại A, vậy AB là cạnh huyền của tam giác ABC.

Vì AF = AC, ta có tam giác AFC cân tại F. Vậy góc AFC = góc ACF = góc BAC.

Do đó, tam giác BAF cũng là tam giác cân tại F. Vậy BF = BA.

Tương tự, ta có tam giác BAE cân tại E. Vậy BE = BA.

Từ đó, ta có BF = BE = BA.

Vậy ta có BF = BE = BA = BC.