Difference between revisions of "2012 USAMO Problems/Problem 3"

m
m (Solution)
Line 5: Line 5:
  
 
==Solution==
 
==Solution==
For any odd prime <math>p</math>, the sequence <math>\left\{a_i = \left(\frac{1-n}{2}\right)^{m_p\left(i\right)}\right\}</math>, where <math>p^{m_p\left(i\right)}</math> is the greatest power of <math>p</math> that divides <math>i</math>, gives a valid sequence. Therefore, the set of possible values for <math>n</math> is at least the set of odd primes.
+
For <math>n</math> equal to any odd prime <math>p</math>, the sequence <math>\left\{a_i = \left(\frac{1-n}{2}\right)^{m_p\left(i\right)}\right\}</math>, where <math>p^{m_p\left(i\right)}</math> is the greatest power of <math>p</math> that divides <math>i</math>, gives a valid sequence. Therefore, the set of possible values for <math>n</math> is at least the set of odd primes.
  
 
==See Also==
 
==See Also==

Revision as of 22:52, 24 April 2012

Problem

Determine which integers $n > 1$ have the property that there exists an infinite sequence $a_1$, $a_2$, $a_3$, $\dots$ of nonzero integers such that the equality \[a_k + 2a_{2k} + \dots + na_{nk} = 0\] holds for every positive integer $k$.

Solution

For $n$ equal to any odd prime $p$, the sequence $\left\{a_i = \left(\frac{1-n}{2}\right)^{m_p\left(i\right)}\right\}$, where $p^{m_p\left(i\right)}$ is the greatest power of $p$ that divides $i$, gives a valid sequence. Therefore, the set of possible values for $n$ is at least the set of odd primes.

See Also

2012 USAMO (ProblemsResources)
Preceded by
Problem 2
Followed by
Problem 4
1 2 3 4 5 6
All USAMO Problems and Solutions