Bonsoir,
c'est une propriété héritée de la construction de .

Merci, je sais dans quels cours chercher maintenant !

Bonjour,
Ne serait-ce pas plutôt l'implication réciproque ?

Bonjour,
Peut-être verdurin voulait-il dire "la construction de ".
Si on construit les réels comme classes d'équivalence de suites de Cauchy de rationnels, il suffit de vérifier que l'addition des suites passe au quotient pour la relation d'équivalence, ce qui est assez immédiat.

Pour tenter de mieux faire comprendre mon message précédent, je pose la même question dans un contexte géométrique :

Soient A, B et C trois points,
Ceci est une propriété ou un axiome? Si c'est une propriété avez-vous une idée de la preuve ?

Bonjour

si A = B, alors [CB] alias [CA] et [AC] ont même milieu, donc , non ?

Alors, je pose une autre question :
Soient A, B et C trois points. Si A = B alors [BC] et [AC] ont même milieu.
Ceci est une propriété ou un axiome ? Si c'est une propriété avez-vous une idée de la preuve ?

si le point A et le point B ne sont qu'un seul et même point, on a un seul et même bipoint donc un seul et même milieu, non ?

Si le réel a et le réel b ne sont qu'un seul et même réel, on a un seul et même a+c et b+c, non ?

il me semble, et je comprends ton interrogation du 28-01-26 à 07:53

Bonjour,

Est-ce que cette démonstration est suffisante :

Soient a, b deux réels tels que a = b.
Alors a - b = 0.
Soit c un réel.
Calculons (a + c) - (b + c).
(a + c) - (b + c) = a + c - b - c = a - b = 0 par hypothèse
Donc a + c = b+ c.

Et pourquoi a-b = 0 si a = b ?

J'essaye de faire comprendre que c'est la notion d'égalité qui intervient.
Si a = b alors a+c est la même chose que b+c.
C'est ce qu'exprime lafol avec le mot "alias" dans son message du 1 à 21h25.

Encore un autre exemple avec trois points A, B et C :
Si les points A et B sont confondus, alors les distances AC et BC sont égales.
Sans axiome ni démonstration.

cette notion d'égalité est en train de devenir quelque chose de compliqué pour nos étudiants. J'ai l'impression que pour les bacheliers actuels, il n'est pas clair que lorsqu'on écrit le signe "=", c'est pour dire que ce qui est écrit à droite et ce qui est écrit à gauche sont une seule et même chose, éventuellement écrite sous deux formes différentes. On les voit utiliser ce symbole pour tout et n'importe quoi (de "à peu près égal à" à "a pour dérivée" en passant par des choses encore plus exotiques)