49. Let n,k∈N,1⩽k⩽n,x1,x2,⋯,xn be positive real numbers, and x1+x2+⋯+xk=x1x2⋯xk, prove that: x1n−1+x2n−1+⋯+xkn−1⩾kn. (1989 Federal German Mathematical Olympiad Problem)
This one wants a proof. Work it on paper, read the official solution, then mark
yourself honestly — the ladder only means something if the record is true.
Official solution
49. Using the AM-GM inequality, we get x1n−1+x2n−1+⋯+xkn−1⩾k⋅k(x1x2⋯xk)n−1
From the given conditions and the AM-GM inequality, we get x1x2⋯x2=x1+x2+⋯+x4⩾k⋅kx1x2⋯x2
Substituting (3) into (1), we get x1n−1+x2n−1+⋯+x1n−1⩾k⋅kn−1
Next, we prove k−1kn−1⩾n. That is, we need to prove n−1nk−1⩽k
Given 1⩽k⩽n, noting the root index n−1 and n raised to the power of k−1, we add n−n ones inside the root and apply the AM-GM inequality to get nnn−1=n−1n1⋅1⩽n−1(k−1)n+(n−k)⋅1=k
Inequality (3) is thus proven. (1), (2) hold with equality if and only if x1=x2=⋯=xi. (5) holds with equality if and only if n=k. Therefore, the original inequality holds with equality if and only if n=kH1x1=x2=⋯=x2.
Source: NuminaMath-1.5,
licensed Apache-2.0.
Statement and solution reproduced as published; topic, difficulty and ordering added
by this site.