TỨ GIÁC AFDC NỘI TIẾP NÊN

2) Tứ giác AFDC nội tiếp nên: ·ADF=·ACF(1) Tứ giác EHDC có

· ·

HEC

+

HDC

=

180

0

nên nội tiếp đường tròn ⇒· ·ADE= ACF(2) Từ (1) và (2) suy ra ·ADF =·ADE nên AD là phân giác ·FDE