A positive integer n are given. Positive numbers x0,x1,…,xn such that x0x1…xn=1. Find all positive γ such that inequality x0γ+x1γ+⋯+xnγ≥x01+x11+⋯+xn1 holds for any set of numbers x0,x1,…,xn.
Solution
Answer:γ≥n.
At first we will show that for 0<γ<n there exists a set x0,x1,…,xn, for which the inequality from the statement of the problem is not held.
Let x0=x−n, x1=x2=⋯=xn=x for some x>0. Then we have x0γ+x1γ+⋯+xnγ=x−nγ+nxγ,x01+x11+⋯+xn1=xn+nx−1. For γ<n we want to find x>0 for which xn+nx−1>x−nγ+nxγ. For this purpose it is enough to choose x>1: xn+nx−1>xn>(n+1)xγ>nxγ+x−nγ, i.e. x−nγ>n+1 also x>nn+1. From here we find a corresponding example.
Let now γ=n then by the Cauchy's inequality we receive nx0n+x1n+⋯+xn−1n≥x0x1…xn−1=xn1,nx0n+x1n+⋯+xn−2n+xnn≥x0x1…xn−2xn=xn−11,…, nx1n+x2n+⋯+xnn≥x1x2…xn=x01. If all these inequalities are added then we will receive the required inequality.
Now we consider the case γ>n, if we prove that for any set of positive numbers x0,x1,…,xn such that x0x1…xn=1 the inequality x0γ+x1γ+⋯+xnγ≥x0n+x1n+⋯+xnn holds, then we will receive a necessary inequality for γ if we use the already proved inequality for n: x0γ+⋯+xnγ≥x0n+⋯+xnn⇔x0γ+⋯+xnγ≥x0n+n+1γ−nx1n+1γ−n…xnn+1γ−n+⋯+x0n+1γ−n…xn−1n+1γ−nxnn+n+1γ−n. To prove the last inequality we will take advantage of a weighted Cauchy's inequality x0n+n+1γ−nx1n+1γ−n…xnn+1γ−n≤γn+n+1γ−nx0γ+γ(n+1)γ−nx1γ+⋯+γ(n+1)γ−nxnγ. We will write down similar inequalities for every item, we will add them and we will receive the requisite evidence.
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 and solution reproduced as published; topic and difficulty added by this site.