Ta có: ΔABC đều, D ∈ AB, DE⊥AB, E ∈ BC
=> ΔBDE có các góc với số đo lần lượt là: 300
; 600
; 900
 => BD=1/2BE
Mà BD=1/3BA => BD=1/2AD => AD=BE => AB-AD=BC-BE (Do AB=BC)
=> BD=CE. 
Xét ΔBDE và ΔCEF: ^BDE=^CEF=900
; BD=CE; ^DBE=^ECF=600
=> ΔBDE=ΔCEF (g.c.g) => BE=CF => BC-BE=AC-CF => CE=AF=BD
Xét ΔBDE và ΔAFD: BE=AD; ^DBE=^FAD=600
; BD=AF => ΔBDE=ΔAFD (c.g.c)
=> ^BDE=^AFD=900
 =>DF⊥AC (đpcm).
b) Ta có: ΔBDE=ΔCEF=ΔAFD (cmt) => DE=EF=FD (các cạnh tương ứng)
=> Δ DEF đều (đpcm).