Maths Olympiad Prep

Library / /58 of 63

, 2025

Number theory Difficulty 4.1 AIME Prove it Canada

The prime factorization of 784784 is 2×2×2×2×7×72\times2\times2\times2\times7\times7 or 24×722^4\times7^2, and so 784784 is a perfect square because it can be written in the form (22×7)×(22×7)(2^2\times7)\times(2^2\times7). The prime factorization of 4545 is 32×53^2\times5, and so 4545 is not a perfect square. However, 45×545\times5 is a perfect square since 45×5=32×52=(3×5)×(3×5)45\times5=3^2\times5^2=(3\times5)\times(3\times5).Figure 0 What are all positive integers jj with j20j \leq 20 for which 23×32×j2^3\times 3^2\times j is a perfect square?
Figure 1 Determine all positive integers kk so that 20×k20\times k is both a perfect square and a divisor of 36003600.Figure 2 Determine the number of ordered triples of positive integers (a,b,c)(a, b, c) so that $a2×b2×\$a^2\times b^2\times
c=2025$.

Solution

A positive integer n>1n>1 is a perfect square exactly when the exponent on each prime factor in the prime factorization of nn is even. We note that 23×322^3\times3^2 has an odd exponent on the prime factor 2, and an even exponent on the prime factor 33. Thus, 23×32×j2^3\times3^2\times j is a perfect square exactly when jj is equal to the product of an odd number of factors of 22 and an even number of each additional prime factor greater than 22 (including possibly having no additional prime factors). Since j20j\leq20, then the prime factorization of jj must contain either one factor of 22 or three factors of 22, and jj cannot contain five or more factors of 22 since 25>202^5>20. When j=2j=2, the given product, 23×32×2=24×32=(22×3)×(22×3)2^3\times3^2\times2=2^4\times3^2=(2^2\times3)\times(2^2\times3), is a perfect square. When j=23=8j=2^3=8, the given product, 23×32×23=26×32=(23×3)×(23×3)2^3\times3^2\times2^3=2^6\times3^2=(2^3\times3)\times(2^3\times3), is also a perfect square. Is it possible for the prime factorization of jj to contain one 22 and an even number of another prime factor greater than 22? The smallest prime number greater than 22 is 33, and when j=2×32=18<20j=2\times3^2=18<20, the given product 23×32×2×32=24×34=(22×32)×(22×32)2^3\times3^2\times2\times3^2=2^4\times3^4=(2^2\times3^2)\times(2^2\times3^2), is a perfect square. The next smallest possible value of jj for which its prime factorization contains exactly one 2 is 2×522\times5^2, which is greater than 2020. (Note that j=2×34j=2\times3^4 is also greater than 2020.) The next smallest possible value of jj for which its prime factorization contains exactly three factors of 22 is 23×322^3\times3^2, which is also greater than 2020. Therefore, the positive integers jj which satisfy the given conditions are 22, 88 and 1818. Since 3600=6023600=60^2 and 60=22×3×560=2^2\times3\times5, then 3600=(22×3×5)2=24×32×523600=(2^2\times3\times5)^2=2^4\times3^2\times5^2. Thus, each divisor of 36003600 contains at most the prime factors 22, 33 and 55, and cannot contain any other prime factors. Further, the prime factorization of each divisor of 36003600 contains at most four factors of 22, two factors of 33, and two factors of 55. Suppose that k=2x×3y×5zk=2^x\times3^y\times5^z. Then 20×k=22×5×2x×3y×5z=2x+2×3y×5z+120\times k=2^2\times5\times2^x\times3^y\times5^z=2^{x+2}\times3^y\times5^{z+1}
is a divisor of 3600=24×32×523600=2^4\times3^2\times5^2 exactly when 0x20\leq x\leq 2, 0y20\leq y\leq 2, and 0z10\leq z\leq 1, for integers x,y,zx,y,z. As noted in part (a), $20×k=2x+2×3y×5z+1\$20\times k=2^{x+2}\times3^y\times5^{z+1} is a perfect square exactly when each of the exponents,

Figure for this problem

Figure for this problem

Figure for this problemx+2,, y,and, and z+1iseven.Since is even. Since 0x0\leq x\leq 2,then, then x+2isevenwhen is even when x=0or or x=2.Since. Since 0y0\leq y\leq 2,then, then yisevenwhen is even when y=0or or y=2.Since. Since 0z0\leq z\leq 1,then, then z+1isevenwhen is even when z=1.Thereare. There are 2choicesfor choices for x,, 2choicesfor choices for y,and1choicefor, and 1 choice for z,andsothereare, and so there are 2×2×1=42\times2\times1=4possiblevaluesof possible values of k.When. When (x,y,z)=(0,0,1),weget, we get k=20×30×51=5k=2^0\times3^0\times5^1=5.When. When (x,y,z)=(0,2,1),weget, we get k=20×32×51=45k=2^0\times3^2\times5^1=45.When. When (x,y,z)=(2,0,1),weget, we get k=22×30×51=20k=2^2\times3^0\times5^1=20.When. When (x,y,z)=(2,2,1),weget, we get k=22×32×51=180k=2^2\times3^2\times5^1=180.Thepositiveintegers. The positive integers k satisfying the given conditions are

Figure for this problem

Figure for this problem

Figure for this problem5,, 45,, 20,and, and 180.Since. Since 2025=45^2and and 45=32×545=3^2\times5,then, then 2025=(32×5)2=34×522025=(3^2\times5)^2=3^4\times5^2.Since. Since a^2and and b^2areperfectsquares,and are perfect squares, and a2×b2×a^2\times b^2\times c=2025,then, then a^2and and b^2 are each equal to perfect square divisors of

Figure for this problem

Figure for this problem

Figure for this problem2025. The perfect square divisors of

Figure for this problem

Figure for this problem

Figure for this problem2025=34×522025=3^4\times5^2are:1, are: 1, 3^2,, 3^4,, 5^2,, 32×523^2\times5^2,and, and 34×523^4\times5^2. We count the number of ordered triples of positive integers

Figure for this problem

Figure for this problem

Figure for this problem(a,b,c)byconsideringthefollowing by considering the following 2cases: cases: (1)Atleastoneof At least one of a^2or or b^2isequalto is equal to 1;; (2)Both Both a^2and and b^2arenotequalto are not equal to 1.Case1:Atleastoneof. Case 1: At least one of a^2or or b^2isequalto is equal to 1.Supposethat. Suppose that a^2=1.Then. Then b^2 can be equal to each of the perfect square divisors of

Figure for this problem

Figure for this problem

Figure for this problem2025previouslylisted.Thatis, previously listed. That is, b^2canbeequaltoeachofthe can be equal to each of the 6values: values: 1,, 3^2,, 3^4,, 5^2,, 32×523^2\times5^2,and, and 34×523^4\times5^2. For each of these values of

Figure for this problem

Figure for this problem

Figure for this problemb^2,, c=2025a2×c=\dfrac{2025}{a^2\times} b^2}.Forexample,when. For example, when a^2=1and and b^2=1, then (c= 3 4 5 2 1 1 =3 4 5 2 ), and so\text{, then (c= 3 4 5 2 1 1 =3 4 5 2 ), and so}(a,b,c)=(1,1,34×52)(a,b,c)=(1,1,3^4\times5^2)isapossibleorderedtriple.When is a possible ordered triple. When a^2=1and and b^2=3^2,then, then c=34×521×32=32×52c=\dfrac{3^4\times5^2}{1\times 3^2}=3^2\times5^2,andso, and so (a,b,c)=(1,3,32×52)(a,b,c)=(1,3,3^2\times5^2) is a possible ordered triple. Continuing in this way with

Figure for this problem

Figure for this problem

Figure for this problema^2=1, we get the following 6 ordered triples

Figure for this problem

Figure for this problem

Figure for this problem(a,b,c):: (1,1,34×52),(1,3,32×52),(1,32,52),(1,5,34),(1,3×5,32),(1,32×5,1)(1,1,3^4\times5^2), (1,3,3^2\times5^2), (1,3^2,5^2), (1,5,3^4), (1,3\times5,3^2), (1,3^2\times5, 1) For each of the ordered triples above, with the exception of

Figure for this problem

Figure for this problem

Figure for this problem(1,1,34×52)(1,1,3^4\times5^2),wegetaneworderedtriplebyswitching, we get a new ordered triple by switching aand and b.Eachofthese. Each of these 5 new ordered triples can be determined by letting

Figure for this problem

Figure for this problem

Figure for this problemb^2=1 and following the process above, and thus each satisfies the given conditions. There are a total of

Figure for this problem

Figure for this problem

Figure for this problem5×2+1=115\times2+1=11 ordered triples in this case. Case 2: Both

Figure for this problem

Figure for this problem

Figure for this problema^2and and b^2arenotequalto are not equal to 1.Ifoneof. If one of a^2or or b^2isequalto is equal to 34×523^4\times5^2, then the other must be equal to

Figure for this problem

Figure for this problem

Figure for this problem1(since (since 2025=34×522025=3^4\times5^2).InCase2,both). In Case 2, both a^2and and b^2arenotequalto are not equal to 1,andsoeachisalsonotequalto, and so each is also not equal to 34×523^4\times5^2. Removing these from our list of perfect square divisors, the possible values of

Figure for this problem

Figure for this problem

Figure for this problema^2and and b^2thatremainare: that remain are: 3^2,, 3^4,, 5^2,and, and 32×523^2\times5^2.If. If a^2=3^2,then, then b^2canbeequalto can be equal to 3^2or or 5^2or or 32×523^2\times5^2.If. If a^2=3^4,then, then b^2canbeequalto can be equal to 5^2.If. If a^2=5^2,then, then b^2canbeequalto can be equal to 3^2or or 3^4.Andfinally,if. And finally, if a2=32×52a^2=3^2\times5^2,then, then b^2canbeequalto can be equal to 3^2. In each case, the value of

Figure for this problem

Figure for this problem

Figure for this problemccanbedeterminedasitwasinCase1.Doingsogivesthefollowing can be determined as it was in Case 1. Doing so gives the following 7orderedtriples ordered triples (a,b,c):: (3,3,52),(3,5,32),(3,3×5,1),(32,5,1),(5,3,32),(5,32,1),(3×5,3,1)(3,3,5^2), (3,5,3^2), (3,3\times5,1), (3^2,5,1), (5,3,3^2), (5,3^2, 1),(3\times5,3,1) The number of ordered triples of positive integers

Figure for this problem

Figure for this problem

Figure for this problem(a,b,c)sothat so that a2×b2×a^2\times b^2\times c=2025isis 11+7=18$.

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: CEMC, University of Waterloo, licensed CC-BY-NC-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.