AG//BC,角EAG＝角EBC,角AEG＝角BEC,三角形AEG与三角形BEC相似,同理,三角形HFD与三角形BFC相似.
由于,三角形AEG与三角形BEC相似,AG／BC＝AE／BE,同理,DH／BC＝DF／CF．
又由于,AD／／BC／／EF,所以,AE／BE＝DF／CF,所以
AG／BC＝AE／BE＝DF／CF＝DH／BC,可得AG=DH
AG//BC,角EAG＝角EBC,角AEG＝角BEC,三角形AEG与三角形BEC相似,同理,三角形HFD与三角形BFC相似.
由于,三角形AEG与三角形BEC相似,AG／BC＝AE／BE,同理,DH／BC＝DF／CF．
又由于,AD／／BC／／EF,所以,AE／BE＝DF／CF,所以
AG／BC＝AE／BE＝DF／CF＝DH／BC,可得AG=DH