如图，△ABC中，D是AB上一点，DE⊥AC于点E，F是AD的中点，FG⊥BC于点G，与DE交于点H，若FG＝AF，AG平分∠CAB，连接GE，GD．

（1）求证：△ECG≌△GHD；
（2）小亮同学经过探究发现：AD＝AC+EC．请你帮助小亮同学证明这一结论．
（3）若∠B＝30°，判定四边形AEGF是否为菱形，并说明理由．

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

如图，在平面直角坐标系中，将直角三角形的直角顶点放在点P（4，4)处，两直角边分别与坐标轴交于点A和点B，则OA+OB的值为________.

如图，已知△ABC中，AB=AC，∠BAC=90°，直角三角形EPF的顶点P是BC的中点，两边PE、PF分别交AB、AC于点E、F，给出以下五个结论：①AE=CF；②∠APE=∠CPF；③△EPF是等腰直角三角形；④EF=AP；⑤，当∠EPF在△ABC内绕顶点P旋转时（点E不与A、B重合）上述结论正确的是_____________．（填序号）

在△ABC中，AB＝AC，∠A＝60°，点D是线段BC的中点，∠EDF＝120°，DE与线段AB相交于点E，DF与线段AC（或AC的延长线）相交于点F．

（1）如图1，若DF⊥AC，垂足为F，证明：DE＝DF
（2）如图2，将∠EDF绕点D顺时针旋转一定的角度，DF仍与线段AC相交于点F．DE＝DF仍然成立吗？说明理由．
（3）如图3，将∠EDF继续绕点D顺时针旋转一定的角度，使DF与线段AC的延长线相交于点F，DE＝DF仍然成立吗？说明理由．