Cho AB và CD là dây cung vuông góc tại E của đường tròn (O). Vẽ hình chữ nhật AECF. Dùng phương pháp tọa độ để chứng minh EF vuông góc với DB.