1: Xét (O) có
ΔADB nội tiếp
AB là đường kính
=>ΔADB vuông tại D
góc DBA+góc DAB=90 độ
góc DFB+góc DAB=90độ
=>góc DBA=góc DFB
b: Xét (O) có
ΔACB nội tiếp
AB là đường kính
=>ΔABC vuông tại C
=>AC*AE=AB^2=AD*AF
=>AC/AD=AF/AE
=>AC/AF=AD/AE
=>ΔACD đồng dạng với ΔAFE
=>góc ACD=góc AFE
=>góc DFE+góc DCE=180 độ
=>CEFD là tứ giác nội tiếp