Функция пола

Функция floor (⌊x⌋) возвращает наибольшее целое число, меньшее или равное заданному числу (округление к минус бесконечности).

Математическое определение функции floor гласит, что ⌊x⌋ — это наибольшее целое число n, такое что n ≤ x.

Это также можно выразить в виде неравенства: n ≤ x < n + 1, где n = ⌊x⌋.

Проще говоря, это означает, что если у числа есть какая-либо дробная часть, вы спускаетесь к ближайшему целому числу ниже него на числовой прямой. Если оно уже является точным целым числом, оно не изменяется.

Стандартное обозначение функции floor использует специальные скобки, у которых отсутствуют верхние горизонтальные черты: ⌊x⌋.

• Скобки floor (пол): ⌊x⌋ (Квадратные скобки без верхней части, визуально напоминающие "пол").
• Скобки ceiling (потолок): ⌈x⌉ (Квадратные скобки без нижней части, визуально напоминающие "потолок").

Не путайте скобки floor с обычными круглыми скобками (x) или стандартными квадратными скобками [x], так как они имеют другие математические значения.

Применение функции floor следует четкому правилу направления на числовой прямой:

Примеры

Положительные числа:

• ⌊2.1⌋ = 2
• ⌊2.9⌋ = 2
• ⌊7.01⌋ = 7

Целые числа:

• ⌊4⌋ = 4

Отрицательные числа:

• ⌊−2.1⌋ = −3
• ⌊−2.9⌋ = −3

Минус бесконечность — это направление на числовой прямой, всегда движущееся влево. Когда функция floor применяется к любому нецелому значению, она смещает значение строго в этом левом направлении.

Для положительных значений движение влево означает уменьшение модуля:

• 2.1 → 2
• 2.9 → 2

Для отрицательных значений движение влево означает отдаление от нуля (увеличение модуля в отрицательном направлении):

• −2.1 → −3
• −2.9 → −3

Не думайте о функции floor просто как об "округлении вниз", не понимая, что означает "вниз". В математике "вниз" означает "к минус бесконечности", а не "к нулю".

Отрицательные числа часто вызывают путаницу с функцией floor. Частая ошибка — предполагать, что ⌊−2.1⌋ равно −2. Однако ⌊−2.1⌋ = −3.

Почему? Потому что правило состоит в том, чтобы найти наибольшее целое число меньшее или равное исходному.

На числовой прямой −3 меньше −2.1, но −2 больше −2.1. Поскольку функция floor требует целого числа, меньшего или равного исходному, она должна перейти к −3:

Другие примеры:

• ⌊−2.9⌋ = −3
• ⌊−3⌋ = −3

Когда исходное значение уже является точным целым числом, функция floor оставляет значение абсолютно без изменений.

• ⌊1⌋ = 1
• ⌊0⌋ = 0
• ⌊−1⌋ = −1
• ⌊10⌋ = 10

Для десятичных чисел и дробей функция floor фактически отбрасывает дробную часть для положительных чисел, но для отрицательных чисел она опускается до следующего меньшего целого числа.

Дроби:

• ⌊7/3⌋ = 2
• ⌊11/4⌋ = 2
• ⌊−7/3⌋ = −3
• ⌊−11/4⌋ = −3

Положительные десятичные числа:

• ⌊1.1⌋ = 1
• ⌊1.5⌋ = 1
• ⌊1.99⌋ = 1
• ⌊3.001⌋ = 3

Отрицательные десятичные числа:

• ⌊−1.1⌋ = −2
• ⌊−1.99⌋ = −2
• ⌊−3.001⌋ = −4

Иногда нужно применить функцию floor к определенному количеству десятичных знаков (например, floor до 2 знаков после запятой). Это делается с помощью метода масштабирования: умножьте на степень 10, примените функцию floor и разделите обратно.

• Floor от 2.349 до 2 десятичных знаков: ⌊2.349 × 100⌋ / 100 = ⌊234.9⌋ / 100 = 234 / 100 = 2.34
• Floor от 2.341 до 1 десятичного знака: ⌊2.341 × 10⌋ / 10 = ⌊23.41⌋ / 10 = 23 / 10 = 2.3
• Floor от 7.999 до 2 десятичных знаков: 7.99

Для отрицательных чисел значение по-прежнему смещается к минус бесконечности:

• Floor от −2.341 до 2 десятичных знаков: ⌊−2.341 × 100⌋ / 100 = ⌊−234.1⌋ / 100 = −235 / 100 = −2.35

Функция ceiling — полная противоположность функции floor. Функция floor всегда движется к минус бесконечности, в то время как функция ceiling всегда движется к плюс бесконечности.

Округление к ближайшему (Округление половины вверх) выбирает ближайшее целое число. Функции floor не важно, какое целое число ближе; она всегда выбирает наибольшее целое число, меньшее или равное исходному.

• 2.3: Floor → 2 | Ближайшее округление → 2
• 2.7: Floor → 2 | Ближайшее округление → 3
• −2.3: Floor → −3 | Ближайшее округление → −2
• −2.7: Floor → −3 | Ближайшее округление → −3

Функция выделения целой части просто извлекает целые цифры числа, отбрасывая десятичную часть. Это смещает значение строго к нулю, что создает критическую разницу для отрицательных чисел.

• 2.7: Floor = 2 | Целая часть = 2
• −2.7: Floor = −3 | Целая часть = −2

Это подчеркивает различие: floor — это направленная операция (к минус бесконечности), а не простое усечение.

Усечение (Truncation) просто отсекает (удаляет) дробную часть числа, смещая значение строго к нулю. Floor смещается к минус бесконечности. Эта разница становится важной при работе с отрицательными числами.

• 2.8: Floor → 2 | Усечение → 2
• −2.8: Floor → −3 | Усечение → −2

Термин "округление вниз" может быть неоднозначным. В строгой математической терминологии "округление вниз" обычно является синонимом функции floor (смещение к минус бесконечности). Однако в некоторых финансовых контекстах "округление вниз" означает усечение (смещение к нулю).

Например, для −2.7 функция floor дает −3, а усечение дает −2.

График функции floor, y = ⌊x⌋, имеет ступенчатую форму (также известную как ступенчатая функция). Он остается абсолютно плоским для всех значений между целыми числами, а затем делает скачок вверх на каждом целом числе.

Для каждого целого числа n, где n ≤ x < n + 1, значение floor равно ровно n.

• Для 0 ≤ x < 1, ⌊x⌋ = 0
• Для 1 ≤ x < 2, ⌊x⌋ = 1
• Для −1 ≤ x < 0, ⌊x⌋ = −1

На графике левый конец каждой горизонтальной ступеньки — это закрашенный кружок (что означает включение целого числа), а правый конец — пустой кружок (что означает исключение следующего целого числа).

Функция floor формально определяется в теории множеств как:

Простыми словами эта формула означает: "Посмотрите на множество всех целых чисел (ℤ), которые меньше или равны x, и выберите максимальное (max) значение из этого множества."

• Идентичность для целых чисел: ⌊x⌋ = x, когда x — целое число.
• Границы: x − 1 < ⌊x⌋ ≤ x для нецелого x.
• Симметрия с ceiling: ⌊x⌋ = −⌈−x⌉.
• Прибавление целого числа: ⌊x + n⌋ = ⌊x⌋ + n для любого целого числа n.

Функция floor имеет огромное значение в реальных сценариях, особенно когда нельзя использовать или сосчитать частичные элементы.

• Завершенные единицы: Если у вас 29 элементов, а для каждой полной группы требуется 10 элементов, количество полностью заполненных групп равно ⌊29 / 10⌋ = 2.
• Информатика: Нахождение индексов массива, преобразование координат с плавающей запятой в пиксельные координаты на экране.
• Распределение ресурсов: Определение того, сколько полных часов услуги вы можете себе позволить при заданном бюджете.
• Обработка данных: Группировка данных в определенные временные интервалы (например, группировка логов по часам).

Функция floor в Python

Функция floor в JavaScript

Функция floor в Java

Функция floor в C#

Функция floor в Excel

В Excel есть несколько функций округления вниз. ОКРВНИЗ.МАТ (FLOOR.MATH) — самая надежная, по умолчанию всегда округляющая к минус бесконечности. ОКРВНИЗ (FLOOR) может выдавать ошибку для отрицательных чисел, если знаки не совпадают.

Помимо базовой арифметики, функция floor активно используется в высшей математике:

• Теория чисел: Используется в формулах, связанных с простыми числами и делимостью.
• Модульная арифметика: Операция взятия остатка часто определяется как a mod n = a − n × ⌊a / n⌋.
• Дискретная математика: Преобразование функций с непрерывной областью определения в дискретные целочисленные функции.

• Путаница между floor и усечением: Усечение отбрасывает десятичную часть (сдвиг к нулю). Floor смещается к минус бесконечности. Исправление: Для отрицательных чисел floor увеличивает модуль, а усечение — уменьшает.
• Забвение о том, что отрицательные числа стремятся к минус бесконечности: Многие ошибочно полагают, что ⌊−2.7⌋ равно −2. Исправление: Это −3.
• Путаница между floor и ceiling: Исправление: Floor идет влево по числовой прямой; ceiling — вправо.
• Использование floor, когда нужно ближайшее округление: Floor игнорирует ближайшее целое число. Исправление: Если вам нужно ближайшее значение к 2.9, используйте ближайшее округление, чтобы получить 3, а не floor.

Функция floor возвращает наибольшее целое число, меньшее или равное исходному.

Проверьте свое понимание функции floor на этих примерах. Нажмите на вопрос, чтобы увидеть ответ.