MathDB
4x^3 - 3x + 1 = 2y^2 has at least 31 solutions

Source: Donova MO 2005, problem 1

February 11, 2006
trigonometrynumber theory proposednumber theory

Problem Statement

Prove that the equation 4x33x+1=2y24x^3-3x+1=2y^2 has at least 3131 solutions in positive integers xx and yy with x2005x\leq 2005.