b) Tứ giác DEBF là hình gì? Tại sao?

b) Vì B^1=B^2=D^1=D^2 mà B^2=F^1 (vì tam giác BCF cân tại C)

Suy ra D^1=F^1 (hai góc đồng vị).

Do đó DE // BF.

Tứ giác BEDF có:

BE // DF (chứng minh trên);

DE // BF (chứng minh trên).

Do đó, tứ giác BEDF là hình bình hành.