Hurwitzova věta (teorie čísel)

Hurwitzův teorém je výsledkem teorie čísel , která hodnotí možnost aproximace iracionálních čísel racionálními.

Formulace

Pro nějaké konstantní a iracionální číslo existuje nekonečně mnoho celých čísel , která lze aproximovat racionálními čísly s přesností .

Pro jakoukoli konstantu existuje iracionální číslo takové, že pouze konečný počet hodnot umožňuje vybrat vyhovující .

Důkaz

Tato věta byla prokázána Adolfem Hurwitzem v roce 1891. Protipříklad pro může být číslo .

Literatura