Prove: From the 2-variable mean inequality and the n-variable mean inequality, we get
that is,
(1+x2)(1+y2)=1+x2+y2+x2y2≥1+2xy+x2y2=(1+xy)2
that is,
(1+x2)(1+y2)≥(1+xy)2. xn−1y+xyn−1≤n1[(n−1)xn+yn]+n1[xn+(n−1)yn]=xn+yn,xn−1y+xyn−1≤xn+yn.
Thus, 1+x2xn+1+y2yn=(1+x2)(1+y2)xn(1+y2)+yn(1+x2)
=(1+x2)(1+y2)(xn+yn)+xy(xn−1y+xyn−1)≤(1+xy)2(xn+yn)+xy(xn+yn)=1+xyxn+yn
Therefore, we have 1+x2xn+1+y2yn≤1+xyxn+yn.