Chứng minh tam giác DEF đồng dạng với ABC
Giải thích

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)