EllipsoïdeEn mathématiques, et plus précisément en géométrie euclidienne, un ellipsoïde est une surface du second degré de l'espace euclidien à trois dimensions. Il fait donc partie des quadriques, avec pour caractéristique principale de ne pas posséder de point à l'infini. L'ellipsoïde admet un centre et au moins trois plans de symétrie. L'intersection d'un ellipsoïde avec un plan est une ellipse, un point ou l'ensemble vide.
QuadriqueEn mathématiques, une quadrique, ou surface quadratique, est une surface satisfaisant une équation cartésienne polynomiale de degré 2 à trois variables (notées généralement x, y et z) de la forme Ces surfaces sont classifiées par une équation réduite dans un repère orthonormé adapté en géométrie euclidienne, et en neuf classes non dégénérées à transformation linéaire près en géométrie affine. On peut également les étudier dans le cadre de la géométrie projective, qui simplifie et unifie complètement les résultats.
HyperboloïdeUn hyperboloïde est en géométrie une surface du second degré de l'espace euclidien. Il fait donc partie des quadriques, avec pour caractéristique principale de posséder un centre de symétrie et de s'étendre à l'infini. Les sections non triviales d'un hyperboloïde avec un plan sont des paraboles, des ellipses ou des hyperboles. On distingue deux types d'hyperboloïdes, connexes ou non, chaque partie connexe s'appelant une nappe. Le cône peut être vu comme une forme dégénérée d'hyperboloïde.
ParaboloïdeEn mathématiques, un paraboloïde est une surface du second degré de l'espace euclidien. Il fait donc partie des quadriques, avec pour caractéristique principale de ne pas posséder de centre de symétrie. Certaines sections d'un paraboloïde avec un plan sont des paraboles. D'autres sont, selon le cas, des ellipses ou des hyperboles. On distingue donc les paraboloïdes elliptiques et les paraboloïdes hyperboliques. Cette surface peut s'obtenir en faisant glisser une parabole sur une autre parabole tournant sa concavité dans la même direction.
Théorème des zéros de HilbertLe théorème des zéros de Hilbert, parfois appelé Nullstellensatz, est un théorème d'algèbre commutative qui est à la base du lien entre les idéaux et les variétés algébriques. Il a été démontré par le mathématicien allemand David Hilbert. Une algèbre de type fini sur K est un anneau quotient d'un anneau de polynômes K[X_1,...,X_n] par un idéal. Sa structure de K-algèbre est induite par celle de K[X_1,...,X_n]. Il existe plusieurs formulations du théorème des zéros de Hilbert. Théorème 1 (Lemme de Zariski).
Théorème de BézoutLe théorème de Bézout, attribué à Étienne Bézout, affirme que deux courbes algébriques projectives planes de degrés m et n, définies sur un corps algébriquement clos et sans composante irréductible commune, ont exactement mn points d'intersection, comptés avec leur multiplicité. La forme faible du théorème dit que le nombre d'intersections (sans tenir compte des multiplicités) est majoré par . Autrement dit, si sont deux polynômes homogènes à coefficients dans (avec et ) de degrés respectifs et sans facteur commun, alors le système admet au plus solutions dans le plan projectif .
Splitter (geometry)In Euclidean geometry, a splitter is a line segment through one of the vertices of a triangle (that is, a cevian) that bisects the perimeter of the triangle. They are not to be confused with cleavers, which also bisect the perimeter but instead emanate from the midpoint of one of the triangle's sides. The opposite endpoint of a splitter to the chosen triangle vertex lies at the point on the triangle's side where one of the excircles of the triangle is tangent to that side. This point is also called a splitting point of the triangle.
Mathématiques de la Grèce antiquevignette|right|250px|Illustration de la preuve d'Euclide du théorème de Pythagore. Les mathématiques de la Grèce antique sont les mathématiques développées en langue grecque, autour de la mer Méditerranée, durant les époques classique et hellénistique. Elles couvrent ainsi une période allant du jusqu'au de notre ère. Les mathématiques hellénistiques incluent toutes celles écrites en grec. Elles englobent donc les mathématiques égyptiennes et babyloniennes d'une grande partie de cette époque.
CoplanaireÉtymologiquement, plusieurs objets sont coplanaires si et seulement s'ils sont situés dans un même plan. En géométrie, on parle de points coplanaires, de vecteurs coplanaires et de droites coplanaires. Des points coplanaires sont des points situés dans un même plan. Deux points ou trois points sont toujours coplanaires. En effet, deux points sont toujours sur une même droite qui peut être plongée dans un plan. De même, trois points, ou bien sont alignés et la droite peut être plongée dans un plan, ou bien définissent un plan.
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'.
