返回题库

AIME 2019 I · 第 9 题

AIME 2019 I — Problem 9

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

Let τ(n)\tau(n) denote the number of positive integer divisors of nn. Find the sum of the six least positive integers nn that are solutions to τ(n)+τ(n+1)=7\tau (n) + \tau (n+1) = 7.

解析

Solution

In order to obtain a sum of 77, we must have:

  • either a number with 55 divisors (a fourth power of a prime) and a number with 22 divisors (a prime), or
  • a number with 44 divisors (a semiprime or a cube of a prime) and a number with 33 divisors (a square of a prime). (No integer greater than 11 can have fewer than 22 divisors.)

Since both of these cases contain a number with an odd number of divisors, that number must be an even power of a prime. These can come in the form of a square-like 323^2 with 33 divisors, or a fourth power like 242^4 with 55 divisors. We then find the smallest such values by hand.

  • 222^2 has two possibilities: 33 and 44 or 44 and 55. Neither works.
  • 323^2 has two possibilities: 88 and 99 or 99 and 1010. (8,9)\boxed{(8,9)} and (9,10)\boxed{(9,10)} both work.
  • 242^4 has two possibilities: 1515 and 1616 or 1616 and 1717. Only (16,17)\boxed{(16,17)} works.
  • 525^2 has two possibilities: 2424 and 2525 or 2525 and 2626. Only (25,26)\boxed{(25,26)} works.
  • 727^2 has two possibilities: 4848 and 4949 or 4949 and 5050. Neither works.
  • 343^4 has two possibilities: 8080 and 8181 or 8181 and 8282. Neither works.
  • 11211^2 has two possibilities: 120120 and 121121 or 121121 and 122122. Only (121,122)\boxed{(121,122)} works.
  • 13213^2 has two possibilities: 168168 and 169169 or 169169 and 170170. Neither works.
  • 17217^2 has two possibilities: 288288 and 289289 or 289289 and 290290. Neither works.
  • 19219^2 has two possibilities: 360360 and 361361 or 361361 and 362362. Only (361,362)\boxed{(361,362)} works.

Having computed the working possibilities, we take the sum of the corresponding values of nn: 8+9+16+25+121+361=5408+9+16+25+121+361 = \boxed{\textbf{540}}. ~Kepy.

Possible improvement: since all primes >2>2 are odd, their fourth powers are odd as well, which cannot be adjacent to any primes because both of the adjacent numbers will be even. Thus, we only need to check 1616 for the fourth power case. - mathleticguyyy

Solution 2

Let the ordered pair (a,b)(a,b) represent the number of divisors of nn and n+1n+1 respectively. We see that to obtain a sum of 77, we can have (2,5),(3,4),(4,3),(2,5), (3,4), (4,3), and (5,2)(5,2).

Case 1: When we have (2,5)(2,5) For nn to have 2 divisors, it must be a prime number. For n+1n+1 to have 5 divisors, it must be in the form a4a^4. If n+1n+1 is in the form a4a^4, then n=a41=(a2+1)(a1)(a+1)n = a^4-1 = (a^2+1)(a-1)(a+1). This means that nn, or a41a^4-1 has factors other than 1 and itself; nn is not prime. No cases work in this case

Case 2: When we have (4,3)(4,3) For nn to have 4 divisors, it must be in the form a3a^3 or abab, where aa and bb are distinct prime numbers . For n+1n+1 to have 3 divisors, it must be a square number. Let n+1=A2n+1 = A^2 (AA is a prime number). When n=a3,a3+1=A2,(A1)(A+1)=a3n = a^3, a^3+1 = A^2, (A-1)(A+1)=a^3. We see that the only case when it works is when a=2,A=3a=2, A=3, so n=8n=8 works.

Case 3: When we have (5,2)(5,2) For nn to have 5 divisors, it must be in the form a4a^4, where aa is a prime number. For n+1n+1 to have 2 divisors, it must be a prime number. Notice that aa and a4a^4 have the same parity (even/odd). Since every prime greater than 2 are odd, n=a4n = a^4 must be even. Since a4a^4 is even, aa must be even as well, and the only prime number that is even is 2. When a=2,n=16a=2, n=16.

Case 4: When we have (3,4)(3,4) For nn to have 3 divisors, it must be a square number. For n+1n+1 to have 4 divisors, it must be in the form a3a^3 or abab, where aa and bb are distinct prime numbers. Similar to Case 2, let n=A2n = A^2 (AA is a prime number).

  • When n+1=a3,A2+1=a3n+1 = a^3, A^2+1 = a^3.

There are no cases that satisfy this equation.

  • When n+1=ab,A2+1=abn+1=ab, A^2+1 = ab.

We test squares of primes to find values of n that work.

  • A=2A=2, 4+1=54+1=5. Doesn't work.
  • A=3A=3, 9+1=10=259+1=10=2*5. It works. n=9n=9
  • A=5A=5, 25+1=26=21325+1=26=2*13. It works. n=25n=25
  • A=7A=7, 49+1=50=25249+1=50=2*5^2. Doesn't work.
  • A=11A=11, 121+1=122=261121+1=122=2*61. It works. n=121n=121
  • A=13A=13, 169+1=170=2517169+1=170=2*5*17. Doesn't work
  • A=17A=17, 289+1=290=2529289+1=290=2*5*29. Doesn't work
  • A=19A=19, 361+1=362=2181361+1=362=2*181. It works. n=361n=361

Now we add up the values of nn to get the answer: 8+16+9+25+121+361=5408+16+9+25+121+361 = \boxed{540}. ~toastybaker

Solution 3 (Official MAA)

Let p,q,p,\,q, and rr represent primes. Because τ(n)=1\tau(n)=1 only for n=1,n=1, there is no nn for which {τ(n),τ(n+1)}={1,6}\{\tau(n),\tau(n+1)\}=\{1,6\}. If {τ(n),τ(n+1)}={2,5},\{\tau(n),\tau(n+1)\}=\{2,5\}, then {n,n+1}={p,q4},\{n,n+1\}=\{p,q^4\}, so pq4=1.|p-q^4|=1. Checking q=2q=2 and p=17p=17 yields the solution n=16.n=16. If q>2,q>2, then qq is odd, and p=q4±1p=q^4\pm 1 is even, so pp cannot be prime.

If {τ(n),τ(n+1)}={3,4},\{\tau(n),\tau(n+1)\}=\{3,4\}, then {n,n+1}={p2,q3}\{n,n+1\}=\{p^2,q^3\} or {p2,qr}.\{p^2,qr\}. Consider p2q3=1.|p^2-q^3|=1. If p21=(p1)(p+1)=q3,p^2-1=(p-1)(p+1)=q^3, Then q=2.q=2. This yields the solution p=3p=3 and q=2,q=2, so n=8.n=8. If q31=(q1)(q2+q+1)=p2,q^3-1=(q-1)(q^2+q+1)=p^2, then q1=1,q-1=1, which does not give a solution. Consider p2qr=1.|p^2-qr|=1. If p21=(p1)(p+1)=qr,p^2-1=(p-1)(p+1)=qr, then if p>2,p>2, the left side is divisible by 8, so there are no solutions. Finding the smallest four primes such that p2+1=qrp^2+1=qr gives 32+1=10,52+1=26,112+1=122,3^2+1=10,\,5^2+1=26,\,11^2+1=122, and 192+1=362.19^2+1=362. The six least values of nn are 8,9,16,25,121,8,9,16,25,121, and 361,361, whose sum is 540.540.

Video Solution

https://www.youtube.com/watch?v=2ouOexOnG1A

~ North America Math COntest Go Go Go