Định lý Đào (conic)

Bách khoa toàn thư mở Wikipedia
Jump to navigation Jump to search
Trường hợp điểm D nằm trên đường thẳng đối cực của P

Định lý Đào (conic) là một định lý trong lĩnh vực hình học phẳng, nói về sự tồn tại của một đường thẳng trong cấu trúc hình học liên quan đến đường coniccực và đường thẳng đối cực. Định lý Đào có thể suy biến thành một trong nhiều định lý nổi tiếng trước đó gồm: đường thẳng Droz-Farny, định lý Goormaghtigh, định lý Đào (hẹp), định lý Zaslavsky, định lý Colling, định lý Carnot, vấn đề Bliss, định lý Nixon [1][2][3]

Nội dung định lý[sửa | sửa mã nguồn]

Trường hợp điểm nằm trên đường conic

Cho đường conic (S) và điểm trên mặt phẳng, ba đường thẳng qua cắt đường conic lần lượt tại các điểm ; ; . Cho là một điểm nằm trên đường thẳng đối cực của hoặc trên đường conic (S) thì lần lượt cắt ba cạnh tại ba điểm thẳng hàng. Hơn thế bốn điểm thẳng hàng khi và chỉ khi nằm trên đường conic (S).[1][4][5]

Trong trường hợp điểm nằm trên đường conic . Gọi cắt tại . Gọi đường thẳng đi qua và song song với cắt tại . Gọi là điểm trên đường thẳng sao cho . Định nghĩa các điểm một cách tương tự. Khi đó bảy điểm , thẳng hàng.[6]

Lịch sử[sửa | sửa mã nguồn]

Định lý này được phát hiện và chứng minh bởi nhiều người, cụ thể như sau:

  • Trường hợp điểm D nằm trên đường thẳng cực của điểm P do Đào Thanh Oai phát hiện được đăng tại Advanced Plane Geometry Message 1307 năm 2014[7] và được chứng minh trong bài báo của Nguyễn Ngọc Giang.[1] Một trường hợp đặc biệt của trường hợp này là điểm P nằm trên đường thẳng đối cực và nằm tại vô cùng được Đào Thanh Oai đề xuất tại Advanced Plane Geometry Message 1271 năm 2014.[8] Điều này được chứng minh trong một bài báo của Trần Hoàng Sơn.[9]. Một bài báo của tác giả Nguyễn Minh Hà xác nhận rằng trường hợp riêng này cũng được Trần Quang Hùng tìm ra độc lập. [10]
  • Trường hợp điểm D nằm trên đường conic được Đào Thanh Oai phát biểu chứng minh vào tháng 6 năm 2013 trên Cut-The-Knot[5] và diễn đàn toán học phổ thông "Art of Problem Solving"[2]. Bài báo của Nguyễn Ngọc Giang cũng đề cập đến trường hợp này nhưng không chứng minh. Trong trường hợp này định lý cũng được được giáo sư Geoff Smith đăng trên tạp chí the Mathematical Gazette và ông đã xác nhận sự phát hiện lặp lại của mình với Đào Thanh Oai.[4] Trường hợp đường conicđường tròn phần đảo được nêu trước đó rất lâu bởi Paul AubertJoseph Neuberg.[11]

Xem thêm[sửa | sửa mã nguồn]

Tham khảo[sửa | sửa mã nguồn]

  1. ^ a ă â Nguyen Ngoc Giang, A proof of Dao theorem, Global Journal of Advanced Research on Classical and Modern Geometries, ISSN: 2284-5569, Vol.4, (2015), Issue 2, page 102-105
  2. ^ a ă Dao Thanh Oai, Luis Gonzalez, A Generalization Simson's line, Collings theorem tại Art of Problem Solving
  3. ^ O.T.Dao, Advanced Plane Geometry Message 2807, ngày 17 tháng 9 năm 2015.
  4. ^ a ă Geoff Smith (2015). 99.20 A projective Simson line. The Mathematical Gazette, 99, pp 339-341. doi:10.1017/mag.2015.47
  5. ^ a ă O.T.Dao 29-July-2013, Two Pascals merge into one, Cut-The-Knot
  6. ^ Dao Thanh Oai, Generalizations of some famous classical Euclidean geometry theorems, pp.12-20. International Journal of Computer Discovered Mathematics, Volume 1 (September 2016) Number 3,
  7. ^ O.T.Dao, Advanced Plane Geometry Message 1307, ngày 22 tháng 5 năm 2014
  8. ^ O.T.Dao, Advanced Plane Geometry Message 1271, ngày 26 tháng 4 năm 2014.
  9. ^ Tran Hoang Son, A synthetic proof of Dao's generalization of Goormaghtigh's theorem, Global Journal of Advanced Research on Classical and Modern Geometries, ISSN 2284-5569, volume 3, pages 125–129
  10. ^ Nguyen Minh Ha and Pham Nam Khanh, Another simple proof of the Goormaghtigh theorem and the generalized Goormaghtigh theorem, Journal of Classical Geometry, Volum 4.
  11. ^ Jean Louis AYME, LA P-TRANSVERSALE DE Q

Liên kết ngoài[sửa | sửa mã nguồn]