4
$\begingroup$

Suppose one is given the following visual proof that

$$\lim\limits_{n \to \infty} \sum_{k=1}^n \frac{1}{2^k} = 1$$

which is the following construction over $[0,1]\times[0,1]$

enter image description here

What this is suggesting is that the sum of the areas of the triangles, which is $1/2,1/4,1/8,\dots$ indeed covers the unitary square with area 1.

What I want to know if it is possible to give any sense to this construction, or if it is possible to give a geometric/analytic proof, by showing the sequence of points converges to $(1,1)$. The sequence is defined as, $x(P)$ and $y(P)$ being the $x$ and $y$ entry of the point $P$:

$$P_1 = (1,0)$$ $$P_2 = \left(\frac{x(P_1)+y(P_1)}{2},\frac{x(P_1)+y(P_1)}{2} \right)$$ $$P_3 = (1, x(P_2))$$ $$P_{2n} = \left(\frac{x(P_{2n-1})+y(P_{2n-1})}{2},\frac{x(P_{2n-1})+y(P_{2n-1})}{2} \right) $$ $$P_{2n+1} = \left(1,x(P_{2n}) \right) $$

this is to say, we take the arithmetic mean of the $x,y$ entries, and then move the point to the line $x=1$. The idea is that since the limit/fixed point is $1$ then it must be the case that the square is covered by the infinitely many triangles produced. I'm not sure what other mathematical notion is needed to interpret this, so I hope you can understand what I'm striving for and help me out.

  • 0
    I don't understand, we can find a simple explicit expression for the coordinates of the $P_i$.2012-04-16
  • 0
    @AndréNicolas What is it that you don't understand?2012-04-16
  • 0
    Since one can find explicit expression, the limit of the $P_i$ is easy to compute.2012-04-16
  • 0
    Maybe that would help ? http://en.wikipedia.org/wiki/Newton's_method2012-04-16
  • 0
    @AndréNicolas What I want to know is what is needed to give sense to the proof. I have no formal interpretation of the fact the triangle "covers" the unit square, which I thing are pertinent to measures, topology, or something of the kind.2012-04-16
  • 0
    It certinly does cover in the sense of measure, just add the areas and observe that the region of overlap (boundaries of the triangles) has measure $0$. You can also observe geometrically that for any $\epsilon>0$, you can find an $N$ such that all but the circle with centre $(1,1)$ and radius $\epsilon$ is part of some triangle $T_n$ with $n \le N$.2012-04-16
  • 0
    @AndréNicolas That idea looks promising. I'll leave for a while and return to accept an answer.2012-04-16

1 Answers 1

6

It's a two-dimensional visualization of the fact that $$\Bigl[0,{1\over2}\Bigl[\ \cup\ \Bigl[{1\over2},{3\over4}\Bigl[ \ \cup\ \Bigl[{3\over4},{7\over8}\Bigl[\ \cup\ \ldots=\ [0,1[$$ where the successive intervals have lengths ${1\over2}$, ${1\over4}$, $\ldots\ $. So it has to do with $\sigma$-additivity of measure. If you are uneasy with this it is simpler to consider the one-dimensional situation.

  • 0
    Very nice ! (the best I ever seen )2016-03-25