Théorèmes, formules, propositions

Déclaration des théorèmes

La première chose à faire est de déclarer le type de théorème (théorème, lemme, proposition, loi, décret, ...) que l'on désire, et ce dans le préambule du fichier source. Pour cela, on utilise la commande newtheorem dont la syntaxe est donnée dans le listing ci-dessous :

le paramètre nom est un mot clé pour identifier le théorème par exemple theo, lem, prop, ... et l'argument texte est ce qui apparaitre dans le document, par exemple théorème, lemme, proposition, ...

Les deux options sont utilisées pour gérer la numérotation. L'option compteur est le nom d'un autre théorème, le compteur du nouveau théorème sera dans la même séquence que le théorème compteur et l'option section permet de définir la profondeur de numérotation, si on met chapter, il y a un compteur pour le chapitre courant, si on met section, il y a un compteur par section, ...

Dans cet exemple, les propositions utiliseront le même compteur que les théorèmes et la numérotation se fera au niveau des sections.

Insertion d'un théorème

Une fois les déclarations de théorèmes faites dans le préambule, on peut insérer des théorèmes grâce à des environnements.

Le nom des environnement est le paramètre nom utilisé lors des déclarations de théorèmes, on peut donc maintenant écrire par exemple :

Les environnements de théorèmes prennent en plus un texte en option qui s'affichera entre parenthèses, voici tout de suite un exemple avec le résultat :

fig l5.14 Théorèmes