Ta có:
`O` là giao điểm của `AC` và `BD`
`K` là trung điểm của `AB`
`=>OK` là đường trung bình của `ΔABC`
`=>OK////BC`
`=>OK⊥AB`
Hay: `GK⊥AB`
Dễ dàng chứng minh được `O` là trực tâm của `ΔAGB`
`=>BL⊥AG`
Dễ chứng minh được `ΔAGB` cân tại `G`
`=>GA=GB`
`=>ΔBGL=ΔAGH`
`=>GH=GL`
`=>ΔGLH` cân tại `G`
`=>(GL)/(GA)=(GH)/(GB)`
`=>LH///AB`
`=>Đpcm`