Vì E đối xứng với D qua AB
⇒ AB là đường trung trực của đoạn thẳng DE
⇒ AD = AE (tính chất đường trung trực)
nên ∆ ADE cân tại A
Suy ra: AB là đường phân giác của góc DAC => góc A1= góc A2
Vì F đối xứng với D qua AC
⇒ AC là đường trung trực của đoạn thẳng DF