7

I oversaw a high-school mathematics test the other day, and one of the problems was the following

Show, using induction or other means, that $$\sum_{i = 1}^n\frac1{i(i+1)} = 1-\frac1{n+1}$$

The induction proof is very standard, where the induction step relies on the fact that $\frac{1}{n+1} + \frac{1}{n(n+1)} = \frac{1}{n}$, and I'm sure it's been answered on this site before. However, I got intrigued by the "or other means" part of the question.

I don't know whether the teacher who wrote the test even considered any alternative solutions (he may just have written it so that if anyone has a crazy idea that works out, then they should get a full score for it), but I tried to find one. For instance, we may do the following telescope-ish argument: $$ \frac{1}{1(1+1)} + \frac{1}{2(2+1)} + \cdots + \frac{1}{(n-1)n} + \frac{1}{n(n+1)} + \frac{1}{n+1}\\ = \frac{1}{1(1+1)} + \frac{1}{2(2+1)} + \cdots + \frac{1}{(n-1)n} + \frac1n\\ \vdots\\ = \frac{1}{1(1+1)} + \frac12\\ = 1 $$ However, I feel that this is just an induction proof in disguise (hidden in the vertical dots). If one uses the mechanics of the induction proof to check whether the formula is true for a specific $n$, then one certainly does the exact same calculations as I have done here.

Is there a proof of this fact that clearly does not use induction (or at least hides it better)? The more elementary the better, and the ultimate goal would be to do it within the syllabus of the students taking the test (or at least not far from it). For reference, they should be familiar with the summation formula of arithmetic and geometric series and their derivations (so techniques resembling those would be well within specifications).

If there is a solution using calculus, then the students should be able to integrate elementary trigonometric functions, as well as exponential functions, logarithms and rational functions. They are familiar with integration by parts, substitution and partial fractions.

I welcome more advanced solutions as well, of course.

Rick Owens
  • 253
  • 1
  • 12
Arthur
  • 199,419
  • You don't need induction, really. This is a telescoping sum, meaning that successive terms cancel each other out. – Jon Warneke Apr 14 '16 at 20:08
  • 2
    @JonWarneke But if you work your way up from the bottom "$=1$" to the top row in the telescoping sum, then you retrace exactly the steps in the inductive proof when passing through the vertical dots. That's what I meant by "induction in disguise". – Arthur Apr 14 '16 at 20:11
  • Duplicate or not ? – openspace Apr 14 '16 at 20:11
  • @openspace If you feel it's a duplicate, it would help if you provided a link. – Arthur Apr 14 '16 at 20:12
  • http://math.stackexchange.com/questions/1742626/prove-using-induction-sum-k-1n-1-kk1-n-n1/1742634#1742634 – openspace Apr 14 '16 at 20:13
  • 1
    @openspace He is trying to avoid telescoping or induction I believe. – Simply Beautiful Art Apr 14 '16 at 20:14
  • 1
    Note that here, $$a_i = \frac{1}{i(i+1)} = \frac{i+1-1}{i(i+1)} = \frac{1}{i} - \frac{1}{i+1} $$ so that summing up the $a_i$s leaves out only $1-\frac{1}{n+1}$ as desired. – Aritra Das Apr 14 '16 at 20:14
  • @AritraDas That's repeating Warneke's comment to which Arthur has already pointed out its issues. – Git Gud Apr 14 '16 at 20:15
  • @GitGud I don't realise the problem with telescoping. Telescoping isn't induction. – Aritra Das Apr 14 '16 at 20:18
  • @AritraDas I think telescoping really is a type of inductive proof... – Simply Beautiful Art Apr 14 '16 at 20:19
  • Are perturbation methods out of the question? – Simply Beautiful Art Apr 14 '16 at 20:19
  • @SimpleArt The last sentence in the question body is "I welcome more advanced solutions as well, of course", so if you can make it work, go for it. – Arthur Apr 14 '16 at 20:21
  • And @GitGud the OP states "does not use induction (or at least hides it better)? " so unless its blatantly inductive, why not? – Aritra Das Apr 14 '16 at 20:21
  • @AritraDas I certainly agree that your solution hides the induction a lot better, telescoping away all the terms in one fell swoop, rather than one term at a time. (Why didn't I think of that?) – Arthur Apr 14 '16 at 20:22
  • 3
    @AritraDas I've been disliking "without induction" proofs more and more because the fact of the matter is in induction is ALWAYS present, almost by definition of "Mathematics". So how deep does induction need to be hidden for a proof to be regarded as "without induction"? And how does one even define "depth" here? Long story short, disregard my comment, I don't think the question can be answered. – Git Gud Apr 14 '16 at 20:24
  • 1
    @GitGud Sh, don't say that just yet man! – Simply Beautiful Art Apr 14 '16 at 20:25
  • Well, Perturbation forces me to do a telescoping sum, so I guess that's out of the question. And sadly, it doesn't leave me with the initial summation to work with. – Simply Beautiful Art Apr 14 '16 at 20:26
  • @GitGud I think you're right. Almost everything is inductive at some level, whether it is summation, integration or even perhaps proof by contradiction. – Aritra Das Apr 14 '16 at 20:38
  • Please do not use titles consisting only of math expressions; these are discouraged for technical reasons -- see meta. (I have edited the title in this case. If you think that the new title in some way misrepresents your question, please do edit it further.) – Martin Sleziak Apr 21 '16 at 16:05
  • You cannot even define $ g(n)=\sum_{j=1}^n f(j)$ without the principle of induction. And the telescoping method cannot be written out in all its excruciating fullness without the principle of induction. The dots in $(1-1/2)+(1/2-1/3)+...+(1/n-1/(n+1))$ only have meaning because of it. However, it is useful to have techniques, such as this, that are based on induction – DanielWainfleet Jul 07 '16 at 11:55

4 Answers4

8

You can use a partial fractions decomposition, which assumes that we can rewrite $$ \frac{1}{i(i+1)} = \frac{A}{i} + \frac{B}{i+1}, \qquad 1 \leq i \leq n $$ for some $A, B$. Clearing denominators, the above equation is $1 = A(i+1) + B i$ for $1 \leq i \leq n$ which has solution $A=1$, $B=-1$. Hence \begin{align*} \sum_{i=1}^n \frac{1}{i(i+1)} &= \sum_{i=1}^n \frac{1}{i} - \frac{1}{i+1} \\ &= \left(1 \color{red}{- \frac{1}{2}} \right) + \left(\color{red}{\frac{1}{2}} \color{orange}{- \frac{1}{3}} \right) + \left(\color{orange}{\frac{1}{3}} \color{green}{- \frac{1}{4}} \right) + \cdots + \left(\color{blue}{\frac{1}{n-1}} \color{purple}{- \frac{1}{n}} \right) + \left( \color{purple}{\frac{1}{n}} - \frac{1}{n+1} \right) \\ &= 1 - \frac{1}{n+1}. \end{align*}

All adjacent (colored) summands cancel each other except for $1$ and $-\frac{1}{n+1}$, so we're left with $1 - \frac{1}{n+1}$. There's nothing inductive about it. It's just a convenient finite sum.

Jon Warneke
  • 4,937
  • 2
    This is the solution I should've seen myself (as I said in the comments). It does exactly the same telescoping as in the inductive proof, but does all of them at once, thus removing the "one-at-a-time" feel of the original inductive proof. I think this is as good as it gets, dince (as noted by GitGud in the comments) if this isn't induction free, then what is? – Arthur Apr 14 '16 at 20:44
6

For a proof of intermediate level, note that for each $k=1,2....,n$ we have $$\int_k^{k+1} \frac{1}{t^2}\ dt=\frac{1}{k(k+1)}.$$ Adding these integrals for $k$ from $1$ to $n$ then gives $$\int_1^{n+1}\frac{1}{t^2}\ dt=1-\frac{1}{n+1}.$$

In this approach the "telescoping" may be said to hide in the additivity of the integral over the disjoint subintervals of $[1,n+1].$

coffeemath
  • 29,884
  • 2
  • 31
  • 52
4

You can write $$ \sum_{i = 1}^n\frac1{i(i+1)} = \sum_{i = 1}^n\left[\frac{1}{i}-\frac{1}{i+1}\right]\ . $$ Then use the identity $$ \frac{1}{x}=\int_0^\infty ds e^{-s x}\qquad x>0\ , $$ to write $$ \sum_{i = 1}^n\left[\frac{1}{i}-\frac{1}{i+1}\right]=\int_0^\infty ds\sum_{i=1}^n \left[e^{-s i}-e^{-s (i+1)}\right]\ , $$ and then use geometric sums $$ \int_0^\infty ds \left[e^{-s}-e^{-(n+1) s}\right]=\frac{n}{n+1}\ . $$

  • This is a very cool solution, and the best ones in the class should definitely be able to follow it, even if it might be beyond all but very few on that level to come up with it. – Arthur Apr 14 '16 at 20:47
3

You can use finite difference method to solve this (although, it truly shines with more complex sums, and is an overkill here).

Define $(\Delta f)(x)$ as $f(x+1)-f(x)$ It's easy to see that operator $\Delta$ is linear. It's supposed to be similar to differential operator, and recall that $D(x^k) = kx^{k-1}$, here we have a similar fact, but not for standard power, but for falling factorial instead.

Define falling factorial of x to be $$(x)_n =\begin{cases}x(x-1)(x-2)\ldots(x-n+1)& n>0\\ 1 & n = 0\\ \frac{1}{(x+1)(x+2)\ldots(x+n)}& n < 0 \end{cases}$$

This operation is defined in such a way, to satisfy for all $n,m\in\mathbb{Z}$ the property $(x)_{m+n}=(x)_m(x-m)_n$
Moreover $\Delta((x)_n) = (x+1)_n - (x)_n = (x+1)x(x-1)\ldots(x-n+2) - x(x-1)\ldots(x-n+1) = x(x-1)\ldots(x-n+2)(x+1 - (x-n+1)) = n(x)_{n-1}$
I am only proving this property for positive $n$, but it holds in general.

Now, let's move one to sums. Define the $\Sigma$ operator to be
$$\sum g(x)\delta x = f(x) + p(x) \iff g(x) = \Delta f(x)$$ Where $p$ denotes a function satisfying $p(x+1)=p(x)$ (such functions vanish under $\Delta$ operator).

And let $\sum_a^b g(x)\delta x = f(b) - f(a)$ It is clear, that this new kind of sum is directly connected to standard summation - indeed $\sum_a^bg(x) \delta x = \sum_{k=a}^{b-1}g(k)$, which is obvious enough given that $\sum_a^a g(x) \delta x = f(a) - f(a) = 0$ and
$\sum_a^{b+1}g(x)\delta x - \sum_a^b g(x) \delta x = (f(b+1)-f(a)) - (f(b)-f(a)) = f(b+1) - f(b) = g(b)$

So, in our new notation, the sum in question can be rewritten as $$\sum_{k=1}^n \frac{1}{k(k+1)} = \sum_{0}^{n} (x)_{-2}\delta x$$

Just like in calculus, remembering our remark about $\Delta$ of falling factorial we arrive at equation $$\sum (x)_n \delta x = \frac{(x)_{n+1}}{n+1} + C \hspace{10pt} \text{for } n \not= -1$$

So we have $\sum (x)_{-2}\delta x = -(x)_{-1} + C$ Plugging that into our formula we arrive at
$$\sum_{0}^{n}(x)_{-2}\delta x = -(n)_{-1} - (-(0)_{-1}) = 1- \frac{1}{n+1}$$

Azazel
  • 56