Maths Olympiad Prep

Library / /159 of 520

Algebra Difficulty 6.6 National olympiad Find the answer

Let a,bRa,b\in \mathbb{R} and zC\Rz\in \mathbb{C}\backslash \mathbb{R} so that ab=a+b2z\left| a-b \right|=\left| a+b-2z \right|.
a) Prove that the equation zax+zˉbx=abx{{\left| z-a \right|}^{x}}+{{\left| \bar{z}-b \right|}^{x}}={{\left| a-b \right|}^{x}}, with the unknown number xRx\in \mathbb{R}, has a unique solution.
b) Solve the following inequation zax+zˉbxabx{{\left| z-a \right|}^{x}}+{{\left| \bar{z}-b \right|}^{x}}\le {{\left| a-b \right|}^{x}}, with the unknown number xRx\in \mathbb{R}.
The Mathematical Gazette

A number or a short expression. Spacing and $ signs are ignored.

Solution

### Part (a)

1. Given Condition:
ab=a+b2z |a - b| = |a + b - 2z|
This implies that the distance between aa and bb is equal to the distance between a+ba + b and 2z2z.

2. Equation to Prove:
zax+zˉbx=abx |z - a|^x + |\bar{z} - b|^x = |a - b|^x

3. Using the Given Condition:
ab=a+b2z |a - b| = |a + b - 2z|
Let d=abd = |a - b|. Then:
d=a+b2z d = |a + b - 2z|

4. **Expressing zz in Terms of aa and bb:**
Since zCRz \in \mathbb{C} \setminus \mathbb{R}, we can write z=x+yiz = x + yi where y0y \neq 0.

5. Using the Triangle Inequality:
za+zbab |z - a| + |z - b| \geq |a - b|
Since zz is not real, the equality holds only if zz lies on the line segment joining aa and bb, which is not possible here.

6. Simplifying the Equation:
zax+zˉbx=abx |z - a|^x + |\bar{z} - b|^x = |a - b|^x
Let f(x)=zax+zˉbxabxf(x) = |z - a|^x + |\bar{z} - b|^x - |a - b|^x.

7. **Analyzing f(x)f(x):**
f(x)=0    zax+zˉbx=abx f(x) = 0 \implies |z - a|^x + |\bar{z} - b|^x = |a - b|^x
We need to show that f(x)=0f(x) = 0 has a unique solution.

8. **Checking x=2x = 2:**
za2+zˉb2=ab2 |z - a|^2 + |\bar{z} - b|^2 = |a - b|^2
This is true because:
za2+zˉb2=za2+zb2=ab2 |z - a|^2 + |\bar{z} - b|^2 = |z - a|^2 + |z - b|^2 = |a - b|^2
Hence, x=2x = 2 is a solution.

9. Uniqueness:
Since f(x)f(x) is strictly decreasing, there can be only one solution. Therefore, x=2x = 2 is the unique solution.

\blacksquare

### Part (b)

1. Given Inequation:
zax+zˉbxabx |z - a|^x + |\bar{z} - b|^x \leq |a - b|^x

2. Analyzing the Function:
From part (a), we know that f(x)=zax+zˉbxabxf(x) = |z - a|^x + |\bar{z} - b|^x - |a - b|^x is strictly decreasing.

3. **Behavior of f(x)f(x):**
Since f(x)f(x) is strictly decreasing and f(2)=0f(2) = 0, for x2x \geq 2, f(x)0f(x) \leq 0.

4. Conclusion:
x2 x \geq 2

\blacksquare

The final answer is x2 \boxed{ x \geq 2 }

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

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