Tiêu chuẩn biệt thức cho tính không suy biến
Phát biểu
Đường cong không suy biến khi và chỉ khi biệt thức khác không, điều này xảy ra khi và chỉ khi đa thức bậc ba có ba nghiệm phân biệt (trên một bao đóng đại số).
Vì sao đúng?
Một điểm nơi đa thức bậc ba có nghiệm bội chính là nơi đường cong bị thắt lại thành mũi nhọn hoặc tự cắt chính nó, vì hướng tiếp tuyến ở đó trở nên không xác định — đúng là khiếm khuyết hình học sẽ phá vỡ luật nhóm dây cung-tiếp tuyến.
Phác thảo chứng minh
Điểm là điểm suy biến khi và chỉ khi đồng thời , , và . Phương trình thứ hai buộc , nên phải là nghiệm của ; phương trình thứ ba buộc , tức cũng là nghiệm của đạo hàm . Một đa thức và đạo hàm của nó có chung nghiệm chính xác tại một nghiệm bội của đa thức đó, nên suy biến khi và chỉ khi có nghiệm bội. Biệt thức cổ điển của đa thức bậc ba khuyết là , triệt tiêu đúng khi đa thức bậc ba có nghiệm bội; nhân với hằng số chuẩn hóa cho , vậy không suy biến khi và chỉ khi .
Chủ đề chứa định lý này
Chứng minh từng bước
Chưa có chứng minh từng bước cho định lý này.
Tài liệu tham khảo
- Joseph H. Silverman (2009). The Arithmetic of Elliptic Curves · DOI:10.1007/978-0-387-09494-6
- Andrew Wiles (1995). Modular elliptic curves and Fermat's Last Theorem · DOI:10.2307/2118559
- Andrew Wiles / Clay Mathematics Institute (2000). The Birch and Swinnerton-Dyer Conjecture (official Millennium Problem description)
- Wouter Castryck, Thomas Decru (2022). An efficient key recovery attack on SIDH