证明:设A是mxn矩阵,x,y是n维列向量,若列向量Ax和Ay是线性无关的,则x和y也是线性无关的

三维的是： (a1*a2+b1*b2+c1*c2)^2 <= (a1^2+b1^2+c1^2)(a2^2+b2^2+c2^2）柯西不等式可以用向量来证明柯西不等式的一般证法有以下几种：■①Cauchy不等式的形式化写法就是：记两列数分别是ai, bi，则有 (∑ai^2) * (∑bi^2) ≥ (∑ai * bi)^2. 我们令 f(x) = ∑(ai + x * bi)^2 = (∑bi^2) * x^2 + 2 * (∑ai * bi) * x + (∑ai^2) 则我们知道恒有 f(x) ≥ 0. 用二次函数无实根或只有一个实根的条件，就有 Δ = 4 * (∑ai * bi)^2 - 4 * (∑ai^2) * (∑bi^2) ≤ 0. 于是移项得到结论。 ■②用向量来证. m=(a1,a2....an) n=(b1,b2....bn) mn=a1b1+a2b2+....+anbn=(a1^+a2^+....+an^)^1/2乘以(b1^+b2^+....+bn^)^1/2乘以cosX． 因为cosX小于等于0，所以：a1b1+a2b2+....+anbn小于等于a1^+a2^+....+an^)^1/2乘以(b1^+b2^+....+bn^)^1/2 这就证明了不等式．柯西不等式还有很多种，这里只取两种较常用的证法．