已知，在△ABC中，∠BAC=90°，∠ABC=45°，点D为直线BC上一动点（点D不与点B，C重合）．以AD为边做正方形ADEF，连接CF 
（1）如图1，当点D在线段BC上时．求证CF+CD=BC；
（2）如图2，当点D在线段BC的延长线上时，其他条件不变，请直接写出CF，BC，CD三条线段之间的关系；
（3）如图3，当点D在线段BC的反向延长线上时，且点A，F分别在直线BC的两侧，其他条件不变；
①请直接写出CF，BC，CD三条线段之间的关系；
②若正方形ADEF的边长为
，对角线AE，DF相交于点O，连接OC．求OC的长度．
x
⑵
⑷（
π＋1）0－
＋
－
DE⊥AB于E，DF⊥AC于点F，且BE=CF，求证AD⊥BC。
D的高，求证:AD垂直平分EF。(5分)
