证明:∵GF∥AD.(已知)
∴⊿BGF∽⊿BAD,GF/AD=BF/BD;
∵四边形AECD为菱形.
∴AD=CD;AE∥CD.
∴⊿BEF∽⊿BCD,EF/CD=BF/BD.
∴GF/AD=EF/CD.(等量代换)
又AD=CD.(已证)
∴GF=EF.
证明:∵GF∥AD.(已知)
∴⊿BGF∽⊿BAD,GF/AD=BF/BD;
∵四边形AECD为菱形.
∴AD=CD;AE∥CD.
∴⊿BEF∽⊿BCD,EF/CD=BF/BD.
∴GF/AD=EF/CD.(等量代换)
又AD=CD.(已证)
∴GF=EF.