Adloun

Une racine qu'il faut d'abord justifier

Exercice d'entraînement · niveau 3 (difficile) · mathématiques appliquées (ECG 1re année), chapitre 11 — Informatique et algorithmique · Dichotomie et approximation numérique

Énoncé

Montrer que l'équation admet une unique solution sur , puis écrire une dichotomie qui la donne à près. Combien de tours effectue-t-elle ?

Corrigé

L'étude préalable. Posons sur ; l'équation équivaut à .

Continuité et monotonie. est dérivable sur avec

donc est continue et strictement croissante sur .

Changement de signe.

Le théorème des valeurs intermédiaires, appliqué à une fonction continue et strictement monotone changeant de signe, garantit l'existence et l'unicité d'une solution .

Le code.

import numpy as np

def h(x):
    return np.log(x) + x - 2

def dichotomie(f, a, b, eps):
    n = 0
    while b - a > eps:
        m = (a + b) / 2
        if f(a) * f(m) <= 0:
            b = m               # le changement de signe est a gauche
        else:
            a = m
        n = n + 1
    return (a + b) / 2, n

print(dichotomie(h, 1, 2, 1e-8))    # (1.5571455..., 27)

La valeur. On trouve . Contrôle : et . ✔

Le nombre de tours. L'intervalle initial a pour longueur , et chaque tour la divise par : après tours elle vaut . La condition s'écrit , donc tours.

Pourquoi l'étude préalable n'est pas une formalité. La dichotomie ne fonctionne que si est continue et change de signe entre les bornes ; sans la stricte monotonie, elle convergerait vers une racine sans qu'on sache laquelle, ni s'il y en a d'autres. Lancée sur un intervalle où ne change pas de signe, elle rendrait un nombre sans aucune signification — et sans erreur.

*Le test f(a) </em> f(m) &lt;= 0.** Il repère l'intervalle où le changement de signe se produit. Sur des valeurs très petites, le produit peut s'annuler par sous-dépassement numérique ; comparer les signes séparément est plus robuste, mais le produit reste la forme la plus lisible pour des fonctions usuelles.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.