Cho tam giác ABC cân tại A. Trên nửa mặt phẳng không chứa Acó bờ là đường thẳng chứa cạnh BC, vẽ tia Bx // AC và tia Cy // AB.
Giải thích

Vì Cy // ABBx // AC⇒CD // ABBD // AC
Tứ giác ACDB có CD // ABBD // AC⇒ACDB là hình bình hành.
Hình bình hành ACDB có AB = AC (tam giác ABC cân tại A) => AEDF là hình thoi.