Bertrandin postulaatti, Tšebyšovin lause ja Bertrandin-Tšebyšovin teoreema tarkoittaa matematiikassa lausetta, joka liittyy alkulukuteoriaan. Sen mukaan jos n on mielivaltainen positiivinen kokonaisluku, on joukossa aina vähintään yksi alkuluku.[1] Väitteen esitti Joseph Bertrand vuonna 1845 ja vuonna 1850 sen todisti Pafnuti Tšebyšov.[2][3]
Bertrand osoitti väitteen todeksi lukuun asti. Tšebyšov todisti väitteen vuonna 1850. Ramanujan löysi kuitenkin lauseelle yksinkertaisemman todistuksen samoin kuin Paul Erdős vuonna 1932.
Lähteet