En mathématiques, la fonction partie entière est la fonction définie de la manière suivante :
La fonction partie entière (En mathématiques, la fonction partie entière est la fonction définie de la manière...) est aussi notée (ou par les anglo-saxons).
On a toujours :
avec égalité si et seulement si x est un entier relatif (En mathématiques, un entier relatif se présente comme un entier naturel muni d'un signe...).
Pour tout (Le tout compris comme ensemble de ce qui existe est souvent interprété comme le monde ou...) entier relatif k et et pour tout nombre réel (En mathématiques, un nombre réel est un objet construit à partir des nombres...) x, on a
L’arrondi à l’entier le plus proche d’un réel x peut être exprimé par E(x + 0,5).
La fonction partie entière n’est pas continue, mais est continue à droite. En fait elle est constante sur tout intervalle de la forme [k, k+1[ et n’est pas continue en les entiers relatifs.
Une autre fonction mathématique (Les mathématiques constituent un domaine de connaissances abstraites construites à l'aide...) du même type est la fonction " plafond " ou partie entière par excès ou partie entière supérieure (ceiling en anglais), définie de la manière suivante :
La fonction plafond est aussi notée .
Il est facile de montrer que :
et que :
Pour tout entier relatif k, on a aussi l’égalité suivante :
Si m et n sont des entiers naturels premiers entre eux alors