一个代数不等式的推广及逆向

(2) 式中左边不等式得证。下证(2)式中右边不等式根据待证不等式关于x,y的对称性,不妨设0≤y≤x≤a,则a-y≥a-x≥0。