Что такое функция потолка?
Функция потолка, которую обозначают как \(\lceil x \rceil\) или ceil(x), округляет вещественное число вверх до ближайшего целого. Строго говоря, \(\lceil x \rceil\) — это наименьшее целое число, которое больше или равно x. Это одна из самых распространённых операций округления в математике, программировании и инженерных расчётах. У неё есть «зеркальная пара» — функция пола \(\lfloor x \rfloor\), которая, наоборот, округляет вниз.
Как пользоваться калькулятором
Введите любое число в поле — положительное или отрицательное, целое или с дробной частью — и калькулятор сразу же покажет его потолок. Целые числа остаются без изменений, ведь любое целое уже больше или равно самому себе. А вот дробные значения всегда «подскакивают» до следующего целого.
Разбор формулы
Определение выглядит так: $$\lceil x \rceil = \min\{\, n \in \mathbb{Z} \mid n \ge x \,\}$$ Если объяснить словами — нужно взять все целые числа, которые не меньше x, и выбрать из них самое маленькое. Например, целые числа \(\ge 4{,}1\) — это 5, 6, 7, …; наименьшее из них — 5, поэтому \(\lceil 4{,}1 \rceil = 5\). С отрицательными числами будьте внимательны: округление «вверх» означает движение в сторону нуля, поэтому \(\lceil -2{,}3 \rceil = -2\), а не \(-3\).
Разбор примера
Представьте, что типография берёт оплату за целый лист, а для заказа нужно 12,4 листа материала. Купить дробную часть листа нельзя, поэтому считаем \(\lceil 12{,}4 \rceil = 13\) листов. Точно так же, если нужно разложить 100 предметов по коробкам вместимостью 30 штук, понадобится $$\lceil 100 \div 30 \rceil = \lceil 3{,}33\ldots \rceil = 4$$ коробки.
Частые вопросы
Чему равен потолок отрицательного числа? Потолок округляет в сторону плюс бесконечности, поэтому \(\lceil -2{,}3 \rceil = -2\), а \(\lceil -5 \rceil = -5\).
Потолок — это то же самое, что округление вверх? Да — потолок всегда округляет до следующего целого вверх, в отличие от обычного округления, которое идёт к ближайшему целому.
Чему равен потолок целого числа? Самому этому числу, ведь любое целое уже удовлетворяет условию \(n \ge n\).
