第一个问题:
△BEF∽△CAF。 证明如下:
过A作AG∥EF交BF于G。
∵AB=AE、AG∥EF, ∴BG=GF。
∵CD=AD、AG∥DF, ∴CF=GF。
由BG=GF、CF=GF,得:BG=CF。
∵AB=AC, ∴∠ABG=∠ACF。
由AB=AC、BG=CF、∠ABG=∠ACF,得:△ABG≌△ACF, ∴∠BAG=∠CAF。
∵AG∥EF,∴∠BEF=∠BAG=∠CAF,而∠EAF=∠ACF, ∴△BEF∽△CAF。
第二个问题:
∵△ABG≌△ACF, ∴AG=AF=4。
∵A、G分别是BE、BF的中点,∴AG=EF/2, ∴EF/2=4, ∴EF=8。