Xét tứ giác AB'CO, có AE=EC, OE=EB' =>AB'CO là hình bình hành=>AB'//CO và AB'=CO (1)
Tương tự, A'B //CO và A'B=CO (2)
Từ (1) và(2) => AB'//A'B và AB'=A'B =>AB'A'B là hình bình hành => AA' và BB' cắt nhau tại trung điểm mỗi đường(*)
Tương tự, BB' và CC' cắt nhau tại trung điểm mỗi đường(**)
Từ (*0 và (**) => AA',BB',CC' đồng quy