Prove that if 0<x1≤x2≤⋯≤xn and k∈N then the inequality kx1k+xnk−nx1k+⋯+xnk≥x1+xn−nx1+⋯+xn holds.
Solution
kx1k+xnk−nx1k+⋯+xnk=kn(x1k+xnk−x1k)+⋯+(x1k+xnk−xnk)k th mean≥nkx1k+xnk−x1k+kx1k+xnk−x2k+⋯+kx1k+xnk−xnkSince x1+xn−nx1+⋯+xn=n(x1+xn−x1)+(x1+xn−x2)+⋯+(x1+xn−xn)it is sufficient to prove that kx1k+xnk−xik≥x1+xn−xi,∀i=1,n. Note that kx1k+xnk−xik≥x1+xn−xi⇔x1k+xnk−xik≥(x1+xn−xi)k⇔x1k+xnk≥xik+(x1+xn−xi)k. Substituting x1=a,xi=a+x,xn=a+x+y,x,y≥0 we get ak+(a+x+y)k≥(a+x)k+(a+y)k⇔2ak+∑i=1k(x+y)iak−iCki≥2ak+∑i=1k(xi+yi)ak−iCki⇔∑i=1k((x+y)i−xi−yi)ak−iCki≥0 and we have proved. Equality holds when x=y=0⇒x1=x2=⋯=xn.
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.