Corollaire

Corollaire

Théorème

Page d'aide sur l'homonymie Pour les articles homonymes, voir Théorème (homonymie).

Un théorème est une proposition qui peut être mathématiquement démontrée, c'est-à-dire une assertion qui peut être établie comme vraie au travers d'un raisonnement logique construit à partir d'axiomes. Un théorème est à distinguer d'une théorie.

Une fois le théorème démontré, il est considéré comme vrai quelle que soit la valeur de vérité de sa prémisse (hypothèse de base) car il se présente sous la forme d'une implication: si A est vraie alors B est nécessairement vraie. Il peut alors être utilisé pour démontrer d'autres propositions. Démontrer le théorème consiste à démontrer l'impossibilité d'avoir à la fois A vrai et B faux.

Un théorème a généralement :

  • des hypothèses de base, i.e. des conditions qui peuvent être énumérées dans le théorème ou décrites d'avance,
  • une conclusion, i.e. une affirmation mathématique qui est vraie sous les conditions de base.

La démonstration, bien que nécessaire à la classification de la proposition comme « théorème », n'est pas considérée comme faisant partie du théorème.

Autre définition possible d'un théorème : « un énoncé dont on peut démontrer l’exactitude. »

La démonstration comprend :

Chaque étape de la preuve est liée aux précédentes par des règles d'inférence logiques.

D'autres formes d'assertions

Au sens large toute assertion effectivement démontrée peut prendre le nom de théorème. Dans les ouvrages de mathématiques, il est cependant d'usage de réserver ce terme aux affirmations considérées comme nouvelles ou particulièrement intéressantes ou importantes. Selon leur importance, ou leur utilité, les autres assertions peuvent prendre des noms différents :

  • lemme : assertion servant d'intermédiaire pour démontrer un théorème plus important ;
  • corollaire : résultat qui découle directement d’un théorème prouvé ; On trouve aussi, dans les ouvrages anciens, scolie.
  • proposition : résultat relativement simple qui n'est pas associé avec un théorème particulier ;
  • remarque : résultat intéressant ou conséquence qui peut faire partie de la preuve ou d'une autre affirmation ;
  • conjecture : proposition mathématique dont on ignore la valeur de vérité. Une fois prouvée, une conjecture devient un théorème.

Comme énoncé ci-dessus, un théorème exige un raisonnement logique basé sur des axiomes. Cela consiste en une série d'axiomes fondamentaux (voir système d'axiomes) et un procédé d'inférence qui permet de dériver les axiomes en de nouveaux théorèmes et d'autres théorèmes démontrés auparavant. Dans la logique des propositions, n'importe quelle affirmation démontrée est appelée un théorème.

Articles connexes

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9or%C3%A8me ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Corollaire de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать курсовую

Regardez d'autres dictionnaires:

  • corollaire — [ kɔrɔlɛr ] n. m. • 1611; corellaire 1372; lat. corollarium « petite couronne donnée comme gratification », d où « don, supplément » 1 ♦ Log. Proposition dérivant immédiatement d une autre. ♢ Math. Conséquence directe d un théorème déjà démontré …   Encyclopédie Universelle

  • corollaire — 1. (ko rol lê r ) s. m. 1°   Terme didactique. Ce qu on ajoute à l appui des raisons dont on s est servi. •   J y ajouterai maintenant ce corollaire, que...., BOSSUET Préf.. 2°   Terme de mathématiques. Conséquence découlant d une proposition qui …   Dictionnaire de la Langue Française d'Émile Littré

  • Corollairë —  / Corollaírë / Corollaire    The Green Mound of the Two Trees in Valinor; also called Ezellohar and Coron Oiolairë.        The mound of the Two Trees.    A name for the Green Mound that stood outside the gates of Valmar, on which the Two Trees… …   J.R.R. Tolkien's Middle-earth glossary

  • corollaire — COROLLAIRE. s. m. Terme didactique. Ce qu on ajoute par surabondance, afin de fortifier encore davantage les raisons dont on s est servi pour prouver une proposition. A ce qui a été dit, on peut ajouter pourcorollaire .... [b]f♛/b] Il se prend… …   Dictionnaire de l'Académie Française 1798

  • COROLLAIRE — s. m. T. didactique. Ce qu on ajoute par surabondance, afin de fortifier encore les raisons dont on s est servi pour prouver une proposition. À ce qui a été dit, on peut ajouter pour corollaire, comme corollaire ...  Il se dit, en Mathématique, d …   Dictionnaire de l'Academie Francaise, 7eme edition (1835)

  • COROLLAIRE — n. m. T. de Mathématiques Conséquence qui découle de quelque proposition déjà démontrée et dont la déduction n’exige pas de démonstration spéciale, n’ayant besoin que d’être énoncée pour être établie d’une manière évidente. On dit par extension,… …   Dictionnaire de l'Academie Francaise, 8eme edition (1935)

  • Corollaire Roosevelt — Le 6 décembre 1904, le président américain Theodore Roosevelt prononce un discours qui mettra en lumière ce qui est appelé le « corollaire de la doctrine de Monroe » ou le « corollaire Roosevelt », une interprétation… …   Wikipédia en Français

  • Le Corollaire de pattes-de-velours — Saison 1 Épisode n°3 Titre original The Fuzzy Boots Corollary Code de production 103 1e diffusion aux É. U. 8 octobre …   Wikipédia en Français

  • Le corollaire de pattes-de-velours — Saison 1 Épisode n°3 Titre original The Fuzzy Boots Corollary Code de production 103 1e diffusion aux É. U. 8 octobre …   Wikipédia en Français

  • Lemme de Schur — En mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur dans le cadre de ses travaux… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”