Bourbaki

Corollaire 1

Étiquette 0E5D, permanente. À citer comme [Bourbaki, Tag 0E5D].

Functions of a Real Variable, chapter II, § 1. Primitives et intégrales

Si une fonction numérique f réglée dans I est telle que f(x)≥0f(x) \geq 0 aux points où f est continue, on a 1b−a∫abg(t) dt>0\frac{1}{b - a} \int_a^b g(t)\,dt > 0 sauf si f(x)=0f(x) = 0 aux points ou f est continue.

Bourbaki place la démonstration juste après l’énoncé : ce qui précède est l’énoncé avec sa démonstration.

Cité par

Rien.

Cite

Rien.

Transcrit du volume imprimé. Non traduit.