xét `ΔABC` có
`AE=EB(g t)`
`AD=DC(g t)`
`=>ED` là đường trung bình của `ΔABC`
do đó $ED//BC$`;ED=1/2 BC(1)`
xét `ΔBGC` có
`BI=IG(g t)`
`CK=KG(g t)`
`=>IK` là đường trung bình của `ΔBGC`
do đó $IK//BC$`;IK=1/2 BC(2)`
từ `(1);(2)` suy ra
$ED//IK(//BC)`
`ED=IK(=1/2 BC)`