Maths Olympiad Prep

Library / /9 of 15

Algebra Difficulty 5.8 AIME, harder Prove it Romania

Let a,bRa, b \in \mathbb{R} and zCRz \in \mathbb{C} \setminus \mathbb{R} such that ab=a+b2z|a - b| = |a + b - 2z|.

a. Prove that there exists an unique real number xx which satisfies zax+zˉbx=abx|z - a|^x + |\bar{z} - b|^x = |a - b|^x.

b. Find all real numbers xx such that zax+zˉbxabx|z - a|^x + |\bar{z} - b|^x \le |a - b|^x.

Solution

a. Set u=zau = z - a, v=zbv = z - b. The relation gives vu=u+v|v - u| = |u + v| where u,v,u+vCRu, v, u + v \in \mathbb{C} \setminus \mathbb{R}, so u,v,u+v0u, v, u + v \neq 0. Thus u+v2=u2+v2|u + v|^2 = |u|^2 + |v|^2. Since v=vˉ|v| = |\bar{v}|, the equation is written successively ux+vx=(u2+v2)x|u|^x + |v|^x = (\sqrt{|u|^2 + |v|^2})^x and then (uu2+v2)x+(vu2+v2)x=1\left(\frac{|u|}{\sqrt{|u|^2+|v|^2}}\right)^x + \left(\frac{|v|}{\sqrt{|u|^2+|v|^2}}\right)^x = 1.

The function f:RRf: \mathbb{R} \to \mathbb{R}, f(x)=(uu2+v2)x+(vu2+v2)xf(x) = \left( \frac{|u|}{\sqrt{|u|^2+|v|^2}} \right)^x + \left( \frac{|v|}{\sqrt{|u|^2+|v|^2}} \right)^x is strictly decreasing, hence x=2x = 2 is the only solution.

b. The solution is [2,+)[2, +\infty), for ff is strictly decreasing.

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