Giải thích các bước giải:
Gọi các đường trung trực của các cạnh AB; AC; BC lần lượt là: EO; DO; FO
Ta có: EO là đường trung trực của cạnh AB (tự cho)
=> EO ⊥ AB
Mà AC ⊥ AB (ΔABC cân tại A)
Nên AC // EO
=> EO chỉ đi qua BC
Mà AO = BO (định lý đường trung trực)
Lại có: DO là đường trung trực của cạnh AC (tự cho)
=> DO ⊥ AC
Mà AB ⊥ AC (cmt)
Nên AB // DO
=> DO chỉ đi qua BC
Mà AO = CO (định lý đường trung trực)
Và BO = AO (cmt)
Nên BO = CO
Có tiếp: EO và DO cùng đi qua một điểm, đó là điểm O nằm trên đoạn thẳng BC
Vậy O là trung điểm của BC.
