Là, oui, c'est une équivalence, mais il reste à montrer que le coté gauche est équivalent à
(ce qui n'est absolument pas immédiat : c'est une équation du premier degré en
avec des
"des deux cotés" et il faut la résoudre)
Pour répondre à cette question là :
1) Mq: A ton niveau, il n'y a quasiment qu'une seule possibilité (*) : le faire par double implication.
=> : Si
alors
<= :
Et
l'énorme problème dans ta façon de rédiger le bidule, c'est que toute cette deuxième partie qui consiste à
résoudre une équation, elle est totalement absente de ton laïus alors qu'elle est évidement
totalement indispensable pour démontrer ce qu'on te demande.
Et quand tu regarde la longueur et la difficulté du => (qui est en fait la seule partie que tu as écrite) par rapport à celle du <= que tu n'a pas faite, ça risque de t'expliquer pourquoi tu n'aurais même pas la moitié des points à la question.
P.S. En plus, si tu regarde vraiment bien en détail, tu peut vérifié que pour la preuve de <=, là on a bien procédé absolument partout par équivalences. Donc si on ne devait écrire qu'un des deux morceaux (*), ça serait celui là (alors que toi, le seul que tu as écrit, ben... c'est l'autre)