如图，在梯形ABCD中，AB∥DC，∠ABC＝90°，AB＝2，BC＝4，tan∠ADC＝2.

（1）求证：DC＝BC；
（2）E是梯形内一点，连接DE、CE，将△DCE绕点C顺时针旋转90°，得△BCF，连接EF.判断EF与CE的数量关系，并证明你的结论；
（3）在（2）的条件下，当CE＝2BE，∠BEC＝135°时，求cos∠BFE的值.

科目 数学   题型 解答题   难度 中等

知识点： 对称式和轮换对称式