Teorema în 9 puncte pe o curbă cubică este o teoremă în geometria algebrică care spune că
Dacă 8 din 9 puncte de intersecție a două triple de linii drepte (în figura din dreapta - albastru și roșu) se află pe un cub (curbă de ordinul trei, negru) , atunci și al nouălea se află pe el.
Această teoremă stă la baza posibilității de a determina structura unui grup pe o curbă cubică.
Mai jos este o dovadă simplă utilizând numai faptele din curriculum școlar. Este format din trei părți: două leme și teorema în sine.
Dacă un polinom din două variabile la un număr infinit de puncte de pe o dreaptă ia valoare zero, atunci este divizibil cu ecuația acestei linii, adică .
Să notăm . O linie dreaptă este specificată în condiție, deci fie , fie nu este egală cu 0. Vom presupune că aceasta este , atunci și . Pe un polinom direct , dar în același timp poate lua un număr infinit de valori diferite, prin urmare și, prin urmare, . ■
Dacă cuburile și se intersectează în trei puncte de pe linie , atunci există un număr astfel încât .
Similar Lemei 1 , vom presupune că , atunci egalitatea este valabilă pentru punctele dreptei , similar cu . Polinoamele și sunt egale cu 0 la trei puncte comune, gradul lor nu este mai mare de 3, deci există un astfel de număr încât pentru toate punctele de pe această dreaptă. Aplicând lema 1 , obținem aserția necesară. ■
În cele ce urmează, pentru concizie, parametrii polinoamelor vor fi omiși. Să notăm ecuația cubului negru ca , liniile roșii ca și , iar cubul roșu ca . În mod similar, pentru linii și cuburi albastre . În acest caz, vom lua în considerare numerotarea astfel încât este necesar să demonstrăm că punctul de intersecție aparține cubului .
Aplicând pentru linie și cub și Lema 2 , obținem că există un număr pentru care . În mod similar, există astfel încât . Atunci polinomul de gradul al treilea este divizibil cu și , adică . Polinomul este egal cu zero pentru toate punctele dreptei , liniile și poziția generală, ceea ce înseamnă că ia valoarea 0 în exact un punct al dreptei . Prin urmare, este egal cu zero la un număr infinit de puncte de pe linia dreaptă și, după Lema 1 , este divizibil cu ecuația sa. Astfel , ceea ce înseamnă , unde este un polinom de grad nu mai mare decât primul, adică o linie dreaptă sau zero.
Să presupunem că este o linie dreaptă. Partea stângă a egalității este egală cu zero în punctele și , ceea ce înseamnă că unul dintre cei trei factori din partea dreaptă este, de asemenea, egal cu zero. Dar liniile nu trec prin aceste puncte, așa că toate se află pe aceeași linie - . Dar acest lucru este imposibil.
Astfel , ceea ce înseamnă . Dar cuburile și trec prin punctul , și, prin urmare, cubul trece și prin acest punct. ■
Cu ajutorul teoremei în 9 puncte, unele fapte din geometria proiectivă sunt demonstrate simplu, cum ar fi teorema lui Pascal :
Dacă un hexagon este înscris într-o secțiune conică , atunci punctele de intersecție a trei perechi de laturi opuse se află pe aceeași linie dreaptă.
În figura din dreapta, un hexagon cu 3 laturi roșii și 3 albastre este înscris într-o parabolă neagră . Liniile roșii și albastre se intersectează în 9 puncte verzi, dintre care 6 se află pe o parabolă, iar o linie neagră este trasată prin celelalte 2. Deoarece cubul negru conține 8 puncte verzi formate prin intersecția cuburilor roșii și albastre, conține și al nouălea punct. Dar acest punct nu se află pe parabolă, ceea ce înseamnă că aparține liniei. ■
Poate fi folosit și pentru a demonstra asociativitatea operației de adunare a punctelor pe o curbă eliptică [1] . Și anume, dacă A , B , C , O aparțin unei curbe cubice. Pentru trei linii BC , O (A + B) și A (B + C) ; iar pentru cele trei drepte AB , O (B + C) și C (A + B) . Următoarele opt puncte A, B, C, A + B, -A-B, B + C, -BC, O se află pe cub. Prin urmare, al nouălea punct -A-(B+C)=-(A+B)-C îi aparține.
Teorema lui Chall este o generalizare pentru cazul în care nu se iau triple de linii, ci cuburi arbitrare [2] :
Dacă în planul proiectiv două cuburi au 9 puncte comune, atunci orice alt cub care trece prin 8 dintre ele trece și prin al nouălea.