2 a 1 + 3 a 2 + ⋯ + 2 0 0 3 a 2 0 0 2 3 a 1 + 4 a 2 + ⋯ + 2 0 0 4 a 2 0 0 2 2 0 0 3 a 1 + 2 0 0 4 a 2 + ⋯ + 4 0 0 4 a 2 0 0 2 = 3 4 = 5 4 ⋮ = 4 0 0 5 4
Given that real numbers a 1 , a 2 , … , a 2 0 0 2 satisfy the system of equations above, evaluate the following sum: 3 a 1 + 5 a 2 + ⋯ + 4 0 0 5 a 2 0 0 2 .
If your answer is of the form n m , where m and n are coprime positive integers, submit m + n .
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
Problem Loading...
Note Loading...
Set Loading...
Given those real numbers, consider the rational polynomial
∑ x + i a i − 2 x + 1 4
If we clear denominators, we get the polynomial:
∑ ⎝ ⎛ ( 2 x + 1 ) a i j = i ∏ ( x + j ) ⎠ ⎞ − 4 ∏ ( x + j )
which is a degree at most 2002 polynomial. Since it has at most 2002 roots, and we already found 2002 roots of the form x = 1 , 2 , … , 2 0 0 2 , thus we have the identity.
∑ ⎝ ⎛ ( 2 x + 1 ) a i j = i ∏ ( x + j ) ⎠ ⎞ − 4 ∏ ( x + j ) = C ( x − 1 ) ( x − 2 ) … ( x − 2 0 0 2 )
It remains to determine C . Substituting in x = − 2 1 , we get that − 4 ∏ ( − 2 1 + j ) = C ∏ ( − 2 1 − j ) , or that C = 4 0 0 5 − 4 .
Finally, substituting in x = 2 1 , we get
∑ ⎝ ⎛ 2 a i j = i ∏ ( 2 1 + j ) ⎠ ⎞ − 4 ∏ ( 2 1 + j ) = 4 0 0 5 − 4 ( 2 1 − 1 ) ( 2 1 − 2 ) … ( 2 1 − 2 0 0 2 )
Dividing throughout by ∏ ( 2 1 + j ) , we obtain
∑ 2 1 + i a i = 2 − 2 0 0 5 2 2
Dividing by 2, we thus get
3 a 1 + 5 a 2 + … + 4 0 0 5 a 2 0 0 2 = 1 − 2 0 0 5 2 1 = 4 0 2 0 0 2 5 4 0 2 0 0 2 4