Iterations in Geometry, an example

Let there be given a triangle ABC and a point P. First, point P moves towards A. But half way from its original position to A it makes a turn and continues towards B. However, half way from B, it turns towards C. Half way towards C, it turns towards A, and so on.

Verify and try to prove that point P eventually settles into cycling between three successive positions irrespective of its initial position. These three positions form a triangle whose area is 1/7 that of the area of triangle ABC.

(Click anywhere in the applet to start iterations.)


This applet requires Sun's Java VM 2 which your browser may perceive as a popup. Which it is not. If you want to see the applet work, visit Sun's website at https://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


What if applet does not run?

Explanation

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

From its initial position point P moves to (P + A)/2. From here on the next step, it moves half distance towards B. It's new position is at [(P + A)/2 + B]/2 = (P + A + 2B)/4. After that it moves half way in the direction of C to [(P + A + 2B)/4 + C]/2 = (P + A + 2B + 4C)/8. From here the process starts again: half way towards A, half way towards B, half way towards C, and so on.

We may now consider a function f of a point P in a plane defined by f(P) = (P + A + 2B + 4C)/8, or f(P) = (P + D)/8, where D = (A + 2B + 4C)/8.

This function defines an iterative process: Pn+1 = f(Pn), n = 0, 1, 2, ..., where P0 = P, the initial position of the given point. The distance between successive iterations shrinks by a factor of 8 in the following sense:

Pn+1 - Pn = f(Pn) - f(Pn-1) = (Pn + D)/8 - (Pn-1 + D)/8 = (Pn - Pn-1)/8.

In other words, the distance between Pn+1 and Pn is 1/8 the distance between Pn and Pn-1. The latter is of course 1/8 the previous distance:

Pn - Pn-1 = (Pn-1 - Pn-2)/8.

Which means that Pn+1 - Pn = (Pn-1 - Pn-2)/82. Continuing in this manner we obtain that

Pn+1 - Pn = (P1 - P0)/8n.

Remembering the definitions of P0 and P1, this is the same as

Pn+1 - Pn = (D - 7P)/8n+1.

Write a sequence of similar identities for finitely many indices n and sum them up (let m > n):

Pm - Pm-1 = (D - 7P)/8m
Pm-1 - Pm-2 = (D - 7P)/8m-1
...
Pn+2 - Pn+1 = (D - 7P)/8n+2
Pn+1 - Pn = (D - 7P)/8n+1

Summing all of these up, we get

Pm - Pn = (D - 7P)(1 + 2-1 + ... + 2-(m-n))·2-n

Since the sum in parentheses is less then 2, we may claim that {Pn} is a Cauchy sequence. Since the plane along with the real line are complete metric spaces, the sequence {Pn} has a limit which we denote Q. From

Pn+1 = f(Pn) = (Pn + D)/8

we obtain Q = (Q + D)/8, or Q = D/7 = (A + 2B + 4C)/7.

Other vertices of the limiting triangle are found by cycling the symbols in that expression: (B + 2C + 4A)/7 and (C + 2A + 4B)/7.

There are several ways to prove that that triangle has the area 1/7 that of triangle ABC. The simplest is probably to recognize a construction we discussed on another occasion. One can also use the barycentric coordinates to identify the intersection A' of AD and BC. A' divides BC in a 2:1 ratio, which naturally leads to the same result.

The above problem admits a two-fold generalization.

Limits in Geometry

|Activities| |Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny

71492459