Nombre irrationnelUn nombre irrationnel est un nombre réel qui n'est pas rationnel, c'est-à-dire qu'il ne peut pas s'écrire sous la forme d'une fraction a/b, où a et b sont deux entiers relatifs (avec b non nul). Les nombres irrationnels peuvent être caractérisés de manière équivalente comme étant les nombres réels dont le développement décimal n'est pas périodique ou dont le développement en fraction continue est infini. On distingue, parmi les nombres irrationnels, deux sous-ensembles complémentaires : les nombres algébriques non rationnels et les nombres transcendants.
Irrationnel quadratiqueUn irrationnel quadratique est un nombre irrationnel solution d'une équation quadratique à coefficients rationnels, autrement dit, un nombre réel algébrique de degré 2. Il engendre donc un corps quadratique réel Q(), où d est un entier positif sans facteur carré. Les irrationnels quadratiques sont caractérisés par la périodicité à partir d'un certain rang de leur développement en fraction continue (théorème de Lagrange). Les exemples les plus simples d'irrationnels quadratiques sont les racines carrées d'entiers naturels non carrés (le plus célèbre étant ).
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.
Degenerate bilinear formIn mathematics, specifically linear algebra, a degenerate bilinear form f (x, y ) on a vector space V is a bilinear form such that the map from V to V∗ (the dual space of V ) given by v ↦ (x ↦ f (x, v )) is not an isomorphism. An equivalent definition when V is finite-dimensional is that it has a non-trivial kernel: there exist some non-zero x in V such that for all A nondegenerate or nonsingular form is a bilinear form that is not degenerate, meaning that is an isomorphism, or equivalently in finite dimensions, if and only if for all implies that .
Forme bilinéaireEn mathématiques, plus précisément en algèbre linéaire, une forme bilinéaire est une application qui à un couple de vecteurs associe un scalaire, et qui a la particularité d'être linéaire en ses deux arguments. Autrement dit, étant donné un espace vectoriel V sur un corps commutatif K, il s'agit d'une application f : V × V → K telle que, pour tous et tous , Les formes bilinéaires sont naturellement introduites pour les produits scalaires.