如图△ABC和△ECD都是等腰三角形∠ACB=∠ECD=90°D为AB边上一点 求证:已知AD=3,AB=7,求DE的长