Determine all pairs of positive integers and for which and .
Solution
We will prove the inequality holds for all positive integers , except and .
Indeed, this is readily verified for , and . When the thesis is true for , then . It is then sufficient to show that , rewritten as . Since , everything is thus proven, by simple induction; moreover, the inequality becomes strict for .
One thus gets and , for all different from and . Multiplying, first the two inequalities given in the problem statement, then those two just obtained in the above, we get . But equality only holds here if , which clearly checks. Otherwise, it needs or (or, symmetrically, or ). If , then the inequalities given in the problem statement become and , leading to and respectively, hence . If , then and , leading to and respectively, hence .
Two more pairs of solutions and have thus been found.