Cho đường tròn tâm O từ A năm ngoài đường tròn vẽ đường thẳng AB cắt O tại BC

cho đường tròn tâm o từ a năm ngoài đường tròn vẽ đường thẳng ad cắt o tại bc. qua a vữ đường thẳng không đi qua o cắt đường tròn tại b và e (ad<ae) đường thẳng vuông góc với ab tại a cắt ce tại f 
a,chứng minh tứ giác abef nội tiếp