三角形BDF相似于三角形BAD,DF/BF=AD/BD;
三角形BAD相似于三角形DAF,AD/BD=AF/DF.
所以,DF/BF=AF/DF.
三角形BFG相似于三角形BEA,BF/FG=BE/AE;
三角形BEA相似于三角形HFA,BE/AE=FH/AF;
所以,BF/FG=FH/AF
所以,DF/FG=DF/BF*BF/FG=AF/DF*FH/AF=FH/DF
DF^2=FH*FG
三角形BDF相似于三角形BAD,DF/BF=AD/BD;
三角形BAD相似于三角形DAF,AD/BD=AF/DF.
所以,DF/BF=AF/DF.
三角形BFG相似于三角形BEA,BF/FG=BE/AE;
三角形BEA相似于三角形HFA,BE/AE=FH/AF;
所以,BF/FG=FH/AF
所以,DF/FG=DF/BF*BF/FG=AF/DF*FH/AF=FH/DF
DF^2=FH*FG