I'm having trouble understanding one step in a proof of the Cauchy-Schwarz inequality:

u = a non-zero vector
v = another vector
a = <u,u> (so a > 0 by positivity axiom)
b = 2<u,v>
c = <v,v> (so c >= 0 by positivity axiom)
t = any real number

0 <= <tu + v, tu + v> (by positivity axiom)
0 <= t^2<u,u> + 2t<u,v> + <v,v>
0 <= at^2 + bt + c

I understand thus far. But then, the book says, "This inequality implies that the quadratic polynomial at^2 + bt + c has either no real roots or a repeated real root. Therefore its discriminant must satisfy the inequality b^2 - 4ac <= 0"

Why does the inequality imply that the quadratic has no real roots or a repeated real root? Why can't the quadratic have two different roots if b^2 - 4ac > 0?

If there are two different roots, say y1 and y2 such that y1 < y2, then the function would factorize as:

at^2 + bt + c = A(t-y1)(t-y2)

This means that the function will change sign if you let t increase from a value smaller than y1 to a value larger than y1 but still smaller than y2. But a change of sign of this function is precluded because it has to be larger than zero for all t.

makes perfect sense. thanks!

The book is using the discriminant of a quadratic polynomial to determine whether it has real roots or not. The discriminant of a quadratic polynomial is given by the expression b^2 - 4ac.

If the discriminant b^2 - 4ac > 0, it means that the quadratic polynomial has two distinct real roots.

The book argues that since 0 <= at^2 + bt + c for all real numbers t, the quadratic polynomial at^2 + bt + c must be non-negative. If the discriminant b^2 - 4ac > 0, it implies that the quadratic polynomial has two distinct real roots. This means that there exists some values of t such that at^2 + bt + c is negative, contradicting the fact that it must be non-negative for all t.

Hence, the book concludes that the quadratic polynomial must either have no real roots or a repeated real root, which is equivalent to saying that b^2 - 4ac <= 0. This ensures that at^2 + bt + c is always non-negative for all t.