Xét ΔADB có AE/AB=AH/AD
nên HE//DB và HE/DB=AE/AB=1/2(1)
Xét ΔBCD có
CG/CD=CG/CB
nên GF//DB và GF/DB=1/2(2)
Từ (1) và (2) suy ra HE//GF và HE=GF
=>HEFG là hình bình hành
mà HF=EG
nên HEFG là hình chữ nhật
Suy ra: HE vuông góc với EF
=>AC vuông góc với BD