Salut,

je ne comprends pas, tu passes d'une assertion à une intégrale, qui n'est pas une assertion.

C'est comme si j'écrivais " x > 0 => exp(x) "

Désolée, j'ai oublié le "" pour l'intégrale.

Et je précise que est la primitive de et la primitive de .

Ok dans ce cas je suis d'accord avec ta version.

bonjour,
une primitive de c'est-

Je suis d'accord veleda, ce que je ne comprends pas ce sont les bornes de l'intégrale : borne sup : et borne inf : . Alors que moi j'aurais écrit l'inverse étant donne l'inégalité de départ...

donc quand tu intègres c'estidem pour l'autre

cela correspond au premier et au troisième terme de l'expression de ta première ligne
à moins que je sois mal réveillée

Ah je n'avais pas vu que tu avais mis le moins devant la primitive. J'ai compris, c'est parce que le y est en moins dans l'expression ! Je suis allée trop vite. Merci.

ouiet ici