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· ·
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