[jlev1]

Hmm. I don't know about this particular equation (which sounds like it's mainly significant because it's viewed as a bellwether -- if the method works on it, it's likely to work on other problems). Anyway.

First -- for "homogeneous" equations like the one being studied (or simpler ones like x^2 + y^2 = z^2), a rational solution can be rescaled to get an integer solution -- replace (x,y,z) by (cx,cy,cz), a new solution with denominators cleared out. Homogeneous equations are very, very common.

That said, yes, the ultimate goal is to understand integer solutions (and as you say, they're often the only meaningful solutions in practical situations). But integer solutions can be impossibly hard to find, whereas rational solutions are just... very hard.

I guess I could imagine some unusual situation where rational solutions make sense but real ones don't. But it would have to be some context where x,y are "sort of discrete", they can be broken down into finitely-many parts (so fractions make sense) but no further (so sqrt(2) is out). But this does seem less likely.

[leereeves]

Does this particular method only find rational solutions less than one?

It seems to me that integer solutions are rational solutions, and if you can find a finite number of rational solutions and prove those are all the rational solutions, you've also found all integer solutions (by filtering the rational solutions for integers).

But when there are infinitely many rational solutions, that may leave an open question whether there are also infinitely many integer solutions.