MathDB
Epression is an integer if and only if {a}+{b}+{c} is

Source: Pan African MO 2006 Q3

May 1, 2013
floor functionalgebra unsolvedalgebra

Problem Statement

For a real number xx let x\lfloor x\rfloor be the greatest integer less than or equal to xx and let {x}=xx\{x\} = x - \lfloor x\rfloor. If a,b,ca, b, c are distinct real numbers, prove that a3(ab)(ac)+b3(ba)(bc)+c3(ca)(cb)\frac{a^3}{(a-b)(a-c)}+\frac{b^3}{(b-a)(b-c)}+\frac{c^3}{(c-a)(c-b)} is an integer if and only if {a}+{b}+{c}\{a\} + \{b\} + \{c\} is an integer.