Théorème 16533 31299260 2008-07-04T15:04:44Z 86.209.161.149 {{voir homonymes|Théorème (homonymie)}} Un '''théorème''' est une [[Proposition (mathématiques)|proposition]] qui peut être mathématiquement [[Démonstration|démontrée]], c'est-à-dire une [[assertion]] qui peut être établie comme ''vraie'' au travers d'un raisonnement [[logique]] construit à partir d'[[axiome]]s. 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 : * des [[axiome]]s ou des [[postulat]]s ; * les [[hypothèse]]s 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 de 2=== Une [[Raisonnement par l'absurde|démonstration par l'absurde]] considérée comme l'une des plus belles par [[Paul Erdös]] est la démonstration de l'[[Nombre irrationnel|irrationalité]] de <math>\sqrt{2}</math>. Par l'absurde, supposons donc que <math>\sqrt{2}</math> soit un [[Nombre rationnel|rationnel]]. Il existe deux [[Entier naturel|entiers]] ''p'' et ''q'' (strictement positifs) tels que <math>\sqrt{2} = \frac p q</math>. Quitte à simplifier par le [[plus grand commun diviseur|PGCD]] de ''p'' et ''q'', on peut supposer ''p'' et ''q'' [[Nombres premiers entre eux|premiers entre eux]] (la [[fraction]] <math>p/q</math> est dite irréductible). En élevant au carré les deux membres, on obtient : :<math>2 =\frac{p^2}{q^2}</math> En multipliant par ''q''<sup>2</sup> les deux côtés, on trouve alors : :<math>\ 2 \cdot q^2 =p^2</math> On en déduit que 2 divise ''p''<sup>2</sup>=''p''×''p'' et d'après le [[lemme d'Euclide|lemme de Gauss]], puisque 2 est [[Nombre premier|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 : :<math>\ q^2 =2 \cdot k^2</math> 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]]. ===Théorèmes de géométrie=== 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 de Hilbert de la géométrie euclidienne|axiomes des fondements de la géométrie]] : * '''I, 3''' Sur une [[Droite (mathématiques)|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 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 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. [[CQFD|c.q.f.d.]] == 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 particulièrement intéressantes ou importantes. Selon leur importance ou leur utilité, les autres assertions peuvent prendre des noms différents : * [[lemme (mathématiques)|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 (mathématiques)|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. == Voir aussi == * [[Liste des théorèmes]] pour une liste de théorèmes célèbres et de [[conjecture]]s {{portail mathématiques}} [[Catégorie:Théorème|*]] [[Catégorie:Vocabulaire des mathématiques]] [[ar:مبرهنة]] [[be:Тэарэма]] [[be-x-old:Тэарэма]] [[bg:Теорема]] [[bn:উপপাদ্য]] [[bs:Teorem]] [[ca:Teorema]] [[cs:Matematická věta]] [[da:Sætning (matematik)]] [[de:Theorem]] [[en:Theorem]] [[eo:Teoremo]] [[es:Teorema]] [[et:Teoreem]] [[fa:قضیه]] [[fi:Teoreema]] [[gd:Teòirim]] [[gl:Teorema]] [[he:משפט (מתמטיקה)]] [[hi:प्रमेय]] [[hr:Teorem]] [[id:Teorema]] [[io:Teoremo]] [[is:Setning (stærðfræði)]] [[it:Teorema]] [[ja:定理]] [[ka:თეორემა]] [[kk:Теорема]] [[ko:정리]] [[lt:Teorema]] [[mk:Теорема]] [[nl:Stelling (wiskunde)]] [[no:Teorem]] [[pl:Twierdzenie]] [[pt:Teorema]] [[ro:Teoremă]] [[ru:Теорема]] [[sh:Teorem]] [[simple:Theorem]] [[sk:Teoréma]] [[sl:Izrek]] [[sr:Теорема]] [[sv:Teorem]] [[tr:Teorem]] [[uk:Теорема]] [[vi:Định lý toán học]] [[zh:定理]]