Maths Olympiad Prep

Library / Pan African MO /4 of 10

Pan African MO

Algebra Difficulty 6.3 National Olympiad Find the answer

Find all real solutions xx to the equation ⌊x2−2x⌋+2⌊x⌋=⌊x⌋2\lfloor x^2 - 2x \rfloor + 2\lfloor x \rfloor = \lfloor x \rfloor^2.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

To solve the equation ⌊x2−2x⌋+2⌊x⌋=⌊x⌋2\lfloor x^2 - 2x \rfloor + 2\lfloor x \rfloor = \lfloor x \rfloor^2, we proceed with the following steps:

### Step 1: Understanding the Floor Function

The floor function, ⌊y⌋\lfloor y \rfloor, represents the greatest integer less than or equal to yy. This means that for any real number xx, ⌊x⌋≤x<⌊x⌋+1\lfloor x \rfloor \leq x < \lfloor x \rfloor + 1.

### Step 2: Set x=n+θx = n + \theta

Consider x=n+θx = n + \theta where n=⌊x⌋n = \lfloor x \rfloor and 0≤θ<10 \leq \theta < 1. Substituting this into the main equation gives:

⌊(n+θ)2−2(n+θ)⌋+2n=n2. \lfloor (n+\theta)^2 - 2(n+\theta) \rfloor + 2n = n^2.

This simplifies to:

⌊n2+2nθ+θ2−2n−2θ⌋+2n=n2. \lfloor n^2 + 2n\theta + \theta^2 - 2n - 2\theta \rfloor + 2n = n^2.

Hence, we have:

⌊θ2+θ(2n−2)⌋=0. \lfloor \theta^2 + \theta(2n - 2) \rfloor = 0.

This equation implies that:

0≤θ2+θ(2n−2)<1. 0 \leq \theta^2 + \theta(2n - 2) < 1.

### Step 3: Solve the Quadratic Inequality

The inequality becomes:

θ2+θ(2n−2)<1. \theta^2 + \theta(2n - 2) < 1.

Completing the square, we have:

(θ+(n−1))2<(n−1)2+1. (\theta + (n-1))^2 < (n-1)^2 + 1.

For 0≤θ<10 \leq \theta < 1, θ+(n−1)<(n−1)2+1\theta + (n-1) < \sqrt{(n-1)^2 + 1}. Therefore, this restricts:

n−1<θ+(n−1)<(n−1)2+1. n - 1 < \theta + (n-1) < \sqrt{(n-1)^2 + 1}.

This inequality in terms of θ\theta results in:

n−1<x<(n−1)2+1+1. n - 1 < x < \sqrt{(n-1)^2 + 1} + 1.

### Conclusion

The above range, n−1<x<(n−1)2+1+1n - 1 < x < \sqrt{(n-1)^2 + 1} + 1, corresponds to the solution intervals (n,(n−1)2+1+1)(n, \sqrt{(n-1)^2 + 1} + 1) for each integer n≥1n \geq 1. Additionally, since nn is an integer, xx can also be any integer, hence x∈Zx \in \mathbb{Z}.

Thus, the complete set of solutions is:

x∈Z∪⋃n=1∞(n,(n−1)2+1+1). \boxed{x \in \mathbb{Z} \cup \bigcup_{n = 1} ^{\infty} (n, \sqrt{(n-1)^2 + 1} + 1)}.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.