Ta có: DE//AB suy ra:ΔODEΔ OAB

⇒ODOA=OEOB=DEAB=23 (1)

Tương tự:  ΔODFΔOAC⇒ODOA=OFOC=DFAC=23 (2)

Do đó: ⇒OEOB=OFOC=23⇒EF//BC ( theo định lí Ta let đảo)

⇒ΔOEF  ΔOBC⇒EFBC=OFOC=23 (3)

Từ (1) và (2); (3) suy ra DFAC=EFBC=DEAB=23

⇒ΔDEF ΔABC ( c.c.c)