Théorème de convergence dominéeEn mathématiques, et plus précisément en analyse, le théorème de convergence dominée est un des théorèmes principaux de la théorie de l'intégration de Lebesgue. Soit une suite de fonctions continues à valeurs réelles ou complexes sur un intervalle de la droite réelle. On fait les deux hypothèses suivantes : la suite converge simplement vers une fonction ; il existe une fonction continue telle queAlors L'existence d'une fonction intégrable majorant toutes les fonctions f équivaut à l'intégrabilité de la fonction (la plus petite fonction majorant toutes les fonctions f).
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
Formule d'EulerLa formule d'Euler est une égalité mathématique, attribuée au mathématicien suisse Leonhard Euler. Elle s'écrit, pour tout nombre réel x, et se généralise aux x complexes. Ici, le nombre e est la base des logarithmes naturels, i est l'unité imaginaire, sin et cos sont des fonctions trigonométriques. Cette formule peut être interprétée en disant que la fonction x ↦ e, appelée fonction cis, décrit le cercle unité dans le plan complexe lorsque x varie dans l'ensemble des nombres réels.
Théorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
Théorème d'Euler (arithmétique)vignette|Leonhard Euler (1753) En mathématiques, le théorème d'Euler ou d'Euler-Fermat en arithmétique modulaire, publié en 1761 par le mathématicien suisse Leonhard Euler, s'énonce ainsi : Ce théorème est une généralisation du petit théorème de Fermat qui, lui, ne traite que le cas où n est un nombre premier. Il se démontre en remarquant que l'exposant λ(n) (appelé l'indicatrice de Carmichael de n) du groupe (Z/nZ) des inversibles de l'anneau Z/nZ est un diviseur de l'ordre φ(n) de ce groupe (cette propriété, commune à tous les groupes finis, se déduit du théorème de Lagrange sur les groupes).
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Inégalité arithmético-géométriquethumb|right|Preuve sans mots de l'inégalité arithmético-géométrique en deux dimensions : PR est un diamètre d'un cercle de centre O ; son rayon AO a donc pour longueur la moyenne arithmétique de a et b. Par le théorème de la moyenne géométrique, on trouve aussi que la hauteur GQ a pour longueur la moyenne géométrique de a et b. On a donc bien pour tous a:b, AO ≥ GQ. En mathématiques, l'inégalité arithmético-géométrique (IAG) établit un lien entre la moyenne arithmétique et la moyenne géométrique.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Proof calculusIn mathematical logic, a proof calculus or a proof system is built to prove statements. A proof system includes the components: Language: The set L of formulas admitted by the system, for example, propositional logic or first-order logic. Rules of inference: List of rules that can be employed to prove theorems from axioms and theorems. Axioms: Formulas in L assumed to be valid. All theorems are derived from axioms. Usually a given proof calculus encompasses more than a single particular formal system, since many proof calculi are under-determined and can be used for radically different logics.
Démonstration constructiveUne première vision d'une démonstration constructive est celle d'une démonstration mathématique qui respecte les contraintes des mathématiques intuitionnistes, c'est-à-dire qui ne fait pas appel à l'infini, ni au principe du tiers exclu. Ainsi, démontrer l'impossibilité de l'inexistence d'un objet ne constitue pas une démonstration constructive de son existence : il faut pour cela en exhiber un et expliquer comment le construire. Si une démonstration est constructive, on doit pouvoir lui associer un algorithme.
Indicatrice d'Eulervignette|upright=1.5|Les mille premières valeurs de φ(n). En mathématiques, l'indicatrice d'Euler est une fonction arithmétique de la théorie des nombres, qui à tout entier naturel n non nul associe le nombre d'entiers compris entre 1 et n (inclus) et premiers avec n. Elle intervient en mathématiques pures, à la fois en théorie des groupes, en théorie algébrique des nombres et en théorie analytique des nombres. En mathématiques appliquées, à travers l'arithmétique modulaire, elle joue un rôle important en théorie de l'information et plus particulièrement en cryptologie.
Identité d'EulerEn mathématiques, l'identité d'Euler est une relation entre plusieurs constantes fondamentales et utilisant les trois opérations arithmétiques d'addition, multiplication et exponentiation : où la base e du logarithme naturel représente l'analyse, l'unité imaginaire i représente l'algèbre, la constante d'Archimède π représente la géométrie, . Elle est nommée d'après le mathématicien Leonhard Euler qui la fait apparaître dans son Introductio, publié à Lausanne en 1748.
