ABCD为菱形,所以AB=BC,BD平分角ABC,∠ABD=∠CBD
又BE=BE,所以△ABE全等于△CBE
所以角CEB=角AEB=角DEF
又AB=AD,所以角ABD=角ADB
所以角ABD+角AEB=90°=角DEF+角ADB
从而垂直得证