MathDB
n | 4a^2 + 9b^2 -1

Source: 2021 Dutch IMO TST 2.3

December 28, 2021
number theorydividesdivisible

Problem Statement

Prove that for every positive integer nn there are positive integers aa and bb exist with n4a2+9b21n | 4a^2 + 9b^2 -1.