xM+yM,=nM,xN+yN,=nN,故有 可yxM+ yn a xA+yN M(xM+y)-M(xM +N+yNJ (xM+y) N(xM+yn)-N(M +M+yN) (xN +yX)-N(M+yNJ M+yM) M+yN 故命题成立x M x +y M y =nM，x Nx +y N y =nN，故有 M N y xM yN x xM yN   −  +  + = 2 ( ) ( ) ( ) y y y xM yN M x N y xM yN M M + − + + N + 2 ( ) ( ) ( ) x x x xM yN N x M y xM yN − N N + − + + M + = 2 ( ) ( ) ( ) M x yN N x y x y x xM yN − N N + − + M + = 2 ( ) ( ) ( ) M nN N nM xM yN − − + =0. 故命题成立