Fonctions et intégrales
Exercice
1585. Démontrer que, pour tout $t \in \R_+^*$, on a
\[
\arctan t > \Frac{t}{1+t^2}.
\]
Exercice
1586. Soit $f : [0;1] \to \R$ continue. On note $M = \sup_{x \in [0;1]} |f(x)|$. \\
Montrer que $\left| \integrale{0}{1}{f(x) + x f(1-x)}{x} \right| \leqslant \Frac{3}{2} M$.
Exercice
1587. Soient $(a,b) \in \R^2$ tels que $a < b$ et $f : [a;b] \to \R$ continue. On suppose qu'il existe $x_1 \in [a;b]$ tel que $f(x_1) > 0$ et que $\integrale{a}{b}{f(t)}{t} = 0$. Montrer qu'il existe $x_2 \in [a;b]$ tel que $f(x_2) < 0$.
Exercice
1588. Soit, pour tout $x \in \mathbb{R}$,
\[
f(x)=\integrale{0}{\sin^2 x}{\arcsin(\sqrt{t})}{t}+\integrale{0}{\cos^2 x}{\arccos(\sqrt{t})}{t}.
\]
Montrer que $f$ est constante, puis expliciter $f$.
Exercice
1589. Soit $f$ une fonction continue sur $[a,b]$ telle que : $\forall t \in [a,b],\; f(a+b-t)=f(t)$. \\
- Trouver une relation simple entre $\integrale{a}{b}{t f(t)}{t}$ et $\integrale{a}{b}{f(t)}{t}$. \\
- En déduire la valeur de : $\integrale{0}{\pi}{\Frac{x\sin x}{1+\cos^2 x}}{x}$.
Exercice 1590. CCP PSI
\\- Soient $a,b \in \R$ tels que $a < b$ et $f$ une fonction continue sur $[a,b]$ telle que $\forall x \in [a,b]$, $f(x)=f(a+b-x)$. Montrer, en posant $u=a+b-x$, que \[ \integrale{a}{b}{x f(x)}{x}=\Frac{a+b}{2}\integrale{a}{b}{f(x)}{x}. \]
- En déduire la valeur de $\integrale{-\pi}{\pi}{\Frac{x\,e^{ix}}{1+\cos^2(x)}}{x}$.
Exercice
1591. Soient $a,b \in \R$ tels que $a < b$ et $f \in \mathcal{C}^1([a,b],\R)$ telle que $f(a)=0$ et $\forall x \in [a,b],\;0 \leqslant f'(x) \leqslant 1$.\\
Montrer que $\displaystyle \int_{a}^{b} f(x)^3 \,\mathrm{d}x \leqslant \parenthese{\int_{a}^{b} f(x) \,\mathrm{d}x}^2$.
Exercice
1592. Déterminer les fonctions continues sur $\R$ telles que \\
\[
\forall x \in \R,\; \forall a \in \R_{+}^{*},\quad f(x)=\Frac{1}{2a}\integrale{x-a}{x+a}{f(t)}{t}
\]
Exercice
1593. Soit $f : \R_{+} \to \R_{+}$ continue telle qu'il existe $k \in \R_{+}$ pour lequel \\
\[
\forall x \in \R_{+}^{*},\quad f(x) \leqslant k \integrale{0}{x}{f(t)}{t}
\] \\
Montrer que $f$ est nulle.
Exercice
1594. Soit $k \in \R$ et $f : [0;+\infty[ \to \R$ une application $k$-lipschitzienne. On définit $F : [0;+\infty[ \to \R$ par $F(0) = f(0)$ et, pour $x > 0$, \\
\[
F(x) = \Frac{1}{x} \integrale{0}{x}{f(t)}{t}.
\]
Montrer que $F$ est $\Frac{k}{2}$-lipschitzienne.
Exercice
1595. Soit $f : [0;1] \to \R$ continue telle que : \[ \forall(x,y) \in [0;1]^2,\;\; x f(y) + y f(x) \leqslant 1\]
Montrer que $\integrale{0}{1}{f(x)}{x} \leqslant \Frac{\pi}{4}$.
Exercice
1596. Trouver toutes les applications $f : [0;1] \to \R$ continues telles que
\[
\integrale{0}{1}{f(x)}{x} = \Frac{1}{3} + \integrale{0}{1}{\left( f(x^2) \right)^2}{x}.
\]
Exercice
1597. Soient $(a,b) \in \R^2$ tels que $a < b$ et $f : [a;b] \to \R$ de classe $C^1$ telle que $f(a) = 0$ et
\[
\forall x \in [a;b],\quad 0 \leqslant f'(x) \leqslant 1.
\]
Montrer que
\[
\integrale{a}{b}{\big(f(x)\big)^3}{x} \leqslant \parenthese{\integrale{a}{b}{f(x)}{x}}^2.
\]
Exercice
1598. Soient $(a,b) \in \R^2$ tels que $a < b$ et $f : [a;b] \to \R$ de classe $C^1$ telle que $f(a) = 0$. On note $F : [a;b] \to \R$, $x \mapsto F(x) = \integrale{a}{x}{|f'(t)|}{t}$. \\
- Montrer que $\forall x \in [a;b],\; |f(x)| \leqslant F(x)$. \\
- En déduire que \[ \integrale{a}{b}{|f(x) f'(x)|}{x} \leqslant \Frac{b-a}{2} \integrale{a}{b}{\big(f'(x)\big)^2}{x}. \]
Exercice
1599. Soit $I_n=\integrale{0}{\pi/4}{\tan^n x}{x}$. \\
- Calculer $I_0$, $I_1$, $I_n+I_{n+2}$, puis $I_n$ pour tout $n \in \mathbb{N}$. \\ Déterminer la limite de $(I_n)_{n \in \mathbb{N}}$. \\
- En déduire $\Sum_{n=0}^{+\infty}\Frac{(-1)^n}{2n+1}$ et $\Sum_{n=1}^{+\infty}\Frac{(-1)^n}{n}$.
Exercice
1600. Soient $(a,b) \in \R^2$ tels que $a < b$ et $f : [a;b] \to \R$ continue et $\geqslant 0$. \\
Montrer que
\[
\left( \integrale{a}{b}{(f(x))^n}{x} \right)^{1/n}
\xrightarrow[n \to +\infty]{} \Sup_{x \in [a;b]} f(x).
\]
Exercice 1601. Lemme de Riemann-Lebesgues
Soit $f \in C^1([a,b])$. \\ Montrer que $\limn \integrale{a}{b}{\sin(nt)f(t)}{t}=0$ et $\limn \integrale{a}{b}{\cos(nt)f(t)}{t}=0$.
Exercice
1602. Soit $a,b \in \mathbb{N}^\star$. \\
On note, pour $n \geqslant 1$ : \\
\[
P_n=\Frac{1}{n!}X^n(bX-a)^n,
\quad
I_n=\integrale{0}{\pi}{P_n(x)\sin x}{x}.
\]
- Montrer que $I_n$ tend vers $0$. \\
- Montrer que pour tout $n$, $P_n$ et ses dérivées successives prennent des valeurs entières en $0$ et en $\Frac{a}{b}$. \\
- On veut montrer que $\pi$ est irrationnel. \\ On raisonne par l’absurde. \\ On peut alors choisir dans la question précédente $(a,b)$ tels que $\pi=\Frac{a}{b}$. \\ Montrer que pour tout $n$, $I_n$ est entier. \\ En déduire une contradiction.
Exercice
1603. Soit, pour tout $x \in \mathbb{R}_+^\star\backslash\{1\}$ : $f(x)=\integrale{x}{x^2}{\Frac{1}{\ln t}}{t}$. \\
- Existence, dérivabilité, dérivée, variations de $f$. \\
- Calculer $\integrale{x}{x^2}{\Frac{1}{t\ln t}}{t}$. \\ En déduire un encadrement, puis les limites en $0$, $1$ et $+\infty$ de $f$. \\
- On prolonge $f$ par continuité en $0$ et $1$. \\ Montrer que la fonction obtenue $g$ est de classe $C^1$ sur $\mathbb{R}_+$.