`ΔADF = ΔBDC` (c.g.c) ( bạn tự xét )
`=> hat{AFD}=hat{BCD}` ( 2 góc t/ứ)
Mà 2 góc này ở vị trí slt
`=>` AF // BC (1)
`ΔAEG = ΔCEB` (c.g.c) ( bạn tự xét_
`=> hat{EAG}=hat{ECB}` ( 2 góc t/ứ)
Mà 2 góc này ở vị trí slt
`=>` AG // BC (2)
Từ (1) và (2)
`=>` G , A , F thẳng hàng