Mathématiciens : Comment exprimer que la condition à été respecté et/ou démontré?

[invitefbc652a5]

À l'aide de symboles exclusivement bien sûr. Par exemple, si on dit que a b a + b 2 , a = 1, b = 1/2 1 + 1/2 2 ... Ensuite, j'aimerais pouvoir dire que la condition a été respecté et donc que a b. J'ai pensé à QED, mais j'aimerais savoir si il y aurait d'autre façon, merci bien.
-----

[invite69d38f86]

Peut on utiliser dans ce but?

[Médiat]

Bonjour,

On peut simplement écrire

[invite4842e1dc]

Salut

en effet pourquoi de ne pas écrire qu'on a tout simplement : 1 1/2

Quel est le problème avec cette écriture ?

[A voir en vidéo sur Futura]

[invitefbc652a5]

Salut

en effet pourquoi de ne pas écrire qu'on a tout simplement : 1 1/2

Quel est le problème avec cette écriture ?

Car a b si et seulement si, une opération de a et b respecte une certaine condition.

[Médiat]

Peut on utiliser dans ce but?

Oui on peut, mais c'est un peu lourd.

Je suppose que la question se pose pour a et b des réels, je note donc la théorie de dans le langage , et , l'axiome qui permet de définir la relation , alors on peut écrire :

.

Mais ce n'est pas une démonstration, juste l'écriture du résultat, et n'est pas dans le langage, il faudrait, en toute rigueur, le définir, mais ici, il n'y a pas d'ambiguité.