如图,三角形abc是直角三角形,角bac=90度,d是斜边bc的中点,ef分别是abac边上的点,且de垂直df.若ab