Целая часть числа¶

Целая часть числа — это математическая функция, которая для заданного вещественного числа возвращает наибольшее целое число, не превосходящее данное. Обозначается различными способами, наиболее распространённые из которых: [x] (квадратные скобки, по Гауссу), ⌊x⌋ (пол, floor), entier(x) (от французского entier — «целый»). Целая часть числа является фундаментальным понятием в теории чисел, математическом анализе, дискретной математике и программировании. Она тесно связана с дробной частью числа, которая определяется как разность между самим числом и его целой частью.

¶История

Понятие целой части числа впервые было формализовано немецким математиком Карлом Фридрихом Гауссом в начале XIX века. В своих работах по теории чисел, в частности в «Арифметических исследованиях» (1801), он использовал обозначение [x] для целой части числа. Гаусс ввёл это обозначение для удобства записи и доказательства теорем, связанных с делимостью, распределением простых чисел и квадратичными вычетами. Впоследствии обозначение [x] стало стандартным в математической литературе, особенно в русскоязычной.

В XX веке, с развитием вычислительной техники и программирования, возникла необходимость в более точных и однозначных обозначениях, особенно для отрицательных чисел. В англоязычной литературе широкое распространение получили обозначения, предложенные Кеннетом Айверсоном в его книге «Язык программирования» (1962): ⌊x⌋ (floor — «пол») и ⌈x⌉ (ceil — «потолок»). Функция «пол» (floor) для отрицательных чисел возвращает меньшее целое число (например, ⌊-2,3⌋ = -3), что отличается от классической целой части по Гауссу, которая для отрицательных чисел также возвращает наибольшее целое, не превосходящее число, но при этом [x] = ⌊x⌋. В современной математике оба обозначения сосуществуют, но в контексте теории чисел чаще используется [x], а в анализе и программировании — ⌊x⌋.

¶Определение и обозначения

Для вещественного числа \(x\) целая часть \([x]\) определяется как:

\[ [x] = \max\{n \in \mathbb{Z} \mid n \le x\} \]

То есть это наибольшее целое число, которое меньше или равно \(x\). Для неотрицательных чисел целая часть совпадает с отбрасыванием дробной части. Например:

• \([3,14] = 3\)
• \([5] = 5\)
• \([0,999] = 0\)

Для отрицательных чисел целая часть по Гауссу определяется аналогично:

• \([-2,3] = -3\), так как \(-3 \le -2,3\), а \(-2 > -2,3\)
• \([-0,5] = -1\)
• \([-1] = -1\)

¶Альтернативные обозначения

В различных областях используются разные обозначения:

• Квадратные скобки: \([x]\) — классическое обозначение Гаусса, распространённое в теории чисел.
• Пол (floor): \(\lfloor x \rfloor\) — стандартное обозначение в математическом анализе и программировании. Для неотрицательных чисел совпадает с \([x]\), для отрицательных — также возвращает меньшее целое.
• Потолок (ceil): \(\lceil x \rceil\) — наименьшее целое число, не меньшее \(x\). Например, \(\lceil 3,14 \rceil = 4\), \(\lceil -2,3 \rceil = -2\).
• Обозначение в программировании: в языках программирования используются функции floor(x), ceil(x), int(x) (отбрасывание дробной части), trunc(x) (усечение до целого). В некоторых языках, например в C/C++, при приведении типа (int)x для отрицательных чисел выполняется усечение к нулю (то есть (int)(-2.3) = -2), что отличается от математической целой части.

¶Свойства

Целая часть числа обладает рядом важных свойств, которые широко используются в доказательствах и вычислениях.

¶Основные свойства

1. Целочисленность: \([x] \in \mathbb{Z}\) для любого \(x \in \mathbb{R}\).
2. Неравенство: \([x] \le x < [x] + 1\).
3. Монотонность: если \(x \le y\), то \([x] \le [y]\).
4. Аддитивность для целых чисел: если \(n \in \mathbb{Z}\), то \([x + n] = [x] + n\).
5. Дробная часть: \(\{x\} = x - [x]\), где \(\{x\}\) — дробная часть числа, причём \(0 \le \{x\} < 1\).
6. Связь с потолком: \(\lceil x \rceil = -[-x]\).

¶Свойства для отрицательных чисел

Для отрицательных чисел важно помнить, что \([x] \le x\), поэтому:

• \([-2,3] = -3\), а не \(-2\).
• Дробная часть для отрицательных чисел: \(\{-2,3\} = -2,3 - (-3) = 0,7\), то есть также \(0 \le \{x\} < 1\).

¶Арифметические свойства

• Сумма: \([x] + [y] \le [x + y] \le [x] + [y] + 1\).
• Произведение: для неотрицательных \(x, y\): \([x] \cdot [y] \le [x \cdot y]\), но точное неравенство сложнее.
• Деление: для целых \(a, b > 0\): \(\left\lfloor \frac{a}{b} \right\rfloor\) — это неполное частное при делении с остатком.

¶Применение

Целая часть числа находит применение в самых разных областях математики и её приложений.

¶Теория чисел

В теории чисел целая часть используется для формулировки и доказательства теорем о распределении простых чисел. Например, функция Чебышёва \(\theta(x) = \sum_{p \le x} \ln p\) и функция Мангольдта \(\Lambda(n)\) тесно связаны с целой частью. Классическая формула Лежандра для показателя степени простого числа \(p\) в разложении \(n!\):

\[ v_p(n!) = \sum_{k=1}^{\infty} \left\lfloor \frac{n}{p^k} \right\rfloor \]

Эта формула позволяет вычислять, сколько раз простое число входит в факториал.

¶Комбинаторика

В комбинаторике целая часть используется для подсчёта количества целых чисел, удовлетворяющих определённым условиям. Например, количество целых чисел, кратных \(d\) и не превосходящих \(N\), равно \(\left\lfloor \frac{N}{d} \right\rfloor\).

¶Математический анализ

В анализе целая часть применяется при определении функций, связанных с округлением, и в теории рядов. Например, функция \(f(x) = [x]\) является кусочно-постоянной, разрывной в целых точках. Её интеграл от 0 до \(n\) (где \(n\) — целое) равен сумме арифметической прогрессии:

\[ \int_0^n [x] \, dx = \sum_{k=0}^{n-1} k = \frac{n(n-1)}{2} \]

¶Программирование и информатика

В программировании целая часть используется в алгоритмах, связанных с округлением, делением, хешированием, генерацией псевдослучайных чисел и обработкой изображений. Функции floor, ceil, trunc и round являются стандартными в большинстве языков программирования. Например, для получения последней цифры числа используется x % 10, что эквивалентно \(x - 10 \cdot \lfloor x/10 \rfloor\).

¶Криптография

В криптографии целая часть применяется в алгоритмах, основанных на целочисленной арифметике, таких как RSA, и в генераторах псевдослучайных чисел. Например, алгоритм Блюма — Блюма — Шуба использует операцию взятия целой части от квадрата числа.

¶Физика и инженерия

В физике целая часть используется для дискретизации непрерывных величин, например, при квантовании сигналов, в цифровой обработке сигналов (ЦОС) и в системах автоматического управления. В электронике функция «пол» применяется в аналого-цифровых преобразователях (АЦП) для округления значений напряжения до ближайшего дискретного уровня.

¶Интересные факты

• Парадокс целой части: Сумма \(\sum_{k=1}^n \left\lfloor \frac{n}{k} \right\rfloor\) равна количеству пар \((a, b)\) натуральных чисел, таких что \(a \cdot b \le n\). Эта сумма также равна \(2 \sum_{k=1}^{\lfloor \sqrt{n} \rfloor} \left\lfloor \frac{n}{k} \right\rfloor - \left( \lfloor \sqrt{n} \rfloor \right)^2\).
• Функция «пол» и «потолок» являются взаимно обратными в смысле: \(\lceil x \rceil = -\lfloor -x \rfloor\).
• Непрерывность: Функция \(f(x) = [x]\) разрывна в каждой целой точке, но имеет разрывы первого рода (скачки). Величина скачка в точке \(n\) равна 1.
• В теории чисел существует гипотеза о том, что для любого иррационального числа \(\alpha\) последовательность \(\{n\alpha\}\) (дробные части) равномерно распределена на отрезке [0, 1). Это свойство используется в генераторах псевдослучайных чисел.

¶Критика и альтернативы

В некоторых контекстах, особенно в программировании, использование классической целой части по Гауссу для отрицательных чисел может приводить к путанице. Например, в языках C/C++ операция приведения типа (int)(-2.3) даёт -2 (усечение к нулю), а не -3 (как по Гауссу). Это различие важно учитывать при переносе математических формул в программный код. Для устранения неоднозначности в современных языках программирования (Python, Java, C#) встроены функции floor и trunc, явно указывающие на способ округления.

В математической литературе также используется обозначение \(\lfloor x \rfloor\) для «пола» и \(\lceil x \rceil\) для «потолка», что позволяет избежать двусмысленности. В русскоязычных учебниках по теории чисел по-прежнему чаще применяется обозначение \([x]\).