在三角形abc中,ab=ac,∠a=90度,d,e,f分别是bc,ab,ac边上的中点,求证;四边形aedf是正方形