On cherche à démontrer que :
∀x∈R,∣x−1∣⩽x2−x+1Commençons par constater qu'il est sans doute plus simple de présenter ce résultat sous la forme suivante :
∀x∈R,x2−x+1−∣x−1∣⩾0La présence du terme
∣x−1∣ suggère de distinguer selon la valeur de
x suivant
x⩾1 et
x<1. On a les deux situations suivantes.
∙ Premier cas : si
x⩾1 alors
x−1⩾0 et ce qui implique que
∣x−1∣=x−1.
Dans ce cas, on obtient :
x2−x+1−∣x−1∣=x2−x+1−(x−1)=x2−x+1−x+1=x2−2x+1+1=(x−1)2+1Or, une expression au carré est nécessairement positive ou nulle, donc
(x−1)2⩾0. Ce qui nous permet d'écrire que
(x−1)2+1⩾1 ou encore
(x−1)2+1>0.
Donc on a bien
x2−x+1−∣x−1∣⩾0, ce qui est équivalent à
∣x−1∣⩽x2−x+1.
∙∙ Deuxième cas : si
x<1 alors
x−1<0 et ce qui implique que
∣x−1∣=−(x−1)=−x+1=1−x.
Dans ce cas, on obtient :
x2−x+1−∣x−1∣=x2−x+1−(1−x)=x2−x+1−1+x=x2Or, une expression au carré est nécessairement positive ou nulle, donc
x2⩾0.
Donc on a bien
x2−x+1−∣x−1∣⩾0, ce qui est équivalent à
∣x−1∣⩽x2−x+1.
Dans tous les cas, on trouve que
∣x−1∣⩽x2−x+1.
Ainsi, on a bien démontrer que :
∀x∈R,∣x−1∣⩽x2−x+1 ■