Xét tam giác EHG và tam giác FGH có :
Cạnh HG chung
$∠EHG = ∠FGH$ (Vì EFGH là hình thang cân)
$EH = FG$
Do đó, tam giác EHG bằng tam giác FGH (c.g.c)
Suy ra : $∠EGH = ∠FHG$ (hai góc tương ứng)
Suy ra: Tam giác IHG cân tại I hay IH = IG
mà : $EG = FH$ (Vì EFGH là hình thang cân)
$⇔ EI + IG = IF + IH$
mà : IH = IG $\Rightarrow IE = IF$