一道竞赛题的简解

题目试对一切不全为0的实数x,y,z,w,给出代数式(xy+2yz+zw)/(x~2+y~2+z~2+w~2)的一个上界,(你给出的上界越小,你得的分数越高)。 (1985年奥地利和波兰联合数学竞赛题),文中介绍了用爬坡式推理解决这道题的方法。下面我们给出这道题的一个简解: (2~(1/2)+1)x~2+(2~(1/2)-1)y~2≥2xy (1) 2(y~2+z~2)≥4yz (2) (2~(1/2)-1)z~2+(2~(1/2)+1)w~2≥2zw (3)