en fait je m'aperçois maintenant qu'on pouvait raisonner ... en regardant un peu mieux ...
posons x = 4n² et y = 3n(n + 1)
il est évident que n et n + 1 sont premiers entre eux : (1)(n + 1) + (-1)n = 1
donc aussi n² et n + 1 puisque (1)n² + (1 - n)(1 + n) = 1
donc n²(n + 1) divise P = ppcm (4n², 3n(n + 1))
ensuite si n = 3p et n + 1 = 4q alors 3p + 1 = 4q <=> 4q - 3p = 1 est vrai pour une infinité de couples puisque 3 et 4 sont premiers entre eux ....
q = 1 + 3k et p = 1 + 4k donc n = 3(1 + 4k)
alors x = 4n² = 4 * 9 * (1 + 4k)² = 36(1 + 4k)² et y = 3n(n + 1) = 9(1 + 4k)(12k + 4) = 36(1 + 4k)(1 + 3k)
donc D = pgcd (4n², 3n(n+ 1)) = 36(1 + 4k) = 12n car 1 + 4k et 1 + 3k sont premiers entre eux (4(1 + 3k) - 3(1 + 4k) = 1)
et P = xy/D = xy/(12n) = n²(n + 1)
ce me semble-t-il ....

Ce qui est affirmé sans preuve peut être nié sans preuve. EUCLIDE