Maths Olympiad Prep

Library / /118 of 397

Algebra Difficulty 5.4 AIME, harder Prove it Taiwan

Let x,yx, y be distinct positive numbers, and let nn be a positive integer greater than 1. If
xnyn=xn+1yn+1. x^n - y^n = x^{n+1} - y^{n+1}.
Prove that:
1<x+y<2nn+1. 1 < x + y < \frac{2n}{n + 1}.

Solution

First we prove: x+y>1x + y > 1.
Note that,
(x+y)(xnyn)=xn+1yn+1+xy(xn1yn1). (x + y)(x^n - y^n) = x^{n+1} - y^{n+1} + xy(x^{n-1} - y^{n-1}).
Then x+y=xn+1yn+1xnyn+xy×xn1yn1xnyn=1+xy×xn1yn1xnyn. \text{Then } x + y = \frac{x^{n+1} - y^{n+1}}{x^n - y^n} + xy \times \frac{x^{n-1} - y^{n-1}}{x^n - y^n} = 1 + xy \times \frac{x^{n-1} - y^{n-1}}{x^n - y^n}.
Since n>1n > 1, we know that xnynx^n - y^n and xn1yn1x^{n-1} - y^{n-1} have the same sign.
Thus,
xn1yn1xnyn>0. \frac{x^{n-1} - y^{n-1}}{x^n - y^n} > 0.
Therefore x+y>1x + y > 1.

Next we prove:
x+y<2nn+1. x + y < \frac{2n}{n + 1}.
First we prove a lemma.
Lemma: Let x,y>0,nx, y > 0, n be a positive integer. Then
xn+1yn+1n+1>(xnynn)(x+y2).(1) \frac{x^{n+1} - y^{n+1}}{n + 1} > \left(\frac{x^n - y^n}{n}\right) \left(\frac{x + y}{2}\right). \quad (1)

Proof:
(1) is equivalent toxn+xn1y+xn2y2++ynn+1>(xn1+xn2y2++xyn2+yn1n)(x+y2)xn+xn1y+xn2y2++ynn+1>2(xn+xn1y+xn2y2++yn)(xn+yn)2nxn+xn1y+xn2y2++ynn+1<xn+yn22(xn+xn1y+xn2y2++yn)<(n+1)(xn+yn). \begin{align*} & (1) \text{ is equivalent to} \quad \frac{x^n + x^{n-1}y + x^{n-2}y^2 + \cdots + y^n}{n+1} \\ & \quad > \left( \frac{x^{n-1} + x^{n-2}y^2 + \cdots + xy^{n-2} + y^{n-1}}{n} \right) \left( \frac{x+y}{2} \right) \\ & \quad \Leftrightarrow \frac{x^n + x^{n-1}y + x^{n-2}y^2 + \cdots + y^n}{n+1} \\ & \quad > \frac{2(x^n + x^{n-1}y + x^{n-2}y^2 + \cdots + y^n) - (x^n + y^n)}{2n} \\ & \quad \Leftrightarrow \frac{x^n + x^{n-1}y + x^{n-2}y^2 + \cdots + y^n}{n+1} < \frac{x^n + y^n}{2} \\ & \quad \Leftrightarrow 2(x^n + x^{n-1}y + x^{n-2}y^2 + \cdots + y^n) \\ & \quad < (n+1)(x^n + y^n). \tag{2} \end{align*}
From (xiyi)(xniyni)>0xiyni+xniyi<xn+yn. \begin{align*} & \text{From } (x^i - y^i)(x^{n-i} - y^{n-i}) > 0 \\ & \Rightarrow x^i y^{n-i} + x^{n-i} y^i < x^n + y^n. \end{align*}
Therefore (2) holds, and the lemma is proved.

Return to the original problem.
Without loss of generality, assume x>y>0x > y > 0. Then
xnyn>0,xn+1yn+1>0. x^n - y^n > 0, x^{n+1} - y^{n+1} > 0.
From the lemma and the given condition, we get
1n+1>x+y2nx+y<2nn+1. \begin{gather*} \frac{1}{n+1} > \frac{x+y}{2n} \\ \Rightarrow x+y < \frac{2n}{n+1}. \end{gather*}
Therefore 1<x+y<2nn+11 < x + y < \frac{2n}{n + 1}.

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 translated into English from the original; metadata (topic, difficulty) added by this project.