Skip to main content

A Proof of "Triangular Thoughts"

Brian R Stonebridge, A Proof of "Triangular Thoughts". CSTR-95-019, Department of Computer Science, University of Bristol. September 1995. No electronic version available.


Mike Johnson (Bull.IMA,31,7/8,p121,1995) asserts the following: Under the mapping which takes a vertex of any triangle into an image point on its opposite side which, with that vertex, subtends a right-angle at a given point in the plane, the images are collinear. He suggests that this may be a new theorem; if so, we present possibly its first published proof. This forms a part of an ongoing study into computing informal proofs.

Bibtex entry.

Publication Admin