Cosinus intégral et constante d’Euler
Une jolie formule de calcul intégral, qui mêle les fonctions cosinus et logarithme, ainsi que la fameuse constante d'Euler.
Une jolie formule de calcul intégral, qui mêle les fonctions cosinus et logarithme, ainsi que la fameuse constante d'Euler.
Il est classique que si une fonction dérivable sur un intervalle admet une dérivée positive en tout point, alors elle est croissante. Cet article en propose une preuve peu connue, qui repose sur une dichotomie.