Determine the determinant!

Algebra Level 5

Find the number of positive integer factors of the determinant of the 2017 × 2017 2017 \times 2017 matrix whose diagonal elements are all 2017 and off-diagonal elements are all 1.

Notes:

  1. An element in a square matrix is said to be a diagonal element if its row number and column number are equal to each other.
  2. An element in a square matrix is said to be an off-diagonal element if it is not a diagonal element.


The answer is 328018037764.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

2 solutions

Ivan Koswara
Feb 26, 2017

Adding a multiple of a row to another doesn't change the determinant, so add -1 times the first row to each of the other rows:

( 2017 1 1 1 2016 2016 0 0 2016 0 2016 0 2016 0 0 2016 ) \left( \begin{matrix} 2017 & 1 & 1 & \ldots & 1 \\ -2016 & 2016 & 0 & \ldots & 0 \\ -2016 & 0 & 2016 & \ldots & 0 \\ \vdots & \vdots & \vdots & \ddots & \vdots \\ -2016 & 0 & 0 & \ldots & 2016 \end{matrix} \right)

Except for top left element (which is 2017), the first row contains all 1s, the diagonal contains all 2016s, and the first column contains all -2016s.

Add 1 2016 -\frac{1}{2016} of each row except the first to the first row. The first row vanishes, except for the first element which becomes 4033.

Since the matrix is now lower diagonal, the determinant is the product of the diagonal entries: 4033 201 6 2016 = ( 37 109 ) ( 2 5 3 2 7 ) 2016 4033 \cdot 2016^{2016} = (37 \cdot 109) \cdot (2^5 \cdot 3^2 \cdot 7)^{2016} . It's well known that the number of positive divisors of an integer with factorization p 1 e 1 p 2 e 2 p 3 e 3 p_1^{e_1} p_2^{e_2} p_3^{e_3} \ldots is ( 1 + e 1 ) ( 1 + e 2 ) ( 1 + e 3 ) (1+e_1)(1+e_2)(1+e_3) \ldots , so applying to this, the factorization is 3 7 1 10 9 1 2 10080 3 4032 7 2016 37^1 \cdot 109^1 \cdot 2^{10080} \cdot 3^{4032} \cdot 7^{2016} and the number of positive divisors is 2 2 10081 4033 2017 = 328018037764 2 \cdot 2 \cdot 10081 \cdot 4033 \cdot 2017 = \boxed{328018037764} .

Shourya Pandey
Feb 23, 2017

Clearly, 2016 2016 is an eigenvalue of the matrix (call the determinant A A ).

Also, the matrix A 2016 I A-2016I has all its elements 1 1 , so its nullity is 2017 1 = 2016 2017-1 = 2016 . Therefore, the geometric multiplicity of the eigenvalue, 2016 2016 is 2016 2016 , and hence its algebraic multiplicity is at least 2016 2016 (and at most 2017 2017 , because the order of the matrix is 2017 2017 ).

If the eigenvalue 2016 2016 would have had multiplicity 2017 2017 , then (trace A A ) = = sum of all eigenvalues of A A ,and so

2017 × 2017 = 2016 × 2017 2017 \times 2017 = 2016 \times 2017 , which is absurd.

It follows that the eigenvalue 2016 2016 has multiplicity 2016 2016 . Let λ \lambda be the last eigenvalue. Then (trace A A ) = = sum of all eigenvalues of A A , so

2017 × 2017 = 2016 × 2016 + λ 2017 \times 2017 = 2016 \times 2016 + \lambda , therefor λ = 4033 \lambda = 4033 .

It follows that

A = 201 6 2016 × 4033 = ( 2 5 × 3 2 × 7 ) 2016 × 37 × 109 |A| = 2016^{2016} \times 4033 = (2^{5} \times 3^{2} \times 7)^{2016} \times 37 \times 109

= 2 10080 × 3 4032 × 7 2016 × 37 × 109 = 2^{10080} \times 3^{4032} \times 7^{2016} \times 37 \times 109 , which has

10081 × 4033 × 2017 × 2 × 2 = 328018037764 10081 \times 4033 \times 2017 \times 2 \times 2 = 328018037764 factors.

How 2016 is an eigen value ?

Kushal Bose - 4 years, 3 months ago

Log in to reply

Note that A 2016 I A-2016I has all rows the same, so it's determinant is 0 0 (Remember, a determinant of a matrix with any two rows or two columns same is 0 0 .

Shourya Pandey - 4 years, 3 months ago

Log in to reply

You need to say a little more to prove your result. The vector e = ( 1 1 1 ) \mathbf{e} = \left(\begin{array}{c} 1 \\ 1 \\ \vdots \\ 1 \end{array} \right) is an eigenvector of A A of eigenvalue 4033 4033 , and any vector orthogonal to e \mathbf{e} is an eigenvector of A A of eigenvalue 2016 2016 . Since the orthogonal complement of the one-dimensional subspace of R 2017 \mathbb{R}^{2017} spanned by e \mathbf{e} is 2016 2016 -dimensional, we deduce that we can find 2016 2016 linearly independent eigenvectors of A A with eigenvalue 2016 2016 . Thus A A has eigenvalues: 4033 4033 (once) and 2016 2016 (repeated 2016 2016 times)...

Mark Hennings - 4 years, 3 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...