play and relax: games for kids games
  Cut the knot: learn to enjoy mathematics
A math books store at a unique math study site. Learn to enjoy mathematics.
Google
Web CTK
Try our no ads browsing

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
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 Buying a book is a commitment to learning Table of content Try our no ads browsing Things you can find on CTK Chronology of updates Email to Cut The Knot Recommend this page

Four Pegs That Form a Square

The applet bellow allows one to experiment with the following problem:

  Four pegs on a square grid form a square, i.e., the pegs are located at the corners of a grid square. The pegs are allowed to jump over each other so as to land on a grid point across their original position (at the same distance from the jumped over peg.) The jumped over pegs remain in place. Is it possible that after a series of such moves the four pegs form a square larger than the original?

All the small dots are draggable and, when dragged, snap into legal positions. As a variant, you can select to work with five dots, in which case you can, at the outset, move the extra dot to any location you wish. After that, it behaves as a regular dot. An extra control modifies the size of the square relative to the grid.


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.


Buy this applet
What if applet does not run?

The problem with 4 dots has a beautiful proof, that is presented in an intuitive and a formalized forms. The answer to the question is negative.

With an additional peg available, the grid could be modified to make jumps shorter than the side length of the square. May this matter? You may want to think this over before checking the answer.

Copyright © 1996-2008 Alexander Bogomolny

 

 

 

 

 

 

 

 

 

 

(By Nathan Bowler.)

Now consider the case with an auxiliary peg. Suppose the pegs are initially at (0, 0), (0, n), (n, 0), (n, n) and (x, y). The minimal lattice A of this set is {(an + kx, bn + ky): a, b, k in Z}, Z being the set of whole numbers. Suppose for a contradiction that this lattice contains some square of side m < n with sides parallel to those of the original. Then (0, m) is in A (since A is a lattice) and so x is a rational multiple of n. Similarly so is y. Thus by a suitable rescaling we may assume that m, n, x and y are all integers.

Now let l = gcd(m, n). Then since l is a linear combination of m and n with integer coefficients, (0, 0), (0, l) and (l, 0) are all in A, and so the standard square lattice L which is the minimal lattice of these points is a sublattice of A. Let p be the least positive integer such that px and py are both divisible by l. Then we have L = {(an + kpx, bn + kpy): a, b, k in Z}. Indeed, we may include the restriction 0 k < n/l since n/l · (px, py) = (un, vn) for some u, v in Z. But then it follows that the intersection of L with the square [0, n)×[0, n) contains at most n/l points. Since it actually contains (n/l)2 points we have n/l (n/l)2 and so n/l = 1 and so n|m, which is the desired contradiction.

Copyright © 1996-2008 Alexander Bogomolny

29713934Page copy protected against web site content infringement by Copyscape


Search:
Keywords:


Latest on CTK Exchange
try this puzzle ?/?? + ?/?? + ?/? ...
Posted by albert1950
2 messages
03:40 PM, Aug-26-08

Numbers raised to the power of 0
Posted by Chris Tolley
20 messages
12:17 PM, Aug-25-08

Arbelos : 1) Geometrical Construc ...
Posted by Sundar Krishnan
12 messages
06:29 AM, Aug-12-08

concerning pi
Posted by Lloyd Marks
4 messages
08:25 AM, Aug-22-08

Triangles With Equal Area
Posted by Bui Quang Tuan
5 messages
07:20 PM, Aug-26-08

Coxeter Introduction to Geometry
Posted by WiZaRd
1 messages
09:15 AM, Aug-23-08

site questions
Posted by madisonv
2 messages
04:24 PM, Aug-26-08