设a-c=m,b-c=n,则原式变为√cm+√cn≤√((c+m)(c+n)
只需证cm+cn+2c√mn≤c^2+cm+cn+mn
即证c^2+mn≥2cmn
显然成立,且以上各步处处可逆,故得证