Raisonnement direct
On veut montrer que l'assertion
est vraie . On suppose que
est vraie et on montre que
est vraie.
Exemple :
Montrer que : «
» est vraie.
On suppose que «
» est vraie. Est ce que c'est vrai que
?
On a :
, puis
, qui donne
, à la fin on obtient :
, donc c'est vrai.
