Géométrie synthétiqueLa géométrie synthétique ou géométrie pure est fondée sur une approche axiomatique (donc, « purement logique ») de la géométrie. Elle constitue une branche de la géométrie étudiant diverses propriétés et divers théorèmes uniquement par des méthodes d'intersections, de transformations et de constructions. Elle s'oppose à la géométrie analytique et refuse systématiquement l'utilisation des propriétés analytiques des figures ou l'appel aux coordonnées. Ses concepts principaux sont l'intersection, les transformations y compris par polaires réciproques, la logique.
Espace affineEn géométrie, la notion d'espace affine généralise la notion d'espace issue de la géométrie euclidienne en omettant les notions d'angle et de distance. Dans un espace affine, on peut parler d'alignement, de parallélisme, de barycentre. Sous la forme qui utilise des rapports de mesures algébriques, qui est une notion affine, le théorème de Thalès et le théorème de Ceva sont des exemples de théorèmes de géométrie affine plane réelle (c'est-à-dire n'utilisant que la structure d'espace affine du plan réel).
GéométrieLa géométrie est à l'origine la branche des mathématiques étudiant les figures du plan et de l'espace (géométrie euclidienne). Depuis la fin du , la géométrie étudie également les figures appartenant à d'autres types d'espaces (géométrie projective, géométrie non euclidienne ). Depuis le début du , certaines méthodes d'étude de figures de ces espaces se sont transformées en branches autonomes des mathématiques : topologie, géométrie différentielle et géométrie algébrique.
Rotation vectorielleSoit E un espace vectoriel euclidien. Une rotation vectorielle de E est un élément du groupe spécial orthogonal SO(E). Si on choisit une base orthonormée de E, sa matrice dans cette base est orthogonale directe. Matrice de rotation Dans le plan vectoriel euclidien orienté, une rotation vectorielle est simplement définie par son angle . Sa matrice dans une base orthonormée directe est : Autrement dit, un vecteur de composantes a pour image le vecteur de composantes que l'on peut calculer avec l'égalité matricielle : c'est-à-dire que l'on a : et Si par exemple et , désigne un des angles du triangle rectangle de côtés 3, 4 et 5.
Programme d'ErlangenLe programme d'Erlangen est un programme de recherche mathématique publié par le mathématicien allemand Felix Klein en 1872, dans son Étude comparée de différentes recherches récentes en géométrie. L'objectif est de comparer les différentes géométries apparues au cours du pour en dégager les points de similitude : on peut ainsi plus clairement distinguer la géométrie affine, la géométrie projective, la géométrie euclidienne, la géométrie non euclidienne au travers d'une vision globale.
Théorème de CevaEn mathématiques, le théorème de Ceva est un théorème de géométrie affine plane qui donne une condition nécessaire et suffisante pour que trois droites passant par les trois sommets d'un triangle soient parallèles ou concourantes. Il s'interprète naturellement en géométrie euclidienne et se généralise en géométrie projective. Il doit son nom au mathématicien italien Giovanni Ceva qui, quelques années après le mathématicien espagnol José Zaragoza, en énonce et démontre une version dans le De lineis rectis se invicem secantibus statica constructio en 1678.
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.
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Application affineEn géométrie, une application affine est une application entre deux espaces affines qui est compatible avec leur structure. Cette notion généralise celle de fonction affine de R dans R (), sous la forme , où est une application linéaire et est un point. Une bijection affine (qui est un cas particulier de transformation géométrique) envoie les sous-espaces affines, comme les points, les droites ou les plans, sur le même type d'objet géométrique, tout en préservant la notion de parallélisme.
HyperplanEn mathématiques et plus particulièrement en algèbre linéaire et géométrie, les hyperplans d'un espace vectoriel E de dimension quelconque sont la généralisation des plans vectoriels d'un espace de dimension 3 : ce sont les sous-espaces vectoriels de codimension 1 dans E. Si E est de dimension finie n non nulle, ses hyperplans sont donc ses sous-espaces de dimension n – 1 : par exemple l'espace nul dans une droite vectorielle, une droite vectorielle dans un plan vectoriel Soient E un espace vectoriel et H un sous-espace.
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.
Parallélisme (géométrie)En géométrie affine, le parallélisme est une propriété relative aux droites, aux plans ou plus généralement aux sous-espaces affines. La notion de parallélisme a été initialement formulée par Euclide dans ses Éléments, mais sa présentation a évolué dans le temps, passant d'une définition axiomatique à une simple définition. La notion de parallélisme est introduite dans le Livre I des Éléments d'Euclide. Pour Euclide, une droite s'apparente plutôt à un segment.
Géométrie finieUne géométrie finie est un système géométrique dont les points sont en nombre fini. La géométrie euclidienne usuelle n'est pas finie, une droite euclidienne possédant une infinité de points. Une géométrie basée sur les images affichées sur un écran d'ordinateur, où les pixels sont considérés comme des points, serait une géométrie finie. Bien qu'il existe de nombreux systèmes que l'on pourrait appeler des géométries finies, on porte principalement l'attention sur les espaces projectifs et affines finis en raison de leur régularité et de leur simplicité.
Groupe affineLes automorphismes d'un espace affine A constituent un groupe appelé groupe affine de A et noté GA(A). En notant E l'espace vectoriel qui dirige A, l'application qui à tout automorphisme u de A fait correspondre l'automorphisme f de E associé à u est un morphisme du groupe affine GA(A) dans le groupe linéaire GL(E). Son noyau forme le groupe des translations. GA(A) est isomorphe au produit semi-direct du groupe additif de E par GL(E). Il est donc engendré par les translations, les transvections et les dilatations.
Géométrie projectiveEn mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et d'horizon. Elle étudie les propriétés inchangées des figures par projection centrale. Le mathématicien et architecte Girard Desargues fonde la géométrie projective dans son Brouillon project d’une Atteinte aux evenemens des rencontres du cone avec un plan publié en 1639, où il l'utilise pour une théorie unifiée des coniques.
Application projectiveEn mathématiques, une application projective est une application entre deux espaces projectifs qui préserve la structure projective, c'est-à-dire qui envoie les droites, plans, espaces... en des droites, plans, espaces. ➪ Fichier:France homographie (1).gif Une application projective bijective s'appelle une homographie. Rappelons que la définition moderne d'un espace projectif est d'être un ensemble dont les points sont les droites vectorielles d'un -espace vectoriel .
Géométrie absolueLa géométrie absolue (parfois appelée géométrie neutre) est une géométrie basée sur le système d'axiomes de la géométrie euclidienne, privé de l'axiome des parallèles ou de sa négation. Elle est formée des résultats qui sont vrais à la fois en géométrie euclidienne et en géométrie hyperbolique, parfois énoncés sous une forme affaiblie par rapport à l'énoncé euclidien traditionnel. La géométrie absolue fut introduite (sous ce nom) par János Bolyai en 1832 ; le terme de géométrie neutre (sous-entendu par rapport à l'axiome des parallèles) lui a été parfois préféré, pour éviter de donner l'impression que toute autre géométrie en découle.
Cône (géométrie)vignette|Illustration à l'article Problemata mathematica... publiée sur les Acta Eruditorum, 1734 En géométrie, un cône est une surface réglée ou bien un solide. Un cône est une surface réglée définie par une droite (d), appelée génératrice, passant par un point fixe S appelé sommet et un point variable décrivant une courbe (c), appelée courbe directrice. On parle aussi dans ce cas de surface conique. Cône de révolution Parmi ces surfaces coniques, la plus étudiée est le cône de révolution dans lequel la courbe directrice est un cercle de centre O situé dans un plan perpendiculaire à (SO).
Playfair's axiomIn geometry, Playfair's axiom is an axiom that can be used instead of the fifth postulate of Euclid (the parallel postulate): In a plane, given a line and a point not on it, at most one line parallel to the given line can be drawn through the point. It is equivalent to Euclid's parallel postulate in the context of Euclidean geometry and was named after the Scottish mathematician John Playfair. The "at most" clause is all that is needed since it can be proved from the remaining axioms that at least one parallel line exists.
Isométrie affineUne isométrie affine est une transformation bijective d'un espace affine euclidien dans un autre qui est à la fois une application affine et une isométrie (c'est-à-dire une bijection conservant les distances). Si cette isométrie conserve aussi l'orientation, on dit que c'est un déplacement. Si elle inverse l'orientation, il s'agit d'un antidéplacement. Les déplacements sont les composés de translations et rotations. Les réflexions sont des antidéplacements. On désigne par le plan (, plus précisément, un plan affine réel euclidien).
