如图1,RT三角形ABC全等于直角三角形EDF,角ACB=角F=90度,角A=角E=30度,三角形EDF绕着边AB的中点