证明边长是整数的直角三角形,它的面积也是整数