a) Vì AD là tiếp tuyến đường tròn (O) nên AD ⊥ AB

=> ΔADO vuông tại A đường kính DO

Tương tự ta có ΔDEO vuông tại E đường kính DO

Suy ra O,A,D,E nội tiếp đường tròn đường kính DO

b) Vì AD ⊥ AB và CB ⊥ AB nên AD//BC

Theo hệ quả của định lí talet ta có AD/BC = AF/FC

Mà AD vá ED là hai tiếp tuyến cát nhau tại D nên AD=DE

tương tự EC = BC

do vậy DE/EC = AF/FC

theo định lí talet đảo suy ra DA//EF