AD:DB=1:3 BE:EC=1:4 AF::FC=1:5 三角形DEF的面积是20 ;求三角形ABC的 面积