Введение

Целое число вида 3 · 2ⁿ + 1 для неотрицательного n.

В теории чисел число Тхабита, число Тхабита ибн Куры или число 321 — это целое число вида 3 · 2ⁿ + 1 для неотрицательного целого числа n.

Первые несколько чисел Тхабита:

2, 5, 11, 23, 47, 95, 191, 383, 767, 1535, 3071, 6143, 12287, 24575, 49151, 98303, 196607, 393215, 786431, 1572863.

Математик, врач, астроном и переводчик IX века Тхабит ибн Кура считается первым, кто изучал эти числа и их связь с дружественными числами.

Обобщение

Для целого числа b ≥ 2, число Тэбита с основанием b является числом вида (b+1)·bn − 1 для неотрицательного целого числа n. Также для целого числа b ≥ 2, число Тэбита второго рода с основанием b является числом вида (b+1)·bn + 1 для неотрицательного целого числа n. Числа Уильямса также являются обобщением чисел Тэбита. Для целого числа b ≥ 2, число Уильямса с основанием b – это число вида (b−1)·bn − 1 для неотрицательного целого числа n. Также для целого числа b ≥ 2, число Уильямса второго рода с основанием b – это число вида (b−1)·bn + 1 для неотрицательного целого числа n.

Для целого числа b ≥ 2, простое число Тэбита с основанием b – это число Тэбита с основанием b, которое также является простым. Аналогично, для целого числа b ≥ 2, простое число Уильямса с основанием b – это число Уильямса с основанием b, которое также является простым. Любое простое число p является простым числом Тэбита первого рода с основанием p, простым числом Уильямса первого рода с основанием p+2 и простым числом Уильямса второго рода с основанием p; если p ≥ 5, то p также является простым числом Тэбита второго рода с основанием p−2. Предполагается, что для каждого целого числа b ≥ 2 существует бесконечно много простых чисел Тэбита первого рода с основанием b, бесконечно много простых чисел Уильямса первого рода с основанием b и бесконечно много простых чисел Уильямса второго рода с основанием b; также, для каждого целого числа b ≥ 2, не сравнимого с 1 по модулю 3, существует бесконечно много простых чисел Тэбита второго рода с основанием b. (Если основание b сравнимо с 1 по модулю 3, то все числа Тэбита второго рода с основанием b делятся на 3 (и больше 3, поскольку b ≥ 2), поэтому простых чисел Тэбита второго рода с основанием b не существует.) Показатель простых чисел Тэбита второго рода не может быть сравнимым с 1 по модулю 3 (за исключением самого 1), показатель простых чисел Уильямса первого рода не может быть сравнимым с 4 по модулю 6, а показатель простых чисел Уильямса второго рода не может быть сравнимым с 1 по модулю 6 (за исключением самого 1), поскольку соответствующий многочлен относительно b является приводимым многочленом. (Если n ≡ 1 (mod 3), то (b+1)·bn + 1 делится на b2 + b + 1; если n ≡ 4 (mod 6), то (b−1)·bn − 1 делится на b2 − b + 1; и если n ≡ 1 (mod 6), то (b−1)·bn + 1 делится на b2 − b + 1.) В противном случае, соответствующий многочлен относительно b является неприводимым многочленом, поэтому, если гипотеза Буняковского верна, то существует бесконечно много оснований b, таких что соответствующее число (для фиксированного показателя n, удовлетворяющего условию) является простым. ((b+1)·bn − 1 является неприводимым для всех неотрицательных целых чисел n, поэтому, если гипотеза Буняковского верна, то существует бесконечно много оснований b, таких что соответствующее число (для фиксированного показателя n) является простым.)

Числа Пьерпона являются обобщением чисел Тэбита второго рода.