Xét tam giác ADB và tam giác ADE có:
AB=AE(GT)
Góc BAD=góc ADE(GT)
AD cạnh chung
=>Tam giác ADB=tam giác ADE(c.g.c)(đpcm)
Kẻ FH vuông góc với AC
=>FH là đường vuông góc và FE và FC là đường xiên
Mà trên hình vẽ ta thấy E nằm giữa H và C
=>FH<FE<FC(1)
Lại có: tam giác DEF cân tại E=>FE=DE(2)
Từ (1) và (2) =>DE<FC
Vậy DE<FC