Segment (mathématiques)vignette|Le segment . En géométrie, un segment de droite (souvent abrégé en « segment ») est une portion de droite délimitée par deux points, appelés extrémités du segment. Un segment reliant deux points et est noté ou et représente la partie de la droite qui se situe « entre » les points et . Intuitivement, un segment correspond à un fil tendu entre deux points, en négligeant l’épaisseur du fil et la déformation due à son poids.
Droite (mathématiques)En géométrie, le mot droite désigne un objet formé de points alignés. Une droite est illimitée des deux côtés, et sans épaisseur (dans la pratique, elle est représentée, sur une feuille, par une ligne droite ayant bien entendu des limites — celles de la feuille — et une épaisseur — celle du crayon). Pour les Anciens, la droite était un concept « allant de soi », si « évident » que l'on négligeait de préciser de quoi l'on parlait. L'un des premiers à formaliser la notion de droite fut le Grec Euclide dans ses Éléments.
AxiomeUn axiome (en ἀξίωμα /axioma, « principe servant de base à une démonstration, principe évident en soi » – lui-même dérivé de άξιόω (axioô), « juger convenable, croire juste ») est une proposition non démontrée, utilisée comme fondement d’un raisonnement ou d’une théorie mathématique. Pour Euclide et certains philosophes grecs de l’Antiquité, un axiome était une affirmation qu'ils considéraient comme évidente et qui n'avait nul besoin de démonstration.
Axiomes de Peanovignette|Giuseppe Peano En mathématiques, les axiomes de Peano sont des axiomes pour l'arithmétique proposés initialement à la fin du par Giuseppe Peano, et qui connaissent aujourd'hui plusieurs présentations qui ne sont pas équivalentes, suivant la théorie sous-jacente, théorie des ensembles, logique du second ordre ou d'ordre supérieur, ou logique du premier ordre. Richard Dedekind avait proposé une formalisation assez proche, sous une forme non axiomatique.
Axiomes de TarskiLes axiomes de Tarski, dus à Alfred Tarski, sont un système d'axiomes pour la géométrie euclidienne exprimé en logique du premier ordre. Les prédicats utilisés dans le langage sont : le point y est entre les points x et z : (entre deux ou en anglais betweenness) ; la distance de x à y est égale à la distance de z à u : (congruence). A1: Réflexivité de la congruence A2: Transitivité de la congruence A3: Segment nul A4: Report de segment A5: Cinq segments A6: Identité A7: Axiome de Pasch A8: Plus petite dimension Il existe trois points non colinéaires, il n'existe donc pas de modèle de la théorie de dimension < 2.
Line–line intersectionIn Euclidean geometry, the intersection of a line and a line can be the empty set, a point, or another line. Distinguishing these cases and finding the intersection have uses, for example, in computer graphics, motion planning, and collision detection. In three-dimensional Euclidean geometry, if two lines are not in the same plane, they have no point of intersection and are called skew lines.
Axiome de séparation (topologie)En topologie, un axiome de séparation est une propriété satisfaite par certains espaces topologiques, similaire à la propriété de séparation de Hausdorff (dite aussi T2), et concernant la séparation de points ou de fermés, du point de vue soit de voisinages, soit de fonctions continues réelles. Divers axiomes de séparation peuvent être ordonnés par implication, notamment ceux de la série des axiomes codés par la lettre « T » et un indice numérique, ces axiomes étant en général d'autant plus restrictifs que les indices sont élevés et les topologies correspondantes plus fines.
Axiomes de Hilbertthumb|right|David Hilbert Dans un mémoire paru en 1899, Les fondements de la géométrie (Grundlagen der Geometrie), David Hilbert propose une axiomatisation de la géométrie euclidienne. Ce sont ces axiomes, qui ont été révisés au cours des éditions successives par Hilbert lui-même, ou des axiomes directement inspirés de sa présentation que l'on appelle axiomes de Hilbert.
Kuratowski closure axiomsIn topology and related branches of mathematics, the Kuratowski closure axioms are a set of axioms that can be used to define a topological structure on a set. They are equivalent to the more commonly used open set definition. They were first formalized by Kazimierz Kuratowski, and the idea was further studied by mathematicians such as Wacław Sierpiński and António Monteiro, among others. A similar set of axioms can be used to define a topological structure using only the dual notion of interior operator.
Points cocycliquesEn géométrie, des points du plan sont dits cocycliques s'ils appartiennent à un même cercle. Trois points non alignés du plan sont cocycliques. En effet, tout triangle possède un cercle circonscrit. vignette La propriété précédente est un corollaire du théorème de l'angle inscrit. Si sont les affixes respectives de , la condition précédente s'écrit aussi D'où en utilisant le birapport, la condition équivalente : Le théorème de Ptolémée donne une condition nécessaire et suffisante de cocyclicité de quatre points par leurs distances.
BisectionIn geometry, bisection is the division of something into two equal or congruent parts (having the same shape and size). Usually it involves a bisecting line, also called a 'bisector'. The most often considered types of bisectors are the 'segment bisector' (a line that passes through the midpoint of a given segment) and the 'angle bisector' (a line that passes through the apex of an angle, that divides it into two equal angles). In three-dimensional space, bisection is usually done by a bisecting plane, also called the 'bisector'.
ÉquipollenceEn mathématiques, plus précisément en géométrie affine, l' « équipollence » est une relation d'équivalence dans un carré cartésien, dotée de certaines propriétés supplémentaires. On parle par exemple de « vecteurs équipollents » ou de « bipoints équipollents ». En linguistique, notamment en sémantique, « équipollence » est un synonyme un peu savant du terme « équivalence ». Ainsi, deux « phrases équipollentes » sont des phrases ayant la même signification.
Droite de SimsonSoit un triangle ABC, M un point du plan et U, V et W les projetés orthogonaux de M sur les droites (BC), (AC) et (AB). Alors les deux propositions suivantes sont équivalentes : M est sur le cercle circonscrit au triangle ; U, V et W sont alignés. Dans ce cas, la droite portant les points U, V et W s'appelle la droite de Simson (ou droite de Wallace, qui fut en fait le premier à la découvrir en 1799) associée au point M.
Point (géométrie)thumb|Points dans un plan euclidien. En géométrie, un point est le plus petit élément constitutif de l'espace géométrique, c'est-à-dire un lieu au sein duquel on ne peut distinguer aucun autre lieu que lui-même. géométrie euclidienne Le point, selon Euclide, est . On peut aussi dire plus simplement qu'un point ne désigne pas un objet mais un emplacement. Il n'a donc aucune dimension, longueur, largeur, épaisseur, volume ou aire. Sa seule caractéristique est sa position. On dit parfois qu'il est « infiniment petit ».
Théorème des cinq pointsEn géométrie, le théorème des cinq points est un énoncé sur les coniques du plan, démontré initialement par Blaise Pascal. Il assure que par cinq points trois à trois non alignés passe une unique conique propre. Ce théorème admet des versions dégénérées, par exemple, avec quatre conditions d'incidence et une de tangence : il existe une unique conique propre passant par quatre points trois à trois non alignés, et tangente en l'un de ces points à une droite prescrite ne contenant aucun des trois autres points ; ou encore, avec trois conditions d'incidence et deux de tangence : il existe une unique conique propre passant par trois points non alignés prescrits, et tangente en chacun des deux premiers points à une droite prescrite qui ne contient qu'un seul des trois points.
Alignement (géométrie)vignette|Sur cette figure, les points a1,a2,a3 sont alignés, ainsi que les points b1,b2,b3. En revanche, les points a1,a2,b3 ne sont pas alignés. En géométrie, l’alignement est une propriété satisfaite par certains familles de points, lorsque ces derniers appartiennent collectivement à une même droite. Deux points étant toujours alignés en vertu du premier axiome d’Euclide, la notion d’alignement ne présente d’intérêt qu’à partir d’une collection de trois points.
DéfinitionUne définition est une proposition qui met en équivalence un élément définissant et un élément étant défini. Une définition a pour but de clarifier, d'expliquer. Elle détermine les limites ou « un ensemble de traits qui circonscrivent un objet ». Selon les Définitions du pseudo-Platon, la définition est la . Aristote, dans le Topiques, définit le mot comme En mathématiques, on définit une notion à partir de notions antérieurement définies. Les notions de bases étant les symboles non logiques du langage considéré, dont l'usage est défini par les axiomes de la théorie.
Ordered geometryOrdered geometry is a form of geometry featuring the concept of intermediacy (or "betweenness") but, like projective geometry, omitting the basic notion of measurement. Ordered geometry is a fundamental geometry forming a common framework for affine, Euclidean, absolute, and hyperbolic geometry (but not for projective geometry). Moritz Pasch first defined a geometry without reference to measurement in 1882. His axioms were improved upon by Peano (1889), Hilbert (1899), and Veblen (1904).
