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.
Histoire des notations mathématiquesLhistoire des notations mathématiques décrit les débuts, les progrès et la diffusion culturelle des symboles mathématiques et les conflits entre méthodes de notation qui ont mené à leur généralisation ou leur marginalisation. La notation mathématique comprend les symboles utilisés pour écrire des équations et formules mathématiques. La notation implique généralement un ensemble de représentations de quantités et d'opérateurs symboliques.
Radical axisIn Euclidean geometry, the radical axis of two non-concentric circles is the set of points whose power with respect to the circles are equal. For this reason the radical axis is also called the power line or power bisector of the two circles. In detail: For two circles c_1, c_2 with centers M_1, M_2 and radii r_1, r_2 the powers of a point P with respect to the circles are Point P belongs to the radical axis, if If the circles have two points in common, the radical axis is the common secant line of the circles.
Commensurabilité (mathématiques)La commensurabilité est un terme mathématique essentiellement employé en histoire des mathématiques. Utilisé principalement dans la Grèce antique, il correspond au concept actuel de nombre rationnel. En mathématiques, deux grandeurs de même nature (deux longueurs, deux aires, deux volumes, etc.) non nulles a et b sont commensurables si et seulement s'il existe une unité u de ces grandeurs dont a et b soient multiples, i.e. tels qu'il existe un couple d'entiers (m, n) tels que a = mu et b = nu.
ProportionnalitéEn mathématiques, on dit que deux suites de nombres sont proportionnelles quand, en multipliant (ou en divisant) par une même constante non nulle, les termes de l'une on obtient les termes de l'autre. Le facteur constant entre l'une et l'autre de ces suites est appelé coefficient de proportionnalité. Ces suites de nombres étant par exemple des grandeurs mesurées. Exemple : dans un magasin, le prix des pommes est de le kilogramme. Il y a proportionnalité entre la somme S à payer et le poids P de pommes achetées, avec un coefficient de proportionnalité égal à 2.
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.
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.
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.
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.
Cercle d'EulerEn géométrie, le cercle d'Euler d'un triangle (aussi appelé cercle des neuf points, cercle de Feuerbach, cercle de Terquem, cercle médian) est l'unique cercle passant par les neuf points remarquables suivants : Les trois milieux des trois côtés du triangle ; Le pied de chacune des trois hauteurs du triangle ; Le milieu de chacun des trois segments reliant l'orthocentre H à un sommet du triangle. Dans son mémoire E325 présenté en 1763, Euler a considéré séparément les deux cercles circonscrits aux triangles et sans noter leur coïncidence .
Théorème de Descartes (géométrie)En géométrie, le théorème de Descartes, découvert par René Descartes, établit une relation entre quatre cercles tangents entre eux. Il peut être utilisé pour construire les cercles tangents à trois cercles donnés tangents deux à deux. Les problèmes géométriques concernant des cercles tangents sont très anciens. En Grèce antique, trois siècles avant Jésus-Christ, Apollonius de Perga a consacré un livre entier à ce sujet ; malheureusement ce livre, Les Contacts, a disparu.
