| Iterated Function Systems Larry Riddle |
|
||||||||||
Scale Factor and Translations for n-gonsScale FactorSuppose the initial polygon has n sides, each of length 1. The polygon must be scaled so that n copies of the scaled polygon exactly fit inside the initial polygon. The following figure illustrates one side of the initial polygon and two copies of the polygon after it is scaled by r and and the copies are translated.
Two sides of the scaled polygons would eventually just meet at a vertex (except for when n is a multiple of 4, in which case the two polygons meet along an entire edge.) Notice that the sides of the polygon on the left form the hypotenuses of a sequence of right triangles, with each hypothenus of length r. We need to determine the angles A1, A2, A3, etc. so that we can compute the lengths d1, d2, d3, etc. of the bases of each triangle. The interior angle B of a regular n-sided polygon is (n-2)/n*pi. Working our way around the edges of the polygon, we get
There seems to be a pattern, and indeed, you can prove by
induction that
Now that we know the angles, we can compute the lengths dk
= r*cos(Ak) for k = 1 to
Note that if n is a multiple of 4, then n/4 will be an integer. For that value of k, we have Ak = pi/2, so that the corresponding edge is verticle. In this case, the left and right polygons meet along this edge. See the figure.
TranslationsBecause the affine transformations for this iterated function system involves only scaling by r and translations, each vertex of the initial polygon is a fixed point for the transformation that translates the scaled version to that vertex.
If we look at a particular vertex V for the corresponding transformation f(x)=r*x + b, then
So we just need to pick the vertices in a convenient way. The easiest way to do this is to place the initial polygon with its center at the origin and with one vertex on the x-axis.
Each central angle is equal to 2*pi/n, so if w denotes the distance from the center to the vertex, then the vertices are at the points (w*cos(2 pi*k/n), w*sin(2 pi*k/n) for k = 1 to n. Therefore, the translation for the kth function is
Return to Sierpinski n-gon. |
|||||||||||
|
|||||||||||
|
|