# Mistrust Intuition of the Infinite

The applet below illustrates a situation in which a sequence has a limit whose value does not seem to confirm to our geometric intuition.

What if applet does not run? |

Start with a square - a *big square* in the sequel. The midpoints of its sides form another square - called a *small square* below. On the sides of the latter form a sequence of broken lines as shown in the applet. Intuitively, the sequence of the so formed curves approaches the small square as the number of the "break points" tends to infinity. Let S be the perimeter of the big square, s that of the small square, and s_{n} the total length of the broken line with n break points on a side of the small square. Since, obviously - and correctly in some sense that could be formalized - the broken line approaches the small square as n grows, one may expect that the same is true of their lengths:

lim_{n→ ∞}s_{n} = s.

However, this is not true. Indeed, s = S/√2, while, for every _{n} = S. Since s_{n} is constant, the limit of the sequence s_{n} is that constant value:

lim_{n→ ∞}s_{n} = S ≠ S/√

The example may make one wonder. Indeed, practically the same approach worked for estimating the circumference of a circle. Why does not it work now? In both cases, there is a sequence of curves convergent to a limit curve. In the case of the circumference, the lengths of the curves did converge to the length (circumference) of the limit curve (a circle). In the present case, the sequence of the lengths does not converge to the length of the limit curve (the small square.)

It appears that the convergence of the curves does not guarantee the (expected) convergence of their lengths.

|Contact| |Front page| |Contents| |Algebra|

Copyright © 1996-2018 Alexander Bogomolny

65441595 |