xét hai tam giác vuông EDF và tam giác vuông DGF có ^EDF= ^DGF (=90 độ) ^DFE= ^GFD ( góc F chung) vậy tam giác EDF đồng dạng với tam giác DGF (g.g) => DE/DG = FE/DF => DE.DF = DG.FE (đpcm)
Ta có: DE.DF = 2.\(\dfrac{1}{2}\).DE.DF = 2SΔDEF
DG.FE = 2.\(\dfrac{1}{2}\).DG.FE = 2SΔDEF
=> DE.DF = DG.FE (= 2SΔDEF)