Maths Olympiad Prep

Library / International Mathematics Competition /8 of 41

International Mathematics Competition

Algebra Difficulty 7.6 National Olympiad, round 2 Find the answer

Determine whether there exist an odd positive integer nn and n×nn \times n matrices AA and BB with integer entries, that satisfy the following conditions: (1) det⁡(B)=1\operatorname{det}(B)=1; (2) AB=BAA B=B A; (3) A4+4A2B2+16B4=2019IA^{4}+4 A^{2} B^{2}+16 B^{4}=2019 I. (Here II denotes the n×nn \times n identity matrix.)

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

We show that there are no such matrices. Notice that A4+4A2B2+16B4A^{4}+4 A^{2} B^{2}+16 B^{4} can factorized as A4+4A2B2+16B4=(A2+2AB+4B2)(A2−2AB+4B2)A^{4}+4 A^{2} B^{2}+16 B^{4}=\left(A^{2}+2 A B+4 B^{2}\right)\left(A^{2}-2 A B+4 B^{2}\right) Let C=A2+2AB+4B2C=A^{2}+2 A B+4 B^{2} and D=A2−2AB+4B2D=A^{2}-2 A B+4 B^{2} be the two factors above. Then det⁡C⋅det⁡D=det⁡(CD)=det⁡(A4+4A2B2+16B4)=det⁡(2019I)=2019n\operatorname{det} C \cdot \operatorname{det} D=\operatorname{det}(C D)=\operatorname{det}\left(A^{4}+4 A^{2} B^{2}+16 B^{4}\right)=\operatorname{det}(2019 I)=2019^{n} The matrices C,DC, D have integer entries, so their determinants are integers. Moreover, from C≡D( mod 4)C \equiv D(\bmod 4) we can see that det⁡C≡det⁡D( mod 4)\operatorname{det} C \equiv \operatorname{det} D \quad(\bmod 4) This implies that det⁡C⋅det⁡D≡(det⁡C)2( mod 4)\operatorname{det} C \cdot \operatorname{det} D \equiv(\operatorname{det} C)^{2}(\bmod 4), but this is a contradiction because 2019n≡32019^{n} \equiv 3 ( mod 4)(\bmod 4) is a quadratic nonresidue modulo 4. Solution 2. Notice that A4≡A4+4A2B2+16B4=2019I mod 4A^{4} \equiv A^{4}+4 A^{2} B^{2}+16 B^{4}=2019 I \quad \bmod 4 so (det⁡A)4=det⁡A4≡det⁡(2109I)=2019n( mod 4)(\operatorname{det} A)^{4}=\operatorname{det} A^{4} \equiv \operatorname{det}(2109 I)=2019^{n} \quad(\bmod 4) But 2019n≡32019^{n} \equiv 3 is a quadratic nonresidue modulo 4, contradiction.

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

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.