直角三角形三条边长都是整数