a: ABCD là hình bình hành
=>AC cắt BD tại trung điểm của mỗi đường
=>O là trung điểm chung của AC và BD
OE=OB/2
OF=OD/2
mà OB=OD
nên OE=OF
=>O là trung điểm của EF
Xét tứ giác AECF có
O là trung điểm chung của AC và EF
=>AECF là hình bình hành
=>AE//CF
b: Xét tứ giác AHCK có
AH//CK
AK//CH
=>AHCK là hình bình hành
=>AH=CK