Preuve de l'irrationalité de πDans les années 1760, Johann Heinrich Lambert a été le premier à prouver que le nombre est irrationnel, c'est-à-dire qu'il ne peut pas s'écrire sous forme d'une fraction a/b, avec a et b entiers non nuls. Au , Charles Hermite établit une preuve ne reposant sur aucun prérequis au-delà de l'analyse élémentaire. Des versions simplifiées de la preuve de Hermite ont été plus tard trouvées par Mary Cartwright et Ivan Niven. Une autre preuve, une version simplifiée de celle de Lambert, est trouvée par Miklós Laczkovich.
Fraction continue généraliséeEn mathématiques, une fraction continue généralisée est une expression de la forme : comportant un nombre fini ou infini d'étages. C'est donc une généralisation des fractions continues simples puisque dans ces dernières, tous les a sont égaux à 1. Une fraction continue généralisée est une généralisation des fractions continues où les numérateurs et dénominateurs partiels peuvent être des complexes quelconques : où an (n > 0) sont les numérateurs partiels et les bn les dénominateurs partiels.
Extension séparableEn mathématiques, et plus spécifiquement en algèbre, une extension L d'un corps K est dite séparable si elle est algébrique et si le polynôme minimal de tout élément de L n'admet que des racines simples (dans une clôture algébrique de K). La séparabilité est une des propriétés des extensions de Galois. Toute extension finie séparable satisfait le théorème de l'élément primitif. Les corps dont toutes les extensions algébriques sont séparables (c'est-à-dire les corps parfaits) sont nombreux.
Fraction continueEn mathématiques, une fraction continue ou fraction continue simple ou plus rarement fraction continuée est une expression de la forme : comportant un nombre fini ou infini d'étages. On montre qu'on peut « représenter » tout nombre réel sous forme d'une fraction continue, finie ou infinie, dans laquelle a0 est un entier relatif et les autres aj sont des entiers strictement positifs.
Intervalle (mathématiques)En mathématiques, un intervalle (du latin intervallum) est étymologiquement un ensemble ordonné de points compris entre deux bornes. Cette notion première s'est ensuite développée jusqu'à aboutir à la notion topologique de boule d'un espace métrique. Initialement, on appelle intervalle réel un ensemble de nombres délimité par deux nombres réels constituant une borne inférieure et une borne supérieure. Un intervalle contient tous les nombres réels compris entre ces deux bornes.
Fraction continue de GaussEn analyse complexe, une fraction continue de Gauss est un cas particulier de fraction continue dérivé des fonctions hypergéométriques. Ce fut l'un des premiers exemples de fractions continues analytiques. Elles permettent de représenter des fonctions élémentaires importantes, ainsi que des fonctions spéciales transcendantes plus compliquées. Lambert a publié quelques exemples de fractions continues généralisées de cette forme en 1768, démontrant entre autres l'irrationalité de π ( § « Applications à F » ci-dessous).
Apollo 11est une mission du programme spatial américain Apollo au cours de laquelle, pour la première fois, des hommes se sont posés sur la Lune, le lundi . L'agence spatiale américaine, la NASA, remplit ainsi l'objectif fixé par le président John F. Kennedy en 1961 de poser un équipage sur la Lune avant la fin de la décennie 1960. Il s'agissait de démontrer la supériorité des États-Unis sur l'Union soviétique qui avait été mise à mal par les succès soviétiques au début de l'ère spatiale dans le contexte de la guerre froide qui oppose alors ces deux pays.
Intégration continuevignette|ZAPTEST screenshot L'intégration continue est un ensemble de pratiques utilisées en génie logiciel consistant à vérifier à chaque modification de code source que le résultat des modifications ne produit pas de régression dans l'application développée. Le concept a pour la première fois été mentionné par Grady Booch et se réfère généralement à la pratique de l'extreme programming. Le principal but de cette pratique est de détecter les problèmes d'intégration au plus tôt lors du développement.
Fonction transcendanteEn mathématiques, une fonction ou une série formelle est dite transcendante si elle n'est pas algébrique, c'est-à-dire si elle n'est pas solution d'une équation polynomiale à coefficients polynomiaux par rapport à ses arguments. Cette notion est donc, au même titre que celle de nombre transcendant, un cas particulier de celle d'élément transcendant d'une algèbre sur un anneau commutatif, l'algèbre et l'anneau considérés étant ici soit les fonctions de certaines variables (à valeurs dans un anneau commutatif R) et les fonctions polynomiales en ces variables (à coefficients dans R), soit les séries formelles et les polynômes (en une ou plusieurs indéterminées).
Partie bornéeEn mathématiques, la notion de partie bornée (ou, par raccourci, de borné) étend celle d'intervalle borné de réels à d'autres structures, notamment en topologie et en théorie des ordres. Selon les cas, la définition privilégie l'existence de bornes ponctuelles ou la négation de l'éloignement à l'infini. Une fonction bornée est une fonction dont l' est bornée dans l'ensemble d'arrivée. Un opérateur borné est un opérateur linéaire dont les images de bornés sont bornées également.
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éorie de la démonstrationLa théorie de la démonstration, aussi connue sous le nom de théorie de la preuve (de l'anglais proof theory), est une branche de la logique mathématique. Elle a été fondée par David Hilbert au début du . Hilbert a proposé cette nouvelle discipline mathématique lors de son célèbre exposé au congrès international des mathématiciens en 1900 avec pour objectif de démontrer la cohérence des mathématiques.
