在直角三角形abc中,ab等于9