证明:因为D是BC的中点,所以BD=CD.
在直角三角形BDE和直角三角形CDF中,由BD=CD,DE=CF可以证明这两个三角形全等,得到BE=CF.
同理,在直角三角形AED和直角三角形AFD中,由AD=AD,DE=CF可以证明这两个三角形全等,得到AE=AF.
所以AE+BE=AF+CF,即AB=AC.
证明:因为D是BC的中点,所以BD=CD.
在直角三角形BDE和直角三角形CDF中,由BD=CD,DE=CF可以证明这两个三角形全等,得到BE=CF.
同理,在直角三角形AED和直角三角形AFD中,由AD=AD,DE=CF可以证明这两个三角形全等,得到AE=AF.
所以AE+BE=AF+CF,即AB=AC.