00:01
We're asked to prove that if a, b, c, and d are integers, such that a plus b equals c plus d, then it follows.
00:26
The matrix a, which is a, b, c, d, it's a 2x2 matrix, has integer eigenvalues, namely, lambda 1 equals a plus b, and lambda 2 equals a minus c.
00:43
Well, let's find the eigenvalues of this 2x2 matrix.
00:46
To do this, we want to find the determinant of the matrix a minus lambda i, where i is the identity matrix.
00:57
This is the determinant of a minus lambda, b, c, d minus lambda.
01:05
This is the same as a minus lambda times d minus lambda minus bc.
01:13
We want to solve when this is equal to zero, the zeros of the characteristic polynomial.
01:25
So first, all right, this is a quadratic equation.
01:28
We have lambda squared minus a plus d lambda minus bc equals zero.
01:41
And therefore, our eigenvalues are lambda equals, well, first of all, we can actually, using the quadratic formula, find lambda equals a plus d plus or minus the square root of a plus d squared minus four times negative bc all over two this is the same as a plus d plus or minus the square root of well made a mistake actually the characteristic polynomial well this is actually lambda squared minus a plus d plus ad minus bc.
02:52
And so this is actually a plus d squared minus 4 times ad minus bc.
03:08
And so if we distribute foil and do things, we get a squared plus 2ad plus d squared minus 4 ad plus 4bc, all over 2...