Proposition: Cauchy Schwarz Inequality. Let
. Then,
With the equality holding only when
, for some
- In other words, the dot product of two vectors will always be less than or equal to the magnitudes of the two vectors
- The only case where they are equal is when the vectors are linearly dependent, or when the angle between them either 0 or 180.
Remark:
implies that , meaning that Therefore, Therefore, we can see that , where is the angle between the two vectors.
- This remark relates to another definition of the dot product
- We know the dot product can also be defined as:
, where is the angle between vectors
- We know the dot product can also be defined as:
Proof: Pick
. Consider: This is a quadratic equation in the variable . If is linearly independent, then . This forces the discriminant of the polynomial to be negative, meaning it has no solutions. When is a scalar multiple of , meaning that for some , then has only one root: . This means the discriminant of is zero, so: