如图三角形DEF为边长4的等边三角形,三角形ABC为直角三角形,角ABC=60度,AB=1,ABDE在同一直线上,现将三