同理：AF/BF=AC/BC=b/a,
由合分比定理：AF/(AF+BF)=b/(b+a),即AF/AB=b/(b+a),
于是BF/AB=a/(b+a),
（BF/AB=(AB-AF)/AB=1-AF/AB=1-b/(b+a)=a/(b+a)）
同理BD/BC=c/(b+c),
記S0=S△ABC,
S△ABD/S△ABC=BD/BC=c/(b+c),
即 S△ABD/S△ABC=c/(b+c),…………③
S△BDF/S△ABD=BF/BA=a/(b+a),
即 S△BDF/S△ABD=a/(b+a),…………④
③、④兩式相乘,S△BDF/S△ABC=ac/(b+c)(b+a),
S△BDF=S△ABC*ac/(b+c)(b+a),
即 S△BDF=S0*ac/(b+c)(b+a),
同理：
S△AEF=S0*bc/(a+c)(b+a),
S△CDE=S0*ab/(b+c)(c+a),
于是：
S△DEF=S△ABC-S△FBD-S△AEF-S△CDE
=S0*[1-ac/(b+c)(b+a)-bc/(a+c)(b+a)-ab/(b+c)(c+a)]
=S0*[(b+a)(b+c)(c+a)-ac(c+a)-bc(b+c)-ab(b+a)]/(b+a)(b+c)(c+a)
=S0*2abc/(b+a)(b+c)(c+a),
故
S△DEF/S△ABC=S△DEF/S0=2abc/(b+a)(b+c)(c+a).
這一證法思路很簡(jiǎn)單,但計(jì)算稍微多了一點(diǎn).