真命题:
过中点D作DE,DF分别垂直于AB,AC.
这样就把整个大三角形分成了两组,先证明两组大的(ADE,ADF)全等(HL),得出AE=AF.再证下面两个三角形(DEB,DFC)全等,得到BE=CF,根据等式性质得出AB=AC,就得证了.