因(√(nx+1)-√(ny+1))^2≥0,x+y=1,故n+2-2√(nx+1)√(ny+1)≥0。
故[√(2(n+2))-√(nx+1)-√(ny+1)][√(2(n+1))+√(nx+1)+√(xy+1)]
=2(n+2)-(√(nx+1)+√(ny+1))^2
=2(n+2)-[nx+1+ny+1+2√(nx+1)√(ny+1)]
=n+2-2√(nx+1)√(ny+1)
≥0
故结论成立。
故[√(2(n+2))-√(nx+1)-√(ny+1)][√(2(n+1))+√(nx+1)+√(xy+1)]
=2(n+2)-(√(nx+1)+√(ny+1))^2
=2(n+2)-[nx+1+ny+1+2√(nx+1)√(ny+1)]
=n+2-2√(nx+1)√(ny+1)
≥0
故结论成立。