Нерівність Бонсе
В теорії чисел, нерівністю Бонсе називається нерівність для простих чисел, доведена Бонсе у 1907 році.

Твердження 
Якщо  позначає -не просте число, то

 

для . 

З використанням цієї нерівності, Бонсе довів, що 30 є найбільшим цілим числом  із такою властивістю: якщо натуральне число , де  є взаємно простим із  тобто , то  є простим числом.

Бонсе також довів сильнішу нерівність:

 

для .

Натомість слабша нерівність:

 

негайно випливає із доведення Евклідом нескінченності простих чисел.

Приклади 
Прикладами для найменших чисел є

Доведення

За допомогою постулата Бертрана 
Просте доведення нерівності можна дати за допомогою постулата Бертрана (проте воно не є елементарним через використання постулату). Послідовні прості числа задовольняють нерівність 
Якщо тепер припустити  то з використанням нерівності із постулату Бертрана

 

оскільки  для 

Оскільки нерівність Бонсе виконується для  то методом математичної індукції вона виконується і для всіх більших натуральних чисел.

Елементарне доведення 
Нерівність була доведена простими підрахунками для 

Позначимо  — цілу частину числа. Очевидно  і для  також  Дійсно, для другої нерівності   де остання нерівність очевидно виконується для всіх 

Позначимо  і  Нехай елементи  і  множини  діляться на просте число  Тоді  що неможливо. Тобто жодне із простих чисел  не ділить більше одного із чисел множини  Оскільки  то цих простих чисел є менше, ніж елементів множини Відповідно існує число  що не ділиться на жодне із простих чисел  а тому воно ділиться на якесь більше просте число і зокрема є не меншим, ніж 

Враховуючи все це маємо:

 

а тому:

 

що і завершує доведення.

Посилення і подібні нерівності 

Долезман у 2000 році довів що

 

для .

Шандор у 1988 році показав,  що:

 

для .

Поса у 1960 році довів,  що для кожного , існує  для якого:

 

для .

Панаітополь довів у 2000 році що:

 

де — функція розподілу простих чисел.

Примітки

Література 

 
 
 
 Robert J. Betts, Using Бонсе's Inequality to Find Upper Bounds on Prime Gaps, Journal of Integer Sequences, 10, 2007, Versione online.
 G. van Golstein Brouwers, D. Bamberg, J. Cairns, "Totally Goldbach numbers and related conjectures".  Australian Mathematical Society Gazette.  Vol 31(4)  (2004), p. 254. Versione online.
 József Sándor, Geometric Theorems, Diophantine Equations, and Arithmetic Functions, American Research Pres, 2002, ISBN 1-931233-51-9, pp. 238–240. versione online

Бонсе
Прості числа
1907 у науці
В теорії чисел , нерівністю Бонсе називається нерівність для простих чисел , доведена Бонсе уроці . Твердження Якщо позначає -не просте число , то для \ . З використанням цієї нерівності , Бонсе довів , щоє найбільшим цілим числом із такою властивістю : якщо натуральне число , де є взаємно простим із тобто , то є простим числом . Бонсе також довів сильнішу нерівність : для \ . Натомість слабша нерівність : негайно випливає із доведення Евклідом нескінченності простих чисел . Приклади Прикладами для найменших чисел є Доведення За допомогою постулата Бертрана Просте доведення нерівності можна дати за допомогою постулата Бертрана ( проте воно не є елементарним через використання постулату ) . Послідовні прості числа задовольняють нерівність Якщо тепер припустити то з використанням нерівності із постулату Бертрана оскільки для Оскільки нерівність Бонсе виконується для то методом математичної індукції вона виконується і для всіх більших натуральних чисел . Елементарне доведення Нерівність була доведена простими підрахунками для Позначимо — цілу частину числа . Очевидно і для також Дійсно , для другої нерівності де остання нерівність очевидно виконується для всіх Позначимо і Нехай елементи і множини діляться на просте число Тоді що неможливо . Тобто жодне із простих чисел не ділить більше одного із чисел множини Оскільки то цих простих чисел є менше , ніж елементів множини Відповідно існує число що не ділиться на жодне із простих чисел а тому воно ділиться на якесь більше просте число і зокрема є не меншим , ніж Враховуючи все це маємо : а тому : що і завершує доведення . Посилення і подібні нерівності Долезман уроці довів що для \ . Шандор уроці показав , що : для \ . Поса уроці довів , що для кожного , існує для якого : для \ . Панаітополь довів уроці що : де — функція розподілу простих чисел . Примітки Література Robert J . Betts , Using Бонсе's Inequality to Find Upper Bounds on Prime Gaps , Journal of Integer Sequences , Versione online . G . van Golstein Brouwers , D . Bamberg , J . Cairns , " Totally Goldbach numbers and related conjectures " . Australian Mathematical Society Gazette . Vol4 ) p . Versione online . József Sándor , Geometric Theorems , Diophantine Equations , and Arithmetic Functions , American Research Pres , ISBN51 - 9 , pp.240 . versione online Бонсе Прості числа 1907 у науці