已知直角三角形abc的斜边ab等于四根号二加二