前>>809訂正。
>>808
Aを起点にメネラウスの定理より、
(AD/DB)(BC/CE)(EF/FA)=1
(3/2)(3/1)(EF/FA)=1
EF/FA=2/9
△FEC=2sとおくと△AFC=9s
△ABE=22s,△ABC=33s,△DBC=33s×2/5=66s/5
△ADC=33s×3/5=99s/5
△ADF=99/5-9=54s/5
△ADF:△FEC=54s/5:2s
=27:5
∴示された。
△AFC=4.5とすると、△ADF=27/5