Bézout teoremi sayfasının kaynağını görüntüle

{{Hakkında|düzlem eğrilerinin kesişme noktalarının sayısı ve daha genel olarak cebirsel hiper yüzeylerin kesişme noktalarının sayısı|İki sayıyı ve bunların en büyük ortak bölenini ilişkilendiren özdeşlik|Bézout özdeşliği|Polinom kalan teoremi|Küçük Bézout teoremi}}
[[Dosya:BezoutTheorem.png|küçükresim|upright=1.59|{{Ortala|Bezout Teoremi}}]]
'''Bézout teoremi,''' [[cebirsel geometri]]de {{Mvar|n}} değişkenli {{Mvar|n}} [[polinom]]un ortak [[Kök (matematik)|sıfırlarının]] sayısı ile ilgili bir ifadedir. Orijinal biçiminde teorem'', genel'' olarak ortak sıfırların sayısının, polinomların [[Polinomun derecesi|derecelerinin]] çarpımına eşit olduğunu belirtir. Adını Fransız matematikçi Étienne Bézout<ref>{{MacTutor Biography|id=Bezout}}</ref><ref group="not">Bezu diye okunur. {{kitap kaynağı|başlık=Fen Liseleri İçin Matematik 3-Tamsayılar Yapısı|ad1=Ali|soyadı1=Nesin|yıl=2018|isbn=9786059569187|sayfa=53}}</ref>'dan almıştır.

Bazı temel metinlerde, Bézout'un teoremi yalnızca iki değişken durumuna atıfta bulunur ve <math>d_1</math> ve <math>d_2</math> dereceli iki düzlem cebirsel eğrisinin ortak bir bileşeni yoksa, bunların [[Katlılık sayısı|katlılık sayısı (multiplicity)]] ile sayılan ve sonsuzdaki noktalar ile [[Karmaşık sayı|karmaşık]] koordinatlara sahip noktalar dahil <math>d_1d_2</math> [[kesişim noktası]]na sahip olduklarını iddia eder.

Modern formülasyonunda teorem şunu belirtir; {{Mvar|N}}, {{Matematik|''n'' + 1}} değişkenli [[homojen polinom]]larla tanımlanan {{Mvar|n}} [[izdüşümsel hiper yüzey]]in bir [[cebirsel kapalı cisim]] üzerindeki ortak noktaların sayısı ise, bu durumda {{Mvar|N}}, sonsuzdur veya polinomların derecelerinin çarpımına eşittir. Dahası, sonlu durum neredeyse her zaman ortaya çıkar.

İki değişkenli durumda ve [[afin hiper yüzeyleri]] durumunda, sonsuzdaki katlılık sayıları ve noktalar sayılmazsa, bu teorem, neredeyse her zaman ulaşılan nokta sayısının yalnızca bir üst sınırını sağlar. Bu sınır genellikle '''Bézout sınırı''' olarak adlandırılır.

Bézout'un teoremi, çoğu problemin değişken sayısında en azından üstel olan bir [[Hesaplamalı karmaşıklık teorisi|hesaplama karmaşıklığına]] sahip olduğunu göstererek, [[Sembolik matematik|bilgisayar cebiri]] ve etkili [[cebirsel geometri]]de temeldir. Bu alanlarda, Bézout sınırında polinom olan bir karmaşıklığa sahip algoritmalarla umulabilecek en iyi karmaşıklık ortaya çıkacaktır.

== Tarihçe ==
Düzlem eğriler söz konusu olduğunda, Bézout teoremi esasen [[Isaac Newton]] tarafından 1687'de ''[[Philosophiæ Naturalis Principia Mathematica|Principia]]'''nın 1. cildinin 28. lemmasının ispatında belirtildi, burada iki eğrinin derecelerinin çarpımı tarafından verilen sayıda kesişme noktasına sahip olduğunu iddia etti.

Genel teorem daha sonra 1779'da Étienne Bézout'un ''Théorie générale des équations algébriques'' adlı eserinde yayınlandı. O, denklemlerin "tam" olduğunu ve modern terminolojide jenerik olarak çevrilebileceğini düşünüyordu. Jenerik polinomlarda sonsuzda nokta olmadığından ve tüm katlılık sayıları bire eşit olduğundan, Bézout'un formülasyonu doğrudur, ancak kanıtı, kesinliğin modern gereklerini karşılamıyordu.

Bu ve kesişim katlılık sayısı (intersection multiplicity) kavramının zamanının bilgisi dışında olması, bazı yazarlar tarafından ispatının ne doğru ne de verilen ilk ispat olmadığını ifade eden bir algıya yol açtı.<ref>{{Kitap kaynağı|başlık=Complex Algebraic Curves|url=https://archive.org/details/complexalgebraic0000kirw|yer=United Kingdom|yayıncı=Cambridge University Press|yıl=1992|isbn=0-521-42353-8|ad1=Frances Clare|soyadı1=Kirwan}}</ref>

Katlılık sayıları içeren ifadenin ispatı 20. yüzyıldan önce [[soyut cebir]] ve [[cebirsel geometri]]nin tanıtılmasıyla mümkün değildi.

== Açıklama ==

=== Düzlem eğriler ===
''X'' ve ''Y''’nin, ortak bir bileşeni olmayan bir ''F'' [[Cisim (cebir)|cismi]] üzerinde tanımlanan iki düzlemsel izdüşümsel eğri olduğunu varsayalım (bu koşul, ''X'' ve ''Y'''nin ortak sabit olmayan bir polinomun katları olmayan polinomlar tarafından tanımlandığı anlamına gelir; özellikle, bir çift "jenerik" eğri için geçerlidir).

Daha sonra, ''F'''yi içeren [[Cebirsel kapalı cisim|cebirsel kapalı]] bir ''E'' [[Cisim (cebir)|cismindeki]]  koordinatlarla X ve Y'nin katlılık sayıları ile sayılan kesişme noktalarının toplam sayısı, X ve Y derecelerinin çarpımına eşittir.

=== Genel durum ===
Daha yüksek boyuttaki genelleme şu şekilde ifade edilebilir:

''N tane'' izdüşümsel hiper yüzey, <math>d_1, \ldots,d_n</math> dereceli ''n'' + 1 değişkende ''n'' homojen polinom ile tanımlanan cebirsel olarak kapalı bir cisim üzerinde ''n'' boyutundaki bir izdüşümsel uzayda verilsin. O zaman ya kesişim noktalarının sayısı sonsuzdur ya da katlılık sayısı ile sayılan kesişme noktalarının sayısı çarpıma eşittir. Hiper yüzeyler indirgenemezse ve göreceli genel konumdaysa, o zaman hepsinin katlılık sayısı 1 olan <math>d_1 \cdots d_n</math> kesişme noktası vardır.

Bu teoremin, tamamen cebirsel terimlerle ifade edilen veya dili veya [[cebirsel geometri]]yi kullanan çeşitli ispatları vardır. Üç cebirsel ispat aşağıda özetlenmiştir.

Bézout teoremi, çoklu homojen Bézout teoremi olarak genelleştirilmiştir.

== Örnekler (düzlem eğriler) ==

=== İki doğru ===
[[Düzlem|Öklid düzleminde]] bir [[Doğru (geometri)|doğrunun]] denklemi [[Doğrusal denklem|doğrusaldır]], yani birinci dereceden bir [[polinom]]u sıfıra eşittir. Bu nedenle, iki çizgi için Bézout sınırı {{Matematik|1}}'dir, yani iki doğru ya tek bir noktada kesişir ya da kesişmez. İkinci durumda, çizgiler [[paralel]]dir ve sonsuzda bir noktada kesişir.

Bunu denklemlerle doğrulayabilirsiniz. İlk satırın denklemi [[Doğrusal denklem|eğim-kesme noktası biçiminde]] <math>y = sx + m</math> olarak yazılabilir veya izdüşümsel koordinatlarda <math>y=sx+mt</math> olarak yazılabilir (çizgi dikse, {{Mvar|x}} ve {{Mvar|y}} yer değiştirebilir). Eğer ikinci bir doğrunun denklemi (izdüşümsel koordinatlarda)  <math>ax + by + ct = 0</math> ise {{Mvar|y}} yerine <math>sx + mt</math> yazılırsa, <math>(a + bs)x + (c + bm)t = 0</math> elde edilir. Eğer <math>a + bs\ne 0</math> ise ikinci denklemi  {{Mvar|x}} değişkeninde çözülür ve {{Matematik|1=''t'' = 1}} alınırsa {{Mvar|x}}-koordinatının kesişme noktası elde edilir.

Eğer <math>a+bs= 0, </math> yani <math>s=-a/b</math> ise iki çizgi paraleldir ve aynı eğime sahiptir. Eğer <math>m\ne -c/b</math> ise bunlar farklıdır ve yerine konmuş denklem {{Matematik|1=''t'' = 0}} verir. Bu, {{Matematik|(1, ''s'', 0)}} izdüşümsel koordinatların sonsuzdaki noktasını verir.

=== Bir doğru ve bir eğri ===
Yukarıdaki gibi, izdüşümsel koordinatlarda doğrunun denklemi: <math>y = sx + mt</math> şeklinde yazılabilir. Eğri, izdüşümsel koordinatlarda {{Mvar|n}} dereceden homojen bir <math>p(x, y, t)</math> polinomu ile tanımlanmışsa, {{Mvar|y}}'nin yerine konması, {{Mvar|x}} ve {{Mvar|t}} türünden {{Mvar|n.}} derece homojen bir polinom sağlar. [[Cebirin temel teoremi]], doğrusal faktörlerde çarpanlarına ayrılabileceğini işaret eder. Her faktör, bir kesişme noktasının {{Mvar|x}} ve {{Mvar|t}} koordinatlarının oranını verir ve çarpanın katlılık sayısı, kesişme noktasının katlılık sayısıdır.

{{Mvar|t}} ''sonsuz'un koordinatı'' olarak görülürse, {{Mvar|t}}'ye eşit bir çarpan, ''sonsuzda'' bir kesişme noktasını temsil eder.

Polinom {{Mvar|p}}'nin en az bir kısmi türevi, bir kesişme noktasında sıfır değilse, bu noktada eğrinin teğeti tanımlanır (bkz. {{Alt başlık bağlantısı|Cebirsel eğri|Bir noktada teğet}}), ancak ve sadece doğru eğriye teğet ise kesişim katlılık sayısı birden büyüktür. Tüm [[kısmi türev]]ler sıfırsa, kesişme noktası tekil bir noktadır ve kesişim katlılık sayısı en az ikidir.

=== İki konik kesit ===
İki [[Konikler|konik kesit]] genellikle dört noktada kesişir ve bunlardan bazıları çakışabilir. Tüm kesişme noktalarını doğru bir şekilde hesaba katmak için, karmaşık koordinatlara izin vermek ve izdüşümsel düzlemde sonsuz doğru üzerindeki noktaları dahil etmek gerekli olabilir. Örneğin:

* Bézout'un teoremi dört taneyi tahmin ederken, iki [[çember]] düzlemde ikiden fazla noktada kesişmez. Tutarsızlık, her çemberin sonsuzda doğrunun aynı iki karmaşık noktasından geçmesinden kaynaklanır. Çemberi aşağıdaki denklemle yazarsak;

:: <math>(x-a)^2 + (y-b)^2 = r^2</math>
: homojen koordinatlarda,
:: <math>(x-az)^2 + (y-bz)^2 - r^2z^2 = 0,</math>
: buluruz. Burada iki noktanın (1:''i'':0) ve (1:-''i'':0), her çemberin üzerinde olduğu açıktır. İki çember, gerçek düzlemde hiç kesişmediğinde, diğer iki kesişimin sıfır olmayan imajiner kısımları vardır veya eşmerkezli iseler, o zaman iki kesişim katlılık sayısı ile sonsuzda doğrunun iki noktasında buluşurlar.

* Teoreme göre herhangi bir konik, iki noktada sonsuzda doğruyla buluşmalıdır. Bir [[hiperbol]], [[asimptot]]ların iki yönüne karşılık gelen iki gerçek noktada karşılaşır. Bir [[elips]], birbiriyle eşlenik olan iki karmaşık noktada buluşur - bir çember durumunda, noktalar (1 : ''i'' : 0) ve (1: -''i'' : 0)'dir. Bir [[parabol]], onunla yalnızca bir noktada karşılaşır, ancak bu bir teğet noktasıdır ve bu nedenle iki kez sayılır.
* Aşağıdaki resimler, ''x''<sup>2</sup> + ''y''<sup>2</sup> -1 = 0 çemberinin daha az kesişim noktasında başka bir elips ile karşılaştığı örnekleri gösterir, çünkü bunlardan en az biri 1'den büyük katlılık sayısına sahiptir:

{{Galeri|width=200|height=200|File:Bezout theorem1.svg|2 katlılık sayısının iki kesişim noktası:<br/><math> x^2 + 4y^2 - 1 = 0</math>|File:Bezout theorem2.svg|3 katlılık sayısının kesişim noktası:<br/><math>5x^2 + 6xy + 5y^2 + 6y - 5 = 0</math>|File:Bezout theorem3.svg|4 katlılık sayısının kesişim noktası:<br/><math>4x^2 + y^2 + 6x + 2 = 0</math>|title=[[Elips]] ile [[birim çember]]'in kesişimi}}

== Katlılık sayısı (Multiplicity) ==
Katlılık sayısı kavramı, çok daha zayıf bir eşitsizlik yerine bir eşitliğe sahip olmasına izin verdiği için Bézout teoremi için temeldir.

Sezgisel olarak, birkaç polinomun ortak bir sıfırının katlılık sayısı, katsayılar düşük ihtimalle bölünebileceği sıfırların sayısıdır. Örneğin, bir eğriye teğet, eğriyi bir noktada kesen, doğru hafifçe hareket ettirilirse eğriyi birkaç noktada bölen bir doğrudur. Bu sayı genel olarak ikidir (sıradan noktalar), ancak daha fazla da olabilir (bükülme noktaları için üç, dalgalanma noktaları için dört vb.). Bu sayı, teğetin "temas katlılık sayısı (multiplicity of contact)"dır.

Deformasyon yoluyla katlılık sayılarının bu tanımı, 19. yüzyılın sonuna kadar yeterliydi, ancak daha uygun modern tanımlara yol açan birkaç problemi vardır: Deformasyonların değiştirilmesi zordur; örneğin, bir [[Polinom|tek değişkenli polinom]]un bir [[Kök (matematik)|kökü]] durumunda, deformasyonla elde edilen  katlılık sayısının, polinomun karşılık gelen doğrusal faktörünün  katlılık sayısına eşit olduğunu kanıtlamak için, köklerin katsayıların sürekli fonksiyonları olduğunu bilmek gerekir. Pozitif özellikli [[Cisim (cebir)|cisimler]] üzerinde deformasyonlar kullanılamaz. Ayrıca, uygun bir deformasyonun tanımlanmasının zor olduğu durumlar (ikiden fazla düzlem eğrinin ortak bir kesişme noktasına sahip olması durumunda olduğu gibi) ve hatta deformasyonun mümkün olmadığı durumlar vardır.<ref>{{kaynak|yazar=Kerner, D.|yıl=2008|başlık=On the δ= const Collisions of Singularities of Complex Plane Curves|sayfa=5|url=https://d-nb.info/991230140/34}}</ref>

Şu anda, [[Jean-Pierre Serre]]'den sonra, katlılık sayısı genellikle katlılık sayısının dikkate alındığı nokta ile ilişkili yerel bir halkanın uzunluğu olarak tanımlanmaktadır. Çoğu spesifik tanım, Serre'nin tanımının özel durumu olarak gösterilebilir.

Bézout teoremi durumunda, teoremin her girdi denklemiyle, bu denklemlerin katsayılarında her çarpanın tek bir kesişme noktasına karşılık geleceği şekilde çarpanlara ayıran bir polinomu ilişkilendiren kanıtlar (aşağıya bakınız) olduğu için, genel kesişim teorisinden kaçınılabilir. Dolayısıyla, bir kesişim noktasının katlılık sayısı, çarpanlara ayırmanın çarpanının katlılık sayısına karşılık gelir. Bu katlılık sayısının deformasyonla elde edilene eşit olduğunun ispatı, kesişme noktalarının sürekli olarak köklere bağlı olmasından kaynaklanmaktadır.

== İspatlar ==

=== Bileşkeyi (resultant) kullanma (düzlem eğriler) ===
{{Mvar|P}} ve {{Mvar|Q}} sırasıyla dereceleri {{Mvar|p}} ve {{Mvar|q}}, değişkenleri {{Matematik|''x'', ''y'', ''t''}} olan iki homojen polinom olsun. Sıfırları, iki izdüşümsel eğrinin homojen koordinatlarıdır. Böylece kesişim noktalarının homojen koordinatları {{Mvar|P}} ve {{Mvar|Q}}'nun ortak sıfırlarıdır.

Birlikte tek bir değişkenin, {{Mvar|y}} olsun, mertebesi toplanarak, katsayıları {{Mvar|x}} ve {{Matematik|t}} türünden homojen polinomlar olan tek değişkenli polinomlar elde edilir.

Teknik nedenlerden ötürü, {{Mvar|P}} ve {{Mvar|Q}}'nun {{Mvar|y}} cinsinden derecelerinin toplam derecelerine ({{Mvar|p}} ve {{Mvar|q}}) eşit olması için [[Koordinat sistemi|koordinatların]] değiştirilmesi gerekir ve iki kesişme noktasından geçen her doğru {{Matematik|(0, 1, 0)}} noktasından geçmez. (Bu, iki noktanın aynı {{Mvar|x}} [[Kartezyen koordinat sistemi|Kartezyen koordinatına]] sahip olmadığı anlamına gelir.)

{{Mvar|y}} değişkenine göre {{Mvar|P}} ve {{Mvar|Q}}'nun ortaya çıkan bileşkesi {{Matematik|''R''(''x'', ''t'')}}, {{Mvar|x}} ve {{Mvar|t}} türünden aşağıdaki özelliğe sahip homojen bir polinomdur: <math>(\alpha, \tau)\ne (0, 0)</math> ile <math>R(\alpha,\tau)=0</math> ancak ve ancak <math>\alpha, \beta, \tau</math> {{Mvar|P}} ve {{Mvar|Q}}'nun ortak bir sıfırı olacak şekilde <math>\beta</math> mevcutsa (bkz. {{Alt başlık bağlantısı|Bileşke|Sıfırlar}}). Yukarıdaki teknik durum şunları sağlar: <math>\beta</math> benzersizdir. Yukarıdaki ilk teknik koşul, bileşkenin tanımında kullanılan derecelerin {{Mvar|p}} ve {{Mvar|q}} olduğu anlamına gelir; bu da {{Mvar|R}} derecesinin {{Mvar|pq}} olduğu anlamına gelir (bkz. {{Alt başlık bağlantısı|Bileşke|Homojenlik}}).

{{Mvar|R}}, iki değişkenli homojen bir polinom olduğundan, [[cebirin temel teoremi]], {{Mvar|R}}'nin {{Mvar|pq}} doğrusal polinomların bir çarpımı olduğunu işaret eder. {{Mvar|P}} ve {{Mvar|Q}} ortak sıfırının katlılık sayısı, çarpımda karşılık gelen çarpanın tekrar sayısı olarak tanımlanırsa, Bézout'un teoremi böylece kanıtlanmış olur.

Az önce tanımlanan kesişim katlılık sayısının bir deformasyon açısından tanıma eşit olduğunu kanıtlamak için, bileşke ve dolayısıyla doğrusal çarpanlarının {{Mvar|P}} ve {{Mvar|Q}} katsayılarının [[sürekli fonksiyon]]ları olduğunu belirtmek yeterlidir.

Diğer kesişme katlılık sayısı tanımlarıyla eşitliğin kanıtlanması, bu tanımların teknik özelliklerine dayanır ve bu nedenle bu makalenin kapsamı dışındadır.

=== {{Mvar|U}}-bileşke'yi kullanma ===
20. yüzyılın başlarında, [[Francis Sowerby Macaulay]], {{Mvar|n}} değişkenli {{Mvar|n}} homojen polinomun çok değişkenli bileşkesini (''Macaulay'ın bileşkesi'' olarak da bilinir) tanıttı; bu, iki polinomun olağan bileşkesinin genelleştirilmesidir. Macaulay'ın bileşkesi, katsayıları içeren cebirsel kapalı bir cisimde sadece ve sadece polinomların önemsiz olmayan (yani bir bileşeni sıfır olmayan) ortak sıfıra sahip olması durumunda sıfır olan {{Mvar|n}} homojen polinomların katsayılarının bir polinom fonksiyonudur.

{{Mvar|U}}-bileşke, Macaulay tarafından da tanıtılan Macaulay'ın bileşkesinin belirli bir örneğidir. <math>x_0, \ldots, x_n</math>, türünden {{Matematik|''n'' + 1}} değişkenli {{Mvar|n}} adet <math>f_1, \ldots, f_n</math> homojen polinomu verildiğinde  {{Mvar|U}}-bileşke, <math>f_1, \ldots, f_n</math> ve <math>U_0x_0 + \cdots + U_nx_n</math> polinomlarının bileşkesidir; burada <math>U_0, \ldots, U_n</math> katsayıları yardımcı değişkenlerdir. {{Mvar|U}}-bileşke, <math>U_0, \ldots, U_n</math> türünden derecesi <math>f_i</math> derecelerinin çarpımı olan homojen bir polinomdur.

Çok değişkenli bir polinom genellikle indirgenemez olsa da, {{Mvar|U}}-bileşke, <math>f_i</math> katsayılarını içeren cebirsel kapalı bir cisim üzerinde doğrusal polinomlar olarak (<math>U_i</math> şeklinde) çarpanlara ayrılabilir. Bu doğrusal çarpanlar, aşağıdaki şekilde <math>f_i</math>'nin ortak sıfırlarına karşılık gelir: her ortak sıfıra <math>(\alpha_0, \ldots, \alpha_n)</math> doğrusal bir çarpan <math>(\alpha_0 U_0 + \cdots + \alpha_n U_n)</math> karşılık gelir ve tersi de söylenebilir.

Bu, ortak bir sıfırın katlılık sayısı, {{Mvar|U}}-bileşkeye karşılık gelen doğrusal çarpanının katlılık sayısı olarak tanımlanırsa, Bézout teoremini kanıtlar. Önceki kanıta gelince, bu katlılık sayısının deformasyon yoluyla tanımla eşitliği, {{Mvar|U}}- bileşkenin <math>f_i</math> katsayılarının bir fonksiyonu olarak sürekliliğinden kaynaklanmaktadır.

Bézout'un teoreminin bu kanıtı, modern kesinlik kriterlerini karşılayan en eski kanıt gibi görünüyor.

=== Bir idealin derecesini kullanmak ===
Bézout teoremi, aşağıdaki teoremi kullanarak polinomların sayısının tekrarlanmasıyla kanıtlanabilir.

''{{Mvar|V}}, <math>\delta</math> boyutu ve <math>d_1</math>derecesinin bir izdüşümsel cebirsel kümesi ve {{Mvar|H}}, herhangi bir indirgenemez {{Mvar|V}} bileşeni içermeyen <math>d_2</math>'' dereceli ''bir hiper yüzey (tek bir polinomla tanımlanan) olsun; bu hipotezler altında, {{Mvar|V}} ve {{Mvar|H}} kesişiminin <math>\delta-1</math> boyutu ve <math>d_1d_2</math> derecesi vardır.''

Hilbert dizilerini kullanarak bir (kabataslak) kanıt için, bkz. {{Alt başlık bağlantısı|Hilbert serisi ve Hilbert polinomu|İzdüşümsel bir varyete derecesi ve Bézout teoremi}} .

Bézout teoreminin kavramsal olarak basit bir ispatına izin vermenin yanı sıra, bu teorem [[kesişme teorisi]] için temeldir, çünkü bu teori esasen yukarıdaki teoremin hipotezleri geçerli olmadığında kesişme katlılık sayılarının incelenmesine adanmıştır.

== Ayrıca bakınız ==
* [[AF+BG teoremi]] – Diğer iki eğrinin tüm kesişim noktalarından geçen cebirsel eğriler hakkında
* [[Bernstein–Kushnirenko teoremi]]&nbsp;– [[Laurent polinomları]]nın ortak karmaşık sıfırlarının sayısı hakkında

== Notlar ==
;Dipnotlar
<references group="not"/>
;Notlar
{{Kaynakça}}

== Konuyla ilgili yayınlar ==
* {{kaynak|başlık=Bezout’s Theorem|url=http://www.fen.bilkent.edu.tr/~franz/ag05/ag-10.pdf|alıntı=Kitap bölümü|arşivurl=https://web.archive.org/web/20190904032504/http://www.fen.bilkent.edu.tr/~franz/ag05/ag-10.pdf |arşivtarihi=4 Eylül 2019}}
* {{kaynak|yazar=Toni Annala|başlık=Bézout's theorem|url=http://www.math.ubc.ca/~tannala/gradu.pdf|erişimtarihi=14 Ekim 2020|arşivurl=https://web.archive.org/web/20210507023920/http://www.math.ubc.ca/~tannala/gradu.pdf|arşivtarihi=7 Mayıs 2021|ölüurl=hayır}}
* {{kaynak|başlık=Introduction to Algebraic Geometry - Bézout’s Theorem and Inflection Points|url=http://www.math.chalmers.se/~stevens/bezout.pdf|arşivurl=https://web.archive.org/web/20070330195843/http://www.math.chalmers.se/~stevens/bezout.pdf |arşivtarihi=30 Mart 2007}}
* {{kaynak|yazar=Andreas Gathmann|başlık=Applications of Bézout’s Theorem|url=https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/alggeom-2014-c13.pdf|alıntı=Kitap bölümü|erişimtarihi=14 Ekim 2020|arşivurl=https://web.archive.org/web/20201016203759/https://www.mathematik.uni-kl.de/~gathmann/class/alggeom-2014/alggeom-2014-c13.pdf|arşivtarihi=16 Ekim 2020|ölüurl=hayır}}

== Dış bağlantılar ==
* {{springer|title=Bezout theorem|id=p/b016000}}
* {{MathWorld|title=Bézout's Theorem|urlname=BezoutsTheorem}}
* {{kaynak|url=http://www.mathpages.com/home/kmath544/kmath544.htm|başlık=Bezout's Theorem|arşivurl=https://web.archive.org/web/20200131233625/https://www.mathpages.com/home/kmath544/kmath544.htm |arşivtarihi=31 Ocak 2020|çalışma=MathPages}}
* {{YouTube|kim=5OYLnMyesX4|başlık=Bezout's Theorem}} (Video, 15:02 dk)

== Kaynaklar ==
* {{Kitap kaynağı|başlık=Algebraic Curves: An Introduction to Algebraic Geometry|isbn=978-0805330823|sayfa=112|yayıncı=W.A. Benjamin|seri=Mathematics Lecture Note Series|yıl=1974|soyadı1=Fulton |ad1=William |soyadı2=Weiss |ad2= Richard}}
* {{Kitap kaynağı|başlık=[[Philosophiæ Naturalis Principia Mathematica|Principia Vol. I The Motion of Bodies]]|yazarlar=Newton|sürüm=based on Newton's 2nd edition (1713); translated by Andrew Motte (1729) and revised by [[Florian Cajori]] (1934)|yer=Berkeley, CA|yayıncı=University of California Press|yıl=1966|isbn=978-0-520-00928-8}} Newton ''Principia'''nın önceki (2.) baskısının alternatif çevirisi.
* {{kaynak|alıntı=(Teoremin genelleştirilmesi)|url=https://mathoverflow.net/q/42127|başlık=generalization of Bezout's Theorem?|erişimtarihi=10 Mart 2021}}

[[Kategori:Öklid geometrisi teoremleri]]