在RT三角形ABC,角C=90,AC=BC,EF//AB,三角形DEF为等边三角形,AC=a,求三角形DEF的面积.