若DEF分别是ab,ac,cd边上的中点,s四边形adfe等于9