Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10 beta 3/9/83; site cwruecmp.UUCP
Path: utzoo!linus!decvax!cwruecmp!rrrm
From: rrrm@cwruecmp.UUCP (R Robertson + R McGuire)
Newsgroups: net.math,,net.jokes
Subject: equilateral triangles
Message-ID: <926@cwruecmp.UUCP>
Date: Tue, 31-Jan-84 14:10:18 EST
Article-I.D.: cwruecmp.926
Posted: Tue Jan 31 14:10:18 1984
Date-Received: Thu, 2-Feb-84 01:33:44 EST
Organization: CWRU Computer Engr. Cleveland, Ohio
Lines: 47


    I don't know how many people have already replied to this 'proof' but
I'm gonna anyhow.

    First let me re-run the proof for those of you that missed it...

1 Construct triangle ABC
2 Bisect angle BAC
3 Perpendicularly bisect BC; D is at the midpoint of BC.
4 E is where BC's bisector and angle A' bisector cross.
  (if the two bisectors are coincident then E is any point on the line.)
5 draw BE & CE
6 F is the projection of E onto AB
7 G is the projection of E onto AC
8 BD=CD (step 3); BDE=CDE=90 (steps 3&4); ED=ED (reflexive); 
  therefore triangle BDE=triangle CDE.
9 FAE=GAE (step 2); AFE=AGE=90 (steps 6&7); AE=AE (reflexive);
  therefore triangle AFE=triangle AGE.
10 EFB=EGC=90 (steps 6&7); FE=GE (step 9); BE=CE (step 8);
   therefore triangle EFB=triangle EGC
11 AF=AG (step 9); FB=GC (step 10); AF+FB=AB; AG+GC=AC
   therefore AB=AC
   therefore triangle ABC is isosceles.
12 Since it doesn't matter how you label the triangle in step 1, you can
   prove that ANY two of the sides are the same length; therefore ALL the
   sides are the same length and the triangle is equilateral.

                     Q.E.D. 



Wasn't that fun.  Try a few to see if you can tell what's wrong before
you read the rest of this article.

    Tried one?  Good, now I'll tell you the problem (just in case you 
didn't figure it out for yourself.

    The problem is in step 11. If AF+FB=AB and AG+GC=AC then the triangle 
is indeed isosceles with A as the vertex.  More often than not, however,
if AF+FB=AB then AC+CG=AG, or if AG+GC=AC then AB+BF=AF.  (i.e. F and G
aren't neccisarily between A&B and A&C, respectively.)  Well, that's
it.

						Ryan McGuire
						(the rm of rrrm)