一个直角三角形ABC,角C90度,角A30度,BC长12,有一点E在BC上,DE垂直AC,EF垂直BC,点E