由于EC‖AB，所以EF/BF=EC/AB,即EF×AB=BF×EC.....①;又由于DE平行于AB,所以，EG/BG=DE/AB，即AB=BG×DE/EG.....②,由于E为CD的中点，所以DE=CE.....③,把②、③带入①中，即可得EF×BG=BF×EG.
EG/BG＝DE/AB＝EC/AB=EF/FB 所以 成立
