lấy I là tâm đường tròn
kẻ IK vuông EF
dự đoán : IK chạy trên đường thẳng // vs d và cách d 1 khoảng R
để cm IK=R ta nhận thấy AOIK là hbh
Như vậy ta sẽ đi cm AK//OI và AO//IK(cái // này thì dễ)
nút thắt quan trọng nhất là cm AK//OI
ta nhận thấy DEFC là tứ giác nội tiếp cm nó rất đơn giản dùng...