Định lý Cayley–Bacharach

Định lý Cayley–Bacharach là một định lý toán học nói về tính chất của các đường cong bậc ba trong mặt phẳng xạ ảnh . Định lý có nội dụng như sau:

Cho hai đường bậc ba  và  trong mặt phẳng xạ ảnh gặp nhau tại 9 điểm, tất cả chín điểm này đều nằm trong trường đóng đại số. Khi đó tất cả các đường bậc ba đi qua 8 điểm thì cũng đi qua điểm thứ 9.A. Cayley, On the Intersection of Curves (published by Cambridge University Press, Cambridge, 1889).

Ứng dụng
 Định lý này là mở rộng của định lý Pascal. Thật vậy nếu như ta cho hai đường thẳng bậc ba suy biến thành hai cặp ba đường thẳng, ba cặp đường thẳng này giao nhau tại 9 điểm nếu như có 6 điểm nằm trên một đường conic thì ba điểm còn lại phải nằm trên một đường thẳng (vì đường bậc ba có thể suy biến thành một đường conic và một đường thẳng). 
 Định lý này là mở rộng của định lý Pappus (6 điểm). Thật vậy nếu như ta cho hai đường thẳng bậc ba suy biến thành ba cặp đường thẳng, ba cặp đường thẳng này giao nhau tại 9 điểm nếu như có 6 điểm nằm trên hai đường thẳng thì ba điểm còn lại phải nằm trên một đường thẳng (vì đường bậc ba có thể suy biến thành ba đường thẳng).
 Định lý này có nhiều ứng dụng khác.

Chú thích

Tham khảo
 M. Chasles, Traité des sections coniques, Gauthier-Villars, Paris, 1885.

 E. D. Davis, A.V. Geramita, and F. Orecchia, Gorenstein algebras and Cayley–Bacharach theorem, Proceedings of the American Mathematical Society 93 (1985) 593–597.
 D. Eisenbud, M. Green, and J. Harris, Cayley–Bacharach theorems and conjectures, Bulletin of the American Mathematical Society 33 (1996) 295—324.
 Robin Hartshorne, Algebraic geometry, chapter 5, section 4 (The cubic surface in ), Corollary 4.5.

Liên kết ngoài

Gabriel Katz: Curves in cages: an algebro-geometric zoo
D. Eisenbud, M. Green and J. Harris: Cayley–Bacharach theorems and conjectures 
 Cayley-Bacharach Theorem at MathWorld

Thể loại:Hình học Euclid
Thể loại:Hình học sơ cấp
C
Thể loại:Định lý trong hình học xạ ảnh
Thể loại:Đường cong bậc ba
Thể loại:Định lý toán học
Thể loại:Định lý hình học đại số
Thể loại:Đường cong đại số