It is known that ad is the middle line of △ ABC, AE ⊥ AB, AF ⊥ AC, and AE = AB, AF = AC are connected with EF, and ad = 1 / 2ef is verified

It is known that ad is the middle line of △ ABC, AE ⊥ AB, AF ⊥ AC, and AE = AB, AF = AC are connected with EF, and ad = 1 / 2ef is verified

It is proved that when ad is extended to m, DM = DA and BM is connected. If BD = CD, ∠ BDM = ∠ CDA, then ⊿ BDM ≌ ⊿ CDA, BM = AC = AF; ⊿ BMD = ∠ CAD. ∥ BM ∥ AC, ∠ ABM + ∠ BAC = 180 °; if Bae = ∠ CAF = 90 °, then ⊿ EAF + ∠ BAC = 180 °, and ≌ ABM = ∠ EAF