如图:三角形abc和三角形ecd都是等腰直角三角形,角acb=角dce=90度,d为ab边上一点.求证:bd=ae