Bezoutin lause
Kokeneet kirjoittajat eivät ole vielä tarkistaneet sivun nykyistä versiota, ja se voi poiketa merkittävästi 22. lokakuuta 2022 tarkistetusta
versiosta . vahvistus vaatii
1 muokkauksen .
Bezoutin lauseessa sanotaan , että polynomin jakamisen binomilla jäännös on.
![(xa)](https://wikimedia.org/api/rest_v1/media/math/render/svg/d517d2bab79d156c742a2ca3652fff7d1dfd4d9c)
![P(a)](https://wikimedia.org/api/rest_v1/media/math/render/svg/87843d318d662e597ebd3c0260bcb2727707009d)
Oletetaan, että polynomin kertoimet sisältyvät johonkin kommutatiiviseen renkaaseen , jossa on yksikkö (esimerkiksi reaali- tai kompleksilukujen kentässä ).
Todiste
Jaa polynomi binomilla jäännöksellä :
![P(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/89833156eff2c51bfb8750db3306a0544ce34e14)
![xa](https://wikimedia.org/api/rest_v1/media/math/render/svg/e32f42f9f52615f0186e3c8f2c25d7cd6f7bd6aa)
missä on loput. Koska , sitten on polynomi, jonka aste ei ole suurempi kuin 0, eli vakio, merkitsemme sitä . Korvaamalla , koska meillä on .
![R(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd5e851b43895fbe06436240dc7daa4d2033f082)
![{\displaystyle \deg R(x)<\deg(xa)=1}](https://wikimedia.org/api/rest_v1/media/math/render/svg/365a715e2dc8eeeebafe9cbd94f3e414c931a52b)
![R(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd5e851b43895fbe06436240dc7daa4d2033f082)
![r](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d1ecb613aa2984f0576f70f86650b7c2a132538)
![x=a](https://wikimedia.org/api/rest_v1/media/math/render/svg/aaae23950e96a955ab5b07015a168fd931d4d82b)
![{\displaystyle (aa)Q(a)=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6efeda50d3731ebca9edb13db9036a027cf1fa2d)
![{\displaystyle P(a)=R(x)=r}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1802df82a8e0fd9a60a257bba3df5e633c7b5800)
Seuraukset
- Luku on polynomin juuri silloin ja vain, jos se jaetaan ilman jäännöstä binomilla (siis erityisesti seuraa, että polynomin juurijoukko on identtinen vastaavan yhtälön juurijoukon kanssa ).
![p(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cb7afced134ef75572e5314a5d278c2d644f438)
![p(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cb7afced134ef75572e5314a5d278c2d644f438)
![xa](https://wikimedia.org/api/rest_v1/media/math/render/svg/e32f42f9f52615f0186e3c8f2c25d7cd6f7bd6aa)
![P(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/89833156eff2c51bfb8750db3306a0544ce34e14)
![P(x) = 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/81b206fb7efdcf09cecb110d09e4543295673ef4)
- Polynomin vapaa termi on jaollinen millä tahansa polynomin kokonaislukujuurella, jossa on kokonaislukukerroin (jos johtava kerroin on 1, niin kaikki rationaaliset juuret ovat myös kokonaislukuja).
- Antaa olla kokonaislukujuuri pelkistetylle polynomille kokonaislukukertoimilla. Sitten minkä tahansa kokonaisluvun luku on luvun kerrannainen .
![Kirves)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b078651e6d1a522e8955b73059fbd63e13aec616)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![A(k)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6539b139e5fbc990514f6cc269fe773fdc7657be)
![ak](https://wikimedia.org/api/rest_v1/media/math/render/svg/b733f886e9efe115db5d2033d9ef5b263d530da8)
Sovellukset
Bezoutin lause ja sen seuraukset mahdollistavat polynomiyhtälöiden rationaalisten juurien löytämisen rationaalisilla kertoimilla.
Katso myös
Kirjallisuus