Hostname: page-component-586b7cd67f-dlnhk Total loading time: 0 Render date: 2024-11-24T15:49:53.745Z Has data issue: false hasContentIssue false

A simple proof of Lester’s theorem

Published online by Cambridge University Press:  01 August 2016

John Rigby*
Affiliation:
School of Mathematics, Cardiff University, Senghennydd Road, Cardiff CF24 4YH email: [email protected]

Extract

Lester’s theorem (1997) states that in any scalene triangle the two Fermat points F and F' (to be defined later), the nine-point centre N, and the circumcentre O, are concyclic, and that the pair of points O,F separates the pair N, F'. (In certain geometrical situations a line is regarded as a circle of infinite radius, so that the word ‘concyclic’ includes ‘collinear’ as a special case, but here ‘concyclic’ means ‘lying on a proper circle of finite radius’.) Previous proofs of Lester’s theorem have involved advanced techniques and/or computer algebra; to quote from Ron Shail’s recent article [1],

‘Lester’s original computer-assisted discovery and proof make use of her theory of “complex triangle coordinates” and “complex triangle functions”. ... A proof has also been given by Trott ... using the advanced concept of GrObner bases in the reduction of systems of polynomial equations to “diagonal” form. Trott’s work uses the computer algebra system Mathematica as an essential tool.’

Type
Articles
Copyright
Copyright © The Mathematical Association 2003

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

1. Shail, R., A proof of Lester’s Theorem, Math. Gaz. 85 (July 2001) pp. 226232.CrossRefGoogle Scholar
2. Lester, J.A., Triangles I: Shapes, Aequationes Mathematicae 52 (1996) pp. 3054.Google Scholar
3. Lester, J.A., Triangles II: Complex triangle coordinates, Aequationes Mathematicae 52 (1996) pp. 215245.Google Scholar
4. Lester, J.A., Triangles III: Complex triangle functions, Aequationes Mathematicae 53 (1997) pp. 435.Google Scholar
5. Trott, M., Applying Groebner basis to three problems in geometry, Mathematica in Education and Research 6 (1997) pp. 1528.Google Scholar
6. Pedoe, D., Circles: a mathematical view, Dover (1979).Google Scholar
7. Kimberling, C., Triangle centres and central triangles (Congressus Numerantium 129), Utilitas Mathematica Publishing Inc., Winnipeg (1998).Google Scholar