Bunuel
For the infinite series \(a_1\), \(a_2\), ..., \(a_n\), \(a_n=a_{n−1}+n\), and \(a_1=1\). If n>4, is \(a_n\) an odd integer?
(1) \(a_{n−1}\) is even
(2) \(a_{n−4}\) is odd
Official solution from Veritas Prep.
As with most sequence problems, your most effective strategy is typically to list out the first few terms of the sequence to see if you can establish a pattern or trend. Here you will find:
First Term: 1 (Odd)
Second Term: 1 + 2 = 3 (Odd)
Third Term: 3 + 3 = 6 (Even)
Fourth Term: 6 + 4 = 10 (Even)
Fifth Term: 10 + 5 = 15 (Odd)
Sixth Term: 15 + 6 = 21 (Odd)
Seventh Term: 21 + 7 = 28 (Even)
Eighth Term: 28 + 8 = 36 (Even)
From that, you should see the pattern that the evenness/oddness of terms in this sequence progresses in pairs: Odd, Odd, Even, Even, Odd, Odd, Even, Even... And you can see the reason why. When you're at an even number and add an odd, you of course get an odd sum. And since you just added an odd, the next integer will be even so you'll be adding an even to an odd to get odd. Having just added an even, the next number will be odd so you'll have odd + odd, which is even, and the next number up to add is even. Then the cycle will repeat.
This means, then, that statement 1 is not sufficient. If you're on an even term for \(a_{n−1}\), the pattern shows that it could be the first of two consecutive evens (in which case an would be the second even), or that it could be the second (in which case an would be odd).
Statement 2, however, is sufficient. Given the list Odd, Odd, Even, Even, Odd, Odd, Even, Even, Odd, Odd, Even, Even, Odd, Odd..., you should see that if you're on an Odd value and move four spaces away, you'll always land on another odd value. Therefore, statement 2 is sufficient and the correct answer is B.