Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!linus!philabs!cmcl2!seismo!brl-tgr!gwyn
From: gwyn@brl-tgr.ARPA (Doug Gwyn <gwyn>)
Newsgroups: net.puzzle
Subject: A somewhat different geometry problem
Message-ID: <3253@brl-tgr.ARPA>
Date: Fri, 15-Nov-85 06:37:00 EST
Article-I.D.: brl-tgr.3253
Posted: Fri Nov 15 06:37:00 1985
Date-Received: Sun, 17-Nov-85 05:58:00 EST
References: <2966@brl-tgr.ARPA> <264@Navajo.ARPA> <242@ur-cvsvax.UUCP>
Distribution: net
Organization: Ballistic Research Lab
Lines: 14

I was rather impressed with what seems to be the first
real new "discovery" made by a computer program.  Seems
a program for producing proofs of theoerms in elementary
geometry came up with a truly elegant proof that the
sides of an isoceles triangle are equal.  Of course,
this is proved in elementary geometry courses, normally
by drawing an auxiliary line (altitude), etc.  But the
program, which "knew" about congruent triangles, came
up with a beautiful short proof.

This being net.puzzle, I won't post the answer for a
while.  If those who have heard this before would hold
off on responding for a few days, that would give
others a chance to figure it out on their own.  Thanks.