Cho tam giác có AB < AC. Kẻ tia phân giác AD, D thuộc BC

a) Xét tam giác ABD và tam giác AED có:

AB = AE

AD chung

=> tam giác ABD = tam giác AED (cgc)

=> BD = ED (2 cạnh tương ứng)

Xét tam giác AFD và tam giác ACD có:

AF = AC

AD chung

=> tam giác AFD = tam giác ACD (cgc)

=> FD = CD (2 cạnh tương ứng)

Ta có

AB = AE; AC = AF

AB + BF = AF

AE + EC = AC

=> BF = EC

Xét tam giác BDF và tam giác EDC có:

BF = EC

BD = ED

FD = CD

=> tam giác BDF = tam giác EDC (c.c.c)

b) tam giác BDF = tam giác EDC (cmt)

=> ( 2 góc tương ứng)

Mà

=>

=>

=> F, D, E thẳng hàng

c) Ta có AF = AC , DF = DC

=> AD là đường trung trực của CF

=> AD vuuong góc với CF