Considérons l'équation , il va de soi que tout réel est
solution. Tentons de la résoudre :
Le raisonnement par équivalences successives nous montre que et
sont deux équations équivalentes. Cela signifie que la
valeur de vérité de la relation
ne dépend pas de
,
et qu'elle équivaut à
, comme
est vrai, on en déduit que
équivaut à vrai, donc que tout réel est solution de
. On rédigera donc de la sorte :
De même, considérons l'équation
Cette fois-ci, le raisonnement par équivalences successives nous
montre que l'équation équivaut à une relation qui est
toujours fausse, cela signifie que vous pouvez substituer n'importe
quelle valeur à
, vous ne trouverez aucun réel que vérifiera la
relation. On écrira donc
On précisera dans ce type de cas que l'équation n'a pas de solution.