MathDB
Equation has no integer solution.

Source: INMO 2013

February 3, 2013
calculusintegrationinequalitiesfunctionalgebrapolynomial

Problem Statement

Let a,b,c,dNa,b,c,d \in \mathbb{N} such that abcda \ge b \ge c \ge d . Show that the equation x4ax3bx2cxd=0x^4 - ax^3 - bx^2 - cx -d = 0 has no integer solution.