Difference between revisions of "2018 AIME I Problems/Problem 1"

(Solution)
m (Solution 1)
(34 intermediate revisions by 20 users not shown)
Line 2: Line 2:
 
Let <math>S</math> be the number of ordered pairs of integers <math>(a,b)</math> with <math>1 \leq a \leq 100</math> and <math>b \geq 0</math> such that the polynomial <math>x^2+ax+b</math> can be factored into the product of two (not necessarily distinct) linear factors with integer coefficients. Find the remainder when <math>S</math> is divided by <math>1000</math>.
 
Let <math>S</math> be the number of ordered pairs of integers <math>(a,b)</math> with <math>1 \leq a \leq 100</math> and <math>b \geq 0</math> such that the polynomial <math>x^2+ax+b</math> can be factored into the product of two (not necessarily distinct) linear factors with integer coefficients. Find the remainder when <math>S</math> is divided by <math>1000</math>.
  
==Solution==
+
==Solution 1==
  
You let the linear factors be as <math>(x+c)(x+d)</math>.
+
Let the linear factors be <math>(x+c)(x+d)</math>.
  
Then, obviously <math>a=c+d</math> and <math>b=cd</math>.
+
Then, <math>a=c+d</math> and <math>b=cd</math>.
  
We know that <math>1\le a\le 100</math> and <math>b\ge 0</math>, so <math>c</math> and <math>d</math> both have to be positive.
+
We know that <math>1\le a\le 100</math> and <math>b\ge 0</math>, so <math>c</math> and <math>d</math> both have to be non-negative
  
 
However, <math>a</math> cannot be <math>0</math>, so at least one of <math>c</math> and <math>d</math> must be greater than <math>0</math>, ie positive.
 
However, <math>a</math> cannot be <math>0</math>, so at least one of <math>c</math> and <math>d</math> must be greater than <math>0</math>, ie positive.
Line 14: Line 14:
 
Also, <math>a</math> cannot be greater than <math>100</math>, so <math>c+d</math> must be less than or equal to <math>100</math>.
 
Also, <math>a</math> cannot be greater than <math>100</math>, so <math>c+d</math> must be less than or equal to <math>100</math>.
  
Essentially, if we plot the solutions, we get a triangle on the coordinate plane with vertices <math>(0,0), (0, 100),</math> and <math>(100,0)</math>. Remember that <math>(0,0)</math> does not work, so there is a square with top right corner <math>(1,1)</math>.
+
Essentially, if we plot the solutions, we get a triangle on the coordinate plane with vertices <math>(0,0), (0, 100),</math> and <math>(100,0)</math>. Remember that <math>(0,0)</math> does not work, so there is a square with the top right corner <math>(1,1)</math>.
  
Note that <math>c</math> and <math>d</math> are interchangeable, since they end up as <math>a</math> and <math>b</math> in the end anyways. Thus, we simply draw a line from <math>(1,1)</math> to <math>(50,50)</math>, designating one of the halves as our solution (since the other side is simply the coordinates flipped).
+
Note that <math>c</math> and <math>d</math> are interchangeable since they end up as <math>a</math> and <math>b</math> in the end anyways. Thus, we simply draw a line from <math>(1,1)</math> to <math>(50,50)</math>, designating one of the halves as our solution (since the other side is simply the coordinates flipped).
  
 
We note that the pattern from <math>(1,1)</math> to <math>(50,50)</math> is <math>2+3+4+\dots+51</math> solutions and from <math>(51, 49)</math> to <math>(100,0)</math> is <math>50+49+48+\dots+1</math> solutions, since we can decrease the <math>y</math>-value by <math>1</math> until <math>0</math> for each coordinate.
 
We note that the pattern from <math>(1,1)</math> to <math>(50,50)</math> is <math>2+3+4+\dots+51</math> solutions and from <math>(51, 49)</math> to <math>(100,0)</math> is <math>50+49+48+\dots+1</math> solutions, since we can decrease the <math>y</math>-value by <math>1</math> until <math>0</math> for each coordinate.
Line 25: Line 25:
 
Thus, the answer is: <cmath>\boxed{600}.</cmath>
 
Thus, the answer is: <cmath>\boxed{600}.</cmath>
  
 +
~Minor edit by Yiyj1
  
Solution 2:
+
==Solution 2==
  
Let's write the linear factors as (x+n)(x+m).
+
Similar to the previous solution, we plot the triangle and cut it in half. Then, we find the number of boundary points, which is <math>101+51+51-3</math>, or just <math>200</math>. Using Pick's theorem, we know that the area of the half-triangle, which is <math>2500</math>, is just <math>I+100-1</math>. That means that there are <math>2401</math> interior points, plus <math>200</math> boundary points, which is <math>2601</math>. However, <math>(0,0)</math> does not work, so the answer is <cmath>\boxed{600}.</cmath>
  
Then we can write them as: a=n+m, b=nm.
+
==Solution 3 (less complicated)==
 +
Notice that for <math>x^2+ax+b</math> to be true, for every <math>a</math>, <math>b</math> will always be the product of the possibilities of how to add two integers to <math>a</math>. For example, if <math>a=3</math>, <math>b</math> will be the product of <math>(3,0)</math> and <math>(2,1)</math>, as those two sets are the only possibilities of adding two integers to <math>a</math>. Note that order does not matter. If we just do some simple casework, we find out that:
  
n or m has to be a positive integer as a cannot be 0.
+
if <math>a</math> is odd, there will always be <math>\left\lceil\frac{a}{2}\right\rceil</math> <math>\left(\text{which is also }\frac{a+1}{2}\right)</math> possibilities of adding two integers to <math>a</math>.
  
n+m has to be between 1 and 100, as a cannot be over 100.
+
if <math>a</math> is even, there will always be <math>\frac{a}{2}+1</math> possibilities of adding two integers to <math>a</math>.  
  
Excluding a=1, we can see there is always a pair of 2 a-values for a certain amount of b-values.  
+
Using the casework, we have <math>1+2+2+3+3+...50+50+51</math> possibilities. This will mean that the answer is <cmath>\frac{(1+51)\cdot100}{2}\Rightarrow52\cdot50=2600</cmath> possibilities.
  
For instance, a=2 and a=3 both have 2 b-values. a=4 and a=5 both have 3 b-values.
+
Thus, our solution is <math>2600\bmod {1000}\equiv\boxed{600}</math>.
  
We notice the pattern of the number of b-values in relation to the a-values:
+
Solution by IronicNinja~
1, 2, 2, 3, 3, 4, 4…
+
 
 +
==Solution 4==
 +
 
 +
Let's write the linear factors as <math>(x+n)(x+m)</math>.
 +
 
 +
Then we can write them as: <math>a=n+m, b=nm</math>.
 +
 
 +
<math>n</math> or <math>m</math> has to be a positive integer as a cannot be 0.
 +
 
 +
<math>n+m</math> has to be between <math>1</math> and <math>100</math>, as a cannot be over <math>100</math>.
 +
 
 +
Excluding <math>a=1</math>, we can see there is always a pair of <math>2</math> a-values for a certain amount of b-values.
  
The pattern continues until a=100, and in total, there are 49 pairs of a-value with the same amount of b-values. The two lone a-values without a pair are, the (a=1, amount of b-values=1) in the beginning, and (a=100, amount of b-values=51) in the end.  
+
For instance, <math>a=2</math> and <math>a=3</math> both have <math>2</math> b-values. <math>a=4</math> and <math>a=5</math> both have <math>3</math> b-values.
  
Then, we add numbers from the opposite ends of the spectrum, and quickly notice that there are 50 pairs each with a sum of 52. 52x50 gives 2600 ordered pairs:
+
We notice the pattern of the number of b-values in relation to the a-values:
 +
<math>1, 2, 2, 3, 3, 4, 4…</math>
  
1+51, 2+50, 2+50, 3+49, 3+49, 4+48, 4+48…
+
=== Ending 1 ===
 +
We see the pattern <math>1, 2; 2, 3; 3, 4; ...</math>. There are 50 pairs of <math>i, i+1</math> in this pattern, and each pair sums to <math>2i+1</math>. So the pattern condenses to <math>3, 5, 7, ...</math> for 50 terms. This is just <math>1+3+5+...</math> for 51 terms, minus <math>1</math>, or <math>51^2-1=2601-1=2600\implies\boxed{600}</math>.
  
When divided by 1000, it gives the remainder 600, the answer.
+
~ Firebolt360
  
 +
=== Ending 2 ===
 
The following link is the URL to the graph I drew showing the relationship between a-values and b-values
 
The following link is the URL to the graph I drew showing the relationship between a-values and b-values
 
http://artofproblemsolving.com/wiki/index.php?title=File:Screen_Shot_2018-04-30_at_8.15.00_PM.png#file
 
http://artofproblemsolving.com/wiki/index.php?title=File:Screen_Shot_2018-04-30_at_8.15.00_PM.png#file
 +
 +
The pattern continues until <math>a=100</math>, and in total, there are <math>49</math> pairs of a-value with the same amount of b-values. The two lone a-values without a pair are, the (<math>a=1</math>, amount of b-values=1) in the beginning, and (<math>a=100</math>, amount of b-values=51) in the end.
 +
 +
Then, we add numbers from the opposite ends of the spectrum, and quickly notice that there are <math>50</math> pairs each with a sum of <math>52</math>. <math>52\cdot50</math> gives <math>2600</math> ordered pairs:
 +
 +
<math>1+51, 2+50, 2+50, 3+49, 3+49, 4+48, 4+48…</math>
 +
 +
When divided by <math>1000</math>, it gives the remainder <math>\boxed{600}</math>, the answer.
  
 
Solution provided by- Yonglao
 
Solution provided by- Yonglao
 +
 +
 +
Remark : This solution works because
 +
no distinct <math>(a,b), (c,d)</math> exist such that <math>a+b=c+d,ab=cd</math>
 +
 +
==Solution 5==
 +
 +
Let's say that the quadratic <math>x^2 + ax + b</math> can be factored into <math>(x+c)(x+d)</math> where <math>c</math> and <math>d</math> are non-negative numbers. We can't have both of them zero because <math>a</math> would not be within bounds. Also, <math>c+d \leq 100</math>. Assume that <math>c < d</math>. <math>d</math> can be written as <math>c + x</math> where <math>x \geq 0</math>. Therefore, <math>c + d = 2c + x \leq 100</math>. To find the amount of ordered pairs, we must consider how many values of <math>x</math> are possible for each value of <math>c</math>. The amount of possible values of <math>x</math> is given by <math>100 - 2c + 1</math>. The <math>+1</math> is the case where <math>c = d</math>. We don't include the case where <math>c = d = 0</math>, so we must subtract a case from our total. The amount of ordered pairs of <math>(a,b)</math> is:
 +
<cmath>\left(\sum_{c=0}^{50} (100 - 2c + 1)\right) - 1</cmath>
 +
This is an arithmetic progression. <cmath>\frac{(101 + 1)(51)}{2} - 1 = 2601 - 1 = 2600</cmath>
 +
When divided by <math>1000</math>, it gives the remainder <math>\boxed{600}</math>
 +
 +
~Zeric Hang
 +
 +
==Solution 6(simple)==
 +
By Vietas, the sum of the roots is <math>-a</math> and the product is <math>b</math>. Therefore, both roots are nonpositive. For each value of <math>a</math> from <math>1</math> to <math>100</math>, the number of <math>b</math> values is the number of ways to sum two numbers between <math>0</math> and <math>a-1</math> inclusive to <math>a</math>. This is just <math>1 + 2 + 2 + 3 + 3 +... 50 + 50 + 51 = 2600</math>. Thus, the answer is <math>\boxed{600}</math>
 +
 +
-bron jiang
 +
 +
==Solution 7 (less room for error)==
 +
Similar to solution 1 we plot the triangle and half it. From dividing the triangle in half we are removing the other half of answers that are just flipped coordinates. We notice that we can measure the length of the longest side of the half triangle which is just from <math>0</math> to <math>100</math>, so the number of points on that line is is <math>101</math>. The next row has length <math>99</math>, the one after that has length <math>97</math>, and so on. We simply add this arithmetic series of odd integers <math>101+99+97+...+1</math>.
 +
This is <cmath>\frac{(101+1)(51)}{2} = 2601</cmath>
 +
Or you can notice that this is the sum of the first <math>51</math> odd terms, which is just <math>51^2 = 2601</math>.
 +
However, <math>(0,0)</math> is the singular coordinate that does not work, so the answer is <math>(2601-1)\bmod {1000}\equiv\boxed{600}</math>
 +
 +
Solution by Damian Kim~
 +
 +
==Solution 8 (Official MAA)==
 +
The factoring condition is equivalent to the discriminant <math>a^2-4b</math> being equal to <math>c^2</math> for some integer <math>c.</math> Because <math>b\ge 0,</math> the equation <math>4b=(a-c)(a+c)</math> shows that the existence of such a <math>b</math> is equivalent to <math>a\equiv c\pmod 2</math> with <math>0<c\le a.</math> Thus the number of ordered pairs is <cmath>S=\sum_{a=1}^{100}\left\lceil\frac{a+1}{2}\right\rceil=2600.</cmath> The requested remainder is <math>600.</math>
 +
==Video Solution==
 +
 +
https://www.youtube.com/watch?v=WVtbD8x9fCM
 +
~Shreyas S
  
 
==See Also==
 
==See Also==
 
{{AIME box|year=2018|n=I|before=First Problem|num-a=2}}
 
{{AIME box|year=2018|n=I|before=First Problem|num-a=2}}
 
{{MAA Notice}}
 
{{MAA Notice}}

Revision as of 16:30, 3 February 2023

Problem 1

Let $S$ be the number of ordered pairs of integers $(a,b)$ with $1 \leq a \leq 100$ and $b \geq 0$ such that the polynomial $x^2+ax+b$ can be factored into the product of two (not necessarily distinct) linear factors with integer coefficients. Find the remainder when $S$ is divided by $1000$.

Solution 1

Let the linear factors be $(x+c)(x+d)$.

Then, $a=c+d$ and $b=cd$.

We know that $1\le a\le 100$ and $b\ge 0$, so $c$ and $d$ both have to be non-negative

However, $a$ cannot be $0$, so at least one of $c$ and $d$ must be greater than $0$, ie positive.

Also, $a$ cannot be greater than $100$, so $c+d$ must be less than or equal to $100$.

Essentially, if we plot the solutions, we get a triangle on the coordinate plane with vertices $(0,0), (0, 100),$ and $(100,0)$. Remember that $(0,0)$ does not work, so there is a square with the top right corner $(1,1)$.

Note that $c$ and $d$ are interchangeable since they end up as $a$ and $b$ in the end anyways. Thus, we simply draw a line from $(1,1)$ to $(50,50)$, designating one of the halves as our solution (since the other side is simply the coordinates flipped).

We note that the pattern from $(1,1)$ to $(50,50)$ is $2+3+4+\dots+51$ solutions and from $(51, 49)$ to $(100,0)$ is $50+49+48+\dots+1$ solutions, since we can decrease the $y$-value by $1$ until $0$ for each coordinate.

Adding up gives \[\dfrac{2+51}{2}\cdot 50+\dfrac{50+1}{2}\cdot 50.\] This gives us $2600$, and $2600\equiv 600 \bmod{1000}.$

Thus, the answer is: \[\boxed{600}.\]

~Minor edit by Yiyj1

Solution 2

Similar to the previous solution, we plot the triangle and cut it in half. Then, we find the number of boundary points, which is $101+51+51-3$, or just $200$. Using Pick's theorem, we know that the area of the half-triangle, which is $2500$, is just $I+100-1$. That means that there are $2401$ interior points, plus $200$ boundary points, which is $2601$. However, $(0,0)$ does not work, so the answer is \[\boxed{600}.\]

Solution 3 (less complicated)

Notice that for $x^2+ax+b$ to be true, for every $a$, $b$ will always be the product of the possibilities of how to add two integers to $a$. For example, if $a=3$, $b$ will be the product of $(3,0)$ and $(2,1)$, as those two sets are the only possibilities of adding two integers to $a$. Note that order does not matter. If we just do some simple casework, we find out that:

if $a$ is odd, there will always be $\left\lceil\frac{a}{2}\right\rceil$ $\left(\text{which is also }\frac{a+1}{2}\right)$ possibilities of adding two integers to $a$.

if $a$ is even, there will always be $\frac{a}{2}+1$ possibilities of adding two integers to $a$.

Using the casework, we have $1+2+2+3+3+...50+50+51$ possibilities. This will mean that the answer is \[\frac{(1+51)\cdot100}{2}\Rightarrow52\cdot50=2600\] possibilities.

Thus, our solution is $2600\bmod {1000}\equiv\boxed{600}$.

Solution by IronicNinja~

Solution 4

Let's write the linear factors as $(x+n)(x+m)$.

Then we can write them as: $a=n+m, b=nm$.

$n$ or $m$ has to be a positive integer as a cannot be 0.

$n+m$ has to be between $1$ and $100$, as a cannot be over $100$.

Excluding $a=1$, we can see there is always a pair of $2$ a-values for a certain amount of b-values.

For instance, $a=2$ and $a=3$ both have $2$ b-values. $a=4$ and $a=5$ both have $3$ b-values.

We notice the pattern of the number of b-values in relation to the a-values: $1, 2, 2, 3, 3, 4, 4…$

Ending 1

We see the pattern $1, 2; 2, 3; 3, 4; ...$. There are 50 pairs of $i, i+1$ in this pattern, and each pair sums to $2i+1$. So the pattern condenses to $3, 5, 7, ...$ for 50 terms. This is just $1+3+5+...$ for 51 terms, minus $1$, or $51^2-1=2601-1=2600\implies\boxed{600}$.

~ Firebolt360

Ending 2

The following link is the URL to the graph I drew showing the relationship between a-values and b-values http://artofproblemsolving.com/wiki/index.php?title=File:Screen_Shot_2018-04-30_at_8.15.00_PM.png#file

The pattern continues until $a=100$, and in total, there are $49$ pairs of a-value with the same amount of b-values. The two lone a-values without a pair are, the ($a=1$, amount of b-values=1) in the beginning, and ($a=100$, amount of b-values=51) in the end.

Then, we add numbers from the opposite ends of the spectrum, and quickly notice that there are $50$ pairs each with a sum of $52$. $52\cdot50$ gives $2600$ ordered pairs:

$1+51, 2+50, 2+50, 3+49, 3+49, 4+48, 4+48…$

When divided by $1000$, it gives the remainder $\boxed{600}$, the answer.

Solution provided by- Yonglao


Remark : This solution works because no distinct $(a,b), (c,d)$ exist such that $a+b=c+d,ab=cd$

Solution 5

Let's say that the quadratic $x^2 + ax + b$ can be factored into $(x+c)(x+d)$ where $c$ and $d$ are non-negative numbers. We can't have both of them zero because $a$ would not be within bounds. Also, $c+d \leq 100$. Assume that $c < d$. $d$ can be written as $c + x$ where $x \geq 0$. Therefore, $c + d = 2c + x \leq 100$. To find the amount of ordered pairs, we must consider how many values of $x$ are possible for each value of $c$. The amount of possible values of $x$ is given by $100 - 2c + 1$. The $+1$ is the case where $c = d$. We don't include the case where $c = d = 0$, so we must subtract a case from our total. The amount of ordered pairs of $(a,b)$ is: \[\left(\sum_{c=0}^{50} (100 - 2c + 1)\right) - 1\] This is an arithmetic progression. \[\frac{(101 + 1)(51)}{2} - 1 = 2601 - 1 = 2600\] When divided by $1000$, it gives the remainder $\boxed{600}$

~Zeric Hang

Solution 6(simple)

By Vietas, the sum of the roots is $-a$ and the product is $b$. Therefore, both roots are nonpositive. For each value of $a$ from $1$ to $100$, the number of $b$ values is the number of ways to sum two numbers between $0$ and $a-1$ inclusive to $a$. This is just $1 + 2 + 2 + 3 + 3 +... 50 + 50 + 51 = 2600$. Thus, the answer is $\boxed{600}$

-bron jiang

Solution 7 (less room for error)

Similar to solution 1 we plot the triangle and half it. From dividing the triangle in half we are removing the other half of answers that are just flipped coordinates. We notice that we can measure the length of the longest side of the half triangle which is just from $0$ to $100$, so the number of points on that line is is $101$. The next row has length $99$, the one after that has length $97$, and so on. We simply add this arithmetic series of odd integers $101+99+97+...+1$. This is \[\frac{(101+1)(51)}{2} = 2601\] Or you can notice that this is the sum of the first $51$ odd terms, which is just $51^2 = 2601$. However, $(0,0)$ is the singular coordinate that does not work, so the answer is $(2601-1)\bmod {1000}\equiv\boxed{600}$

Solution by Damian Kim~

Solution 8 (Official MAA)

The factoring condition is equivalent to the discriminant $a^2-4b$ being equal to $c^2$ for some integer $c.$ Because $b\ge 0,$ the equation $4b=(a-c)(a+c)$ shows that the existence of such a $b$ is equivalent to $a\equiv c\pmod 2$ with $0<c\le a.$ Thus the number of ordered pairs is \[S=\sum_{a=1}^{100}\left\lceil\frac{a+1}{2}\right\rceil=2600.\] The requested remainder is $600.$

Video Solution

https://www.youtube.com/watch?v=WVtbD8x9fCM ~Shreyas S

See Also

2018 AIME I (ProblemsAnswer KeyResources)
Preceded by
First Problem
Followed by
Problem 2
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