PerpendicularitéLa perpendicularité (du latin per-pendiculum, « fil à plomb ») est le caractère de deux entités géométriques qui se coupent à angle droit. La perpendicularité est une propriété importante en géométrie et en trigonométrie, branche des mathématiques fondée sur les triangles rectangles, dotés de propriétés particulières grâce à leurs deux segments perpendiculaires. En géométrie plane, deux droites sont perpendiculaires quand elles se coupent en formant un angle droit. La notion de perpendicularité s'étend à l'espace pour des droites ou des plans.
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'.
Trapèzethumb|Exemple de trapèze. Un trapèze est un quadrilatère possédant deux côtés opposés parallèles. Ces deux côtés parallèles sont appelés bases. Avec cette définition, les quadrilatères ABCD et ABDC de la figure sont tous deux des trapèzes (dont les côtés (AB) et (CD) sont parallèles). Certains auteurs imposent comme condition supplémentaire la convexité du quadrilatère, ce qui revient à exclure les « trapèzes croisés » tels que ABDC. Un quadrilatère convexe est un trapèze si et seulement s’il possède une paire d’angles consécutifs de somme égale à 180°, soit π radians.
Droites concourantesEn mathématiques, des droites concourantes sont des droites qui ont un point d'intersection commun, ce point étant appelé point de concours. Lorsque seules deux droites sont en jeu, le fait qu'elles soient concourantes est équivalent au fait qu'elles soient sécantes, ce qui fait que le vocable ne s'emploie pas dans ce cadre. En revanche, à partir de trois droites en présence, les deux propriétés ne sont pas équivalentes : trois droites concourantes sont nécessairement sécantes deux à deux mais l'implication réciproque est fausse.
QuadrilatèreEn géométrie plane, un quadrilatère est un polygone à quatre côtés. Les trapèzes, parallélogrammes, losanges, rectangles, carrés et cerfs-volants sont des quadrilatères particuliers. Le mot « quadrilatère » provient du latin : quatuor, quatre, et latus, lateris, côté. Le mot équivalent d'origine grecque est tétrapleure (de τεσσερα / tèssera, quatre, et πλευρά / pleura, côté) ou tétragone (de γωνία / gônia, angle). Le mot tétragone était employé par Gerbert d'Aurillac au et par Oresme au .
Théorie des ensemblesLa théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du . La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes... C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.
RectangleEn géométrie, un rectangle est un quadrilatère dont les quatre angles sont droits. Un quadrilatère est un polygone (donc une figure plane) constitué de quatre points (appelés sommets) et de quatre segments (ou côtés) liant ces sommets deux à deux de manière à délimiter un contour fermé. Fichier:Six Quadrilaterals.svg|Quadrilatères. Les deux situés en haut à gauche (vert et marron) sont des rectangles. Fichier:Rectangle 2.svg|Un rectangle, ses deux diagonales et un [[angle droit]] codé.
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Ensemble videvignette|Notation de l'ensemble vide. En mathématiques, l'ensemble vide est l'ensemble ne contenant aucun élément. L'ensemble vide peut être noté d'un O barré, à savoir ∅ ou simplement { }, qui est une paire d'accolades ne contenant qu'une espace, pour représenter un ensemble qui ne contient rien. La notation ∅ a été introduite par André Weil, dans le cadre de l'institution de notations par le groupe Bourbaki. Von Neumann dans son article de 1923, qui est l'une des premières références qui l'aborde, le note O.
Tangente à un cercleEn géométrie plane euclidienne, une tangente au cercle est une droite qui touche un cercle en un point unique, sans passer par l'intérieur du cercle. Les droites tangents aux cercles sont le sujet de nombreux théorèmes, et apparaissent dans de nombreuses constructions à la règle et au compas et des preuves. Une propriété souvent utilisée dans ces théorèmes est que la tangente en un point du cercle est orthogonale au rayon du cercle passant par le point de contact.
Angle bisector theoremIn geometry, the angle bisector theorem is concerned with the relative lengths of the two segments that a triangle's side is divided into by a line that bisects the opposite angle. It equates their relative lengths to the relative lengths of the other two sides of the triangle. Consider a triangle △ABC. Let the angle bisector of angle ∠ A intersect side at a point D between B and C.
Droite d'Eulervignette|Droite d'Euler en rouge, médianes en orange, médiatrices en vert, et hauteurs en bleu. Le point rouge est le centre du cercle d'Euler. En géométrie euclidienne, dans un triangle non équilatéral, la droite d'Euler est une droite passant par plusieurs points remarquables du triangle, dont l'orthocentre, le centre de gravité (ou isobarycentre) et le centre du cercle circonscrit. Cette notion s'étend au quadrilatère et au tétraèdre.
CercleEn géométrie euclidienne, un cercle est une courbe plane fermée constituée de points situés à égale distance d'un point nommé centre. Cette distance est appelée rayon du cercle. Dans le plan euclidien, il s'agit du « rond » qui est associé en français au terme de cercle. Dans un plan non euclidien ou dans le cas de la définition d'une distance non euclidienne, la forme peut être plus complexe. Dans un espace de dimension quelconque, l'ensemble des points placés à une distance constante d'un centre est appelé sphère.
Milieu d'un segmentEn géométrie affine, le milieu d'un segment est l'isobarycentre des deux extrémités du segment. Dans le cadre plus spécifique de la géométrie euclidienne, c'est aussi le point de ce segment situé à égale distance de ses extrémités. Symétrie centrale Deux points distincts A et A sont symétriques par rapport à un point O si et seulement si O est le milieu du segment [AA]. Dans la symétrie centrale de centre O, le symétrique de O est O lui-même. L'ensemble des points du plan équidistants de deux points A et B constitue la médiatrice du segment [AB].
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.
Équidistantdroite|vignette| Médiatrice d'un segment de droite. Le point où la droite rouge croise le segment de droite noir est équidistant des deux extrémités du segment noir. vignette| Le polygone cyclique P est circonscrit par le cercle C. Le centre du cercle circonscrit O est équidistant de chaque point du cercle et a fortiori de chaque sommet du polygone. Un point est dit équidistant d'un ensemble d'objets si les distances entre ce point et chaque objet de l'ensemble sont égales.
IncenterIn geometry, the incenter of a triangle is a triangle center, a point defined for any triangle in a way that is independent of the triangle's placement or scale. The incenter may be equivalently defined as the point where the internal angle bisectors of the triangle cross, as the point equidistant from the triangle's sides, as the junction point of the medial axis and innermost point of the grassfire transform of the triangle, and as the center point of the inscribed circle of the triangle.
Forme (géométrie)En géométrie classique, la forme permet d’identifier ou de distinguer des figures selon qu’elles peuvent ou non être obtenues les unes à partir des autres par des transformations géométriques qui préservent les angles en multipliant toutes les longueurs par un même coefficient d’agrandissement. Au sens commun, la forme d’une figure est en général décrite par la donnée combinatoire d’un nombre fini de points et de segments ou d’autres courbes délimitant des surfaces, des comparaisons de longueurs ou d’angles, d’éventuels angles droits et éventuellement du sens de courbure.
Théorie des ensembles approximatifsThéorie des ensembles approximatifs – est un formalisme mathématique proposé en 1982 par le professeur Zdzisław Pawlak. Elle généralise la théorie des ensembles classique. Un ensemble approximatif (anglais : rough set) est un objet mathématique basé sur la logique 3 états. Dans sa première définition, un ensemble approximatif est une paire de deux ensembles : une approximation inférieure et une approximation supérieure. Il existe également un type d'ensembles approximatifs défini par une paire d'ensembles flous (anglais : fuzzy set).
Majorant ou minorantEn mathématiques, soient (E , ≤) un ensemble ordonné et F une partie de E ; un élément x de E est : un majorant de F s'il est supérieur ou égal, par la relation binaire définie au préalable, à tous les éléments de F : ; un minorant de F s'il est inférieur ou égal, par la relation binaire définie au préalable, à tous les éléments de F :. Si F possède un majorant x alors on dit que F est une partie majorée. Si F possède un minorant x alors on dit que F est une partie minorée.
