一直角三角形的两直角边的和为12