因为BA＝CD、AE=ED、角BAE=90度＋45度＝135度＝180度-45度＝角EDC所以三角形BAE全等于三角形CDE所以角ABE=角ACE所以角EBC+角BCE＝角ABC+角ACB＝90度所以角BEC＝90度所以BE垂直于EC
