Mullens_David-Essay_ByrneEdits

advertisement
David Mullens
In projective geometry there is a well known
theorem called Desargues' Theorem. It states that
if two triangles are perspective from a point, they
are perspective from a line (Clapham and
Nicholson 120). Desargues' theorem is true for any
projective space of dimension at least 3.
Desargues' theorem is not the easiest thing to prove
in dimension 2. However, if one simply moves up
a dimension it becomes clear how to prove. The
idea was that hopefully if we went up more than
one dimension things would become even easier. It
turns out this is precisely what happened.
The purpose of our research is to demonstrate a
proof of Heron's formula using scissors
congruences in the fourth dimension. We wished
to provide a proof for an ancient formula using a
modern method. The proof is via a scissors
congruence that gives the proof of the Pythagorean
theorem, its 4-dimensional analogue, and
interpretations of the distributive laws via scissors
congruence. A triangle consists of three vertices
and three edges connecting said vertices. The edge
lengths of a triangle determine the area of that
triangle. The explicit formula for the area of a
triangle is known as Heron's (Hero's) Formula
(although recently attributed to Archimedes)
(Struik 43). The earliest known proof of Heron's
Formula can be found in a compendium in three
books known as Metrica (Dunham 114). Heron's
Formula states that the area, A, of a triangle is
computed in terms of the lengths of its sides. It
states that
where the semiperimeter,
(a + b + c)  2.
Heron's Formula can be written strictly in terms of
its edges by squaring both sides and clearing the
denominator, i.e.,
(a + b + c)(-a + b + c)(a - b + c)(a + b -c),
that is a homogeneous polynomial of degree four in
the edge lengths a, b, and c.
When we multiply two values, such as length
and width, we get area. When three values are
multiplied we get volume. Hence when we
multiply four values we expect a certain hyper
volume. Ergo each fourth degree term from
Heron's Formula represents a particular hyper
The University of South Alabama
volume. Thus, the right hand side of the above
equation represents 16 times hyper volume of the
geometric figure, that is a triangle times a triangle
(a hyper solid in 4-D space) when multiplied by 16
is the same as the hyper volume of a hypercube that
has edge lengths
(a + b + c)(-a + b + c)(a -b + c)(a + b - c). From
this, it would appear that Heron's Formula is now
telling us something about the fourth dimension.
This is the notion we wish to explore in further
detail.
Heron's original proof made use of cyclic
quadrilaterals. In addition, many proofs have since
been provided appealing to trigonometry, linear
algebra, and other branches of mathematics. We
propose to prove Heron's Formula using scissors
congruences in 4-dimensions. We should note that
the desire for a 4-D proof was expressed by J.H.
Conway. Conway mentioned that he sought a 4dimensional proof of Heron's formula over dinner
with my collaborator J. Scott Carter. John Horton
Conway is a prolific mathematician active in the
theory of finite groups, knot theory, number theory,
combinatorial game theory and coding theory. He
is most well know for the invention of the cellular
automaton called the Game of Life.
We will begin by addressing the concept of
scissors congruence and providing a scissors
congruence proof of the Pythagorean Theorem. A
polygon decomposition of a polygon P in the
Euclidean plane is a finite collection of
polygons
whose union is P and which
pairwise intersect only in their boundaries, e.g., the
well known dissection puzzle, Tangram
(Champanerkar 2).
We demonstrate that the distributive law is a
scissors congruence. Furthermore, we explicitly
represent expressions such as a(b - c) in terms of
decompositions of rectangles. In such decompositions, negative edge lengths are dealt with
formally, and we indicate explicitly how the formal
manipulations correspond to genuine geometric
cutting, deleting, and gluing.
The next step is to demonstrate that if polygons
P and Q are respectively scissors congruent
David Mullens
to P' and Q', then the hyper-solids P x Q and P' x Q'
are scissors congruent. This result follows,
roughly, from the fact that cartesian products
distribute over unions. More explicitly, we examine
dihedral angles between various facets of the
hyper-solids.
Finally, we examine the algebraic proofs in
terms of the scissors congruences outlined above.
The expression
where
is the area of the
triangle, represents the volume of four hyperparallelograms (parallelogram times
parallelogram), each of which is decomposed into
four copies of a triangle time triangle. The
expression
(a + b + c)(-a + b + c)(a - b + c)(a + b -c)
is the hyper-volume of a hyper-rectangle. It is
decomposed into 81 pieces via the distributive law.
All but nine terms in this expression cancel. Some
of those nine terms will further decomposed using
the Pythagorean theorem. The nine remaining
terms look as follows
Throughout the proof, we illustrate (as much as
is possible) the steps via standard 2-dimensional
projections of the hyper-solids. The danger in
relying upon these projections is that
the illustrations loose two dimensions of
information. Consequently, we often choose more
than one projection to illustrate a given idea. Also,
we spend some care in analyzing the angles
between facets of resulting hyper-solids. This is to
ensure we do not conflict with previous answers to
problems similar ours.
In the end everything comes down to an
algebraic proof. We make the respective
substitutions for the squared terms in the formula
above using the Pythagorean theorem on the image
below.
The University of South Alabama
Then we make appropriate cuts, cancel all the
negative hyper volume, and reassemble what it left
over. Once finished the formula becomes
.
When we divide everything through by 16 we get
.
That is, the hyper volume of a triangle squared
(triangle times triangle) is equal to one-fourth the
hyper volume of a parallelogram times
parallelogram spanned by and . One more
sentence needed.
Download