已知直角三角形的三条边长为整数,它的周长为80