Les parties A et B sont indépendantes.
$f(x)=\ln(8x^{3}-1)$ sur $[4\,;\,10]$.
- Montrer que $$f'(x)=\dfrac{24x^{2}}{(2x-1)(4x^{2}+2x+1)}.$$
-
- En déduire que $f$ est croissante sur $[4\,;\,10]$.
- Montrer que pour tout $x\in[4\,;\,10]$ : $4\leqslant f(x)\leqslant 10$.
- Soit $g(x)=f(x)-x$, strictement décroissante.
- Montrer que $g(x)=0$ admet une unique solution $\alpha$ sur $[4\,;\,10]$.
- Donner un encadrement de $\alpha$ à $10^{-3}$ près.
$u_0=5$ et $u_{n+1}=f(u_n)$.
- Donner $u_1$ approché à $10^{-1}$ près.
-
- Montrer par récurrence que $4\leqslant u_n\leqslant u_{n+1}\leqslant 10$.
- En déduire que $(u_n)$ converge.
- Montrer que $(u_n)$ converge vers $\alpha$.
On admet $8{,}4\leqslant\alpha\leqslant 8{,}5$. Fonction Python alpha :
def f(x):
return log(8*x**3 - 1)
def alpha(a):
n = 0
u = 5
while u < a:
u = f(u)
n = n + 1
return n
- alpha(8.499) renvoie $11$. Interpréter.
- Pourquoi alpha(8.6) ne renvoie aucune valeur ?