已知 如12.2-35,在三角形ABC中,角ACB=90