Maths Olympiad Prep

Library / /1303 of 1394

, 2019

Combinatorics Difficulty 6.0 National Olympiad Prove it United States

Problem:

For a positive integer NN, we color the positive divisors of NN (including 11 and NN) with four colors. A coloring is called multichromatic if whenever aa, bb and gcd(a,b)\operatorname{gcd}(a, b) are pairwise distinct divisors of NN, then they have pairwise distinct colors. What is the maximum possible number of multichromatic colorings a positive integer can have if it is not the power of any prime?

Solution

Solution:

First, we show that NN cannot have three distinct prime divisors. For the sake of contradiction, suppose pqrNp q r \mid N for three distinct primes p,q,rp, q, r. Then by the problem statement, (p,q,1),(p,r,1)(p, q, 1), (p, r, 1), and (q,r,1)(q, r, 1) have three distinct colors, so (p,q,r,1)(p, q, r, 1) has four distinct colors. In addition, (pq,r,1),(pq,pr,p)(p q, r, 1), (p q, p r, p), and (pq,qr,q)(p q, q r, q) have three distinct colors, so (pq,p,q,r,1)(p q, p, q, r, 1) has five distinct colors, contradicting the fact that there are only four possible colors.

Similarly, if p3qNp^{3} q \mid N for some distinct primes pp and qq, then (p,q,1),(p2,q,1),(p3,q,1),(p2,pq,p),(p3,pq,p)(p, q, 1), (p^{2}, q, 1), (p^{3}, q, 1), (p^{2}, p q, p), (p^{3}, p q, p), and (p3,p2q,p2)(p^{3}, p^{2} q, p^{2}) are all triples with distinct colors, so (1,q,p,p2,p3)(1, q, p, p^{2}, p^{3}) must have five distinct colors, which is again a contradiction. In addition, if p2q2Np^{2} q^{2} \mid N for some distinct primes pp and qq, then (p,q,1),(p2,q2,1),(p2,q,1)(p, q, 1), (p^{2}, q^{2}, 1), (p^{2}, q, 1), and (p,q2,1)(p, q^{2}, 1) are all triples with pairwise distinct colors, so (1,p,q,p2,q2)(1, p, q, p^{2}, q^{2}) must have five distinct colors, another contradiction.

We are therefore left with two possibilities:

- Case 1: N=pqN = p q

In this case, the only triple of factors that must have pairwise distinct colors is (p,q,1)(p, q, 1). We have 432=244 \cdot 3 \cdot 2 = 24 choices for these three, and 44 choices for pqp q itself, giving 424=964 \cdot 24 = 96 multichromatic colorings.

- Case 2: N=p2qN = p^{2} q

In this case, the triples of pairwise distinctly colored factors are (p,q,1),(p2,q,1)(p, q, 1), (p^{2}, q, 1), and (p2,pq,p)(p^{2}, p q, p). From this, we see that (1,p,q,p2)(1, p, q, p^{2}) must have four distinct colors, and the color of pqp q must be distinct from pp and p2p^{2}. There are 4321=244 \cdot 3 \cdot 2 \cdot 1 = 24 ways to assign the four distinct colors, 22 ways to assign the color of pqp q after that, and 44 ways to color p2qp^{2} q after that, giving a total of 2424=19224 \cdot 2 \cdot 4 = 192 monochromatic colorings.

Therefore, there can be at most 192192 multichromatic colorings.

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