Bonjour,
Dans notre cours, en supposant une fonction f positive, intégrable et décroissante, alors la série \sum_{k=0}^n k = \f(k) et l'intégrale impropre int_a^{+\infty}f(x)dx sont de la même nature.
Pourquoi supposer que f est décroissante? Je n'arrive pas à mettre la propriété en défaut avec une fonction croissante qui tendrait vers une limite finie ou infinie.
D'autre part, la preuve pratiqué en cours me parait marcher pour une fonction croissante:
Soit f une fonction croissante, positive et intégrable sur ]a ; \infty [ alors \forall x \in ]n ; n+1[
f(n) \leq f(x) \leq f(n+1)
Donc f(n) \leq int_n^{n+1}f(x)dx \leq f(n+1)
donc \sum_{k=0}^{+\infty}k=\f(k) et \sum_{k=0}^n k = \f(k) sont de la même nature. (En décomposant int_a^{+\infty}f(x)dx comme int_a^{E(a)+1}f(x)dx + int_{E(a)+1}^{+\infty}f(x)dx)
Voilà je me demande pour quoi imposer cette condition dans tous les énoncés de cette proposition que je vois.
Merci d'avance et désolé si tout n'est pas hyper compréhensible je ne suis pas très à l'aise avec ce traitement de texte!
-----