Théorème : Pour tous a,b,c,x :
4a(ax²+bx+c) = (2ax+b) ² - (b²-4ac)
Exercice : prouvez cette formule (4ième)
Grace à ce calcul tout se déduit en n’utilisant que vos bases des
petites classes.
Soient a,b,c,r des nombres. On suppose que a n’est pas nul et que
r² = b²-4ac
Alors
4a(ax²+bx+c) = (2ax+b) ² - (b²-4ac) =
(2ax+b) ² - r² = (2ax+b+r)(2ax+b-r)
Donc 4a(ax²+bx+c) = (2ax+b+r)(2ax+b-r)
Il s’ensuit
ax²+bx+c = 0 si et seulement si x est dans {(-b-r)/(2a) ; (-b+r)/(2a)}
Le programme de ES exige que les élèves appliquent comme des
robots l’algorithme suivant :
Théorème : soient a,b,c des nombres avec a non nul. On suppose que
b²-4ac ≥ 0. Alors l’ensemble des solutions de l’équation
[ax²+bx+c=10 ; inconnue x]
est [ let ∆ := b² - 4ac in if ∆ ≥ 0 then let r := racine carrée de ∆ in
begin return {(-b-r)/(2a) ; (-b+r)/(2a)} end else ∅ ]