Partie entière et partie fractionnaire
En mathématiques et en informatique, la partie entière par défaut, ou partie entière inférieure, en général abrégée en partie entière tout court, d'un nombre réel  est l'unique entier relatif  (positif, négatif ou nul) tel que
.
On démontre son existence et son unicité par analyse-synthèse :  est le plus grand entier inférieur ou égal à  (ce que l'on peut prendre comme définition équivalente de la partie entière de , voir ci-dessous), son existence étant garantie par la propriété d'Archimède.

Dans le cas où  est un rationnel , la partie entière de  n'est autre que le quotient euclidien de  par .

La différence entre un nombre  et sa partie entière est appelée sa partie fractionnaire ou partie décimale.

Notations 
La partie entière (par défaut) de  est notée conventionnellement . La fonction partie entière est souvent notée  ou  .

On utilise aussi la notation  mais celle-ci a tendance à être remplacée par la notation  car elle peut être confondue avec des parenthèses. De plus, il y a symétrie entre la partie entière inférieure (appelée en anglais , « plancher ») définie par l’encadrement :   

et la partie entière supérieure (appelée en anglais , « plafond ») définie par :

La partie entière ne doit pas être confondue avec la troncature à l'unité, ou troncature entière, qui correspond à la suppression des décimales en notation usuelle et qui diffère de la partie entière pour les nombres négatifs.

Par exemple, la partie entière de –1,5 vaut –2, tandis que sa troncature à l'unité vaut –1.

Partie fractionnaire 

La partie fractionnaire d'un nombre réel  notée , est la différence entre ce nombre et sa partie entière par défaut :

 .
La partie fractionnaire d'un nombre est un réel positif ou nul strictement inférieur à 1.

On trouve également le terme de partie décimale du nombre, notamment pour les nombres décimaux.

On notera que certains considèrent le terme « partie fractionnaire » impropre pour les nombres irrationnels, car cette partie n'est alors pas rationnelle, donc n'est pas une fraction. Mais « partie décimale » n'est pas plus correct dans le cas des nombres qui ne sont pas eux-mêmes décimaux, car cette partie n'est alors pas décimale non plus.

Propriétés générales 
Tout réel  vérifie les propriétés suivantes, où  est l'ensemble des entiers relatifs :

  ; avec  ;
 pour tout , on a  ;

Cette propriété est utilisée dans une démonstration du fait que si  et  sont des entiers strictement positifs premiers entre eux alors (formule dite « de Sylvester », ou  « de Polezzi »  ) :
 

formule pouvant être généralisée pour tous entiers  et  strictement positifs :
 

donc .

Posons  ou  ; alors  est entier  fois pour  entre 1 et .  

Donc, d'après la propriété précédente donnant la valeur de  : 

Cette dernière peut être inversée de sorte à donner une formule explicite pour le PGCD :

 avec  réel.
Pour tout entier  strictement positif :
 (car ) ;
  (car ) , d'où .

Fonction partie entière 
La fonction partie entière n'est pas continue en une valeur entière, mais est continue à droite et semi-continue supérieurement.

Sa dérivée au sens des distributions est le peigne de Dirac de période 1.

Fonction partie fractionnaire 
Parfois notée , elle est continue à gauche et semi-continue supérieurement. Elle est aussi périodique de période 1 (d'après la remarque immédiate : pour tout entier , ) .

Pour  non entier,  admet la décomposition en série de Fourier :

.
Pour obtenir une décomposition en série de Fourier valable pour tout réel, on pose :

À proximité de l'image de chaque nombre entier, on observe un phénomène de Gibbs sur la décomposition en série de Fourier de cette fonction, qui persiste malgré l'augmentation du nombre de coefficients calculés (voir l'animation ci-contre).

La fonction  intervient aussi dans l'expression des sommes de Dedekind, ainsi que dans la formule d'Euler Mac-Laurin.

Partie entière par excès 

Aussi appelée partie entière supérieure, elle peut se définir par l'expression :

.

La fonction , parfois notée  , est continue à gauche et semi-continue inférieurement.

En outre, pour tout  :

 ;
.

Exemples

Définitions équivalentes 

Dans les formules suivantes,  et  sont des nombres réels, ,  et  sont des entiers relatifs.

Les parties entières par défaut et par excès peuvent aussi être définies par les expressions suivantes :

 ;  .

Puisqu'il existe un seul entier dans un intervalle semi-ouvert de largeur 1, pour tout réel  il existe exactement deux entiers  et  tels que :
.

On peut alors aussi définir les parties entières par défaut et par excès par  et .

D'autres formules équivalentes peuvent être utilisées pour simplifier des expressions avec des parties entières:

Arrondi entier et arrondi à une précision donnée

Définition et notations 
L'arrondi entier d'un nombre réel , noté  ou , est l'entier le plus proche de  ; s'il y en a deux, on choisit par convention le plus grand en valeur absolue de façon que la fonction  soit une fonction impaire.

On a : 

ce qui peut se résumer en une seule formule valable pour tout nombre réel  :

.

Comme l'arrondi d'un réel  est égal à sa partie entière inférieure ou supérieure, il est aussi parfois noté .

En résumé, les parties supérieures, inférieures, et l'arrondi entier sont caractérisés par les inégalités (la troisième uniquement pour  positif) :

Arrondi à une précision donnée 
Étant donné un réel strictement positif , l'arrondi à la précision  d'un réel  est le nombre multiple de  le plus proche de  :

Étant donné un entier  , l'arrondi décimal  de  à l'ordre , est l'arrondi de  à la précision  :

.

Par exemple, les arrondis d'ordres 0,1,2,3,4 du nombre  sont successivement :

Lorsqu'on écrit , cela signifie que l'arrondi à l'ordre 3 de  est égal à , autrement dit que .

Parties entière et fractionnaire d'une fraction rationnelle

Définition 
Par analogie avec le fait que la partie entière d'un rationnel  est le quotient euclidien de  par , on définit la partie entière d'une fraction rationnelle  comme le quotient euclidien de  par , après avoir montré que ce quotient ne dépend pas du représentant  de la fraction. La partie entière de  est donc l'unique polynôme  tel que  avec  polynôme de degré strictement inférieur à celui de . Notation : . Notons que cette partie entière n'est pas un entier, mais un polynôme.

La partie fractionnaire est .

Ces définitions se transmettent aux fonctions rationnelles.

Propriétés 
  P1 : si  est de degré < 0, , et sinon  (et donc ).

 P2 : un polynôme  est la partie entière d'une fraction rationnelle  si et seulement si  est de degré strictement négatif.

 P3 : la partie entière d'une somme est la somme des parties entières :

 Ceci différencie donc la notion de partie entière dans les entiers et dans les rationnels ; cette propriété est très utile pour la recherche de décomposition en éléments simples.
Pour P1 : si  est de degré < 0, , donc le quotient   de  par  est bien nul. Sinon, , donc , donc . Donc .

Pour P2 : sens direct :  est bien de degré strictement négatif. Réciproquement, si  est de degré strictement négatif,  donc  est bien le quotient de  par .

Pour P3 : comme  son degré est < 0, donc par P2, la partie entière de  est bien .

Application 
La partie entière d'un fonction rationnelle  de degré > 0 est une fonction polynomiale asymptote à  au voisinage de +∞ et -∞.

Notes et références

Voir aussi 

 Arrondi (mathématiques)
Troncature
 Décomposition en éléments simples d'une fraction rationnelle

Fonction remarquable