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.
Nombre composéUn nombre composé est un entier naturel différent de 0 qui possède un diviseur positif autre que 1 ou lui-même. Par définition, chaque entier plus grand que 1 est donc soit un nombre premier, soit un nombre composé, et les nombres 0 et 1 ne sont ni premiers ni composés. Autre définition : un nombre composé est le produit d'au moins deux nombres premiers (qu'ils soient distincts ou identiques). Par exemple, l'entier 14 est un nombre composé parce qu'il a les nombres 1, 2, 7 et 14 pour diviseurs (quatre diviseurs).
EuclideEuclide (en Eukleídês), dit parfois Euclide d'Alexandrie, est un mathématicien de la Grèce antique, auteur d’un traité de mathématiques, qui constitue l'un des textes fondateurs de cette discipline en Occident. Aucune information fiable n'est parvenue sur la vie ou la mort d'Euclide ; il est possible qu'il ait vécu vers 300 avant notre ère. Son ouvrage le plus célèbre, les Éléments, est un des plus anciens traités connus présentant de manière systématique, à partir d'axiomes et de postulats, un large ensemble de théorèmes accompagnés de leurs démonstrations.
Leonardo Fibonaccithumb|right|upright 1.32|Statue de Léonard de Pise, dans sa ville natale. Leonardo Fibonacci ou « Léonard de Pise » (vers 1170 à Pise - vers 1250) est un mathématicien italien connu notamment par la suite de Fibonacci. Ses travaux revêtent une importance considérable car ils sont le chainon apportant notamment la notation des chiffres indo-arabes aux mathématiques de l'Occident. L'homme est dénommé dans les manuscrits comme Leonardus Pisanus, « Léonard de Pise », ou encore Leonardus filius Bonacci, Leonardus Pisanus de filiis Bonacci et Leonardus Bigollus.
Eudoxe de CnideEudoxe de Cnide, en grec ancien (–), est un astronome, géomètre, médecin et philosophe grec. Contemporain de Platon, il tenta le premier de formuler une théorie sur le mouvement des planètes. Ses travaux sont connus d’Archimède. Né à Cnide, en Carie (Asie Mineure) dans une famille fort pauvre, il apprend la géométrie auprès du pythagoricien Archytas (vers ) et la médecine auprès de Philistion de Sicile. À 23 ans, il se rend à Athènes, peut-être chez les cyrénaïques, dont il partageait les idées morales.
Théorème de Pythagorethumb|right|alt=Triangle rectangle et relation algébrique entre les longueurs de ses côtés.|Relation entre les longueurs des côtés dans un triangle rectangle. Le théorème de Pythagore est un théorème de géométrie euclidienne qui met en relation les longueurs des côtés dans un triangle rectangle. Il s'énonce fréquemment sous la forme suivante : Si un triangle est rectangle, le carré de la longueur de l’hypoténuse (ou côté opposé à l'angle droit) est égal à la somme des carrés des longueurs des deux autres côtés.
Isaac BarrowIsaac Barrow (octobre 1630, Londres - ) est un philologue, mathématicien et théologien anglais. Il est connu pour ses travaux précurseurs en calcul infinitésimal, et en particulier pour son travail sur les tangentes. Isaac Newton est l'un de ses élèves. Barrow naît à Londres. Il va d'abord à l'école à Charterhouse School (où il est si dissipé qu'on entendit son père prier que, plût-il à Dieu de prendre n'importe lequel de ses enfants, il délaisserait plus facilement Isaac), puis à la .
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Angle droitDans le plan euclidien, deux droites sécantes définissent quatre angles deux à deux égaux. Lorsque ces quatre angles sont égaux, chacun forme un angle droit. Les droites sont alors dites perpendiculaires. Le terme angle droit est un calque du latin angulus rectus : rectus signifie « debout », ce qui renvoie à l'image d'une perpendiculaire à une ligne horizontale. Euclide écrivait, au , dans ses Éléments, livre I, Définition 10 : Un angle droit est donc un quart de tour, ou encore la moitié d'un angle plat.
Démonstration (logique et mathématiques)vignette| : un des plus vieux fragments des Éléments d'Euclide qui montre une démonstration mathématique. En mathématiques et en logique, une démonstration est un ensemble structuré d'étapes correctes de raisonnement. Dans une démonstration, chaque étape est soit un axiome (un fait acquis), soit l'application d'une règle qui permet d'affirmer qu'une proposition, la conclusion, est une conséquence logique d'une ou plusieurs autres propositions, les prémisses de la règle.
ThéorèmeEn mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes. Un théorème se démontre dans un système déductif et est une conséquence logique d'un système d'axiomes. En ce sens, il se distingue d'une loi scientifique, obtenue par l'expérimentation.
Lemme (mathématiques)Un lemme, en mathématiques et en logique mathématique, est un résultat intermédiaire sur lequel on s'appuie pour conduire la démonstration d'un théorème plus important. Dans l'Antiquité grecque, lemme (en λῆμμα) était un terme de logique : il désignait la majeure du syllogisme, c'est-à-dire la première assertion. Dans la dialectique grecque, le lemme, le prolemme et l'épiphore sont les trois parties de l'argument.
DiviseurLe mot “diviseur” a deux significations en mathématiques. Une division est effectuée à partir d’un “dividende” et d’un “diviseur”, et une fois l’opération terminée, le produit du “quotient” par le diviseur augmenté du “reste” est égal au dividende. En arithmétique, un “diviseur” d'un entier n est un entier dont n est un multiple. Plus formellement, si d et n sont deux entiers, d est un diviseur de n seulement s'il existe un entier k tel que . Ainsi est un diviseur de car .
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.
AngleEn géométrie, la notion générale d'angle se décline en plusieurs concepts. Dans son sens ancien, l'angle est une figure plane, portion de plan délimitée par deux demi-droites. C'est ainsi qu'on parle des angles d'un polygone. Cependant, l'usage est maintenant d'employer le terme « secteur angulaire » pour une telle figure. L'angle peut désigner également une portion de l'espace délimitée par deux plans (angle dièdre). La mesure de tels angles porte couramment mais abusivement le nom d'angle, elle aussi.
Triplet pythagoricienvignette|Animation illustrant le plus simple triplet pythagoricien : 32 + 42 = 52. En arithmétique, un triplet pythagoricien ou triplet de Pythagore est un triplet (a, b, c) d'entiers naturels non nuls vérifiant la relation de Pythagore : . Le triplet pythagoricien le plus connu est (3, 4, 5). À tout triplet pythagoricien est associé un triangle de côtés entiers a, b, c, forcément rectangle d’hypoténuse c, ainsi qu'un rectangle de côtés entiers a, b, et de diagonale entière c.
Congruence (géométrie)En géométrie euclidienne, la congruence est une relation sur l'ensemble des parties de l'espace considéré : deux ensembles de points sont dits si l'un est l' de l'autre par une isométrie (une bijection qui conserve les distances). De manière moins formelle, deux figures sont congruentes si elles ont la même forme et la même taille, mais ont des positions respectives différentes. La congruence est une relation d'équivalence plus fine que la similitude : par exemple, deux triangles isométriques sont toujours semblables.
Similitude (géométrie)En géométrie euclidienne, une similitude est une transformation qui multiplie toutes les distances par une constante fixe, appelée son rapport. L' de toute figure par une telle application est une figure semblable, c'est-à-dire intuitivement « de même forme ». thumb|300px|Dans ce dessin, les objets de même couleur sont semblables. Les isométries, c'est-à-dire les transformations qui conservent les distances sont des cas particuliers de similitudes ; elles transforment des figures en des figures de même forme et de même taille.
Euclidean distanceIn mathematics, the Euclidean distance between two points in Euclidean space is the length of a line segment between the two points. It can be calculated from the Cartesian coordinates of the points using the Pythagorean theorem, therefore occasionally being called the Pythagorean distance. These names come from the ancient Greek mathematicians Euclid and Pythagoras, although Euclid did not represent distances as numbers, and the connection from the Pythagorean theorem to distance calculation was not made until the 18th century.
Cercle circonscritEn géométrie, un cercle circonscrit à un polygone est un cercle qui passe par tous les sommets du polygone. Le polygone est alors dit inscrit dans le cercle : on parle de polygone inscriptible ou parfois de polygone cyclique. Les sommets sont alors cocycliques, c'est-à-dire situés sur un même cercle. Si le polygone n'est pas aplati, ce cercle est unique et son centre est le point de concours des médiatrices des côtés. Un polygone n'a pas nécessairement de cercle circonscrit, mais les triangles, les rectangles et les polygones réguliers sont tous inscriptibles.