01.02.2013 Views

MYSTERIES OF THE EQUILATERAL TRIANGLE - HIKARI Ltd

MYSTERIES OF THE EQUILATERAL TRIANGLE - HIKARI Ltd

MYSTERIES OF THE EQUILATERAL TRIANGLE - HIKARI Ltd

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Mathematical Properties 73<br />

Property 80 (Partitions of an Equilateral Triangle). Let T denote a<br />

closed unit equilateral triangle. For a fixed integer n, let dn denote the infimum<br />

of all those x for which it is possible to partition T into n subsets, each subset<br />

having a diameter not exceeding x. Recall that the diameter of a plane set<br />

A is given by d(A) = sup a,b∈A ρ(a, b) where ρ(a, b) is the Euclidean distance<br />

between a and b. R. L. Graham [149] has determined dn for 1 ≤ n ≤ 15.<br />

Figure 2.65 gives an elegant partition of T into 15 sets each having diameter<br />

d15 = 1/(1 + 2 √ 3).<br />

Property 81 (Dissecting a Polygon into Nearly-Equilateral Triangles).<br />

Every polygon can be dissected into acute triangles. On the other hand,<br />

a polygon P can be dissected into equilateral triangles with (interior) angles<br />

arbitrarily close to π/3 radians if and only if all of the angles of P are multiples<br />

of π/3. For every other polygon, there is a limit to how close it can come<br />

to being dissected into equilateral triangles [64, pp. 89-90].<br />

Figure 2.66: Regular Simplex [60]<br />

Property 82 (Regular Simplex). A regular simplex is a generalization of<br />

the equilateral triangle to Euclidean spaces of arbitrary dimension [60]. Given<br />

a set of n + 1 points in R n which are pairwise equidistant (distance = d), an<br />

n-simplex is their convex hull.<br />

A 2-simplex is an equilateral triangle, a 3-simplex is a regular tetrahedron<br />

(shown in Figure 2.66) , a 4-simplex is a regular pentatope and, in general, an<br />

n-simplex is a regular polytope [60]. The convex hull of any nonempty proper<br />

subset of the given n+1 mutually equidistant points is itself a regular simplex<br />

of lower dimension called an m-face. The n + 1 0-faces are called vertices, the<br />

n(n+1)<br />

1-faces are called edges, and the n + 1 (n − 1)-faces are called facets.<br />

2<br />

� �<br />

n + 1<br />

In general, the number of m-faces is equal to and so may be found<br />

m + 1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!