MATH203 : Introduction à l'algèbre

Que sont les mathématiques et les démonstrations

En mathématique on étudie les propriétés d'objets tels que les nombres, les droites, ... Ces objets sont dénotés par des des "expressions" comme

• x^2 - 1
• Le milieu du segment [A,B]
• f est continue

Chaque domaine des mathématiques possède son propre "voacabulaire" pour écrire des expressions et vous ce vocabulaire est introduit dans vos cours.

Parmis les expressions certaines sont des "énoncés", c'est à dire des expressions dont la valeur est vraie ou fausse comme

• x^2 - 1 = (x - 1)(x + 1)
• Les trois droites sont concourantes
• Toute fonction continue est dérivable (cet énoncé est faux, mais on peut l'écrire !)

L'égalité joue un rôle particulier en mathématique car elle est "subtitutive" : si deux expression a et b sont égales, on peut remplacer a par b dans toute expression dans en changer la valeur. Il faut tout de même faire attention aux variables liées. Considérons l'exemple suivante:

 Soit y un réel et  x = y + 2, on a donc x - y = 2. Pour $x\in \mathbb {R}$, définissons la fonction f(x) = x^2 - y^2 = (x - y)(x + y). On a donc f(x) = 2(x + y). 

On a commis une erreur car x est une variable liée dans la seconde phrase. On peut toujours changer le nom des variables liées et écrire

 Soit y un réel et  x = y + 2, on a donc x - y = 2. Pour $z\in \mathbb {R}$, définissons la fonction f(z) = z^2 - y^2 = (z - y)(z + y).

Tous les énoncés mathématiques peuvent être ecrit en utilisant les "brique suivantes"

• Des énoncés atomiques propre à chaque domaine des mathématique comme $x\in E$, $festcontinue$, ... Attention: certains énoncé atomiques peuvent être transformés en énoncés plus complexe en faisant appel à une définition (c'est le cas de $festcontinue$).
• l'implication
• La conjonction
• La disjonction
• La négation
• L'équivalence
• La quantification universelle
• La quantification existentielle

Arithmétique

Petit théorème de Fermat

$a^{p}=a{\pmod {p}}$ si $p\in \mathbb {N}$ est premier. Ceci peut aussi s'écrire $a^{p-1}=1{\pmod {p}}$ mais il faut alors que $p$ ne divise pas $a$.