Có ABCD là hình bình hành  AC cắt BD ở trung điểm mỗi đường [3]
Lại có EFGH cũng là hình bình hành  EG cắt HF tại trung điểm mỗi đường[4]
Mà HBFD là hình bình hành ( vì HD // BF và HD = BF , theo gt )
 HF cắt BD tại trung điểm mỗi đường [5]

Từ [3] ; [4] và [5]  AC,BD,EG,FH đồng qui tại một điểm