用余弦定理cosB=(BC^2+AB^2-AC^2)/2BC*AB求出角B的大小 arccos1/8然后在直角三角形BCE中，用求出的角B的大小计算BE边的长度BE=BC*cosB=4*1/8=1/2在用BD减BE即可求出ED=2.5-0.5=2
