Teorema di Bézout: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Fine traduzione dall'inglese |
||
Riga 4:
:''Questo articolo è inerente al teorema di Bézout (geometria algebrica); per il teorema in aritmetica, si veda [[:en:Bézout's identity|Bézout's identity]].''
In [[matematica]], il '''Teorema di Bézout''' permette di conoscere il numero di intersezione fra due curve. Il numero che si ottiene è soggetto ad 'interpretazione'; ma in ogni caso indica il ''massimo'' numero di intersezioni che due [[sezione_conica|curve algebriche]] possono avere, se non ammettono componenti comuni.
In [[geometria algebrica]], l'enunciato del '''Teorema di Bézout''' si applica ai punti di intersezione di curve piane ''X'' di grado ''m'' e ''Y'' di grado ''n'' (si intende per ''grado'' di una curva ''C'' il grado del [[polinomio]] che la descrive). Esso dice che il numero delle intersezioni, contate con la loro molteplicità, è precisamente ''mn'', eccetto nel caso in cui ''X'' e ''Y'' hanno una componente comune. Di conseguenza ''mn'' è il massimo numero finito di punti d'intersezione.
Riga 13:
== Esempi ==
Due rette distinte si incontrano sempre esattamente in un punto. Se sono parallele, questo punto è il punto all'infinito. Per vedere algebricamente come lavora, nello spazio proiettivo, le rette ''x''+2''y''=3 e ''x''+2''y''=5 sono rappresentate in coordinate omogenee dalle equazioni ''x''+2''y''-3''z''=0 e ''x''+2''y''-5''z''=0. Risolvendo, si ha ''x''= -2''y'' e ''z''=0, che corrisponde al punto (-2:1:0) in coordinate omogenee.
Due circonferenze non si incontrano mai più di due punti nel piano, mentre il teorema di Bézout parla di quattro. Questa differenza nasce dal fatto che ogni circonferenza passa sempre per due punti complessi appartenenti alla retta dei punti all'infinito.
Scrivendo la circonferenza
:<math>(x-a)^2+(y-b)^2 = r^2</math>
nelle [[coordinate omogenee]] troviamo
:<math>(x-az)^2+(y-bz)^2 - r^2z^2 = 0,</math>
D'accordo con il teorema ogni conica incontra la retta dell'infinito in due punti.Un'iperbole la incontra nei due punti corrispondenti alle due direzioni degli asintoti. Un'ellissi la incontra in due punti complessi coniugati --- nel caso della circonferenza i punti sono (1:''i'':0) e (1:-''i'':0). Una parabola la incontra in un solo punto, ma poichè è un punto di tangenza allora deve essere contato come doppio.
In
:[[Image:dbldbl.png]]
::<math>x^2+4y^2-1=0
:[[Image:intersect3.png]]
::<math>5x^2+6xy+5y^2+6y-5=0
:[[Image:intersect4.png]]
::<math>4x^2+y^2+6x+2=0
== Collegamenti esterni ==
* http://www.mathpages.com/home/kmath544/kmath544.htm
* http://www2.math.uic.edu/~jan/srvart/node7.html
* http://www.bookrags.com/sciences/mathematics/bzouts-theorem-wom.html
[[Categoria:Curve algebriche]]
[[Categoria:Teoria delle intersezioni]]
[[Categoria:Teoremi
[[en:Bézout's theorem]]
[[fr:Théorème de Bézout]]
[[vi:Định lý Bézout]]
|