MathDB
3x^3 - [x] = 3

Source: IMO Longlist 1989, Problem 75

September 18, 2008
floor function

Problem Statement

Solve in the set of real numbers the equation 3x^3 \minus{} [x] \equal{} 3, where [x] [x] denotes the integer part of x. x.