在rt三角形abc中,角A等于90度,d为斜边bc的中点,de垂直df,且be等于3,cf等于1, 求ef