Định lý Lester

Trong hình học Euclid, định lý Lester đặt theo tên của giáo sư nữ June Lester, người Canada, định lý này phát biểu rằng: Trong một tam giác không phải là tam giác cân, thì hai điểm Fermat, tâm đường tròn chín điểm, tâm đường tròn ngoại tiếp nằm trên đường tròn, được gọi là đường tròn Lester. Tâm đường tròn Lester được đánh số là formula_1 trong bách khoa toàn thư về các tâm của tam giác. Gần đây Peter Moses mới tìm ra 21 tâm tam giác khác nằm trên đường tròn Lester, các điểm được đánh số trong từ điển Tâm tam giác được đánh số từ X(15535)-X(15555) 
==Chứng minh==
Có rất nhiều chứng minh cho định lý Lester. Sau đây là hai chứng minh sử dụng tính chất đường hyperbol chữ nhật

===Định lý Lester như một tính chất của đường hyperbol Kiepert===
Trong bài báo của Paul Yiu đã đưa ra tổng quát của Bernard Gibert như sau.

"Tất cả mọi đường tròn có đường kính là một dây cung của hyperbol Kiepert và vuông góc với đường thẳng Euler đều đi qua hai điểm Fermat."

===Định lý Lester như một tính chất của đường hyperbol chữ nhật===
Định lý Lester như một tính chất của đường hyperbol chữ nhật như sau:

"Cho hai điểm formula_2 và formula_3 nằm trên một nhánh của một hyperbol chữ nhật, và

1-Cho hai điểm formula_4 and formula_5 đối xứng qua tâm của hyperbol này sao cho tiếp tuyến của hyperbol tại hai điểm đó song song với đường thẳng formula_6,

2-Cho hai điểm formula_7 and formula_8 nằm trên hyperbol sao cho giao điểm của tiếp tuyến của hyperbol là tại điểm formula_9 nằm trên đường thẳng formula_6.

Nếu như đường thẳng formula_11 giao với đường thẳng formula_6 tại formula_13, và trung trực của formula_14 giao với hyperbol tại formula_15 and formula_16, khi đó sáu điểm formula_17 nằm trên một đường tròn."

==Mở rộng định lý Lester liên quan đến đường cong bậc ba Neuberg==
Mở rộng định lý Lester được đề xuất bởi Đào Thanh Oai liên quan đến đường cong Đường cong bậc ba Neuberg. Nội dung như sau:

Cho điểm formula_18 nằm trên đường cong Neuberg, gọi formula_19 lần lượt là ba điểm đối xứng của formula_18 qua ba cạnh formula_21 của tam giác. Khi đó theo tính chất của đường cong Neuberg thì ba đường thẳng formula_22 đồng quy, gọi điểm đồng quy này là formula_23. Giả thuyết đó khẳng định hai điểm Fermat và formula_24 cùng thuộc một đường tròn. Khi điểm formula_18 trùng với đường tròn ngoại tiếp tam giác formula_26 thì đường tròn này là đường tròn Lester.

==Xem thêm==
- Đường tròn Parry
- Đường tròn van Lamoen
- Điểm Fermat

==Tham khảo==
- Clark Kimberling, "Lester Circle", "Mathematics Teacher", volume 89, number 26, 1996.
- June A. Lester, "Triangles III: Complex triangle functions", "Aequationes Mathematicae", volume 53, pages 4–35, 1997.
- Michael Trott, "Applying GroebnerBasis to Three Problems in Geometry", "Mathematica in Education and Research", volume 6, pages 15–28, 1997.
- Ron Shail, "A proof of Lester's Theorem", "Mathematical Gazette", volume 85, pages 225–232, 2001.
- John Rigby, "A simple proof of Lester's theorem", "Mathematical Gazette", volume 87, pages 444–452, 2003.
- J.A. Scott, "On the Lester circle and the Archimedean triangle", "Mathematical Gazette", volume 89, pages 498–500, 2005.
- Michael Duff, "A short projective proof of Lester's theorem", "Mathematical Gazette", volume 89, pages 505–506, 2005.
- Stan Dolan, "Man versus Computer", "Mathematical Gazette", volume 91, pages 469–480, 2007.