在三角形ACD中,有:角CAD=角BCF 又:AC=BC 角ACD=角CBF=90度 则:三角形ACD全等于三角形CBF 所以: CD=BF 又:CD=BD 则:BD=BF则三角形BDF为等腰直角三角形。又AB平分角DBF(角DBA=角ABF=45度)所以AB垂直平分DF