Recherchez sur tout Techno-Science.net
       
Techno-Science.net : Suivez l'actualité des sciences et des technologies, découvrez, commentez
Catégories
Techniques
Sciences
Encore plus...
Techno-Science.net
Photo Mystérieuse

Que représente
cette image ?
 A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | +
Théorème

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 (Le mot théorie vient du mot grec theorein, qui signifie « contempler, observer, examiner ». Dans le langage courant, une théorie est une idée ou une connaissance spéculative, souvent basée sur...).

Une fois le théorème (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...) démontré, il est considéré comme vrai quelle que soit la valeur de vérité (La notion de valeur de vérité consiste à attribuer aux énoncés des valeurs numériques au travers de fonctions dont il faudra définir les règles de composition : c'est le principe de...) 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'imposssibilité 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 (Les mathématiques constituent un domaine de connaissances abstraites construites à l'aide de raisonnements logiques sur des concepts tels que les...) qui est vraie sous les conditions de base.

La démonstration (En mathématiques, une démonstration permet d'établir une proposition à partir de propositions initiales, ou précédemment démontrées à partir de propositions...), 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 (Une définition est un discours qui dit ce qu'est une chose ou ce que signifie un nom. D'où la division entre les définitions réelles et les définitions nominales.) possible d'un théorème : " un énoncé dont on peut démontrer l’exactitude. "

La démonstration comprend :

  • des axiomes ou des postulats ;
  • les hypothèses du théorème ;
  • d'autres théorèmes déjà démontrés.

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

Exemples de démonstrations

Irrationalité de la racine carrée (La racine carrée d’un nombre réel positif x est le nombre positif dont le carré vaut x. On le note ou x½; dans cette expression, x est appelé le radicande.) de 2

Une démonstration par l'absurde considérée comme l'une des plus belles par Paul Erdös est la démonstration de l'irrationalité de \sqrt{2}.

Par l'absurde, supposons donc que \sqrt{2} soit un rationnel. Il existe deux entiers p et q (strictement positifs) tels que \sqrt{2} = \frac p q.

Quitte à simplifier par le PGCD de p et q, on peut supposer p et q premiers entre eux (la fraction p / q est dite irréductible).

En élevant au carré (Un carré est un polygone régulier à quatre côtés. Cela signifie que ses quatre côtés ont la même longueur et ses quatre angles la même...) les deux membres, on obtient :

2 =\frac{p^2}{q^2}

En multipliant par q2 les deux côtés, on trouve alors :

\ 2 \cdot q^2 =p^2

On en déduit que 2 divise p2=p×p et d'après le lemme de Gauss, puisque 2 est premier, il en résulte que 2 divise p, donc il existe k un entier tel que p=2k. On trouve alors en simplifiant par 2 :

\ q^2 =2 \cdot k^2

Cette égalité montre, d'après le lemme de Gauss, que 2 divise q.

On a donc montré que 2 divise p et q, ce qui est contradictoire avec l'hypothèse de départ, où l'on avait supposé p et q premiers entre eux. CQFD (CQFD (ou c.q.f.d.[1]) est l'abréviation de « ce qu'il fallait démontrer », ponctuant, comme un repère visuel, la fin des démonstrations...).

Théorèmes de géométrie (La géométrie est la partie des mathématiques qui étudie les figures de l'espace de dimension 3 (géométrie euclidienne) et, depuis le...)

Dans son ouvrage " Grundlagen der Geometrie " David Hilbert donne une nouvelle forme à la géométrie et en pose ses fondements.

Rappelons quelques-uns des axiomes des fondements de la géométrie :

  • I, 3 Sur une droite, il y a au moins deux points ; il existe au moins trois points non alignés.
  • II, 2 Deux points A et C étant donnés, il existe au moins un point (Graphie) B appartenant à la droite AC et tel que B soit entre A et C.
  • II, 3 De trois points d'une droite, il n'y en a pas plus d'un qui se trouve entre les deux autres.
  • II, 4 Soient A, B et C trois points non alignés et a une droite du plan ABC qui ne passe par aucun des points A, B et C ; si la droite a passe par l'un des points du segment AB, alors elle passe ou par un point du segment BC ou par un point du segment AC.

Démontrons le second théorème :

Théorème
Deux points A et C étant donnés, il existe sur la droite (AC) au moins un point D situé entre A et C (c’est-à-dire sur [AC]).
Démonstration
Considérons la droite AC, d'après l'axiome (Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité...) I, 3, il existe au moins un point E extérieur à cette droite AC. D'après l'axiome II, 2, sur la droite AE il existe au moins un point F tel que E soit compris entre A et F autrement dit tel que E soit un point du segment AF. D'après le même axiome, sur la droite FC, il existe au moins un point G tel que C soit sur le segment FG. D'après II, 3, le point G est donc extérieur au segment FC (sinon C et G sont deux points situés entre F etG). D'après l'axiome II, 4 la droite EG coupe forcément le segment AC en un point D. c.q.f.d.

D'autres formes d'assertions

Au sens (SENS (Strategies for Engineered Negligible Senescence) est un projet scientifique qui a pour but l'extension radicale de l'espérance de vie humaine. Par une évolution progressive...) large toute assertion (Dans la langue française, le mot assertion (n,f) représente une vérité absolue : il définit une proposition reconnue comme vraie. -> voir Wiktionary) effectivement démontrée peut prendre le nom de théorème. Dans les ouvrages de mathématiques, il est cependant d'usage (L’usage est l'action de se servir de quelque chose.) de réserver ce terme aux affirmations considérées comme 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é ;
  • 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 (En mathématiques, une conjecture est une assertion qui a été proposée comme vraie, mais que personne n'a encore pu démontrer ou réfuter.) devient un théorème.

Comme énoncé ci-dessus, un théorème exige un raisonnement logique (La logique (du grec logikê, dérivé de logos (λόγος), terme inventé par Xénocrate signifiant à la fois raison, langage, et raisonnement) est dans une...) 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.

Source: Wikipédia publiée sous licence CC-BY-SA 3.0.

Vous pouvez soumettre une modification à cette définition sur cette page. La liste des auteurs de cet article est disponible ici.