一直角三角形,三边长都是有理数