高层禁止红砖砌墙:如图,∠C=90,AD平分∠CAB,BD平分∠ABC,DF⊥AC,DE⊥CB,求证四边形CEDF是正方形