Théorème de la moyenne géométriquethumb|upright=1.2|L'aire du carré gris et l'aire du rectangle gris sont égales, soit Le théorème de la hauteur du triangle rectangle ou théorème de la moyenne géométrique est un résultat de géométrie élémentaire qui exprime une relation entre la hauteur sur l'hypoténuse d'un triangle rectangle et les deux segments qu'elle découpe sur l'hypoténuse. Il établit que la moyenne géométrique des longueurs des deux segments est égale à la hauteur.
Triangle rectangleEn géométrie euclidienne, un triangle rectangle est un triangle dont l'un des angles est droit. Les deux autres angles sont alors complémentaires, de mesure strictement inférieure. On nomme alors hypoténuse le côté opposé à l'angle droit. Les deux autres côtés, adjacents à l’angle droit, sont appelés cathètes. L’hypoténuse est alors le plus grand côté du triangle, et sa longueur est reliée à celles des deux autres côtés par le théorème de Pythagore. Cette relation est même caractéristique des triangles rectangles.
Théorème du point fixe de LefschetzEn mathématiques, le théorème du point fixe de Lefschetz est une formule qui compte le nombre de points fixes d'une application continue d'un espace compact X dans lui-même en utilisant les traces des endomorphismes qu'elle induit sur l'homologie de X. Il est nommé d'après Solomon Lefschetz qui l'a démontré en 1926. Chaque point fixe est compté avec sa multiplicité. Une version faible du théorème suffit à démontrer qu'une application qui n'a aucun point fixe doit vérifier certaines propriétés particulières (comme une rotation du cercle).
Valve actuatorA valve actuator is the mechanism for opening and closing a valve. Manually operated valves require someone in attendance to adjust them using a direct or geared mechanism attached to the valve stem. Power-operated actuators, using gas pressure, hydraulic pressure or electricity, allow a valve to be adjusted remotely, or allow rapid operation of large valves. Power-operated valve actuators may be the final elements of an automatic control loop which automatically regulates some flow, level or other process.
Angle droitDans le plan euclidien, deux droites sécantes définissent quatre angles deux à deux égaux. Lorsque ces quatre angles sont égaux, chacun forme un angle droit. Les droites sont alors dites perpendiculaires. Le terme angle droit est un calque du latin angulus rectus : rectus signifie « debout », ce qui renvoie à l'image d'une perpendiculaire à une ligne horizontale. Euclide écrivait, au , dans ses Éléments, livre I, Définition 10 : Un angle droit est donc un quart de tour, ou encore la moitié d'un angle plat.
Théorème du point fixe de BrouwerEn mathématiques, et plus précisément en topologie algébrique, le théorème du point fixe de Brouwer fait partie de la grande famille des théorèmes de point fixe, qui énoncent que si une fonction continue f vérifie certaines propriétés, alors il existe un point x0 tel que f(x0) = x0. La forme la plus simple du théorème de Brouwer prend comme hypothèse que la fonction f est définie sur un intervalle fermé borné non vide I et à valeurs dans I. Sous une forme plus générale, la fonction est définie sur un convexe compact K d'un espace euclidien et à valeurs dans K.
Fixed-point theorems in infinite-dimensional spacesIn mathematics, a number of fixed-point theorems in infinite-dimensional spaces generalise the Brouwer fixed-point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations. The first result in the field was the Schauder fixed-point theorem, proved in 1930 by Juliusz Schauder (a previous result in a different vein, the Banach fixed-point theorem for contraction mappings in complete metric spaces was proved in 1922). Quite a number of further results followed.
Théorème de l'angle inscrit et de l'angle au centrethumb|Figure 1 : L'angle AOB mesure le double de l'angle AMB et de l'angle ANB. thumb|Figure 2 : angle inscrit AMB obtus, angle au centre AOB rentrant. En géométrie euclidienne plane, plus précisément dans la géométrie du cercle, les théorèmes de l'angle inscrit et de l'angle au centre établissent des relations liant les angles inscrits et les angles au centre interceptant un même arc. Le théorème de l'angle au centre affirme que, dans un cercle, un angle au centre mesure le double d'un angle inscrit interceptant le même arc (figure 1 et 2, ).
Connexion (mathématiques)En géométrie différentielle, la connexion est un outil pour réaliser le transport parallèle. Il existe plusieurs présentations qui dépendent de l'utilisation faite. Cette notion a été développée au début des années 1920 par Élie Cartan et Hermann Weyl (avec comme cas particulier celle de connexion affine), puis reformulée en 1951 par Charles Ehresmann et Jean-Louis Koszul. Connexion de Koszul La connexion de Koszul est un opérateur sur des espaces de sections.
Mécanisme à quatre barresvignette|Mouvement guidé par un mécanisme à quatre barres, utilisé par exemple pour l'entraînement à griffe dans un projecteur de film 8 ou . vignette|Les essuie-glaces d'autocar sont montés sur un parallélogramme déformable. Un mécanisme à quatre barres est un système composé de quatre corps rigides, en général articulés entre eux par des liaisons tournantes : rotules ou pivots. Dans leur forme la plus simple, les pièces sont des barres, les liaisons étant aux extrémités des barres ; une des barres peut être le bâti de la machine.
