Từ D dóng DE⊥AB, từ C dóng CE⊥EF
Ta có : DC = EF (DCEF hình chữ nhật)(tự CM nhé, dễ lắm)
⇒DC−AB=EF−AB=AF+BE(1)
Xét ΔAFD(F^=90o) có :
AD>AF (n/x)
Xét ΔBEC(E^=90o) có :
BC>BE (n/x)
⇒AF+BE<AD+BC(2)
Từ (1) và (2)
Từ D dóng DE vuông AB, từ C dóng CE vuông EF.
Ta có : DC = EF (DCEF hình chữ nhật)
Ta có : DC - AB = EF - AB = AF + BE (*)
Xét ▲AFD (90 độ) có :
AD > AF (n/x)
Xét ▲BEC (có E = 90 độ)
=> AF + BE < AD + BC (**)
Từ (*) (**)
=> DC - AB < AD + BC