如图，点C在线段BD上，AC⊥BD，CA=CD，点E在线段CA上，且满足DE=AB，连接DE并延长交AB于点F．

（1）求证：DE⊥AB；

（2）若已知BC=a，AC=b，AB=c，设EF=x，则△ABD的面积用代数式可表示为；你能借助本题提供的图形，证明勾股定理吗？试一试吧．

[问题情境]

勾股定理是一条古老的数学定理，它有很多种证明方法．我国汉代数学家赵爽根据弦图，利用面积法进行证明，著名数学家华罗庚曾提出把“数学关系”（勾股定理）带到其它星球，作为地球人与其他星球“人”进行第一次“谈话”的语言；

[定理表述]请你根据图1中的直角三角形叙述勾股定理；

[尝试证明]以图1中的直角三角形为基础，将两个直角边长为a，b，斜边长为c的三角形按如图所示的方式放置，连接两个之间三角形的另外一对锐角的顶点（如图2），请你利用图2，验证勾股定理；

[知识扩展]利用图2中的直角梯形，我们可以证明＜ ， 其证明步骤如下：

∵BC=a+b，AD={#blank#}1{#/blank#}，

又∵在直角梯形ABCD中，有BCAD（填大小关系），即{#blank#}2{#/blank#} ，

∴＜ ．