Định lý Đào (conic)

Đị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 conic và cự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

Nội dung định lý

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).

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.

Lịch sử
Đị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 và được chứng minh trong bài báo của Nguyễn Ngọc Giang. 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. Điều này được chứng minh trong một bài báo của Trần Hoàng Sơn.. 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.
 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 và diễn đàn toán học phổ thông "Art of Problem Solving". 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 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. Trường hợp đường conic là đường tròn phần đảo được nêu trước đó rất lâu bởi Paul Aubert và Joseph Neuberg.

Xem thêm
 Cực và đường thẳng đối cực
 Định lý Pascal
 Định lý Desargues
 Đường thẳng Droz-Farny
 Đường thẳng Simson
 Định lý Đào về sáu tâm đường tròn
 Đối xứng trục
 Đối xứng tâm

Tham khảo
 

 
.

Liên kết ngoài
 Dao's theorem on a conic tại Tube.GeoGebra

Hình học sơ cấp
Đ
Đường cong bậc hai
Hình học phẳng Euclid
Định lý trong hình học phẳng