角BAC=135°,AD=AE,角DAE=90°。三角形ADE在三角形ABC内,求证:BD乘以CE=二分之一DE的平方 相似三角形