From eclark@tarski.math.usf.edu Tue Feb 17 09:52:28 1998
Received: from tarski.math.usf.edu (tarski.math.usf.edu [131.247.215.19])
	by euclid.math.temple.edu (8.8.5/8.8.5) with ESMTP id JAA18779
	for <ekhad@euclid.math.temple.edu>; Tue, 17 Feb 1998 09:52:26 -0500 (EST)
Received: from localhost (eclark@localhost) by tarski.math.usf.edu (8.8.5/8.6.5) with SMTP id JAA05274; Tue, 17 Feb 1998 09:49:09 -0600 (CST)
Date: Tue, 17 Feb 1998 09:49:08 -0600 (CST)
From: Edwin Clark <eclark@tarski.math.usf.edu>
X-Sender: eclark@tarski
Reply-To: Edwin Clark <eclark@tarski.math.usf.edu>
To: ekhad@euclid.math.temple.edu
cc: Kathy Jensen <jensen@math.usf.edu>
Subject: The Devil's Proof of Morley's Theorem
Message-ID: <Pine.SUN.3.96.980217092640.5174A-100000@tarski>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Content-Length: 1242
Status: R


Dear Shalosh B. Ekhad,

Recently Mourad Ismail gave me your proof of Napoleon's
Theorem that was sent to him by Doron Zeilberger.
Since I am teaching a course in Maple this semester
I decided to go through it. I presented it to my
class and explained why it is a proof. Then I assigned
them the project of checking the code in your
paper A Proof of Morley's Theorem (From The (Devil's) Book).

Some static electricity must have intervened and caused
you to make a little mistake on the next to last line of
the procedure morley. There you have

       normal(ABsq-BCsq),normal(ABsq-BCsq);

The second BCsq should be ACsq. 

You may draw your own moral about such matters.
(I missed it myself, since I was so busy trying to
insure that the rest of the procedure way okay!)

The error was noticed by Kathy Jensen. So if you send 
awards for people finding errors in your papers
you should send one to her. Her email address is
jensen@math.usf.edu and her snail mail address is
the same as that in my signature below.

Best Regards,

Edwin

====================================================
     W. Edwin Clark, Department of Mathematics            
University of South Florida, Tampa, FL 33620-5700
          eclark@tarski.math.usf.edu





