Tứ giác ABCD có E, F theo thứ tự là trung điểm của CD, CD, O là giao điểm của AE, DF; OA = 4OE, OD=23OF. Chứng minh rằng ABCD là hình bình hành.