### 47th Putnam 1986

Problem A3

Find cot-1(1) + cot-1(3) + ... + cot-1(n2+n+1) + ... , where the cot-1(m) is taken to be the value in the range (0, π/2].

Solution

Moderately easy.

The problem is trivial once you see that cot-1(n2 + n + 1) = cot-1n - cot-1(n+1). [Because then the sum telescopes to cot-10 = π/2.]

But how do you get that insight? We know that Putnam problems are broadly in order of increasing difficulty and that the 3rd problem, whilst not trivial, is usually fairly easy, so we expect this the solution to be fairly short and straightforward. The simplest thing is to try to evaluate cot-1m explicitly. But whilst cot-11 = π/4, but there do not look to be any simple expressions for m > 1.

The next simplest thing is likely to be something involving some cot-1a ± cot-1b formula. We probably do not know any such formulae, but we do know cot(A ± B), or can easily work it out from the formulae for sin(A + B) and cos(A + B): cot(A + B) = (cot A cot B - 1)/(cot A + cot B) and cot(A - B) = (cot A cot B + 1)/(cot B - cot A). To turn that into something involving cot-1, we need to put A = cot-1a, B = cot-1b, giving cot-1a + cot-1b = cot-1( (ab - 1)/(a + b) ), and cot-1a - cot-1b = cot-1( (ab + 1)/(b - a) )   (*).

That may not be enough of a clue. Putting a = n2 + n + 1, b = (n+1)2 + (n+1) + 1, for example, just gives a mess. But we might think of telescoping, or just of using the formula the other way around to get cot-1(n2 + n + 1) as a sum or difference of two cot-1. With a little playing around that should lead to using the difference with a = n, b = n+1 in (*).

An alternative approach is to notice that for large m, cot-1m is about 1/m. But 1/(n2 + n + 1) is about 1/(n2 + n) = 1/n - 1/(n+1) and hence about cot-1n - cot-1(n+1). That might trigger the insight.

Alternatively, we might speculate about why n2 + n + 1 had been chosen. If we noticed that n2 + n + 1 = n(n + 1) + 1, we might think about the relation to the cot(A + B) formulae (remembering perhaps the cot A cot B + 1). That could give us the solution.