Let be a sequence of integers such that and for all positive integers and Then is
- A)
- B)
- C)
- D)
- E)
Answer
D
Key insight
Setting n = 1 turns the relation into a_{m+1} = a_m + (m + 1), so a_m is the m-th triangular number and a_12 = 12 * 13 / 2.
Solution
The relation holds for every pair , so specialize to :
So going from index to index adds . Starting from :
In general , the triangular numbers. (Check: , so the formula really satisfies the relation.)
Therefore
The answer is .
Why this works
A functional relation in two variables is usually far more information than needed; fixing one variable at the base case turns it into an ordinary one-step recursion. The increment growing linearly is the signature of a quadratic closed form, and the triangular numbers are the first guess to test. The identity is worth remembering.
Alternative approach
Jump by doubling and one extra addition: , , , then . Four steps, no formula.
The trap
Using only m = n (doubling) and getting stuck because 12 is not a power of 2, or making an arithmetic slip while chaining twelve values by hand.
Common mistakes
- Using only m = n (doubling) and getting stuck because 12 is not a power of 2, or making an arithmetic slip while chaining twelve values by hand.
- Dropping the term when specializing (writing ), which gives and matches no choice.
Techniques
Compute small cases, spot the pattern, generalize · Define states/recurrence and iterate