Upon verification, when 0⩽a2−b2<1, (8) is the solution to the original system of equations; in other cases, the original system of equations has no real solutions.
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic and difficulty added by this site.