Qu'est-ce que la fonction plafond ?
La fonction plafond, notée \(\lceil x \rceil\) ou ceil(x), arrondit un nombre réel par excès à l'entier le plus proche. Formellement, \(\lceil x \rceil\) est le plus petit entier supérieur ou égal à x. C'est l'une des opérations d'arrondi les plus courantes en mathématiques, en informatique et en ingénierie, et elle va naturellement de pair avec la fonction partie entière \(\lfloor x \rfloor\), qui arrondit par défaut.
Comment utiliser ce calculateur
Saisissez n'importe quel nombre dans le champ de saisie — positif, négatif, entier ou décimal — et le calculateur affiche aussitôt son plafond. Les nombres entiers restent inchangés, car un entier est déjà supérieur ou égal à lui-même. Les nombres décimaux, eux, sont toujours arrondis à l'entier supérieur.
La formule expliquée
La définition est $$\lceil x \rceil = \min\{\, n \in \mathbb{Z} \mid n \ge x \,\}$$ Autrement dit, on considère tous les entiers au moins aussi grands que x, puis on conserve le plus petit d'entre eux. Par exemple, les entiers \(\ge 4{,}1\) sont 5, 6, 7, … ; le plus petit est 5, donc \(\lceil 4{,}1 \rceil = 5\). Attention aux nombres négatifs : arrondir « par excès » rapproche de zéro, d'où \(\lceil -2{,}3 \rceil = -2\), et non \(-3\).
Exemple concret
Imaginons qu'une imprimerie facture à la feuille entière et qu'un travail nécessite 12,4 feuilles de matière. Comme on ne peut pas acheter une fraction de feuille, on calcule \(\lceil 12{,}4 \rceil = 13\) feuilles. De même, répartir 100 articles dans des cartons de 30 demande \(\lceil 100 \div 30 \rceil = \lceil 3{,}33\ldots \rceil = 4\) cartons.
FAQ
Quel est le plafond d'un nombre négatif ? Le plafond arrondit vers l'infini positif, donc \(\lceil -2{,}3 \rceil = -2\) et \(\lceil -5 \rceil = -5\).
Le plafond équivaut-il à un arrondi par excès ? Oui — le plafond arrondit toujours à l'entier supérieur, contrairement à l'arrondi classique qui va à l'entier le plus proche.
Quel est le plafond d'un nombre entier ? C'est le nombre lui-même, puisque tout entier vérifie déjà \(n \ge n\).