a)Xét tgAEF và tgDCF có :
          Góc AEF=góc FDC(=90$°$)
          Góc EFA=góc CFD(đối đỉnh)
Do đó tgAEF$~$tgDCF(g.g).
b)Xét tgDCF và tgACB có:
          Góc BAC=góc  CDF(=90$°$)
          Góc C chung.
Do đó tgDCF$~$tgACB(g.g)
Mà tg AEF$~$tgDCF
​=>tg AEF$~$tgACB.
=>$\frac{AE}{EF}=\frac{AC}{BC}$ hay AE.BC=EF.AC(đpcm)