Maths Olympiad Prep

Library / /22 of 37

Algebra Difficulty 6.9 National olympiad Find the answer

Let ai,bi,i=1,,na_i,b_i,i=1,\cdots,n are nonnegitive numbers,and n4n\ge 4,such that a1+a2++an=b1+b2++bn>0a_1+a_2+\cdots+a_n=b_1+b_2+\cdots+b_n>0.

Find the maximum of i=1nai(ai+bi)i=1nbi(ai+bi)\frac{\sum_{i=1}^n a_i(a_i+b_i)}{\sum_{i=1}^n b_i(a_i+b_i)}

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

Solution

Let ai,bi a_i, b_i for i=1,,n i = 1, \ldots, n be nonnegative numbers, and let n4 n \geq 4 such that i=1nai=i=1nbi>0 \sum_{i=1}^n a_i = \sum_{i=1}^n b_i > 0 .

We aim to find the maximum value of the expression:
i=1nai(ai+bi)i=1nbi(ai+bi). \frac{\sum_{i=1}^n a_i(a_i + b_i)}{\sum_{i=1}^n b_i(a_i + b_i)}.

We will prove that for n4 n \geq 4 , the maximum value is n1 n - 1 .

Without loss of generality, we can assume a1a2an a_1 \geq a_2 \geq \cdots \geq a_n and i=1nai=i=1nbi=1 \sum_{i=1}^n a_i = \sum_{i=1}^n b_i = 1 . Let A=i=1nai2 A = \sum_{i=1}^n a_i^2 , B=i=1nbi2 B = \sum_{i=1}^n b_i^2 , and X=i=1naibi X = \sum_{i=1}^n a_i b_i .

We define the function:
f(X)=A+XB+X. f(X) = \frac{A + X}{B + X}.

The derivative of f(X) f(X) is:
f(X)=BA(B+X)2. f'(X) = \frac{B - A}{(B + X)^2}.

Since f(X)<0 f'(X) < 0 when A>B A > B , we want to minimize X X to maximize the fraction. By the rearrangement inequality, X X is minimized when b1b2bn b_1 \leq b_2 \leq \cdots \leq b_n .

Next, we fix b1,,bn b_1, \ldots, b_n and define:
F(a1,,an)=A+XB+X. F(a_1, \ldots, a_n) = \frac{A + X}{B + X}.

We will show that:
F(a1,a2,,an)F(a1+a2,0,,an). F(a_1, a_2, \ldots, a_n) \leq F(a_1 + a_2, 0, \ldots, a_n).

This is true because a12+a22(a1+a2)2 a_1^2 + a_2^2 \leq (a_1 + a_2)^2 and a1b1+a2b2(a1+a2)b1 a_1 b_1 + a_2 b_2 \geq (a_1 + a_2) b_1 . By repeating this step n1 n - 1 times, we conclude:
F(a1,,an)F(1,0,,0). F(a_1, \ldots, a_n) \leq F(1, 0, \ldots, 0).

It remains to prove:
F(1,0,,0)=1+b1i=1nbi2+b1n1. F(1, 0, \ldots, 0) = \frac{1 + b_1}{\sum_{i=1}^n b_i^2 + b_1} \leq n - 1.

Using the Cauchy-Schwarz inequality, we get:
1+b1i=1nbi2+b11+b1b12+(1b1)2n1+b1. \frac{1 + b_1}{\sum_{i=1}^n b_i^2 + b_1} \leq \frac{1 + b_1}{b_1^2 + \frac{(1 - b_1)^2}{n - 1} + b_1}.

Finally, we need to show:
1+b1b12+(1b1)2n1+b1n1b1(nb1+n4)0. \frac{1 + b_1}{b_1^2 + \frac{(1 - b_1)^2}{n - 1} + b_1} \leq n - 1 \quad \Leftrightarrow \quad b_1 (n b_1 + n - 4) \geq 0.

This inequality clearly holds for n4 n \geq 4 .

Equality holds when a1=1 a_1 = 1 , a2==an=0 a_2 = \cdots = a_n = 0 , and b1=0 b_1 = 0 , b2==bn=1n1 b_2 = \cdots = b_n = \frac{1}{n - 1} .

Thus, the maximum value of the given expression is:
i=1nai(ai+bi)i=1nbi(ai+bi)=n1. \frac{\sum_{i=1}^n a_i(a_i + b_i)}{\sum_{i=1}^n b_i(a_i + b_i)} = n - 1.

The answer is: \boxed{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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.