柯西不等式
(a1^2+a2^2+a3^2)(b1^2+b2^2+b3^2)≥(a1b1+a2b2+a3b3)^2
三角不等式
|根号[(a1)^2+(a2)^2+(a3)^2] - 根号[(b1)^2+(b2)^2+(b3)^2]|
≤根号[(a1±b1)^2+(a2±b2)^2+(a3±b3)^2]
≤根号[(a1)^2+(a2)^2+(a3)^2] + 根号[(b1)^2+(b2)^2+(b3)^2]