a: Xét tứ giác AEHF có
góc AEH+góc AFH=180 độ
=>AEHF là tứ giác nội tiếp
Xét tứ giác BEFC có
góc BEC=góc BFC=90 độ
=>BEFC là tứ giác nội tiếp
b: Kẻ tiếp tuyến Ax
góc xAC=góc ABC(=1/2*sđ cung BC)
góc ABC=góc AFE
=>góc xAC=góc AFE
=>Ax//EF
=>EF vuông góc OA
Xét (O) có
ΔACK nội tiếp
AK là đường kinh
=>ΔACK vuông tại C
Xét tứ giác IFCK có
góc FCK+góc FIK=180 độ
=>IFCK là tứ giác nội tiếp