你是要證明schwarz不等式吧。用向量非常容易證,即|a*b|≤|a|*|b|.,還有一種你可以構造二次函數證,將schwarz的結構置於二次函數的Δ判別式裏,因為二次函數恆有解。所以得到一個不等式關係,算了,我跟你寫一下吧。
[x,y]^2 ≤ [x,x]*[y,y]
設x=(x1,)
y=(y1,)
則[x,y]^2=(x1y1+x2y2+)^2
[x,x]*[y,y]=(x1^2+x2^2+^2)(y1^2+y2^2+...+yn^2)
首先構造方程(x1z-y1)^2+(x2z-y2)^2+...+(xnz-yn)^2=0
z是未知數,其他的是參數。
我們知道這個方程最多隻有一個解,這個方程可以改成
(x1^2+x2^2+^2)z^2-2*=(x1y1+x2y2+)*z+(y1^2+y2^2+...+yn^2)=0
那麼它的Δ<=0
也就是説=4(x1y1+x2y2+)^2-4(x1^2+x2^2+^2)(y1^2+y2^2+...+yn^2)<=0
則[x,y]^2 ≤ [x,x]*[y,y]