abc是等腰直角三角形d是ac中点ae=12cf=5de垂直与df求ef长度