Xét tam giác AED và tam giác CEF có:

AE = CE (E là trung điểm của AC)

AED = CEF (2 góc đối đỉnh)

ED = EF (E là trung điểm của DF)

=> Tam giác AED = Tam giác CEF (c.g.c)

=> AD = CF (2 cạnh tương ứng) mà AD = DB (D là trung điểm của AB) => DB = CF

ADE = CFE (2 góc tương ứng) mà 2 góc này ở vị trí so le trong => AD // CF

Xét tam giác BDC và tam giác FCD có:

BD = FC (chứng minh trên)

BDC = FCD (2 góc so le trong, AD // CF)

CD chung

=> Tam giác BDC = Tam giác FCD (c.g.c)

=> BCD = FDC (2 góc tương ứng) mà 2 góc này ở vị trí so le trong => DE // BC

BC = FD (2 cạnh tương ứng) mà DE = 1/2FD(E là trung điểm của FD) => DE = 1/2BC