当角EBD=角C时因为: D是BC的中点(已知)所以: BD=DC(中点定义)因为: 角EBD=角C(已知)所以: EB=EC(等角对等边) 在三角形EBD和三角形EDC中 {BD=DC {角EBD=角ECD {EB=EC所以: 三角形EBD全等于三角形EDC(SAS)所以: 角EDB等于角EDC又因为:角EDB+角EDC=180度(垂直定义)所以: 角EDB=角EDC=90度即:ED垂直BC