Abstract
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.’
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.