Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "2022 AIME II Problems/Problem 8"
(→‎Note)
 
(61 intermediate revisions by 12 users not shown)
Line 3: Line 3:
 
Find the number of positive integers <math>n \le 600</math> whose value can be uniquely determined when the values of <math>\left\lfloor \frac n4\right\rfloor</math>, <math>\left\lfloor\frac n5\right\rfloor</math>, and <math>\left\lfloor\frac n6\right\rfloor</math> are given, where <math>\lfloor x \rfloor</math> denotes the greatest integer less than or equal to the real number <math>x</math>.
 
Find the number of positive integers <math>n \le 600</math> whose value can be uniquely determined when the values of <math>\left\lfloor \frac n4\right\rfloor</math>, <math>\left\lfloor\frac n5\right\rfloor</math>, and <math>\left\lfloor\frac n6\right\rfloor</math> are given, where <math>\lfloor x \rfloor</math> denotes the greatest integer less than or equal to the real number <math>x</math>.
  
−
==Solution==
+
==Solution 1==
 +
 
 +
We need to find all numbers between <math>1</math> and <math>600</math> inclusive that are multiples of <math>4</math>, <math>5</math>, and/or <math>6</math> which are also multiples of <math>4</math>, <math>5</math>, and/or <math>6</math> when <math>1</math> is added to them.
 +
 
 +
We begin by noting that the LCM of <math>4</math>, <math>5</math>, and <math>6</math> is <math>60</math>.  We can therefore simplify the problem by finding all such numbers described above between <math>1</math> and <math>60</math> and multiplying the quantity of such numbers by <math>10</math> (<math>600</math>/<math>60</math> = <math>10</math>).
 +
 
 +
After making a simple list of the numbers between <math>1</math> and <math>60</math> and going through it, we see that the numbers meeting this condition are <math>4</math>, <math>5</math>, <math>15</math>, <math>24</math>, <math>35</math>, <math>44</math>, <math>54</math>, and <math>55</math>.  This gives us <math>8</math> numbers.  <math>8</math> * <math>10</math> = <math>\boxed{080}</math>.
 +
 
 +
===Solution 1.5===
 +
 
 +
This is Solution 1 with a slick element included.  Solution 1 uses the concept that <math>60k+l</math> is a solution for <math>n</math> if <math>60k+l</math> is a multiple of <math>3</math>, <math>4</math>, and/or <math>5</math> and <math>60k+l+1</math> is a multiple of <math>3</math>, <math>4</math>, and/or <math>5</math> for positive integer values of <math>l</math> and essentially any integer value of <math>k</math>.  But keeping the same conditions in mind for <math>k</math> and <math>l</math>, we can also say that if <math>60k+l</math> is a solution, then <math>60k-l-1</math> is a solution!  Therefore, one doesn't have to go as far as determining the number of values between <math>1</math> and <math>60</math> and then multiplying by <math>10</math>.  One only has to determine the number of values between <math>1</math> and <math>30</math> and then multiply by <math>20</math>.  The values of <math>n</math> that work between <math>1</math> and <math>30</math> are <math>4</math>, <math>5</math>, <math>15</math>, and <math>24</math>.  This gives us <math>4</math> numbers.  <math>4</math> * <math>20</math> = <math>\boxed{080}</math>.
 +
 
 +
===Note===
 +
 
 +
Soon after the test was administered, a formal request was made to also accept <math>\boxed{081}</math> as an answer and MAA decided to honor this request. The gist of this request stated that the phrasing of the first part of the question could reasonably be interpreted to mean that one is given the condition to begin with that the integer is less than or equal to <math>600</math>.  In this case, if one was told that the values of <math>\left\lfloor \frac n4\right\rfloor</math>, <math>\left\lfloor\frac n5\right\rfloor</math>, and <math>\left\lfloor\frac n6\right\rfloor</math> were <math>150</math>, <math>120</math>, and <math>100</math> respectively, then the only possible choice for <math>n</math> would be <math>600</math> as <math>601</math>, <math>602</math>, and <math>603</math> do not meet the condition as stated in the first part of the problem. If instead the problem asked for the numbers less than <math>600</math> that met the second condition in the problem, the answer would be <math>\boxed{080}</math>.  ~burkinafaso ~sethl
 +
 
 +
Here are two interpretations of the problem:
 +
1) If <math>n</math> is a positive integer, how many numbers less than or equal to <math>600</math> are determinable? Answer: <math>\boxed{080}</math>.
 +
2) If <math>n</math> is a positive integer and <math>n \leq 600</math>, then how many different <math>n</math> are determinable? Answer: <math>\boxed{081}</math>. ~epiconan
 +
 
 +
==Solution 2==
 +
1. For <math>n</math> to be uniquely determined, <math>n</math> AND <math>n + 1</math> both need to be a multiple of <math>4, 5,</math> or <math>6.</math> Since either <math>n</math> or <math>n + 1</math> is odd, we know that either <math>n</math> or <math>n + 1</math> has to be a multiple of <math>5.</math> We can state the following cases:
 +
 
 +
1. <math>n</math> is a multiple of <math>4</math> and <math>n+1</math> is a multiple of <math>5</math>
 +
 
 +
2. <math>n</math> is a multiple of <math>6</math> and <math>n+1</math> is a multiple of <math>5</math>
 +
 
 +
3. <math>n</math> is a multiple of <math>5</math> and <math>n+1</math> is a multiple of <math>4</math>
 +
 
 +
4. <math>n</math> is a multiple of <math>5</math> and <math>n+1</math> is a multiple of <math>6</math>
 +
 
 +
Solving for each case, we see that there are <math>30</math> possibilities for cases 1 and 3 each, and <math>20</math> possibilities for cases 2 and 4 each. However, we over-counted the cases where
 +
 
 +
1. <math>n</math> is a multiple of <math>24</math> and <math>n+1</math> is a multiple of <math>5</math>
 +
 
 +
2. <math>n</math> is a multiple of <math>5</math> and <math>n+1</math> is a multiple of <math>24</math>
 +
 
 +
Each case has <math>10</math> possibilities.
 +
 
 +
Adding all the cases and correcting for over-counting, we get <math>30 + 20 + 30 + 20 - 10 - 10 = \boxed {080}.</math>
 +
 
 +
~Lucasfunnyface
 +
 
 +
===Solution 2 Supplement===
 +
 
 +
Here is a detailed solution for Solution 2.
 +
 
 +
<math>1.</math> <math>4 \mid n</math>, <math>5 \mid n+1</math>
 +
<math>n = 4a</math>, <math>n+1 = 4a+1 = 5a - (a - 1)</math>, <math>a - 1 = 5k</math>, <math>a = 5k+1</math>, <math>n = 4(5k+1) = 20k+4</math>, <math>20k+4 \le 600</math>, <math>20k \le 596</math>, <math>k < 30</math>, <math>k \in [0, 29]</math>, 30 integers.
 +
 
 +
<math>2.</math> <math>6 \mid n</math>, <math>5 \mid n+1</math>
 +
<math>n = 6a</math>, <math>n+1 = 6a+1 = 5a + a + 1</math>, <math>a + 1 = 5k</math>, <math>a = 5k-1</math>, <math>n = 6(5k-1) = 30k-6</math>, <math>30k-6 \le 600</math>, <math>30k \le 606</math>, <math>k \le 20</math>, <math>k \in [1, 20]</math>, 20 integers.
 +
 
 +
<math>3.</math> <math>5 \mid n</math>, <math>4 \mid n+1</math>
 +
<math>n = 5a</math>, <math>n+1 = 5a+1 = 4a + a + 1</math>, <math>a + 1 = 4k</math>, <math>a = 4k-1</math>, <math>n = 5(4k-1) = 20k-5</math>, <math>20k-5 \le 600</math>, <math>20k \le 605</math>, <math>k \le 30</math>, <math>k \in [1, 30]</math>, 30 integers.
 +
 
 +
<math>4.</math> <math>5 \mid n</math>, <math>6 \mid n+1</math>
 +
<math>n = 5a</math>, <math>n+1 = 5a+1 = 5(a - 1) + 6</math>, <math>a - 1 = 6k</math>, <math>a = 6k+1</math>, <math>n = 5(6k+1) = 30k+5</math>, <math>30k+5 \le 600</math>, <math>30k \le 595</math>, <math>k < 20</math>, <math>k \in [0, 19]</math>, 20 integers.
 +
 
 +
Over-counted cases:
 +
 
 +
<math>1.</math> <math>24 \mid n</math>, <math>5 \mid n+1</math>
 +
<math>n = 24a</math>, <math>n + 1= 24a + 1 = 20a + 4a + 1</math>, <math>4a+1 = 5k</math>, <math>k = 2p+1</math>, <math>4a = 5(2p + 1) - 1 = 10p + 4</math>, <math>n = 24a = 6(10p + 4) = 60p+24</math>, <math>60p + 24 \le 600</math>, <math>5p + 2 \le 50</math>, <math>5p \le 48</math>, <math>p < 10</math>, <math>p \in [0, 9]</math>, 10 integers.
 +
 
 +
<math>2.</math> <math>5 \mid n</math>, <math>24 \mid n+1</math>
 +
<math>n + 1= 5a + 1 = 24a</math>, <math>n = 24a - 1 = 20a + 4a - 1</math>, <math>4a-1 = 5k</math>, <math>k = 2p+1</math>, <math>4a = 5(2p + 1) + 1 = 10p + 6</math>, <math>n = 24a = 6(10p + 6) = 60p+36</math>, <math>60p + 36 \le 600</math>, <math>5p + 3 \le 50</math>, <math>5p \le 47</math>, <math>p < 10</math>, <math>k \in [0, 9]</math>, 10 integers.
 +
 
 +
<math>30 + 20 + 30 + 20 - 10 - 10 = \boxed{\textbf{080}}</math>
 +
 
 +
~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen]
 +
 
 +
==Solution 3==
 +
 
 +
The problem is the same as asking how many unique sets of values of <math>\lfloor\frac{n}{4}\rfloor</math>, <math>\lfloor\frac{n}{5}\rfloor</math>, and <math>\lfloor\frac{n}{6}\rfloor</math> can be produced by one and only one value of <math>n</math> for positive integers <math>n</math> less than or equal to 600.
 +
 
 +
Seeing that we are dealing with the unique values of the floor function, we ought to examine when it is about to change values, for instance, when <math>n</math> is close to a multiple of 4 in <math>\lfloor\frac{n}{4}\rfloor</math>.
 +
 
 +
For a particular value of <math>n</math>, let <math>a</math>, <math>b</math>, and <math>c</math> be the original values of <math>\lfloor\frac{n}{4}\rfloor</math>, <math>\lfloor\frac{n}{5}\rfloor</math>, and <math>\lfloor\frac{n}{6}\rfloor</math>, respectively.
 +
 
 +
Notice when <math>n</math> <math>\equiv0\mod4</math> and <math>n</math> <math>\equiv4\mod5</math>, the value of <math>\lfloor\frac{n-1}{4}\rfloor</math> will be 1 less than the original <math>a</math>. The value of <math>\lfloor\frac{n+1}{5}\rfloor</math> will be 1 greater than the original value of <math>b</math>.
 +
 
 +
More importantly, this means that no other value less than or greater than <math>n</math> will be able to produce the set of original values of <math>a</math>, <math>b</math>, and <math>c</math>, since they make either <math>a</math> or <math>b</math> differ by at least 1.
 +
 
 +
 
 +
Generalizing, we find that <math>n</math> must satisfy:
 +
 
 +
                                            <math>n</math> <math>\equiv0\mod</math> <math>j</math>
 +
 
 +
                                            <math>n</math> <math>\equiv{k-1}\mod</math> <math>k</math>
 +
 
 +
Where <math>j</math> and <math>k</math> are pairs of distinct values of 4, 5, and 6.
 +
 
 +
Plugging in the values of <math>j</math> and <math>k</math>, finding the solutions to the 6 systems of linear congruences, and correcting for the repeated values, we find that there are <math>\boxed{080}</math> solutions of <math>n</math>.
 +
 
 +
===Solution 3 Supplement===
 +
 
 +
By [https://artofproblemsolving.com/wiki/index.php/Chinese_Remainder_Theorem Chinese Remainder Theorem], the general solution of systems of <math>2</math> linear congruences is:
 +
<math>n \equiv r_1 (\bmod { \quad m_1})</math>, <math>n \equiv r_2 (\bmod { \quad m_2})</math>, <math>(m_1, m_2) = 1</math>
 +
Find <math>k_1</math> and <math>k_2</math> such that <math>k_1 m_1 \equiv 1 (\bmod{ \quad m_2})</math>, <math>k_2 m_2 \equiv 1 (\bmod{ \quad m_1})</math>
 +
Then <math>n \equiv k_2 m_2 r_1 + k_1 m_1 r_2 (\bmod{ \quad m_1 m_2})</math>
 +
 
 +
<math>lcm[4, 5, 6] = 60</math>, we solve the number of values for <math>n \le 60</math>, then multiply by <math>10</math> to get the number of values for <math>n \le 600</math>. We are going to solve the following <math>6</math> systems of linear congruences:
 +
 
 +
<math>\begin{cases} n \equiv 0 \mod{4} \\ n \equiv -1 \mod{5} \end{cases}  </math>
 +
<math>n \equiv 1 \cdot 5 \cdot 0 + 4 \cdot 4 \cdot (-1) \equiv -16 \equiv 4 \mod{20}</math>, <math>n \in \{ 4, 24, 44 \}</math>
 +
 
 +
<math>\begin{cases} n \equiv 0 \mod{4} \\ n \equiv -1 \mod{6} \end{cases}  </math>
 +
No solution
 +
 
 +
<math>\begin{cases} n \equiv 0 \mod{5} \\ n \equiv -1 \mod{4} \end{cases}  </math>
 +
<math>n \equiv 4 \cdot 4 \cdot 0 + 5 \cdot 5 \cdot (-1) \equiv -5 \equiv 15 \mod{20}</math>, <math>n \in \{ 15, 35, 55 \}</math>
 +
 
 +
<math>\begin{cases} n \equiv 0 \mod{5} \\ n \equiv -1 \mod{6} \end{cases}  </math>
 +
<math>n \equiv 1 \cdot 6 \cdot 0 + 5 \cdot 5 \cdot (-1) \equiv -25 \equiv 5 \mod{30}</math>, <math>n \in \{ 5, 35 \}</math>
 +
 
 +
<math>\begin{cases} n \equiv 0 \mod{6} \\ n \equiv -1 \mod{4} \end{cases}  </math>
 +
No solution
 +
 
 +
<math>\begin{cases} n \equiv 0 \mod{6} \\ n \equiv -1 \mod{5} \end{cases}  </math>
 +
<math>n \equiv 5 \cdot 5 \cdot 0 + 1 \cdot 6 \cdot (-1) \equiv -6 \equiv 24 \mod{30}</math>, <math>n \in \{ 24, 54 \}</math>
 +
 
 +
<math>n \in \{ 4, 5, 15, 24, 35, 44, 54, 55 \}</math>, there are <math>8</math> values for <math>n \le 60</math>. For <math>n \le 600</math>, the answer is <math>8 \cdot 10 = \boxed{\textbf{080}}</math>.
 +
 
 +
~[https://artofproblemsolving.com/wiki/index.php/User:Isabelchen isabelchen]
 +
 
 +
 
 +
==Solution 4==
 +
Observe that if <math>1 \le n \le 60</math> such that n is a solution to the desired equation, so is <math>n + 60\cdot m</math>, where m is an integer, <math>0 \le m \le 9</math>.
 +
So we only need to consider n from 1 to 60.
 +
As shown in Solution 2, there are 4 cases which we will split into 2 main cases:
 +
 
 +
*Case 1: <math>4 \mid n</math> or <math>6 \mid n</math>, <math>5 \mid (n+1)</math>
 +
*Case 2: <math>4 \mid (n+1)</math> or <math>6 \mid (n+1)</math>, <math>5 \mid n</math>
 +
There are 4 values of n where <math>1 \le n \le 12</math> satisfying <math>4 \mid n</math> or <math>6 \mid n</math>.
 +
 
 +
I claim that there are 4 values of <math>n \le 60</math> satisfying Case 1. Suppose x is one value of n satisfying <math>4 \mid n</math> or <math>6 \mid n</math>, and <math>n \le 12</math>.
 +
Hence the solutions satisfying <math>4 \mid n</math> or <math>6 \mid n</math>, <math>n \le 60</math> are of the form <math>x + 12m</math>, so the values of <math>n + 1</math> are <math>x + 12m + 1 \equiv x + 2m + 1 \equiv 0</math> (mod 5), so <math>2m \equiv 4 + 4x</math> (mod 5) and hence the value of m is unique since <math>0 \le m \le 4</math> to satisfy <math>1 \le n \le 60</math> and 2 and 5 are relatively prime.
 +
 
 +
A similar approach can be used to show the same for Case 2, that there are 4 values of <math>n \le 60</math>.
 +
 
 +
Hence our answer is <math>(4+4)*10 = \fbox{080}</math>.
 +
 
 +
~[[User:Bxiao31415|Bxiao31415]]
 +
==Note==
 +
Important observation is that a multiple of 4 and multiple of 6 cannot be consecutive.
 +
 
 +
~zephy
 +
 
 +
==Video Solution==
 +
https://youtu.be/mW9YQPNZqQg
 +
 
 +
~MathProblemSolvingSkills.com
 +
 
 +
==Video Solution by The Power of Logic==
 +
https://youtu.be/oudK3mfIFso
  
 
==See Also==
 
==See Also==
 
{{AIME box|year=2022|n=II|num-b=7|num-a=9}}
 
{{AIME box|year=2022|n=II|num-b=7|num-a=9}}
 +
 +
[[Category:Intermediate Number Theory Problems]]
 
{{MAA Notice}}
 
{{MAA Notice}}

Latest revision as of 22:07, 10 December 2024

Problem

Find the number of positive integers $n \le 600$ whose value can be uniquely determined when the values of $\left\lfloor \frac n4\right\rfloor$, $\left\lfloor\frac n5\right\rfloor$, and $\left\lfloor\frac n6\right\rfloor$ are given, where $\lfloor x \rfloor$ denotes the greatest integer less than or equal to the real number $x$.

Solution 1

We need to find all numbers between $1$ and $600$ inclusive that are multiples of $4$, $5$, and/or $6$ which are also multiples of $4$, $5$, and/or $6$ when $1$ is added to them.

We begin by noting that the LCM of $4$, $5$, and $6$ is $60$. We can therefore simplify the problem by finding all such numbers described above between $1$ and $60$ and multiplying the quantity of such numbers by $10$ ($600$/$60$ = $10$).

After making a simple list of the numbers between $1$ and $60$ and going through it, we see that the numbers meeting this condition are $4$, $5$, $15$, $24$, $35$, $44$, $54$, and $55$. This gives us $8$ numbers. $8$ * $10$ = $\boxed{080}$.

Solution 1.5

This is Solution 1 with a slick element included. Solution 1 uses the concept that $60k+l$ is a solution for $n$ if $60k+l$ is a multiple of $3$, $4$, and/or $5$ and $60k+l+1$ is a multiple of $3$, $4$, and/or $5$ for positive integer values of $l$ and essentially any integer value of $k$. But keeping the same conditions in mind for $k$ and $l$, we can also say that if $60k+l$ is a solution, then $60k-l-1$ is a solution! Therefore, one doesn't have to go as far as determining the number of values between $1$ and $60$ and then multiplying by $10$. One only has to determine the number of values between $1$ and $30$ and then multiply by $20$. The values of $n$ that work between $1$ and $30$ are $4$, $5$, $15$, and $24$. This gives us $4$ numbers. $4$ * $20$ = $\boxed{080}$.

Note

Soon after the test was administered, a formal request was made to also accept $\boxed{081}$ as an answer and MAA decided to honor this request. The gist of this request stated that the phrasing of the first part of the question could reasonably be interpreted to mean that one is given the condition to begin with that the integer is less than or equal to $600$. In this case, if one was told that the values of $\left\lfloor \frac n4\right\rfloor$, $\left\lfloor\frac n5\right\rfloor$, and $\left\lfloor\frac n6\right\rfloor$ were $150$, $120$, and $100$ respectively, then the only possible choice for $n$ would be $600$ as $601$, $602$, and $603$ do not meet the condition as stated in the first part of the problem. If instead the problem asked for the numbers less than $600$ that met the second condition in the problem, the answer would be $\boxed{080}$. ~burkinafaso ~sethl

Here are two interpretations of the problem: 1) If $n$ is a positive integer, how many numbers less than or equal to $600$ are determinable? Answer: $\boxed{080}$. 2) If $n$ is a positive integer and $n \leq 600$, then how many different $n$ are determinable? Answer: $\boxed{081}$. ~epiconan

Solution 2

1. For $n$ to be uniquely determined, $n$ AND $n + 1$ both need to be a multiple of $4, 5,$ or $6.$ Since either $n$ or $n + 1$ is odd, we know that either $n$ or $n + 1$ has to be a multiple of $5.$ We can state the following cases:

1. $n$ is a multiple of $4$ and $n+1$ is a multiple of $5$

2. $n$ is a multiple of $6$ and $n+1$ is a multiple of $5$

3. $n$ is a multiple of $5$ and $n+1$ is a multiple of $4$

4. $n$ is a multiple of $5$ and $n+1$ is a multiple of $6$

Solving for each case, we see that there are $30$ possibilities for cases 1 and 3 each, and $20$ possibilities for cases 2 and 4 each. However, we over-counted the cases where

1. $n$ is a multiple of $24$ and $n+1$ is a multiple of $5$

2. $n$ is a multiple of $5$ and $n+1$ is a multiple of $24$

Each case has $10$ possibilities.

Adding all the cases and correcting for over-counting, we get $30 + 20 + 30 + 20 - 10 - 10 = \boxed {080}.$

~Lucasfunnyface

Solution 2 Supplement

Here is a detailed solution for Solution 2. 

$1.$ $4 \mid n$, $5 \mid n+1$
$n = 4a$, $n+1 = 4a+1 = 5a - (a - 1)$, $a - 1 = 5k$, $a = 5k+1$, $n = 4(5k+1) = 20k+4$, $20k+4 \le 600$, $20k \le 596$, $k < 30$, $k \in [0, 29]$, 30 integers.

$2.$ $6 \mid n$, $5 \mid n+1$
$n = 6a$, $n+1 = 6a+1 = 5a + a + 1$, $a + 1 = 5k$, $a = 5k-1$, $n = 6(5k-1) = 30k-6$, $30k-6 \le 600$, $30k \le 606$, $k \le 20$, $k \in [1, 20]$, 20 integers.

$3.$ $5 \mid n$, $4 \mid n+1$
$n = 5a$, $n+1 = 5a+1 = 4a + a + 1$, $a + 1 = 4k$, $a = 4k-1$, $n = 5(4k-1) = 20k-5$, $20k-5 \le 600$, $20k \le 605$, $k \le 30$, $k \in [1, 30]$, 30 integers.

$4.$ $5 \mid n$, $6 \mid n+1$
$n = 5a$, $n+1 = 5a+1 = 5(a - 1) + 6$, $a - 1 = 6k$, $a = 6k+1$, $n = 5(6k+1) = 30k+5$, $30k+5 \le 600$, $30k \le 595$, $k < 20$, $k \in [0, 19]$, 20 integers.

Over-counted cases: 

$1.$ $24 \mid n$, $5 \mid n+1$
$n = 24a$, $n + 1= 24a + 1 = 20a + 4a + 1$, $4a+1 = 5k$, $k = 2p+1$, $4a = 5(2p + 1) - 1 = 10p + 4$, $n = 24a = 6(10p + 4) = 60p+24$, $60p + 24 \le 600$, $5p + 2 \le 50$, $5p \le 48$, $p < 10$, $p \in [0, 9]$, 10 integers.

$2.$ $5 \mid n$, $24 \mid n+1$
$n + 1= 5a + 1 = 24a$, $n = 24a - 1 = 20a + 4a - 1$, $4a-1 = 5k$, $k = 2p+1$, $4a = 5(2p + 1) + 1 = 10p + 6$, $n = 24a = 6(10p + 6) = 60p+36$, $60p + 36 \le 600$, $5p + 3 \le 50$, $5p \le 47$, $p < 10$, $k \in [0, 9]$, 10 integers.

$30 + 20 + 30 + 20 - 10 - 10 = \boxed{\textbf{080}}$

~isabelchen

Solution 3

The problem is the same as asking how many unique sets of values of $\lfloor\frac{n}{4}\rfloor$, $\lfloor\frac{n}{5}\rfloor$, and $\lfloor\frac{n}{6}\rfloor$ can be produced by one and only one value of $n$ for positive integers $n$ less than or equal to 600.

Seeing that we are dealing with the unique values of the floor function, we ought to examine when it is about to change values, for instance, when $n$ is close to a multiple of 4 in $\lfloor\frac{n}{4}\rfloor$.

For a particular value of $n$, let $a$, $b$, and $c$ be the original values of $\lfloor\frac{n}{4}\rfloor$, $\lfloor\frac{n}{5}\rfloor$, and $\lfloor\frac{n}{6}\rfloor$, respectively.

Notice when $n$ $\equiv0\mod4$ and $n$ $\equiv4\mod5$, the value of $\lfloor\frac{n-1}{4}\rfloor$ will be 1 less than the original $a$. The value of $\lfloor\frac{n+1}{5}\rfloor$ will be 1 greater than the original value of $b$.

More importantly, this means that no other value less than or greater than $n$ will be able to produce the set of original values of $a$, $b$, and $c$, since they make either $a$ or $b$ differ by at least 1.


Generalizing, we find that $n$ must satisfy: 

                                           $n$ $\equiv0\mod$ $j$

                                           $n$ $\equiv{k-1}\mod$ $k$

Where $j$ and $k$ are pairs of distinct values of 4, 5, and 6.

Plugging in the values of $j$ and $k$, finding the solutions to the 6 systems of linear congruences, and correcting for the repeated values, we find that there are $\boxed{080}$ solutions of $n$.

Solution 3 Supplement

By Chinese Remainder Theorem, the general solution of systems of $2$ linear congruences is: 

$n \equiv r_1 (\bmod { \quad m_1})$, $n \equiv r_2 (\bmod { \quad m_2})$, $(m_1, m_2) = 1$
Find $k_1$ and $k_2$ such that $k_1 m_1 \equiv 1 (\bmod{ \quad m_2})$, $k_2 m_2 \equiv 1 (\bmod{ \quad m_1})$
Then $n \equiv k_2 m_2 r_1 + k_1 m_1 r_2 (\bmod{ \quad m_1 m_2})$

$lcm[4, 5, 6] = 60$, we solve the number of values for $n \le 60$, then multiply by $10$ to get the number of values for $n \le 600$. We are going to solve the following $6$ systems of linear congruences: 

$\begin{cases} n \equiv 0 \mod{4} \\ n \equiv -1 \mod{5} \end{cases}$
$n \equiv 1 \cdot 5 \cdot 0 + 4 \cdot 4 \cdot (-1) \equiv -16 \equiv 4 \mod{20}$, $n \in \{ 4, 24, 44 \}$

$\begin{cases} n \equiv 0 \mod{4} \\ n \equiv -1 \mod{6} \end{cases}$
No solution

$\begin{cases} n \equiv 0 \mod{5} \\ n \equiv -1 \mod{4} \end{cases}$
$n \equiv 4 \cdot 4 \cdot 0 + 5 \cdot 5 \cdot (-1) \equiv -5 \equiv 15 \mod{20}$, $n \in \{ 15, 35, 55 \}$

$\begin{cases} n \equiv 0 \mod{5} \\ n \equiv -1 \mod{6} \end{cases}$
$n \equiv 1 \cdot 6 \cdot 0 + 5 \cdot 5 \cdot (-1) \equiv -25 \equiv 5 \mod{30}$, $n \in \{ 5, 35 \}$

$\begin{cases} n \equiv 0 \mod{6} \\ n \equiv -1 \mod{4} \end{cases}$
No solution

$\begin{cases} n \equiv 0 \mod{6} \\ n \equiv -1 \mod{5} \end{cases}$
$n \equiv 5 \cdot 5 \cdot 0 + 1 \cdot 6 \cdot (-1) \equiv -6 \equiv 24 \mod{30}$, $n \in \{ 24, 54 \}$

$n \in \{ 4, 5, 15, 24, 35, 44, 54, 55 \}$, there are $8$ values for $n \le 60$. For $n \le 600$, the answer is $8 \cdot 10 = \boxed{\textbf{080}}$.

~isabelchen


Solution 4

Observe that if $1 \le n \le 60$ such that n is a solution to the desired equation, so is $n + 60\cdot m$, where m is an integer, $0 \le m \le 9$. So we only need to consider n from 1 to 60. As shown in Solution 2, there are 4 cases which we will split into 2 main cases:

  • Case 1: $4 \mid n$ or $6 \mid n$, $5 \mid (n+1)$
  • Case 2: $4 \mid (n+1)$ or $6 \mid (n+1)$, $5 \mid n$

There are 4 values of n where $1 \le n \le 12$ satisfying $4 \mid n$ or $6 \mid n$.

I claim that there are 4 values of $n \le 60$ satisfying Case 1. Suppose x is one value of n satisfying $4 \mid n$ or $6 \mid n$, and $n \le 12$. Hence the solutions satisfying $4 \mid n$ or $6 \mid n$, $n \le 60$ are of the form $x + 12m$, so the values of $n + 1$ are $x + 12m + 1 \equiv x + 2m + 1 \equiv 0$ (mod 5), so $2m \equiv 4 + 4x$ (mod 5) and hence the value of m is unique since $0 \le m \le 4$ to satisfy $1 \le n \le 60$ and 2 and 5 are relatively prime.

A similar approach can be used to show the same for Case 2, that there are 4 values of $n \le 60$.

Hence our answer is $(4+4)*10 = \fbox{080}$.

~Bxiao31415

Note

Important observation is that a multiple of 4 and multiple of 6 cannot be consecutive.

~zephy

Video Solution

https://youtu.be/mW9YQPNZqQg

~MathProblemSolvingSkills.com

Video Solution by The Power of Logic

https://youtu.be/oudK3mfIFso

See Also

2022 AIME II (Problems • Answer Key • Resources)
Preceded by
Problem 7 		Followed by
Problem 9
1 • 2 • 3 • 4 • 5 • 6 • 7 • 8 • 9 • 10 • 11 • 12 • 13 • 14 • 15
All AIME Problems and Solutions

The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions. AMC logo.png

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=2022_AIME_II_Problems/Problem_8&oldid=236702"