对两个代数不等式的探索

文1]给出了如下定理及猜想:定理1对于任意实数x,y,a,b有(x-a)2 (y-b)2≥(x2 y2-a2 b2)2.定理2已知x,y,xi,yi∈R(i=1,2,…,n),且x2 y2≥n∑i=1xi2 yi2,则(x-n∑i=1xi)2 (y-n∑i=1yi)2≥(x2 y2-n∑i=1xi2 yi2)2(1)猜想,已知x,y,xi,yi∈R(i=1,2,…,n),则(x-n∑i=1xi)2 (y-n∑i=1y