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.
Special right triangleA special right triangle is a right triangle with some regular feature that makes calculations on the triangle easier, or for which simple formulas exist. For example, a right triangle may have angles that form simple relationships, such as 45°–45°–90°. This is called an "angle-based" right triangle. A "side-based" right triangle is one in which the lengths of the sides form ratios of whole numbers, such as 3 : 4 : 5, or of other special numbers such as the golden ratio.
Triangle de HéronIn geometry, a Heronian triangle (or Heron triangle) is a triangle whose side lengths a, b, and c and area A are all positive integers. Heronian triangles are named after Heron of Alexandria, based on their relation to Heron's formula which Heron demonstrated with the example triangle of sides 13, 14, 15 and area 84. Heron's formula implies that the Heronian triangles are exactly the positive integer solutions of the Diophantine equation that is, the side lengths and area of any Heronian triangle satisfy the equation, and any positive integer solution of the equation describes a Heronian triangle.
Forme quadratiquethumb|L'annulation d'une forme quadratique donne le cône de lumière de la relativité restreinte, son signe fait la différence entre les événements accessibles ou inaccessibles dans l'espace-temps. En mathématiques, une forme quadratique est un polynôme homogène de degré 2 avec un nombre quelconque de variables. Les formes quadratiques d'une, deux et trois variables sont données respectivement par les formules suivantes (a,b,c,d,e,f désignant des coefficients) : L'archétype de forme quadratique est la forme x + y + z sur R, qui définit la structure euclidienne et dont la racine carrée permet de calculer la norme d'un vecteur.
Hyperbolic spaceIn mathematics, hyperbolic space of dimension n is the unique simply connected, n-dimensional Riemannian manifold of constant sectional curvature equal to -1. It is homogeneous, and satisfies the stronger property of being a symmetric space. There are many ways to construct it as an open subset of with an explicitly written Riemannian metric; such constructions are referred to as models. Hyperbolic 2-space, H2, which was the first instance studied, is also called the hyperbolic plane.
OnduleurUn onduleur est un dispositif d'électronique de puissance permettant de générer des tensions et des courants alternatifs à partir d'une source d'énergie électrique continue. Son fonctionnement est à dissocier des autres convertisseurs comme les convertisseurs AC/AC, les redresseurs (AC/DC) ou encore les convertisseurs DC/DC. Cependant un onduleur peut être associé à d'autres convertisseurs pour en changer la fonction. Le nom anglais de l'onduleur, « inverter », vient du fait qu'historiquement l'onduleur avait la fonction inverse d'un redresseur.
Éléments (Euclide)Les Éléments (en grec ancien / stoïkheïa) est un traité mathématique et géométrique, constitué de 13 livres organisés thématiquement, probablement écrit par le mathématicien grec Euclide vers Il comprend une collection de définitions, axiomes, théorèmes et leur démonstration sur les sujets de la géométrie euclidienne et de la théorie des nombres primitifs. L'ouvrage est le plus ancien exemple connu d'un traitement axiomatique et systématique de la géométrie et son influence sur le développement de la logique et de la science occidentale est fondamentale.
Groupe orthogonalEn mathématiques, le groupe orthogonal réel de degré n, noté O(n), est le groupe des transformations géométriques d'un espace Euclidien de dimension n qui préservent les distances (isométries) et le point origine de l'espace. Formellement, on introduit le groupe orthogonal d'une forme quadratique q sur E, espace vectoriel sur un corps commutatif K, comme le sous-groupe du groupe linéaire GL(E) constitué des automorphismes f de E qui laissent q invariante : pour tout vecteur x de E.
Inversion géométriqueEn géométrie, l'inversion géométrique est l'étude de l'inversion, une transformation du plan euclidien qui envoie des cercles ou des lignes vers d'autres cercles ou lignes et qui préserve les angles entre les courbes de croisement. De nombreux problèmes difficiles en géométrie deviennent beaucoup plus faciles à résoudre lorsqu'une inversion est appliquée. L'inversion semble avoir été découverte par un certain nombre de personnes à la même époque, dont Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs et Ingram (1842-3) et Kelvin (1845).
Triangle isocèlevignette|upright|Un triangle isocèle. En géométrie, un triangle isocèle est un triangle ayant au moins deux côtés de même longueur. Plus précisément, un triangle ABC est dit isocèle en A lorsque les longueurs AB et AC sont égales. A est alors le sommet principal du triangle et [BC] sa base. Dans un triangle isocèle, les angles adjacents à la base sont égaux. Un triangle équilatéral est un cas particulier de triangle isocèle, ayant ses trois côtés de même longueur.
Symbole de SchläfliEn mathématiques, le symbole de Schläfli est une notation de la forme {p,q,r, ...} qui permet de définir les polyèdres réguliers et les pavages. Cette notation donne un résumé de certaines propriétés importantes d'un polytope régulier particulier. Le symbole de Schläfli fut nommé ainsi en l'honneur du mathématicien du Ludwig Schläfli qui fit d'importantes contributions en géométrie et dans d'autres domaines. Le symbole de Schläfli pour un polygone régulier convexe à n côtés est {n}.
Symétrie centralethumb|upright=0.7|Symétrie centrale plane dans une carte à jouer : sur la carte figure le roi de cœur et son symétrique par rapport au centre de cette dernière. En géométrie, une symétrie centrale est une transformation d'un espace affine. Elle se réalise à partir d'un point fixe noté Ω appelé centre de symétrie. Elle transforme tout point M en un point M' tel que le point Ω soit le milieu du segment [MM']. En termes de vecteurs, cela se traduit par : Comme toute symétrie, c'est une involution, c'est-à-dire qu'on retrouve le point ou la figure de départ si on l'applique deux fois.
