若在2的基础上,添加条件ad等于bd,求证四边形debf为正方形