FH là đường trung trực của đoạn thẳng BC (H € BC, F bất kì). Kẻ HK vuông góc với FC tại K. I là trung điểm HK.
Chứng minh: BK vuông góc FI
Lấy A là trung điểm KC
=> IA là đường trung bình tam giác KHC
AH là đường trung bình tam giác KBC
=> IA//HC và AH//BK
Mà HC vuông FH (Do FH là đường trung trực của đoạn thẳng BC, H € BC)
=> IA vuông góc FH
Mà HK vuông FK
=> I là trực tâm tam giác FHK
=> FI vuông góc AH
Mà AH//BK
=> FI vuông góc BK (đpcm)