Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Best sites for teachers
Sites for teachers
Sites for parents
Terms of use
Awards

Interactive Activities
CTK Exchange
CTK Insights - a blog

Games & Puzzles
What Is What
Arithmetic/Algebra
Geometry
Probability
Outline Mathematics
Make an Identity
Book Reviews
Eye Opener
Analog Gadgets
Inventor's Paradox
Did you know?...
Proofs
Math as Language
Things Impossible
Visual Illusions
My Logo
Math Poll
Cut The Knot!
MSET99 Talk
Other Math sites
Front Page
Movie shortcuts
Personal info
Reciprocal links
Privacy Policy

Guest book
News sites

Recommend this site

Best sites for teachers
Sites for teachers
Sites for parents

Education & Parenting

Manifesto: what CTK is about Search CTK Buying a book is a commitment to learning Table of content Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

 

Cut The Knot!

An interactive column using Java applets
by Alex Bogomolny

Four Construction Problems

July 2000

My morale received a boost recently (Are we getting through!) in the form of an email inquiry:

dude, I really hate math, but that tesseract thing kicks ass! I really wonder though, is it possible to construct a physical model even though its 4-d, or can it only exist as a calculation?

(I apologize for the colloquialisms in the message. A fellow may be less guarded on the Web than in a face-to-face contact. Might this example of the perceived impersonality of email communication be an indication of how technology could affect our culture? The reference is probably to The Tesseract page.)

Thus encouraged, let's forge on.

In the Introduction to [Yaglom] we find 3 construction problems:

  1. Construct a triangle, given the three points in the plane that are the outer vertices of equilateral triangles constructed outward on the sides of the desired triangle.

  2. Construct a triangle, given the three points in the plane that are the centers of squares constructed outward on the sides of the desired triangle.

  3. Construct a heptagon (polygon of 7 sides), given the seven points that are the midpoints of its sides.

To get better appreciation of what follows, try solving the problems. (Or consider buying Yaglom's classics at the MAA Bookstore at the discount price comparable to the cost of shipping and handling.) In the book, solutions follow immediately the formulations. Towards the end of the Introduction, Yaglom brings the three problems under a single umbrella (my paraphrase):

Given n points M1, M2, ..., Mn (n > 2) and angles a1, a2, ..., an, construct a polygon A1, A2, ..., An, An+1 = A1 such that triangles AiMiAi+1 are isosceles (AiMi = Ai+1Mi) with the apex angle AiMiAi+1 = ai.

The first problem is obtained with n = 3, a1 = a2 = a3 = 60o, in the second problem n = 3, a1 = a2 = a3 = 90o, and in the third n = 7, ai = 180o, i = 1, 2, 3, ..., 7.

The applet below is to assist in solving the general problem:

The applet has three modes. In the "Place points" mode, you define (by clicking) and move (by dragging) a sequence of points M. The order in which the points are created determines the order of traversal (orientation) of the sequence. The set of points may have two different orientations. The angles, on the other hand, are always measured in the positive direction of the coordinate system - left handed in the applet, which means that the angles are measured clockwise.

In the "Change angles" mode, angles are display next to the corresponding point and can be modified by clicking (slow) or dragging the cursor (fast) a little off their central line.

In the "Drag cursor" mode, the cursor position is rotated in order through the given angles around the given points. What is shown is a broken line whose starting and ending points are denoted by the same letter. There may be several such lines.


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 http://www.java.com/en/download/index.jsp, download and install Java VM and enjoy the applet.


Here's an outline of the construction. Assume A1A2...An is the desired polygon. Pick up a point A. Rotate the segment AA1 in M1 through the angle a1. Since the rotation is a motion of the plane that preserves shapes and distances, the image of the segment AA1 is equal in length to the segment itself. Rotate that image segment successively in M2, M3, and lastly in Mn. All intermediate segments have equal lengths. The last one again ends at A1. Let its other end be A'. We have AA1 = A'A1. This means that A1 lies on the locus of points equidistant from A and A' - the perpendicular bisector of the segment AA'. Pick up another point B and similarly construct B'. The perpendicular bisectors of AA' and BB' are bound to intersect at A1. (If the angles ai add up to a multiple of 360o, the construction breaks down. Why?)

In the general case, and especially because the vertices of the triangles in the applet are defined dynamically, the designation of outwardly constructed triangles becomes awkward. The notion of orientation saves the day. Vertices with positive angles lie to the right of the desired polygon, vertices with negative angles lie to its left. If the orientation of the vertices is counterclockwise, the former appear to be constructed outwardly, the latter inwardly on the sides of the polygon. For the clockwise orientation outside becomes inside and vice versa.

It's not therefore important which orientation we choose, but that the chosen orientation and the signs of the angles be in the desired relation, and the sheer fact that there are exactly two possible orientations.

A theorem by Joseph Neuberg [Honsberger, p. 273] is relevant in this context:

On the sides of ABC first construct outwardly (inwardly) three squares with centers X, Y, and Z. On the sides of XYZ construct next three inward (outward) squares with centers P, Q, and R. Points P, Q, and R then coincide with the midpoints of ABC.

Neuberg's theorem is easily proven with Linear Polygonal Transformations. (There's also a synthetic proof.) One of the constructions is defined by the circulant matrix

the other with the circulant

where c = (1 + i)/2, i being one of the square roots of -1. The bar above c denotes its conjugate, (1 - i)/2. For the product of the transformations we get

which proves the theorem.

References

  1. I.M. Yaglom, Geometric Transformations I, MAA, 1962
  2. R. Honsberger, In Pólya's Footsteps, MAA, 1997

Copyright © 1996-2008 Alexander Bogomolny

 

 

 

 

 

 

 

 

 

 

28737549Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
Math
Posted by Laura
2 messages
06:56 AM, Apr-15-08

Divisibility rules - Jargon buste ...
Posted by Carolyn
2 messages
08:35 AM, Apr-04-08

drawing puzzle
Posted by martin gran
31 messages
06:53 PM, May-09-08

conway's game of life
Posted by frequency
0 messages
11:52 PM, May-12-08

Mistake on the page (an aside, Be ...
Posted by Max
4 messages
10:28 AM, Feb-28-08

Deriving functions based on diffe ...
Posted by ke_45
1 messages
12:47 PM, May-10-08

Josephus Flavius (correction)
Posted by David Turner
1 messages
09:42 AM, May-14-08