Olympiad Maths Prep

Track / Stage 7 / 185 of 300 #1585 of 2000

Problem 1585

National olympiad second round; IMO P1/P4
Number theory Difficulty 7.4 Find the answer

How many integer triples (x,y,z)(x,y,z) are there such that xyz21(mod13)xz+y4(mod13)\begin{array}{rcl} x - yz^2&\equiv & 1 \pmod {13} \\ xz+y&\equiv& 4 \pmod {13} \end{array} where 0x<130\leq x < 13, 0y<130\leq y <13, and 0z<130\leq z< 13?

$
\textbf{(A)}\ 10
\qquad\textbf{(B)}\ 23
\qquad\textbf{(C)}\ 36
\qquad\textbf{(D)}\ 49
\qquad\textbf{(E)}\ \text{None of above}
$

Official solution

To solve the problem, we need to find the number of integer triples (x,y,z)(x, y, z) that satisfy the following system of congruences modulo 13:
xyz21(mod13)xz+y4(mod13) \begin{array}{rcl} x - yz^2 &\equiv & 1 \pmod{13} \\ xz + y &\equiv & 4 \pmod{13} \end{array}
where 0x<130 \leq x < 13, 0y<130 \leq y < 13, and 0z<130 \leq z < 13.

1. **Express xx in terms of yy and zz:**
From the first congruence, we have:
x1+yz2(mod13) x \equiv 1 + yz^2 \pmod{13}

2. **Substitute xx into the second congruence:**
Substitute xx from the first congruence into the second congruence:
(1+yz2)z+y4(mod13) (1 + yz^2)z + y \equiv 4 \pmod{13}
Simplify the equation:
z+yz3+y4(mod13) z + yz^3 + y \equiv 4 \pmod{13}
Combine like terms:
y(z3+1)+z4(mod13) y(z^3 + 1) + z \equiv 4 \pmod{13}
Rearrange to solve for yy:
y(z3+1)4z(mod13) y(z^3 + 1) \equiv 4 - z \pmod{13}

3. **Analyze the equation y(z3+1)4z(mod13)y(z^3 + 1) \equiv 4 - z \pmod{13}:**
We need to determine when z3+10(mod13)z^3 + 1 \equiv 0 \pmod{13}. This occurs when z31(mod13)z^3 \equiv -1 \pmod{13}.

4. **Find values of zz such that z31(mod13)z^3 \equiv -1 \pmod{13}:**
We need to check which values of zz satisfy this condition. We can test each value of zz from 0 to 12:
zz3(mod13)0011283271464125125862168734358512597291101000121113311212172812 \begin{array}{c|c} z & z^3 \pmod{13} \\ \hline 0 & 0 \\ 1 & 1 \\ 2 & 8 \\ 3 & 27 \equiv 1 \\ 4 & 64 \equiv 12 \\ 5 & 125 \equiv 8 \\ 6 & 216 \equiv 8 \\ 7 & 343 \equiv 5 \\ 8 & 512 \equiv 5 \\ 9 & 729 \equiv 1 \\ 10 & 1000 \equiv 12 \\ 11 & 1331 \equiv 12 \\ 12 & 1728 \equiv 12 \\ \end{array}
We see that z31(mod13)z^3 \equiv -1 \pmod{13} when z4,10,12(mod13)z \equiv 4, 10, 12 \pmod{13}.

5. **Case analysis for zz:
-
Case z4z \equiv 4:**
y(43+1)44(mod13) y(4^3 + 1) \equiv 4 - 4 \pmod{13}
y(64+1)0(mod13) y(64 + 1) \equiv 0 \pmod{13}
y650(mod13) y \cdot 65 \equiv 0 \pmod{13}
Since 650(mod13)65 \equiv 0 \pmod{13}, any value of yy works. There are 13 possible values for yy (0 to 12). For each yy, xx is uniquely determined by x1+yz2(mod13)x \equiv 1 + yz^2 \pmod{13}. Thus, there are 13 solutions in this case.

- **Case z10z \equiv 10 or z12z \equiv 12:**
y(z3+1)4z(mod13) y(z^3 + 1) \equiv 4 - z \pmod{13}
For z=10z = 10:
y(103+1)410(mod13) y(10^3 + 1) \equiv 4 - 10 \pmod{13}
y(1000+1)6(mod13) y(1000 + 1) \equiv -6 \pmod{13}
y10016(mod13) y \cdot 1001 \equiv -6 \pmod{13}
Since 10010(mod13)1001 \equiv 0 \pmod{13}, there is no solution because 6≢0(mod13)-6 \not\equiv 0 \pmod{13}.

For z=12z = 12:
y(123+1)412(mod13) y(12^3 + 1) \equiv 4 - 12 \pmod{13}
y(1728+1)8(mod13) y(1728 + 1) \equiv -8 \pmod{13}
y17298(mod13) y \cdot 1729 \equiv -8 \pmod{13}
Since 17290(mod13)1729 \equiv 0 \pmod{13}, there is no solution because 8≢0(mod13)-8 \not\equiv 0 \pmod{13}.

6. Count the total number of solutions:
- There are 13 solutions when z4z \equiv 4.
- There are no solutions when z10z \equiv 10 or z12z \equiv 12.

Therefore, the total number of solutions is:
13+0+0=13 13 + 0 + 0 = 13

The final answer is 13\boxed{13}

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.