三角形ABE与C~DE全等（AAS）
设EC~=x,则BE=8-x,DE*DE=x*x+4*4
由全等可知：
BE=DE
所以BE*BE=DE*DE
即（8-x）（8-x）=x*x+4*4
解得x=3
所以DE=5