Maths Olympiad Prep

Library / /8 of 43

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. Spacing and $ signs are ignored.

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)(A22AB+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=A22AB+4B2D=A^{2}-2 A B+4 B^{2} be the two factors above. Then detCdetD=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 CD(mod4)C \equiv D(\bmod 4) we can see that detCdetD(mod4)\operatorname{det} C \equiv \operatorname{det} D \quad(\bmod 4) This implies that detCdetD(detC)2(mod4)\operatorname{det} C \cdot \operatorname{det} D \equiv(\operatorname{det} C)^{2}(\bmod 4), but this is a contradiction because 2019n32019^{n} \equiv 3 (mod4)(\bmod 4) is a quadratic nonresidue modulo 4. Solution 2. Notice that A4A4+4A2B2+16B4=2019Imod4A^{4} \equiv A^{4}+4 A^{2} B^{2}+16 B^{4}=2019 I \quad \bmod 4 so (detA)4=detA4det(2109I)=2019n(mod4)(\operatorname{det} A)^{4}=\operatorname{det} A^{4} \equiv \operatorname{det}(2109 I)=2019^{n} \quad(\bmod 4) But 2019n32019^{n} \equiv 3 is a quadratic nonresidue modulo 4, contradiction.

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: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.