Let k and n be positive integers. Prove that, if xj are real numbers for 1≤j≤n, such that j=1∑nxj2k+k1=k1 holds, it follows that j=1∑nxj2k+1+k+21≤k+11
Solution
Solution: We can, in fact, show that each of the expressions in the second sum is not greater than the corresponding expression in the first, multiplied by the factor k+1k. Substituting y:=xj2k, this means that we wish to show y2+k+21≤k+1k⋅y+k1 Since y is certainly positive for k>0, this is equivalent to (k+1)(y+k)≤k(y2+k+2), or P(y)=ky2−(k+1)y+k≥0. This polynomial is quadratic in y, and we have P(0)=k>0. For the discriminant of the polynomial we have (k+1)2−4k2=−3k2+2k+1≤−3k2+3k=−3k(k−1)≤0, and we see that the polynomial can only assume positive values, which completes the proof. qed
Want a route through all this instead of an archive? The track
puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.
Source: MathNet,
licensed CC-BY-4.0.
Statement reproduced verbatim; metadata (topic, difficulty) added by this project.