xét tam giác BEQ và tam giác AEC có
EQ=EC
BEQ=AEC đối đỉnh
EB=EA
=> tam giác BEQ = tam giác AEC(c.g.c)
=> BQE=AEC (góc tương ứng)
mà chúng ở vị trí so le trong nên BQ//AC.
xét tam giác PFC và BFA có:
FA=FC
AFB=CFP
BF=PF
=> tam giác PFC = BFA (c.g.c)
=> FAB = FCB(góc tương ứng)
mà chúng ở vị trí so le trong nên
CP//AB