a: Xét (O) có
ΔBEC nội tiêp
BC là đường kinh
=>ΔBEC vuông tại E
Xét (O) có
ΔBFC nội tiếp
BC là đường kính
=>ΔBFC vuông tại F
Xét ΔBCA có
BF,CE là đường cao
BF cắt CE tại H
=>H là trực tâm
=>AH vuông góc BC
Xét tứ giác AEHF co
góc AEH+góc AFH=180 độ
=>AEHF là tứ giác nội tiếp
b: Xét ΔAFH vuông tại F và ΔAKD vuông tại K có
góc FAH chung
=>ΔAFH đồng dạng với ΔAKD
=>DK/HF=DA/AH
=>DK*AH=HF*DA
=>DK^2*AH^2=HF^2*DA^2
=>\(DK^2=\dfrac{HF^2\cdot DA^2}{AH^2}\)
=>\(KC\cdot KA=\dfrac{HF^2\cdot DA^2}{AH^2}\)