Vì \(EG\) // \(AB\) (gt)
suy ra \(\widehat {{\rm{CEG}}} = \widehat {{\rm{CAB}}}\) (đồng vị) và \(\widehat {{\rm{GEB}}} = \widehat {{\rm{EBA}}}\) (1)
Xét \(\Delta CAB\) và \(\Delta DBA\) ta có:
\(AC = BD\) (tính chất hình thang cân)
\(BC = AD\) (tính chất hình thang cân)
\(AB\) chung
Suy ra \(\Delta CAB = \Delta DBA\) (c-c-c)
Suy ra \(\widehat {{\rm{CAB}}} = \widehat {{\rm{EAB}}}\) (2)
Từ (1) và (2) suy ra \(\widehat {{\rm{CEG}}} = \widehat {{\rm{GEB}}}\)
Suy ra \(EG\) là phân giác của \(\widehat {{\rm{CEB}}}\)