Mathématiques des origamisLes pliages d'origamis sont utilisés en mathématiques pour procéder à des constructions géométriques. Selon les méthodes de pliages utilisées, on obtient des procédés plus riches que ceux propres à la règle et au compas. Le formalisme auquel il est le plus souvent fait référence est celui de Huzita. Il contient 6 axiomes qui sont en fait les 6 pliages de base permettant de décomposer n'importe quel origami. En voici la liste : Huzita axiom 1.png |'''Axiome 1.''' Un unique pli passe par deux points p_1 et p_2 spécifiés.
Pivignette|Si le diamètre du cercle est 1, sa circonférence est π. π (pi), appelé parfois constante d’Archimède, est un nombre représenté par la lettre grecque du même nom en minuscule (π). C’est le rapport constant de la circonférence d’un cercle à son diamètre dans un plan euclidien. On peut également le définir comme le rapport de l'aire d'un disque au carré de son rayon. Sa valeur approchée par défaut à moins de 0,5×10 près est en écriture décimale.
Polygone régulierEn géométrie euclidienne, un polygone régulier est un polygone à la fois équilatéral (tous ses côtés ont la même longueur) et équiangle (tous ses angles ont la même mesure). Un polygone régulier est soit convexe, soit étoilé. Tous les polygones réguliers convexes d'un même nombre de côtés sont semblables. Tout polygone régulier étoilé de n côtés a une enveloppe convexe de n côtés, qui est un polygone régulier. Un entier n supérieur ou égal à 3 étant donné, il existe un polygone régulier convexe de n côtés.
Nombre réel calculablevignette|π est calculable avec un précision arbitraire alors que presque tous les nombres réels sont non calculables. En informatique et algorithmique, un nombre réel calculable est un réel pour lequel il existe un algorithme ou une machine de Turing permettant d'énumérer la suite de ses chiffres (éventuellement infinie), ou plus généralement des symboles de son écriture sous forme de chaîne de caractères. De manière plus générale, et équivalente, un nombre réel est calculable si on peut en calculer une approximation aussi précise que l'on veut, avec une précision connue.
NeusisLa neusis (du grec ancien νεῦσις venant de νεύειν neuein « pencher vers »; pluriel : νεύσεις neuseis) est une méthode de construction géométrique utilisée dans l'Antiquité par les mathématiciens grecs dans des cas où les constructions à la règle et au compas étaient impossibles. La construction par neusis consiste à placer un segment de longueur fixée a entre deux courbes données l et m, de telle sorte que la droite support du segment passe par un point fixé P.
Nombre transcendantEn mathématiques, un nombre transcendant sur les rationnels est un nombre réel ou complexe qui n'est racine d'aucun polynôme non nuloù n est un entier naturel et les coefficients a sont des rationnels non tous nuls, ou encore (en multipliant ces n + 1 rationnels par un dénominateur commun) qui n'est racine d'aucun polynôme non nul à coefficients entiers. Un nombre réel ou complexe est donc transcendant si et seulement s’il n'est pas algébrique. Comme tout nombre rationnel est algébrique, tout nombre transcendant est donc un nombre irrationnel.
Casus irreducibilisEn algèbre, le casus irreducibilis (latin pour « cas irréductible ») désigne un cas apparaissant lors de la recherche des racines réelles d'un polynôme à coefficients entiers de degré 3 ou plus : c'est celui où les racines ne peuvent s'exprimer à l'aide de radicaux réels. Le casus irreducibilis le plus connu est celui des polynômes de degré 3 irréductibles dans les rationnels (impossibles à factoriser en polynômes de degré moindre) ayant trois racines réelles, cas qui a été prouvé par Pierre Wantzel en 1843.
Definable real numberInformally, a definable real number is a real number that can be uniquely specified by its description. The description may be expressed as a construction or as a formula of a formal language. For example, the positive square root of 2, , can be defined as the unique positive solution to the equation , and it can be constructed with a compass and straightedge. Different choices of a formal language or its interpretation give rise to different notions of definability.
HeptadécagoneUn heptadécagone est un polygone à 17 sommets, donc 17 côtés et 119 diagonales. La somme des angles internes d'un heptadécagone non croisé vaut , soit . Dans l'heptadécagone régulier convexe, chaque angle interne vaut donc , soit environ 158,82°. Un heptadécagone régulier est un heptadécagone dont les 17 côtés ont la même longueur et dont les angles internes ont même mesure. Il y en a huit : sept étoilés (les heptadécagrammes notés {17/k} pour k de 2 à 8) et un convexe (noté {17}).
