Besoin d'une petite mise au point sur le congruences

[Frednight]

Bonsoir à tous!

je me heurte à une petite incompréhension issue de la congruence que voici :

on peut convenir que
jusque à aucun problème
sauf que mais (l'égalité barrée correspond en fait à une congruence barrée : le forum ne gère pas la balise latex "congruences")

comment peut on donc parvenir à un résultat juste en partant d'une donnée fausse??

c'est sans doute moi qui ai fait une bêtise mais je ne vois pas où....

pourriez vous m'aider?

[Ben314]

Salut,
Que pense tu de cela : ?

[benekire2]

c'est un simple défaut de logique en fait , la règle c'est a=b[m] => a^n=b^n[m]

mais ce n'est pas une équivalence, tu t'es dit que avec a^n=b^n[m] tu pouvais partir de a=b[m]

[Frednight]

oui mais 3 n'est pas congru à -3 modulo n,

[Frednight]

ah oui d'accord
l'équivalence pour une telle congruence n'est donc pas forcément impliquée, même s'il n'est pas impossible d'en rencontrer une

merci beaucoup pour votre aide

[benekire2]

ah oui d'accord
l'équivalence pour une telle congruence n'est donc pas forcément impliquée, même s'il n'est pas impossible d'en rencontrer une

merci beaucoup pour votre aide

Il n'y a pas d'équivalence dans le cadre général même si tu en rencontre souvent

Si...alors..... : P => Q
...si et seulement si.... : PQ qui est aussi P=>Q ET Q=>P

Voilà pour la partie logique !!