已知菱形abcd中,e,f 是ab和bc上的点,角a=60度,角DEF=60度,证明三角形def为正三角形