Maths Olympiad Prep

Library / /496 of 520

Algebra Difficulty 7.8 National olympiad, round 2 Find the answer

[i][b]a)[/b][/i] Determine if there are matrices A,B,CSL2(Z)A,B,C\in\mathrm{SL}_{2}(\mathbb{Z}) such that A2+B2=C2A^2+B^2=C^2.

[b][i]b)[/i][/b] Determine if there are matrices A,B,CSL2(Z)A,B,C\in\mathrm{SL}_{2}(\mathbb{Z}) such that A4+B4=C4A^4+B^4=C^4.

[b]Note[/b]: The notation ASL2(Z)A\in \mathrm{SL}_{2}(\mathbb{Z}) means that AA is a 2×22\times 2 matrix with integer entries and detA=1\det A=1.

A number or a short expression. Spacing and $ signs are ignored.

Solution

### Part (a)
Determine if there are matrices A,B,CSL2(Z) A, B, C \in \mathrm{SL}_2(\mathbb{Z}) such that A2+B2=C2 A^2 + B^2 = C^2 .

1. Understanding the Problem:
- We need to find matrices A,B,C A, B, C in SL2(Z) \mathrm{SL}_2(\mathbb{Z}) such that A2+B2=C2 A^2 + B^2 = C^2 .
- SL2(Z) \mathrm{SL}_2(\mathbb{Z}) denotes the group of 2×2 2 \times 2 matrices with integer entries and determinant equal to 1.

2. **Properties of Matrices in SL2(Z) \mathrm{SL}_2(\mathbb{Z}) :**
- If ASL2(Z) A \in \mathrm{SL}_2(\mathbb{Z}) , then det(A)=1 \det(A) = 1 .
- The determinant of the square of a matrix in SL2(Z) \mathrm{SL}_2(\mathbb{Z}) is also 1, i.e., det(A2)=(det(A))2=1 \det(A^2) = (\det(A))^2 = 1 .

3. **Exploring the Equation A2+B2=C2 A^2 + B^2 = C^2 :**
- Consider the determinants on both sides of the equation:
det(A2+B2)=det(C2) \det(A^2 + B^2) = \det(C^2)
- Since det(C2)=(det(C))2=1 \det(C^2) = (\det(C))^2 = 1 , we have:
det(A2+B2)=1 \det(A^2 + B^2) = 1
- However, the determinant of the sum of two matrices is not generally equal to the sum of their determinants. Therefore, we need to explore further.

4. Counterexample Approach:
- Suppose A=I A = I (the identity matrix), B=I B = I , and C=2I C = \sqrt{2}I . Clearly, A,B,CSL2(Z) A, B, C \in \mathrm{SL}_2(\mathbb{Z}) and:
A2+B2=I+I=2IandC2=(2I)2=2I A^2 + B^2 = I + I = 2I \quad \text{and} \quad C^2 = (\sqrt{2}I)^2 = 2I
- This satisfies A2+B2=C2 A^2 + B^2 = C^2 , but 2ISL2(Z) \sqrt{2}I \notin \mathrm{SL}_2(\mathbb{Z}) because 2 \sqrt{2} is not an integer.

5. Conclusion:
- There are no matrices A,B,CSL2(Z) A, B, C \in \mathrm{SL}_2(\mathbb{Z}) such that A2+B2=C2 A^2 + B^2 = C^2 .

False \boxed{\text{False}}

### Part (b)
Determine if there are matrices A,B,CSL2(Z) A, B, C \in \mathrm{SL}_2(\mathbb{Z}) such that A4+B4=C4 A^4 + B^4 = C^4 .

1. Understanding the Problem:
- We need to find matrices A,B,C A, B, C in SL2(Z) \mathrm{SL}_2(\mathbb{Z}) such that A4+B4=C4 A^4 + B^4 = C^4 .

2. **Properties of Matrices in SL2(Z) \mathrm{SL}_2(\mathbb{Z}) :**
- If ASL2(Z) A \in \mathrm{SL}_2(\mathbb{Z}) , then det(A)=1 \det(A) = 1 .
- The determinant of the fourth power of a matrix in SL2(Z) \mathrm{SL}_2(\mathbb{Z}) is also 1, i.e., det(A4)=(det(A))4=1 \det(A^4) = (\det(A))^4 = 1 .

3. **Exploring the Equation A4+B4=C4 A^4 + B^4 = C^4 :**
- Consider the determinants on both sides of the equation:
det(A4+B4)=det(C4) \det(A^4 + B^4) = \det(C^4)
- Since det(C4)=(det(C))4=1 \det(C^4) = (\det(C))^4 = 1 , we have:
det(A4+B4)=1 \det(A^4 + B^4) = 1
- Again, the determinant of the sum of two matrices is not generally equal to the sum of their determinants. Therefore, we need to explore further.

4. Counterexample Approach:
- Suppose A=I A = I (the identity matrix), B=I B = I , and C=24I C = \sqrt[4]{2}I . Clearly, A,B,CSL2(Z) A, B, C \in \mathrm{SL}_2(\mathbb{Z}) and:
A4+B4=I+I=2IandC4=(24I)4=2I A^4 + B^4 = I + I = 2I \quad \text{and} \quad C^4 = (\sqrt[4]{2}I)^4 = 2I
- This satisfies A4+B4=C4 A^4 + B^4 = C^4 , but 24ISL2(Z) \sqrt[4]{2}I \notin \mathrm{SL}_2(\mathbb{Z}) because 24 \sqrt[4]{2} is not an integer.

5. Conclusion:
- There are no matrices A,B,CSL2(Z) A, B, C \in \mathrm{SL}_2(\mathbb{Z}) such that A4+B4=C4 A^4 + B^4 = C^4 .

False \boxed{\text{False}}

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

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