Moyenne géométriqueEn mathématiques, la moyenne géométrique est un type de moyenne. La moyenne géométrique de deux nombres positifs a et b est le nombre positif c tel que : Cette égalité étant une proportion, ceci justifie l'autre appellation « moyenne proportionnelle » de la moyenne géométrique. vignette|La moyenne géométrique des côtés d'un rectangle est donnée par un carré de même aire. Elle est construite par un cercle tangent aux deux cercles définis par les côtés du rectangle et les séparant.
Torsion d'une courbeEn géométrie différentielle, la torsion d'une courbe tracée dans l'espace mesure la manière dont la courbe se tord pour sortir de son plan osculateur (plan contenant le cercle osculateur). Ainsi, par exemple, une courbe plane a une torsion nulle et une hélice circulaire est de torsion constante. Prises ensemble, la courbure et la torsion d'une courbe de l'espace en définissent la forme comme le fait la courbure pour une courbe plane. La torsion apparait comme coefficient dans les équations différentielles du repère de Frenet.
Suite géométriqueEn mathématiques, une suite géométrique est une suite de nombres dans laquelle chaque terme permet de déduire le suivant par multiplication par un facteur constant appelé raison. Ainsi, une suite géométrique a la forme suivante : La définition peut s'écrire sous la forme d'une relation de récurrence, c'est-à-dire que pour chaque entier naturel n : Le qualificatif « géométrique » réfère au fait que, dans une suite géométrique à termes positifs, un terme quelconque (à l'exception du premier) est égal à la moyenne géométrique du terme qui le précède et de celui qui lui succède.
Géométrie différentiellevignette|Exemple d'objets étudiés en géométrie différentielle. Un triangle dans une surface de type selle de cheval (un paraboloïde hyperbolique), ainsi que deux droites parallèles. En mathématiques, la géométrie différentielle est l'application des outils du calcul différentiel à l'étude de la géométrie. Les objets d'étude de base sont les variétés différentielles, ensembles ayant une régularité suffisante pour envisager la notion de dérivation, et les fonctions définies sur ces variétés.
Parametric surfaceA parametric surface is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.
Formule logiqueEn logique on dit d’une suite finie de lettres qu’elle est une formule, ou parfois formule bien formée, d'un langage logique donné lorsqu’elle peut être construite en appliquant une combinaison des règles de la grammaire formelle associée, on parle de la syntaxe du langage. Informellement les formules sont les assemblages de lettres auxquels il est possible de donner une signification en termes de valeur de vérité (Vrai, ou Faux). Les formules logiques sont l'équivalent des phrases du langage naturel.
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.
Formule atomiqueEn logique mathématique, une formule atomique ou atome est une formule qui ne contient pas de sous-formules propres. La structure d'une formule atomique dépend de la logique considérée, p. ex. en logique des propositions, les formules atomiques sont les variables propositionnelles. Les atomes sont les formules les plus simples dans un système logique et servent à construire les formules les plus générales.
Orientation de courbeEn mathématiques, une courbe orientée positivement est une courbe fermée simple plane (c'est-à-dire une courbe dans le plan dont le point de départ est également le point final et qui n'a pas d'autres intersections propres) de telle sorte que lorsque l'on se déplace dessus, on a toujours la courbe intérieur à gauche (et par conséquent, la courbe extérieure à droite). Si dans la définition ci-dessus on échange gauche et droite, on obtient une courbe orientée négativement .
Géométrie algébriqueLa géométrie algébrique est un domaine des mathématiques qui, historiquement, s'est d'abord intéressé à des objets géométriques (courbes, surfaces...) composés des points dont les coordonnées vérifiaient des équations ne faisant intervenir que des sommes et des produits (par exemple le cercle unité dans le plan rapporté à un repère orthonormé admet pour équation ). La simplicité de cette définition fait qu'elle embrasse un grand nombre d'objets et qu'elle permet de développer une théorie riche.
Analyse géométriqueL'analyse géométrique est un champ mathématique à l'interface de la géométrie différentielle et des équations différentielles. vignette| de surface minimale. Les surfaces minimales font partie des objets d'étude en analyse géométrique. L'analyse géométrique comprend à la fois l'utilisation de méthodes géométriques dans l'étude des équations aux dérivées partielles, et l'application de la théorie des équations aux dérivées partielles à la géométrie.
Géométrie arithmétiquevignette|Exemples de figures géométriques: un cône et un cylindre. La géométrie arithmétique est une branche de la théorie des nombres, qui utilise des outils de géométrie algébrique pour s'attaquer à des problèmes arithmétiques. Quelques exemples de questions qui peuvent se poser : Si on sait trouver des racines d'une équation polynomiale dans toutes les complétions d'un corps de nombres, peut-on en déduire que cette équation a des racines sur ce corps ? On sait répondre à la question dans certains cas, on sait que la réponse est non dans d'autres cas, mais on pense (c'est une conjecture) connaître l'obstruction et donc savoir reconnaître quand cela fonctionne.
