Maths Olympiad Prep

Track / Stage 6 / 356 of 400 #1356 of 1964

Problem 1356

National olympiad, first round
Number theory Difficulty 6.8 Find the answer

Determine all integers xx satisfying
[x2][x3][x4]=x2. \left[\frac{x}{2}\right] \left[\frac{x}{3}\right] \left[\frac{x}{4}\right] = x^2.
([y][y] is the largest integer which is not larger than y.y.)

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

Official solution

To determine all integers x x satisfying the equation
x2x3x4=x2, \left\lfloor \frac{x}{2} \right\rfloor \left\lfloor \frac{x}{3} \right\rfloor \left\lfloor \frac{x}{4} \right\rfloor = x^2,
we will follow these steps:

1. **Non-negativity of x x **:
Since x2 x^2 is nonnegative, x x must also be nonnegative. Therefore, we only need to consider x0 x \geq 0 .

2. Bounding the product:
We need to analyze the product x2x3x4 \left\lfloor \frac{x}{2} \right\rfloor \left\lfloor \frac{x}{3} \right\rfloor \left\lfloor \frac{x}{4} \right\rfloor . For large x x , this product can be approximated by:
(x21)(x31)(x41). \left( \frac{x}{2} - 1 \right) \left( \frac{x}{3} - 1 \right) \left( \frac{x}{4} - 1 \right).
Simplifying this approximation:
(x21)(x31)(x41)=x2x3x4lower order terms. \left( \frac{x}{2} - 1 \right) \left( \frac{x}{3} - 1 \right) \left( \frac{x}{4} - 1 \right) = \frac{x}{2} \cdot \frac{x}{3} \cdot \frac{x}{4} - \text{lower order terms}.
=x324lower order terms. = \frac{x^3}{24} - \text{lower order terms}.
For large x x , x324 \frac{x^3}{24} grows faster than x2 x^2 , so the product will exceed x2 x^2 . Therefore, we need to check x x for smaller values.

3. **Checking values of x x from 0 to 29**:
We need to check each integer x x from 0 to 29 to see if it satisfies the equation. We will compute the product and compare it to x2 x^2 .

- For x=0 x = 0 :
020304=000=0, \left\lfloor \frac{0}{2} \right\rfloor \left\lfloor \frac{0}{3} \right\rfloor \left\lfloor \frac{0}{4} \right\rfloor = 0 \cdot 0 \cdot 0 = 0,
which equals 02=0 0^2 = 0 . So, x=0 x = 0 is a solution.

- For x=24 x = 24 :
242243244=1286=576, \left\lfloor \frac{24}{2} \right\rfloor \left\lfloor \frac{24}{3} \right\rfloor \left\lfloor \frac{24}{4} \right\rfloor = 12 \cdot 8 \cdot 6 = 576,
which equals 242=576 24^2 = 576 . So, x=24 x = 24 is a solution.

- For other values of x x from 1 to 23 and 25 to 29, we need to check each one individually. For example:
- For x=1 x = 1 :
121314=000=0, \left\lfloor \frac{1}{2} \right\rfloor \left\lfloor \frac{1}{3} \right\rfloor \left\lfloor \frac{1}{4} \right\rfloor = 0 \cdot 0 \cdot 0 = 0,
which does not equal 12=1 1^2 = 1 . So, x=1 x = 1 is not a solution.
- For x=2 x = 2 :
222324=100=0, \left\lfloor \frac{2}{2} \right\rfloor \left\lfloor \frac{2}{3} \right\rfloor \left\lfloor \frac{2}{4} \right\rfloor = 1 \cdot 0 \cdot 0 = 0,
which does not equal 22=4 2^2 = 4 . So, x=2 x = 2 is not a solution.
- Continue this process for all x x from 1 to 23 and 25 to 29.

4. Conclusion:
After checking all values, we find that the only solutions are x=0 x = 0 and x=24 x = 24 .

The final answer is 0 and 24 \boxed{0 \text{ and } 24} .

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.