Proposition Pour

, on a

En particulier, on a

Dmonstration L'ingalit

est consquence immdiate de la dfinition de

resp.

. Pour montrer

, il suffit de prendre

.
Thorme [de Chasles] Soit

. Alors,

et on a la relation de Chasles :

Dmonstration Pour tout

, on a videmment

entrane

. Le mme s'applique

relation de Chasles. Rciproquement, tout

et

. Ainsi l'intgrabilit sur

qui contient

mmes relations pour les sommes de Darboux. Pour passer

se dcompose en
et

. Ceci
et

implique celle sur

avec

, et la
, et on a les

, on peut toujours supposer

, quitte l'ajouter, sans

perte de gnralit. On en dduit le thorme. (Exercice: dtailler cette dmonstration.)

Dfinition Pour

et pour

, on dfinit

Remarque Avec ces conventions, la relation de Chasles est valable quel que soit l'ordre de

(par exemple aussi pour

).

C'est en effet la principale motivation pour ces dfinitions, ce qui laisse deviner l'utilit et importance de cette relation dans les applications.
Il convient d'tre trs vigilant concernant cette gnralisation lorsqu'on utilise des ingalits (telles que celles de la Prop.
), qui ne sont
gnralement valables que pour
Proposition

est un sous-espace vectoriel

,

et

.
du

-espace vectoriel

est une forme linaire

sur

des fonctions de

. Autrement dit,

et surtout

dans

, et

Dmonstration Les sommes de Darboux ne sont pas linaires (car

et

ne sont pas additives). Passons donc par les sommes de

Riemann, dont la linarit,

, est vidente, ce qui donne, par passage la limite

, le rsultat souhait. (Exercice: dtailler ceci...)

Proposition Pour

,(

), on a:

( )

( )

et

Dmonstration ( ):

( )

et

( ):

( ): on a

, avec le ( ) donc

et

Remarque La rciproque du ( ) est videmment fausse,

Remarque Dans le cas

Thorme [de la mo enne] Soit

Dmonstration

D'aprs l'q.

tant continue, on a

n'implique pas

, on a que

(fonction continue de

. (Contre-exemple:

est l'aire de l'pigraphe

). Alors

sur

.)

D'aprs le thm. des valeurs intermdiaires

appliqu

(continue) entre

et

, on a

(ou

) tel que