International Mathematics Competition
for University Students
2019

Select Year:


IMC 2023
Information
  Results
  Problems & Solutions
 

IMC2019: Day 1, Problem 2

Problem 2. A four-digit number \(\displaystyle YEAR\) is called very good if the system

\(\displaystyle \begin{aligned} Yx+Ey+Az+Rw &= Y \\ Rx + Yy + Ez + Aw &= E \\ Ax + Ry + Yz + Ew &= A \\ Ex + Ay + Rz + Yw &= R \end{aligned} \)

of linear equations in the variables \(\displaystyle x,y,z\) and \(\displaystyle w\) has at least two solutions. Find all very good YEARs in the 21st century.

(The 21st century starts in 2001 and ends in 2100.)

Proposed by Tomáš Bárta, Charles University, Prague

Solution. Let us apply row transformations to the augmented matrix of the system to find its rank. First we add the second, third and fourth row to the first one and divide by \(\displaystyle Y+E+A+R\) to get

\(\displaystyle \begin{pmatrix} 1 & 1 & 1& 1 & 1\\ R & Y & E& A & E\\ A & R & Y & E & A\\ E & A & R & Y & R \end{pmatrix} \sim \begin{pmatrix} 1 & 1 & 1& 1 & 1\\ 0 & Y-R & E-R& A-R & E-R\\ 0 & R-A & Y-A & E-A & 0\\ 0 & A-E & R-E & Y-E & R-E \end{pmatrix} \)

\(\displaystyle \sim \begin{pmatrix} 1 & 1 & 1& 1 & 1\\ 0 & Y-R & E-R& A-R & E-R\\ 0 & R-A & Y-A & E-A & 0\\ 0 & A-E+Y-R & 0 & Y-E+A-R & 0 \end{pmatrix} \)

Let us first omit the last column and look at the remaining \(\displaystyle 4\times 4\) matrix. If \(\displaystyle E\ne R\), the first and second rows are linearly independent, so the rank of the matrix is at least 2 and rank of the augmented \(\displaystyle 4\times 5\) matrix cannot be bigger than rank of the \(\displaystyle 4\times 4\) matrix due to the zeros in the last column.

IF \(\displaystyle E=R\), then we have three zeros in the last column, so rank of the \(\displaystyle 4\times 5\) matrix cannot be bigger than rank of the \(\displaystyle 4\times 4\) matrix. So, the original system has always at least one solution.

It follows that the system has more than one solution if and only if the \(\displaystyle 4\times 4\) matrix (with the last column omitted) is singular. Let us first assume that \(\displaystyle E\ne R\). We apply one more transform to get

\(\displaystyle \sim \begin{pmatrix} 1 & 1 & 1& 1 \\ 0 & Y-R & E-R& A-R \\ 0 & (R-A)(E-R)-(Y-R)(Y-A) & 0 & (E-A)(E-R)-(A-R)(Y-A) \\ 0 & A-E+Y-R & 0 & Y-E+A-R \end{pmatrix} \)

Obviously, this matrix is singular if and only if \(\displaystyle A-E+Y-R=0\) or the two expressions in the third row are equal, i.e.

\(\displaystyle RE - R^2 - AE + AR - Y^2 + RY + AY - AR = E^2 - AE - ER + AR - AY + RY + A^2 - AR \)

\(\displaystyle 0 = (E - R)^2 + (A-Y)^2, \)

but this is impossible if \(\displaystyle E\ne R\). If \(\displaystyle E=R\), we have

\(\displaystyle \sim \begin{pmatrix} 1 & 1 & 1& 1 \\ 0 & Y-R & 0& A-R \\ 0 & R-A & Y-A & R-A \\ 0 & A+Y-2R & 0 & Y+A-2R \end{pmatrix} \sim \begin{pmatrix} 1 & 1 & 1& 1 \\ 0 & Y-R & 0& A-R\\ 0 & R-A & Y-A & R-A\\ 0 & A-R & 0 & Y-R \end{pmatrix}. \)

If \(\displaystyle A=Y\), this matrix is singular. If \(\displaystyle A\ne Y\), the matrix is regular if and only if \(\displaystyle (Y-R)^2\ne (A-R)^2\) and since \(\displaystyle Y\ne A\), it means that \(\displaystyle Y-R\ne -(A-R)\), i.e. \(\displaystyle Y+A\ne 2R\). We conclude that YEAR is very good if and only if

   1. \(\displaystyle E\ne R\) and \(\displaystyle A+Y= E+R\), or

   2. \(\displaystyle E=R\) and \(\displaystyle Y=A\), or

   3. \(\displaystyle E=R\), \(\displaystyle A\ne Y\) and \(\displaystyle Y+A=2R\).

We can see that if \(\displaystyle Y=2\), \(\displaystyle E=0\), then the very good years satisfying 1 are \(\displaystyle A+2=R\ne 0\), i.e. 2002, 2013, 2024, 2035, 2046, 2057, 2068, 2079, condition 2 is satisfied for 2020 and condition 3 never satisfied.

IMC
2019

© IMC