a, xet tam giac ABD va tam giac ACD co : AD chung
AB = AC do tam giac ABC can tai A (gt)
goc BAD = goc CAD do AD la phan giac cua goc A (gt)
=> tam giac ABD = tam giac ACD (c - g - c)
=> BD = CD (dn)
xet tam giac BED va tam giac CFD co : goc BED = goc CFD = 90 do ...
goc B = goc C do tam giac ABC can tai A(gt)
=> tam giac BED = tam giac CFD (ch - gn)
=> DE = DF (dn)
b, cm o cau a
c, tam giac ABD = tam giac ACD (cau a)
=> goc ADC = goc ADB (dn)
goc ADC + goc ADB = 180 (kb)
=> goc ADC = 90
co DB = DC (cau a)
=> AD la trung truc cua BC (dn)