Maths Olympiad Prep

Library / /316 of 520

Algebra Difficulty 5.4 AIME, harder Find the answer

Example 1 Let a,ba, b be positive constants, x1,x2,,xnx_{1}, x_{2}, \cdots, x_{n} be positive real numbers, and n2n \geqslant 2 be a positive integer. Find:
y=x1x2xn(a+x1)(x1+x2)(xn1+xn)(xn+b) y=\frac{x_{1} x_{2} \cdots x_{n}}{\left(a+x_{1}\right)\left(x_{1}+x_{2}\right) \cdots\left(x_{n-1}+x_{n}\right)\left(x_{n}+b\right)}

the maximum value.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Notice
y=1b(ax1+1)(x1x2+1)(xn1xn+1)(xnb+1). Let a1=ax1,a2=x1x2,an=xn1xn, \begin{array}{c} y=\frac{\frac{1}{b}}{\left(\frac{a}{x_{1}}+1\right)\left(\frac{x_{1}}{x_{2}}+1\right) \cdots\left(\frac{x_{n-1}}{x_{n}}+1\right)\left(\frac{x_{n}}{b}+1\right)} . \\ \text { Let } a_{1}=\frac{a}{x_{1}}, a_{2}=\frac{x_{1}}{x_{2}}, \cdots \cdots a_{n}=\frac{x_{n-1}}{x_{n}}, \end{array}
an+1=xnba_{n+1}=\frac{x_{n}}{b}. Then a1a2an+1=aba_{1} a_{2} \cdots a_{n+1}=\frac{a}{b}.
By the extended version 1, we know
(ax1+1)(x1x2+1)(xn1xn+1)(xnb+1)=i=1n+1(ai+1)(abn+1+1)n+1, \begin{array}{l} \left(\frac{a}{x_{1}}+1\right)\left(\frac{x_{1}}{x_{2}}+1\right) \cdots\left(\frac{x_{n-1}}{x_{n}}+1\right)\left(\frac{x_{n}}{b}+1\right) \\ =\prod_{i=1}^{n+1}\left(a_{i}+1\right) \geqslant\left(\sqrt[n+1]{\frac{a}{b}}+1\right)^{n+1}, \end{array}

Equality holds if and only if a1=a2==an+1=abn+1a_{1}=a_{2}=\cdots=a_{n+1}=\sqrt[n+1]{\frac{a}{b}}, that is,
ax1=x1x2==xn1xn=xnb=abn+1, \frac{a}{x_{1}}=\frac{x_{1}}{x_{2}}=\cdots=\frac{x_{n-1}}{x_{n}}=\frac{x_{n}}{b}=\sqrt[n+1]{\frac{a}{b}},

which means xk=a(ba)kn+1x_{k}=a\left(\frac{b}{a}\right)^{\frac{k}{n+1}} for the equality to hold.
Thus, y1b(abn+1+1)n+1=1(an+1+bn+1)n+1y \leqslant \frac{\frac{1}{b}}{\left(\sqrt[n+1]{\frac{a}{b}}+1\right)^{n+1}}=\frac{1}{(\sqrt[n+1]{a}+\sqrt[n+1]{b})^{n+1}}.
Equality holds if and only if xk=a(ba)kn+1(k=1,2,,n)x_{k}=a\left(\frac{b}{a}\right)^{\frac{k}{n+1}}(k=1,2, \cdots, n)

when yy reaches its maximum value 1(an+1+bn+1)n+1\frac{1}{(\sqrt[n+1]{a}+\sqrt[n+1]{b})^{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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.