斜边和一条直角边对应相等的两个直角三角形全等