00:01
We're asked to prove theorem 714.
00:05
Recall what this theorem says.
00:07
It says that a matrix a, two by two real matrix, with entries a, b, c, d is positive definite.
00:18
If and only if, diagonal elements a and d are positive.
00:34
And the determinant of a, which is ad minus, well, this is really the same as these two entries.
00:52
It's a symmetric.
00:53
Yeah, because he's like, actually what is going on here? the theorem 714 only applies to, sorry, symmetric real two by two matrices.
01:05
So a is a matrix of the form ab, b, b.
01:08
And therefore it's positive definite if and only if a and d are positive and the determined ad minus b squared is also positive.
01:19
To prove this statement, i'll begin by defining you to be the transpose of x, y.
01:35
Then it follows that f of u, this is u.
01:50
F of u this is u transpose times a times u.
01:56
This is x y row vector times a times the column vector xy which multiplying things out this is a -x squared plus 2b times x times y plus b squared.
02:18
Plus d is a -squared x -squared plus 2b x -y plus d times y -square, not an a -squared.
02:35
It's a times x squared plus 2b x -y plus d times y squared.
02:42
We're going to suppose that our function f of u is positive for every non -zero use.
02:52
Well, then this implies that f of 1, the vector 1 -0, well, this is, if you plug this in, a, is positive.
03:07
Also, f of the row vector 01, which is d, is also positive...