Maths Olympiad Prep

Library / Slovenia — National Math Olympiad /45 of 122

Slovenia — National Math Olympiad

Algebra Difficulty 4.9 AIME Prove it Slovenia

Prove that for all real xx and yy the inequality
∣x+y∣+∣x+1∣+∣y+1∣≥2 |x + y| + |x + 1| + |y + 1| \geq 2
holds. For what xx does there exist yy such that ∣x+y∣+∣x+1∣+∣y+1∣=2|x+y|+|x+1|+|y+1| = 2?

Solution

For all real aa we have ∣a∣≥a|a| \ge a and ∣a∣≥−a|a| \ge -a. So,
∣x+y∣≥−(x+y),∣x+1∣≥x+1,∣y+1∣≥y+1,(1) |x + y| \ge -(x + y), \quad |x + 1| \ge x + 1, \quad |y + 1| \ge y + 1, \quad (1)

∣x+y∣+∣x+1∣+∣y+1∣≥−(x+y)+(x+1)+(y+1)=2.|x + y| + |x + 1| + |y + 1| \geq -(x + y) + (x + 1) + (y + 1) = 2.
Assume that the equality holds. Then the equality case occurs in all three inequalities (1) and so x+y≤0x + y \leq 0, x+1≥0x + 1 \geq 0 and y+1≥0y + 1 \geq 0. We get −1≤x≤−y≤1-1 \leq x \leq -y \leq 1 or −1≤x≤1-1 \leq x \leq 1. If −1≤x≤1-1 \leq x \leq 1 and y=−xy = -x, then
|x + y| + |x + 1| + |y + 1| = 2.

We can conclude that only for all real x∈[−1,1]x \in [-1, 1] there exists yy, such that the equality holds.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.