Discuter:Partie entière

Un article de Wikipédia, l'encyclopédie libre.


Montrer quelle que soi p en N*; quelle que soi x en R ; E(x+p)=E(x)+p


Par definition de E(x) il existe un unique n en N telque n </= x < n+1

                                                        E(x) </= x < E(x)+1
                                                        E(x)+p </= x+p < E(x)+p+1

E(x)+p apartient Z tout comme E(x)+1+p donc E(x)+p et E(x)+1+p sont consécutifs.

Donc comme E(x)+p </= x+p et x+p < E(x)+p+1 et comme E(x)+p et E(x)+p+1 sont consécutifs .

On en déduit que E(x+p)=E(x)+p.