如图，AB是线段，AD和BC是射线，AD//BC．
（1）尺规作图：作AB的垂直平分线EF，垂足为O，且分别与射线BC、AD相交于点E、F（不写作法，保留作图痕迹）；
（2）在（1）条件下，连接AE，求证：AE=AF．

（1）如图（1）在△ABC中，∠BAC＝90°，AB＝AC，直线m经过点A，BD⊥直线m，CE⊥直线m，垂足分别为点D、E．求证：DE＝BD+CE；
（2）如图（2）将（1）中的条件改为：在△ABC中，AB＝AC，D、A、E三点都在直线m上，并且有∠BDA＝∠AEC＝∠BAC＝α，其中α为任意锐角或钝角．请问结论DE＝BD+CE是否成立？如成立，请给出证明；若不成立，请说明理由．

如图，∠ACB＝90°，AC＝BC，BE⊥CE于点E，AD⊥CE于点D，下面四个结论：①∠ABE＝∠BAD；②△CEB≌△ADC；③AB＝CE；④AD－BE＝D

A．其中正确的结论是____.(把所有正确结论的序号都写在横线上)

如图，AB丄CD于点E,且AB = CD = AC,若点I是三角形ACE的角平分线的交点，点F是BD的中点.下列结论：①∠AIC= 135°;②BD = BI,③S_△AIC = S_△BID ；④IF⊥A

A．其中正确的是_________（填序号）.

《几何原本》是一部集前人思想和欧几里得个人创造性于一体的不朽之作，它建立了一套从公理、定义出发，论证命题得到定理的几何学论证方法，形成了一个严密的逻辑体系﹣﹣﹣几何学．以下是《几何原本》第一卷中的命题6，请完成它的证明过程．
命题6：如果一个三角形有两个角相等，那么这两个角所对的边也相等．
已知：　  　．
求证：　  　．
证明：若AB≠AC，其中必有一个较大，不妨设AB＞AC，在AB上截取BD＝AC，
连接DC．
∵　  　，
　  　，
　  　，
∴△ACB≌△DBC　  　
∴∠BDC＝∠CAB　  　．
又∠BDC＞∠CAB　  　．
∴∠BDC与∠CAB即等于又大于，显然是矛盾的．
∴假设不成立，即AB＝AC．