Inégalité de JensenEn mathématiques, et plus précisément en analyse, l’inégalité de Jensen est une relation utile et très générale concernant les fonctions convexes, due au mathématicien danois Johan Jensen et dont il donna la preuve en 1906. On peut l'écrire de deux manières : discrète ou intégrale. Elle apparaît notamment en analyse, en théorie de la mesure et en probabilités (théorème de Rao-Blackwell), mais également en physique statistique, en mécanique quantique et en théorie de l'information (sous le nom d'inégalité de Gibbs).
Calcul des variationsLe calcul des variations (ou calcul variationnel) est, en mathématiques et plus précisément en analyse fonctionnelle, un ensemble de méthodes permettant de minimiser une fonctionnelle. Celle-ci, qui est à valeurs réelles, dépend d'une fonction qui est l'inconnue du problème. Il s'agit donc d'un problème de minimisation dans un espace fonctionnel de dimension infinie. Le calcul des variations s'est développé depuis le milieu du jusqu'aujourd'hui ; son dernier avatar est la théorie de la commande optimale, datant de la fin des années 1950.
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.
Module de YoungLe module de Young, module d’élasticité (longitudinale) ou module de traction est la constante qui relie la contrainte de traction (ou de compression) et le début de la déformation d'un matériau élastique isotrope. Dans les ouvrages scientifiques utilisés dans les écoles d'ingénieurs, il a été longtemps appelé module d'Young. Le physicien britannique Thomas Young (1773-1829) avait remarqué que le rapport entre la contrainte de traction appliquée à un matériau et la déformation qui en résulte (un allongement relatif) est constant, tant que cette déformation reste petite et que la limite d'élasticité du matériau n'est pas atteinte.
Direct method in the calculus of variationsIn mathematics, the direct method in the calculus of variations is a general method for constructing a proof of the existence of a minimizer for a given functional, introduced by Stanisław Zaremba and David Hilbert around 1900. The method relies on methods of functional analysis and topology. As well as being used to prove the existence of a solution, direct methods may be used to compute the solution to desired accuracy. The calculus of variations deals with functionals , where is some function space and .
Déformation d'un matériauLa déformation des matériaux est une science qui caractérise la manière dont réagit un matériau donné quand il est soumis à des sollicitations mécaniques. Cette notion est primordiale dans la conception (aptitude de la pièce à réaliser sa fonction), la fabrication (mise en forme de la pièce), et le dimensionnement mécanique (calcul de la marge de sécurité d'un dispositif pour éviter une rupture). La capacité d'une pièce à se déformer et à résister aux efforts dépend de trois paramètres : la forme de la pièce ; la nature du matériau ; des processus de fabrication : traitement thermique , traitement de surface, etc.
Mal de dosUn ou une désigne toute douleur siégeant au niveau du rachis ou à proximité de celui-ci, quelles que soient l’origine, la nature et l’intensité de la douleur. Selon le point d'origine de la douleur, on distingue les cervicalgies, les dorsalgies et les lombalgies. Ces dernières sont les plus fréquentes, en particulier chez les travailleurs manuels tandis que les cervicalgies touchent davantage les personnes travaillant dans les bureaux.
LombalgieUne lombalgie est un état douloureux du rachis lombaire. Lorsqu'elle est aiguë, il s'agit d'un lumbago (ou tour de reins dans le langage courant familier, les reins désignant ici la région lombaire). Les lombalgies affectent une forte majorité de la population (elles touchent entre 40 et 70 % de la population à un moment ou à un autre). Aux États-Unis seulement, les lombalgies entraînant une incapacité de retourner au travail représentent des coûts directs et indirects évalués .
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.
Assistant de preuveEn informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des assertions relatives à l'exécution de programmes informatiques. Beaucoup de projets ont été lancés pour formaliser les mathématiques, en 1966, Nicolaas de Bruijn lance le projet Automath, suivi par d'autres projets.
Inégalité de HölderEn analyse, l’inégalité de Hölder, ainsi nommée en l'honneur de Otto Hölder, est une inégalité fondamentale relative aux espaces de fonctions , comme les espaces de suites . C'est une généralisation de l'inégalité de Cauchy-Schwarz. Il existe une formulation de l'inégalité utilisée en mathématiques discrètes. Plus généralement, pour et défini par , si et alors et . De plus, lorsque et sont finis, il y a égalité si et seulement si et sont colinéaires presque partout (p.p.), c'est-à-dire s’il existe et non simultanément nuls tels que p.
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.
Linear elasticityLinear elasticity is a mathematical model of how solid objects deform and become internally stressed due to prescribed loading conditions. It is a simplification of the more general nonlinear theory of elasticity and a branch of continuum mechanics. The fundamental "linearizing" assumptions of linear elasticity are: infinitesimal strains or "small" deformations (or strains) and linear relationships between the components of stress and strain. In addition linear elasticity is valid only for stress states that do not produce yielding.
Cosmological argumentA cosmological argument, in natural theology, is an argument which claims that the existence of God can be inferred from facts concerning causation, explanation, change, motion, contingency, dependency, or finitude with respect to the universe or some totality of objects. A cosmological argument can also sometimes be referred to as an argument from universal causation, an argument from first cause, the causal argument, or prime mover argument.
Argument ontologiqueL'argument ontologique est un argument qui vise à prouver l'existence de Dieu. Il est dit ontologique, car il appuie sa preuve sur la définition de ce qu'est l'être (ontos) de Dieu : il est dans l'être de Dieu d'exister. On considère généralement que Boèce () est le premier à avoir proposé un argument de ce genre, mais c'est sa formulation par Anselme de Cantorbéry au qui rend l'argument célèbre. À l'époque moderne, la version cartésienne de l'argument a été particulièrement influente, faisant l'objet de plusieurs critiques qui conduisent à rejeter la valeur des arguments ontologiques en général.
International inequalityInternational inequality refers to inequality between countries, as compared to global inequality, which is inequality between people across countries. International inequality research has primarily been concentrated on the rise of international income inequality, but other aspects include educational and health inequality, as well as differences in medical access. Reducing inequality within and among countries is the 10th goal of the UN Sustainable Development Goals and ensuring that no one is left behind is central to achieving them.
Loi de comportementLes lois de comportement de la matière, étudiées en science des matériaux et notamment en mécanique des milieux continus, visent à modéliser le comportement des fluides ou solides par des lois empiriques lors de leur déformation. Les modèles ci-dessous sont volontairement simplifiés, afin de permettre d'appréhender les notions élémentaires.
Inégalités de revenuthumb|400px|Inégalité des revenus (2013) au sein des pays, mesuré par le coefficient de Gini : 0 correspond à une égalité parfaite (toutes les personnes ont les mêmes richesses), et 1 à une inégalité totale (où une personne possèderait tout). Les pays en rouge sont plus inégalitaires que les pays en vert. Les inégalités de revenu pointent la disparité existante entre les revenus des individus « riches » et ceux des individus « pauvres ».
Inégalité triangulaireEn géométrie, l'inégalité triangulaire est le fait que, dans un triangle, la longueur d'un côté est inférieure à la somme des longueurs des deux autres côtés. Cette inégalité est relativement intuitive. Dans la vie ordinaire, comme dans la géométrie euclidienne, cela se traduit par le fait que la ligne droite est le plus court chemin : le plus court chemin d'un point A à un point B est d'y aller tout droit, sans passer par un troisième point C qui ne serait pas sur la ligne droite.
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.
