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 $x$ est l'unique entier relatif $n$ (positif, négatif ou nul) tel que

n\leqslant x<n+1

.

Représentation graphique en escalier de la fonction « partie entière ».

On démontre son existence et son unicité par analyse-synthèse : $n$ est le plus grand entier relatif inférieur ou égal à $x$ (ce que l'on peut prendre comme définition équivalente de la partie entière de $x$ , voir ci-dessous), son existence étant garantie par la propriété d'Archimède[1].

Dans le cas où $x$ est un rationnel ${a \over b},a\in \mathbb {Z} ,b\in \mathbb {N^{*}}$ , la partie entière de $x$ n'est autre que le quotient euclidien de $a$ par $b$ .

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

Notations

La partie entière (par défaut) de $x$ est notée conventionnellement $\lfloor x\rfloor$ . La fonction partie entière est souvent notée $\mathrm {E}$ ou $\mathrm {\underline {E}}$ .

On utilise aussi la notation $[x]$ mais celle-ci a tendance à être remplacée par la notation $\lfloor x\rfloor$ 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 floor, « plancher ») définie par l’encadrement :

Représentation graphique de la fonction « troncature ».

\left\lfloor x\right\rfloor \leqslant x<\left\lfloor x\right\rfloor +1

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

\left\lceil x\right\rceil -1<x\leqslant \left\lceil x\right\rceil

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

Représentation graphique en "dents de scie" de la fonction « partie fractionnaire ».

La partie fractionnaire d'un nombre réel $x$ , notée $\{x\}$ , est la différence entre ce nombre et sa partie entière par défaut[2] :

\{x\}=x-\lfloor x\rfloor

.

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[3].

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[4]. 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 $x$ vérifie les propriétés suivantes, où $\mathbb {Z}$ est l'ensemble des entiers relatifs :

$x=\lfloor x\rfloor +\{x\}$ ; avec $0\leqslant \{x\}<1$ ;
pour tout $n\in \mathbb {Z}$ , on a $\lfloor x+n\rfloor =\lfloor x\rfloor +n$ ;

$\lfloor -x\rfloor +\lfloor x\rfloor =\left\{{\begin{array}{rl}0&{\text{si }}x\in \mathbb {Z} \\-1&{\text{sinon,}}\end{array}}\right.$

${\textstyle \lfloor x\rfloor +\lfloor y\rfloor \leqslant \lfloor x+y\rfloor \leqslant \lfloor x\rfloor +\lfloor y\rfloor +1}$ avec $y$ réel[5].

Pour tout entier $n$ strictement positif :

$0\leqslant \lfloor nx\rfloor -n\lfloor x\rfloor \leqslant n-1$ (car $n\lfloor x\rfloor \leqslant nx<n\lfloor x\rfloor +n$ ) ;
$\left\lfloor {\frac {\lfloor nx\rfloor }{n}}\right\rfloor =\lfloor x\rfloor$ (car $\lfloor x\rfloor \leqslant {\frac {\lfloor nx\rfloor }{n}}\leqslant x$ ) , d'où $\left\lfloor {\frac {\lfloor x\rfloor }{n}}\right\rfloor =\left\lfloor {x \over {n}}\right\rfloor$ .

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 ${\text{frac}}$ , 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[1] : pour tout entier $n$ , $\lfloor x+n\rfloor =\lfloor x\rfloor +n$ ) .

Pour $x$ non entier, $x\mapsto \{x\}$ admet la décomposition en série de Fourier :

Représentation de la fonction

x\mapsto ((x))

\{x\}={\frac {1}{2}}-\sum _{n=1}^{\infty }{\frac {\sin(2\pi nx)}{n\pi }}

.

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

Animation de la décomposition en série de Fourier de cette fonction avec un nombre croissant d'harmoniques.

$((x))=-\sum _{n=1}^{\infty }{\frac {\sin(2\pi nx)}{n\pi }}={\begin{cases}\{x\}-1/2&{\mbox{si }}x{\mbox{ n}}'{\mbox{est pas entier}}\\0&{\mbox{sinon }}\end{cases}}$

À 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 $x\mapsto ((x))$ intervient aussi dans l'expression des sommes de Dedekind, ainsi que dans la formule d'Euler Mac-Laurin.

Partie entière par excès

Représentation graphique de la fonction « partie entière supérieure ».

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

\lceil x\rceil =-\mathrm {\lfloor } -x\rfloor

.

La fonction $x\mapsto \left\lceil x\right\rceil$ , parfois notée ${\overline {\text{E}}}$ , est continue à gauche et semi-continue inférieurement.

En outre, pour tout $n\in \mathbb {Z}$ :

n=\lfloor n/2\rfloor +\lceil n/2\rceil

;

\forall m\in \mathbb {N} ^{*}\quad \left\lceil {\frac {n}{m}}\right\rceil =

[6]

\left\lfloor {\frac {n+m-1}{m}}\right\rfloor =\left\lfloor {\frac {n-1}{m}}\right\rfloor +1

.

Exemples

$x$	Partie entière $\lfloor x\rfloor$	par excès $\lceil x\rceil$	Partie fractionnaire ${x}$
12/5 = 2,4	2	3	2/5 = 0,4
2,9	2	3	0,9
−2,7	−3	−2	0,3
−2	−2	−2	0

Définitions équivalentes

Dans les formules suivantes, $x$ et $y$ sont des nombres réels, $m$ , $n$ et $k$ sont des entiers relatifs.

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

\lfloor x\rfloor =\max\{m\in \mathbb {Z} \mid m\leqslant x\}

;

\lceil x\rceil =\min\{n\in \mathbb {Z} \mid n\geqslant x\}

.

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

x-1<m\leqslant x\leqslant n<x+1

.

On peut alors aussi définir les parties entières par défaut et par excès par $\lfloor x\rfloor =m$ et $\lceil x\rceil =n$ .

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

{\begin{aligned}\lfloor x\rfloor =m&\;\;\Leftrightarrow &m&\leqslant x<m+1,\\\lceil x\rceil =n&\;\;\Leftrightarrow &n-1&<x\leqslant n.\end{aligned}}

Applications

Expression du PGCD

La propriété $\lfloor -x\rfloor +\lfloor x\rfloor =\left\{{\begin{array}{rl}0&{\text{si }}x\in \mathbb {Z} \\-1&{\text{sinon,}}\end{array}}\right.$ est utilisée dans une démonstration du fait que si $a$ et $b$ sont des entiers strictement positifs premiers entre eux alors (formule dite « de Sylvester »[8], ou « de Polezzi » [9] ) :

\sum _{k=0}^{b-1}\left\lfloor k{\frac {a}{b}}\right\rfloor ={\frac {(a-1)(b-1)}{2}}

formule pouvant être généralisée pour tous entiers

a

et

b

strictement positifs[10]^,[11] :

\sum _{k=0}^{b-1}\left\lfloor k{\frac {a}{b}}\right\rfloor ={\frac {(a-1)(b-1)+\operatorname {pgcd} (a,b)-1}{2}}

Démonstration

$S=\sum _{k=1}^{b-1}\left\lfloor k{\frac {a}{b}}\right\rfloor =\sum _{k=1}^{b-1}\left\lfloor (b-k){\frac {a}{b}}\right\rfloor =\sum _{k=1}^{b-1}\left\lfloor a-k{\frac {a}{b}}\right\rfloor =\sum _{k=1}^{b-1}\left(a+\left\lfloor -k{\frac {a}{b}}\right\rfloor \right)=(b-1)a+\sum _{k=1}^{b-1}\left\lfloor -k{\frac {a}{b}}\right\rfloor$

donc $2S=\sum _{k=1}^{b-1}\left(\left\lfloor k{\frac {a}{b}}\right\rfloor +\left\lfloor -k{\frac {a}{b}}\right\rfloor \right)+(b-1)a$ .

Posons $a=da',b=db'$ ou $d={\text{pgcd}}(a,b)$ ; alors $k{a \over b}=k{a' \over b'}$ est entier $d-1$ fois pour $k$ entre 1 et $db'-1$ .

Donc, d'après la propriété précédente donnant la valeur de $\lfloor x\rfloor +\lfloor -x\rfloor$ :

$2S=-(b-1)+(d-1)+(b-1)a=(a-1)(b-1)+d-1$

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

\operatorname {pgcd} (a,b)=a+b-ab+2\sum _{k=0}^{b-1}\left\lfloor k{\frac {a}{b}}\right\rfloor =2\sum _{k=0}^{b-1}(1/2-\{k{\frac {a}{b}}\})

Fonctions arithmétiques

Si $a$ et $b$ sont des entiers strictement positifs, $\left\lfloor {\frac {a}{b}}\right\rfloor$ est le nombre de multiples de $b$ qui sont inférieurs ou égaux à $a$ : $\left\lfloor {\frac {a}{b}}\right\rfloor =\sum _{\begin{matrix}1\leqslant k\leqslant a\\b|k\end{matrix}}1$ .

Si, par exemple, une fonction arithmétique est définie par $f(n)=\sum _{d|n}g(d)$ , la somme des $n$ premiers termes vérifie :

$\sum _{k=1}^{n}f(k)=\sum _{d=1}^{n}\left\lfloor {\frac {n}{d}}\right\rfloor g(d)$ .

Démonstration

$\sum _{k=1}^{n}f(k)=\sum _{k=1}^{n}\sum _{d|k}g(d)=\sum _{d=1}^{n}\sum _{\begin{matrix}1\leqslant k\leqslant n\\d|k\end{matrix}}g(d)=\sum _{d=1}^{n}\left\lfloor {\frac {n}{d}}\right\rfloor g(d).$

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

Définition et notations

L'arrondi entier d'un nombre réel $x$ , noté ${\text{arrondi}}(x)$ ou ${\text{EPP}}(x)$ , est l'entier le plus proche de $x$ ; s'il y en a deux, on choisit par convention le plus grand en valeur absolue de façon que la fonction ${\text{arrondi}}$ soit une fonction impaire.

On a : ${\text{arrondi}}(x)={\begin{cases}\left\lfloor x+1/2\right\rfloor &{\mbox{si }}x\geqslant 0\\\left\lceil x-1/2\right\rceil &{\mbox{si }}x\leqslant 0\end{cases}}$

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

${\text{arrondi}}(x)=\operatorname {sgn}(x)\left\lfloor \left\vert x\right\vert +1/2\right\rfloor$ .

Comme l'arrondi d'un réel $x$ est égal à sa partie entière inférieure ou supérieure, il est aussi parfois noté $\left\lfloor x\right\rceil$ [12].

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 $x$ positif) :

$\left\{{\begin{array}{c}\left\lfloor x\right\rfloor \leqslant x<\left\lfloor x\right\rfloor +1\\\left\lceil x\right\rceil -1<x\leqslant \left\lceil x\right\rceil \\\left\lfloor x\right\rceil -0,5\leqslant x<\left\lfloor x\right\rceil +0,5\end{array}}\right.$

Arrondi à une précision donnée

Étant donné un réel strictement positif $\epsilon$ , l'arrondi à la précision $\epsilon$ d'un réel $x$ est le nombre multiple de $\epsilon$ le plus proche de $x$ :

${\text{arrondi}}_{\epsilon }(x)=\epsilon .{\text{arrondi}}\left({\frac {x}{\epsilon }}\right)$

Étant donné un entier $n$ , l'arrondi décimal de $x$ à l'ordre $n$ , est l'arrondi de $x$ à la précision $10^{-n}$ :

${\text{arrondi}}_{n}(x)=10^{-n}.{\text{arrondi}}\left(10^{n}x\right)$ .

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

$3\,-\,3,2\,-\,3,18\,-\,3,181\,-\,3,1805$

Lorsqu'on écrit $x\approx 3,120$ , cela signifie que l'arrondi à l'ordre 3 de $x$ est égal à $3,120$ , autrement dit que $3,1195\leqslant x<3,1205$ .

Parties entière et fractionnaire d'une fraction rationnelle

Définition

Par analogie avec le fait que la partie entière d'un rationnel $a \over b$ est le quotient euclidien de $a$ par $b$ , on définit la partie entière d'une fraction rationnelle $F={A \over B}$ comme le quotient euclidien de $A$ par $B$ , après avoir montré que ce quotient ne dépend pas du représentant ${A \over B}$ de la fraction. La partie entière de $F$ est donc l'unique polynôme $Q$ tel que ${A \over B}=Q+{R \over B}$ avec $R$ polynôme de degré strictement inférieur à celui de $B$ . Notation : ${\text{E}}(F)$ . Notons que cette partie entière n'est pas un entier, mais un polynôme.

La partie fractionnaire est ${\text{E}}(F)-F={R \over B}$ .

Ces définitions se transmettent aux fonctions rationnelles.

Propriétés

P1 : si $F$ est de degré < 0, ${\text{E}}(F)=0$ , et sinon $\deg({\text{E}}(F))=\deg(F)$ (et donc $E(F)=0\Leftrightarrow \deg {F}<0$ ).

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

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

${\text{E}}(F+G)={\text{E}}(F)+{\text{E}}(G)$

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.

Démonstration

Pour P1 : si $F={A \over B}$ est de degré < 0, $\deg A<\deg B$ , donc le quotient $Q={\text{E}}(F)$ de $A$ par $B$ est bien nul. Sinon, $\deg {R}<\deg {B}$ , donc $\deg {R}<\deg {BQ}$ , donc $\deg {A}=\deg {(BQ+R)}=\deg {BQ}=\deg {B}+\deg {Q}$ . Donc $\deg Q=\deg {A}-\deg {B}=\deg {F}$ .

Pour P2 : sens direct : $F-Q={R \over B}$ est bien de degré strictement négatif. Réciproquement, si $F-Q={{A-BQ} \over B}$ est de degré strictement négatif, $\deg(A-BQ)<\deg B$ donc $Q$ est bien le quotient de $A$ par $B$ .

Pour P3 : comme $F+G-({\text{E}}(F)+{\text{E}}(G))=F-{\text{E}}(F)+G-{\text{E}}(G)$ son degré est < 0, donc par P2, la partie entière de $F+G$ est bien ${\text{E}}(F)+{\text{E}}(G)$ .

Application

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

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Floor and ceiling functions » (voir la liste des auteurs).

D. Guinin et B. Joppin, Analyse MPSI, Bréal, 2003 (lire en ligne), p. 113.
Séries de Fourier, Éditions techniques de l'ingénieur, p. 18.
Michel Mante et Roland Charney, Concours professeur des écoles 20115 : Mathématiques, t. 1, 2015 (lire en ligne), p. 50.
« Partie décimale d'un nombre réel », sur Scolab.
Cette propriété intervient dans la démonstration arithmétique du fait que le produit de n entiers consécutifs est divisible par n! ; voir à formule de Legendre.
(en) Ronald L. Graham, Donald E. Knuth et Oren Patashnik, Concrete Mathematics, Addison-Wesley, 1994 (ISBN 0-201-55802-5), chap. 3, exercice 12.
Graham, Knuth et Patashnik 1994, chap. 3.
J. E. Blazek, Combinatoire de N-modules de Catalan, mémoire de maîtrise, 2015, p. 17.
(en) Marcelo Polezzi, « A geometrical Method for Finding an Explicit Formula for the Greatest Comon Divisor », The American Mathematical Monthly,‎ mai 1997, p. 445-446 (lire en ligne)
Graham, Knuth, Patashnik, Mathématiques concrètes, Thomson publishing, 1998, p. 101
Jean-Paul Delahaye, Merveilleux nombres premiers, Belin, 2013, p. 153
(en) Eric W. Weisstein, « Nearest Integer Function », sur MathWorld

Voir aussi

Portail des mathématiques

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[Breal-1] D. Guinin et B. Joppin, Analyse MPSI, Bréal, 2003 (lire en ligne), p. 113.

[2] Séries de Fourier, Éditions techniques de l'ingénieur, p. 18.

[3] Michel Mante et Roland Charney, Concours professeur des écoles 20115 : Mathématiques, t. 1, 2015 (lire en ligne), p. 50.

[4] « Partie décimale d'un nombre réel », sur Scolab.

[5] Cette propriété intervient dans la démonstration arithmétique du fait que le produit de n entiers consécutifs est divisible par n! ; voir à formule de Legendre.

[6] (en) Ronald L. Graham, Donald E. Knuth et Oren Patashnik, Concrete Mathematics, Addison-Wesley, 1994 (ISBN 0-201-55802-5), chap. 3, exercice 12.

[7] Graham, Knuth et Patashnik 1994, chap. 3.

[:0-8] J. E. Blazek, Combinatoire de N-modules de Catalan, mémoire de maîtrise, 2015, p. 17.

[:1-9] (en) Marcelo Polezzi, « A geometrical Method for Finding an Explicit Formula for the Greatest Comon Divisor », The American Mathematical Monthly,‎ mai 1997, p. 445-446 (lire en ligne)

[10] Graham, Knuth, Patashnik, Mathématiques concrètes, Thomson publishing, 1998, p. 101

[11] Jean-Paul Delahaye, Merveilleux nombres premiers, Belin, 2013, p. 153

[12] (en) Eric W. Weisstein, « Nearest Integer Function », sur MathWorld