y^2=a^2c^2+a^2d^2+b^2c^2+b^2d^2
x^2=a^2c^2+2abcd+b^2d^2
y^2-x^2=a^2d^2+b^2c^2-2abcd=(ad-bc)^2≥0
故y^2≥x^2,即y≥x
y≥x
此题的背景是著名的柯西不等式,(∑ai^2)(∑bi^2)≥(∑aibi)^2
若LZ不清楚该不等式,也不要紧
y^2=a^2c^2+a^2d^2+b^2c^2+b^2d^2
x^2=a^2c^2+2abcd+b^2d^2
y^2-x^2=a^2d^2+b^2c^2-2abcd=(ad-bc)^2≥0
故y^2≥x^2,即y≥x