Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Hex Win Proof?
Replies: 41   Last Post: Mar 24, 2004 6:39 PM

 Messages: [ Previous | Next ]
 Robin Chapman Posts: 3,289 Registered: 12/6/04
Re: Hex Win Proof?
Posted: Mar 24, 2004 5:43 AM

Tim Smith wrote:

> In article <c3rhkr\$289gvb\$2@athena.ex.ac.uk>, Robin Chapman wrote:
>>> I can't see a way to prove this without Jordan separation. It's not
>>> just
>>> a matter of the intermediate value theorem. If one path can be
>>> straightened out, then one can apply the intermediate value theorem, but
>>> saying that you can straighten out a path is essentially the content of
>>> the Jordan curve theorem.

>>
>> More than that --- it's almost the Schoenflies theorem. On the other
>> hand, if one is dealing with a path on a lattice, like we are doing here,
>> then one can do the straightening stepwise and end us with a nice "theta"
>> shape which we can apply the IVT to.

>
> I'd be suspicious of any use of well-known curve theorems without going
> over their proofs and making sure they apply to paths on the Hex board,
> because a path on the Hex board can, without intersecting itself, close
> off a region of the board.

I don't see that this is relevant. One replaces the path of pieces
on the hex board by a curve built from line segments joining
the centres of the hexagons in question. These paths are between vertices
of the equilateral triangle lattice. If both sides "won" we would get
two such paths, not crossing with endpoints in order blue, red, blue,
red on the outer boundary. We should be able to prove that the system
containing the board with marked blue path is homeomorphic to
the corresponding system with a straight blue path, by a stepwise process
which I don't have the patience to fully explain, but would flatten
out an "ear" on the blue path at each stage.

--
Robin Chapman, www.maths.ex.ac.uk/~rjc/rjc.html
"Lacan, Jacques, 79, 91-92; mistakes his penis for a square root, 88-9"
Francis Wheen, _How Mumbo-Jumbo Conquered the World_

Date Subject Author
3/18/04 Bill Taylor
3/18/04 Tim Brauch
3/19/04 Brian Chandler
3/19/04 Jonathan Welton
3/19/04 Tim Brauch
3/19/04 Richard Henry
3/20/04 Chan-Ho Suh
3/21/04 Arthur J. O'Dwyer
3/19/04 Bob Harris
3/19/04 Tim Smith
3/19/04 Dvd Avins
3/20/04 Nate Smith
3/20/04 Chan-Ho Suh
3/20/04 G. A. Edgar
3/19/04 Richard Henry
3/19/04 Steven Meyers
3/20/04 Nate Smith
3/20/04 Larry Hammick
3/20/04 Tim Smith
3/21/04 Steven Meyers
3/22/04 Torben Mogensen
3/22/04 Chan-Ho Suh
3/22/04 Torben Mogensen
3/22/04 Chan-Ho Suh
3/23/04 Torben Mogensen
3/23/04 Robin Chapman
3/23/04 Chan-Ho Suh
3/24/04 Robin Chapman
3/24/04 Tim Smith
3/24/04 Robin Chapman
3/24/04 Tim Smith
3/24/04 Jon Haugsand
3/22/04 Andrzej Kolowski
3/23/04 Alexander Malkis
3/23/04 Chan-Ho Suh
3/23/04 Dr. Eric Wingler
3/24/04 Danny Purvis
3/24/04 Danny Purvis