Let be a positive integer. For any positive integer , let be a zero matrix. Let $Y=\begin{pmatrix}
0_n & A \\
A^t & 0_{n+1}
\end{pmatrix}(2n+1) \times (2n+1)A=(x_{i, j})_{1\leq i \leq n, 1\leq j \leq n+1}n \times (n+1)A^TA(n+1) \times n(j, i)x_{i, j}$.
(a) Let complex number be an eigenvalue of matrix . If there exists nonzero column vectors such that . Prove that 0 is the eigenvalue of and the other eigenvalues of can be expressed as a form of where nonnegative real number is the eigenvalue of .
(b) Let and , , , are distinct positive real numbers. Let and where , $\delta_{i, j}=
\begin{cases}
1 \text{ if } i=j\\
0 \text{ if } i\neq j\\
\end{cases}\,Y$ has 7 distinct eigenvalue.
Problem 1640
Official solution
### Part (a)
1. **Eigenvalues of :**
Given , we need to show that 0 is an eigenvalue of and the other eigenvalues can be expressed as , where is a nonnegative eigenvalue of .
2. Characteristic Polynomial:
To find the eigenvalues of , we consider the characteristic polynomial . We have:
The determinant of this block matrix can be computed using the Schur complement:
Simplifying, we get:
3. **Eigenvalues of :**
Let be an eigenvalue of . Then there exists a nonzero vector such that:
Since and have the same nonzero eigenvalues, the eigenvalues of are also .
4. **Eigenvalues of :**
The eigenvalues of are the solutions to:
This implies:
Therefore, the eigenvalues of are where are the eigenvalues of . Additionally, since is a matrix, there is an extra eigenvalue 0.
### Part (b)
1. **Given Matrix :**
For , we have where:
where and .
2. Distinct Eigenvalues:
We need to show that has 7 distinct eigenvalues. According to the solution, has 7 distinct eigenvalues if and has 3 distinct eigenvalues.
3. Symmetric Polynomials:
Let for . The characteristic polynomial of is given by:
where are the elementary symmetric polynomials of .
4. Discriminant:
The discriminant of the characteristic polynomial is:
We need to show that .
5. Homogeneous Polynomial:
Since is a homogeneous polynomial of degree 10 in , we can assume . By solving the partial derivatives, we find that is not reached, implying .
6. Conclusion:
Since , has 3 distinct eigenvalues, and thus has 7 distinct eigenvalues.