Bezoutova věta
Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od
verze recenzované 22. října 2022; ověření vyžaduje
1 úpravu .
Bezoutova věta říká, že zbytek dělení polynomu binomemje.
![(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)
Předpokládá se, že koeficienty polynomu jsou obsaženy v nějakém komutativním kruhu s jednotou (například v oboru reálných nebo komplexních čísel ).
Důkaz
Vydělte polynom binomem se zbytkem :
![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)
kde je zbytek. Protože , then není polynom stupně vyšší než 0, tedy konstanta, označíme jej . Nahrazení , protože , máme .
![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)
Důsledky
- Číslo je kořenem polynomu právě tehdy, je-li beze zbytku děleno binomem (z toho zejména vyplývá, že množina kořenů polynomu je totožná s množinou kořenů příslušné rovnice ).
![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)
- Volný člen polynomu je dělitelný libovolným celočíselným kořenem polynomu s celočíselnými koeficienty (pokud je vedoucí koeficient 1, pak jsou všechny racionální kořeny také celé).
- Nechť je celočíselná odmocnina redukovaného polynomu s celočíselnými koeficienty. Potom pro libovolné celé číslo je číslo násobkem .
![Sekera)](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)
Aplikace
Bezoutova věta a její důsledky usnadňují nalezení racionálních kořenů polynomických rovnic s racionálními koeficienty.
Viz také
Literatura