a: Xét tứ giác CDHF có
góc CDF=góc CHF=90 độ
=>CDHF là tứ giác nội tiếp
b: Xét ΔBCA vuông tại C và ΔCDE vuông tại D có
góc CBA=góc DCE
=>ΔBCA đồng dạng với ΔCDE
=>DE/CA=CE/AB
=>DE*AB=CE*CA
BD là phân giác
=>DA/DC=BA/BC
mà CE/CD=BA/BC
nên DA=CE
=>DE*AB=AC*DA