Ta có: AB // CD (gt)
OE ⊥ AB (gt)
⇒ OE ⊥CD
OG ⊥CD(gt)
Suy ra OE trùng với OG nên ba điểm O,E,G thẳng hàng.
BC // AD (gt)
OF ⊥ BC (gt)
⇒ OF ⊥ AD
OH ⊥ AD (gt)
Suy ra OF trùng với OH nên ba điểm O,H,F thẳng hàng.
Vì AC và BD là đường phân giác các góc của hình thoi nên:
OE = OF ( t/chất tia phân giác) (1)
OE = OH ( t/chất tia phân giác) (2)
OH = OG ( t/chất tia phân giác) (3)
Tứ giác EFGH có hai đường chéo bằng nhau và cắt nhau tại trung điểm của mỗi đường nên nó là hình chữ nhật.