Cho hình bình hành ABCD (AD < AB, BAD > 90). Gọi O là giao điểm của AC và BD. Vẽ AE vuông góc với BC tại E, AF vuông góc với CD tại F, AK vuông góc BD tại K. Chứng minh rằng tứ giác KOEF nội tiếp