你证明了一遍闵可夫斯基不等式
【 在 laofu 的大作中提到: 】
: 原式的平方 = a^2+4 + b^2+49 + 2*sqrt[(a^2+4)(b^2+49)]
: (a^2+4)(b^2+49) = (ab)^2+(2*7)^2+(7a)^2+(2b)^2
: 大于等于 (ab)^2+(2*7)^2+ 2*(7a*2b) = (ab+2*7)^2，
: ...................
--
FROM 123.112.71.*