如图，△ABC是边长为a的等边三角形，D是BC边的中点，过点D分别作AB、AC的垂线，垂足为E、F．

(1)计算：AD=           ，EF=            （用含a的式子表示）；
(2)求证：DE=DF．