返回题库

AIME 1984 · 第 14 题

AIME 1984 — Problem 14

专题
Contest Math
难度
L4
来源
AIME

题目详情

Problem

What is the largest even integer that cannot be written as the sum of two odd composite numbers?

解析

Solution 1

Take an even positive integer xx. xx is either 0mod60 \bmod{6}, 2mod62 \bmod{6}, or 4mod64 \bmod{6}. Notice that the numbers 99, 1515, 2121, ... , and in general 9+6n9 + 6n for nonnegative nn are odd composites. We now have 3 cases:

If x18x \ge 18 and is 0mod60 \bmod{6}, xx can be expressed as 9+(9+6n)9 + (9+6n) for some nonnegative nn. Note that 99 and 9+6n9+6n are both odd composites.

If x44x\ge 44 and is 2mod62 \bmod{6}, xx can be expressed as 35+(9+6n)35 + (9+6n) for some nonnegative nn. Note that 3535 and 9+6n9+6n are both odd composites.

If x34x\ge 34 and is 4mod64 \bmod{6}, xx can be expressed as 25+(9+6n)25 + (9+6n) for some nonnegative nn. Note that 2525 and 9+6n9+6n are both odd composites.

Clearly, if x44x \ge 44, it can be expressed as a sum of 2 odd composites. However, if x=42x = 42, it can also be expressed using case 1, and if x=40x = 40, using case 3. 3838 is the largest even integer that our cases do not cover. If we examine the possible ways of splitting 3838 into two addends, we see that no pair of odd composites add to 3838. Therefore, 038\boxed{038} is the largest possible number that is not expressible as the sum of two odd composite numbers.

Solution 2

Let nn be an integer that cannot be written as the sum of two odd composite numbers. If n>33n>33, then n9,n15,n21,n25,n27,n-9,n-15,n-21,n-25,n-27, and n33n-33 must all be prime (or n33=1n-33=1, which yields n=34=9+25n=34=9+25 which does not work). Thus n9,n15,n21,n27,n-9,n-15,n-21,n-27, and n33n-33 form a prime quintuplet. However, only one prime quintuplet exists as exactly one of those 5 numbers must be divisible by 5.This prime quintuplet is 5,11,17,23,5,11,17,23, and 2929, yielding a maximal answer of 38. Since 3825=1338-25=13, which is prime, the answer is 038\boxed{038}.

Solution 3 (bash)

Let 2n2n be an even integer. Using the Chicken McNugget Theorem on the two smallest odd composite integers that are relatively prime from each other, 9 and 25, show that the maximum is 191, and the maximum even integer is 190 or lower. We use the fact that sufficiently high multiples of 6, 10, 14, 22, etc. can be represented as n+nn+n. We bash each case until we find one that works.

Solution 5

Claim: The answer is 038\boxed{038}.

Proof: It is fairly easy to show 38 can't be split into 2 odd composites.

Assume there exists an even integer m>38m > 38 that m can't be split into 2 odd composites.

Then, we can consider m modulo 5.

If m = 0 mod 5, we can express m = 15 + 5k for some integer k. Since m>20m > 20, k>1k > 1 so k2k \geq 2. Thus, 5k is composite. Since 15 is odd and composite, m is even, 5k should be odd as well.

If m = 1 mod 5, we can express m = 21 + 5k for some integer k. Since m>26m > 26, k>1k > 1 so k2k \geq 2. Thus, 5k is composite. Since 21 is odd and composite, m is even, 5k should be odd as well.

If m = 2 mod 5, we can express m = 27 + 5k for some integer k. Since m>32m > 32, k>1k > 1 so k2k \geq 2. Thus, 5k is composite. Since 27 is odd and composite, m is even, 5k should be odd as well.

If m = 3 mod 5, we can express m = 33 + 5k for some integer k. Since m>38m > 38, k>1k > 1 so k2k \geq 2. Thus, 5k is composite. Since 33 is odd and composite, m is even, 5k should be odd as well.

If m = 4 mod 5, we can express m = 9 + 5k for some integer k. Since m>14m > 14, k>1k > 1 so k2k \geq 2. Thus, 5k is composite. Since 9 is odd and composite, m is even, 5k should be odd as well.

Thus, in all cases we can split m into 2 odd composites, and we get at a contradiction. \blacksquare

-Alexlikemath

Solution 6

All numbers that could possibly work must be 2p2 \cdot p where pp is prime. As previous solutions stated, the maximum number that could possibly work by Chicken McNugget is 925925=22534=1919 \cdot 25 - 9 - 25 = 225-34 = 191. We then bash from top to bottom:

1. 178=892=>87+91178 = 89 \cdot 2 => 87 + 91 - refuted

2. 166=832=>81+85166 = 83 \cdot 2 => 81 + 85 - refuted

3. 158=792=>77+81158 = 79 \cdot 2 => 77 + 81 - refuted

4. 146=732=>69+77146 = 73 \cdot 2 => 69 + 77 - refuted

5. 142=712=>65+77142 = 71 \cdot 2 => 65 + 77 - refuted

6. 134=672=>65+69134 = 67 \cdot 2 => 65 + 69 - refuted

7. 122=612=>57+65122 = 61 \cdot 2 => 57 + 65 - refuted

8. 118=592=>55+63118 = 59 \cdot 2 => 55 + 63 - refuted

9. 106=532=>51+55106 = 53 \cdot 2 => 51 + 55 - refuted

10. 94=472=>45+4994 = 47 \cdot 2 => 45 + 49 - refuted

11. 86=432=>35+5186 = 43 \cdot 2 => 35 + 51 - refuted

12. 82=412=>33+4982 = 41 \cdot 2 => 33 + 49 - refuted

13. 74=372=>35+3974 = 37 \cdot 2 => 35 + 39 - refuted

14. 62=312=>27+3562 = 31 \cdot 2 => 27 + 35 - refuted

15. 58=292=>25+3358 = 29 \cdot 2 => 25 + 33 - refuted

16. 46=232=>21+2546 = 23 \cdot 2 => 21 + 25 - refuted

17. 38=192=>=19+1938 = 19 \cdot 2 => = 19 + 19 - it works!

Because we did a very systematic bash as shown, we are confident the answer is 038\boxed {038}

~Arcticturn

Solution 7 (casework)

As stated above, all numbers that could possibly work must be 2p2 \cdot p where pp is prime. If pp > 30, we consider pp by modulo 30. pp could be 1,7,11,13,17,19,23,29 modulo 30. 2p2 \cdot p can be expressed as (pp+qq)+(pp-qq) for some positive, even qq less then pp.

If pp = 1mod301 \bmod{30}, p±4 would both be composite

If pp = 7mod307 \bmod{30}, p±2 would both be composite

If pp = 11mod3011 \bmod{30}, p±14 would both be composite

If pp = 13mod3013 \bmod{30}, p±8 would both be composite

If pp = 17mod3017 \bmod{30}, p±8 would both be composite

If pp = 19mod3019 \bmod{30}, p±14 would both be composite

If pp = 23mod3023 \bmod{30}, p±2 would both be composite

If pp = 29mod3029 \bmod{30}, p±4 would both be composite

So pp < 30

From here, just try all possible p and find the answer is 038\boxed {038}

~Mathophobia

Video Solution

1984 AIME #14

MathProblemSolvingSkills.com

Video Solution using Bashing

https://www.youtube.com/watch?v=n98zEG1-Hrs ~North America Math Contest Go Go Go