用代数解平面几何题

如图1,△ABC是直角三角形,∠C=90°.延长CA至D使AD=BC,在CD上取ED=CD-AB,在CB上取CF=ED,连接FD交AB边于G,求证:S△CDF>S△ABC.图1证明如图1,记BC=a,CA=b,AB=c,于是有S△ABC=12ab,依题意有S△CDF=12(a+b)(a+b-c).比较S△ABC与S△CDF.S△CDF-S△ABC=12(a+b)(a+b-c)-12ab=12[(a+b)2-(a+b)c-ab]=12[a2+b2+2ab-(a+b)c-ab]