Xét ∆ EDC và ∆ FDA, tacó: ∠ (EDC) = ∠ (FDA) = 15 0
DC = AD (gt)
∠ (ECD) = ∠ (FAD) = 15 0
Suy ra: ∆ EDC = ∆ FDA (g.c.g)
⇒ DE = DF
⇒ ∆ DEF cân tại D
Lại có: ∠ (ADC) = ∠ (FDA) + ∠ (FDE) + ∠ (EDC)
⇒ ∠ (FDE) = ∠ (ADC) -( ∠ (FDA) + ∠ (EDC) )= 90 0 - ( 15 0 + 15 0 ) = 60 0
Vậy ∆ DEF đều.