CE=CD,CA=CB.
而角ACD=角BCE=90度
所以三角形BCE与三角形ACD全等,
角CAD=角CBF,
又角CDA=角FDB.
角CBF+角FDB=角CAD+角CDA=90度
角DFB=180度-（角CBF+角FDB）=90度
所以AF垂直于BE.