Chceme-li najít polynom s kořenem , spočteme si
Charakteristický polynom této matice je
Všimněme si, že jsme tím nedostali minimální polynom , ale dostali jsme jeho násobek.
Pro nalezení polynomu s kořenem použijeme matici
Její charakteristický polynom je
Kořeny tohoto polynomu jsou . Skutečně platí . Mají nějaký význam ostatní kořeny? Pokud uvažujeme všechny kořeny původních minimálních polynomů , tedy , vyšly nám všechny jejich možné součty.
Zbývá uzavřenost na inverzi. Nechť . Jelikož je ireducibilní a , jsou nesoudělné. Podle Bézoutovy věty existují takové, že . Speciálně , tedy .
Označme . Speciálně . Pro je , protože
Z toho plyne, že mají právě jeden společný kořen, a sice . Z toho plyne , tedy speciálně . Potom také .Máme nějaké a chceme najít taková, že je nějakým způsobem malé vzhledem k velikosti .
Když máme pevně dané , tak je to jednoduché. Dostaneme tím racionální číslo vzdálené nanejvýš .
Co kdybychom hledali libovolné pro pevně dané ? Ukáže se, že potom najdeme mnohem lepší aproximaci.
Nechť . Máme najít taková , že
0 | 6 | 6 | 1 | −5 |
1 | 2 | 13 | 2 | 5 |
2 | 2 | 32 | 5 | −1 |
3 | 12 | 397 | 62 | 5 |
4 | 2 | 826 | 129 | −5 |
5 | 2 | 2049 | 320 | 1 |
6 | 12 | 25414 | 3969 | −5 |
Uvažujme množinu
Pro jaká platí ? Jistě můžeme bez újmy na obecnosti předpokládat, že . Zároveň musí mít různou paritu, protože kdyby byla obě lichá, potom . Takže bez újmy na obecnosti je sudé a je liché.
Předchozí věta vlastně říká, že racionální číslo je algebraické, právě když jeho minimální polynom je celočíselný. Tato myšlenka platí i obecně.