>>399
AC^2-CE^2=AB^2-BE^2=AE^2 より　CE=xとおけば
7^2-x^2=5^2-(6-x)^2
といて　x=5
だから　BE:CE=1:5=1/6:5/6 よりt=1/6
AE^2=24　AE=2*√6
△ADF の面積が　t(1-t)S であることを使えば
△DEF={1-3t(1-t)}S=(3t^2-3t+1)S