三角形ABC和三角形ECD都是等腰直角三角形,角ABC=角DCE=90,D为AB边上一点证明AD的平方+AE的平方=DE