Équation de Pell-Fermatthumb|Pierre de Fermat (1601-1665) affirme que l'équation de Pell-Fermat possède toujours une infinité de solutions si m = ±1, sans savoir que Bhāskara II (1114-1185) avait fait de même. En mathématiques et plus précisément en arithmétique, l'équation de Pell-Fermat est une équation diophantienne polynomiale quadratique. Si n est un entier positif qui n'est pas un carré parfait et m un entier non nul, l'équation prend la forme suivante : Les solutions recherchées sont les solutions telles que x et y soient des valeurs entières.
Groupe modulaireEn mathématiques, on appelle groupe modulaire le groupe PSL(2, Z), quotient du groupe spécial linéaire SL(2, Z) par son centre { Id, –Id }. Il s'identifie à l'image de SL(2, Z) dans le groupe de Lie On le note souvent Γ(1) ou simplement Γ. Ce nom provient de l'action à gauche et fidèle de Γ(1) par homographies sur le demi-plan de Poincaré H des nombres complexes de partie imaginaire strictement positive. Cette action n'est que la restriction de l'action de PGL(2, C) sur la droite projective complexe P(C) = C ∪ {∞} : la matrice agit sur P(C) par la transformation de Möbius qui en envoie z sur .
Suite équidistribuéeEn mathématiques, une suite de nombres réels est dite équidistribuée ou uniformément répartie si la proportion de termes qui se retrouvent dans un sous-intervalle est proportionnelle à la longueur de cet intervalle. De telles suites sont étudiées dans la théorie approximation diophantienne et dans diverses applications de la méthode de Monte-Carlo. Une suite {s1, s2, s3, ...} de nombres réels est dite équidistribuée sur un intervalle [a, b] si, pour tout sous-intervalle [c, d] de [a, b], on a : (Ici, la notation |{s1,.
Théorie des nombres transcendantsEn mathématiques, la théorie des nombres transcendants est une branche de la théorie des nombres qui étudie les nombres transcendants (nombres qui ne sont pas des solutions d'une équation polynomiale à coefficients entiers). Un nombre complexe α est dit transcendant si pour tout polynôme non nul P à coefficients entiers, P(α) ≠ 0. Il en est alors de même pour tout polynôme non nul à coefficients rationnels. Plus généralement, la théorie traite de l'indépendance algébrique des nombres. Un ensemble de nombres {α1, α2, .
Mathématiques chinoisesLes mathématiques chinoises sont apparues vers le Les Chinois développèrent de manière autonome des notations pour les grands nombres et les nombres négatifs, les décimaux et une notation positionnelle pour les représenter, le système binaire, l'algèbre, la géométrie et la trigonométrie ; leurs résultats précèdent souvent de plusieurs siècles les résultats analogues des mathématiciens occidentaux. Les mathématiciens chinois n'utilisèrent pas une approche axiomatique, mais plutôt une méthode algorithmique et des techniques algébriques, culminant au avec la création par Zhu Shijie de la méthode des quatre inconnues.
Théorème de BakerLe théorème de Baker résout la conjecture de Gelfond. Publié par Alan Baker en 1966 et 1967, c'est un résultat de transcendance sur les logarithmes de nombres algébriques, qui généralise à la fois le théorème d'Hermite-Lindemann (1882) et le théorème de Gelfond-Schneider (1934). Ce théorème a été adapté au cas des nombres p-adiques par Armand Brumer ; le théorème de Brumer permet de démontrer la conjecture de Leopoldt dans le cas d'un corps de nombres abélien, suivant un article d'Ax.
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.
Height functionA height function is a function that quantifies the complexity of mathematical objects. In Diophantine geometry, height functions quantify the size of solutions to Diophantine equations and are typically functions from a set of points on algebraic varieties (or a set of algebraic varieties) to the real numbers. For instance, the classical or naive height over the rational numbers is typically defined to be the maximum of the numerators and denominators of the coordinates (e.g.
Lemme de SiegelEn approximation diophantienne, le lemme de Siegel est un théorème d'existence d'une solution non nulle et de grandeur contrôlée à un système d'équations linéaires homogène à coefficients entiers (relatifs) ayant strictement plus d'inconnues que d'équations. Il est d'usage courant dans les démonstrations de transcendance. Les solutions ainsi contrôlées sont obtenues à l'aide de . L'existence de ces polynômes avait été démontrée par Axel Thue grâce au principe des tiroirs de Dirichlet.
Harold DavenportHarold Davenport (1907-1969) est un mathématicien britannique célèbre pour son travail en théorie des nombres. Né dans le village de Huncoat dans le Lancashire, il fait ses études à Accrington et au Trinity Collège de Cambridge. Sa thèse, dirigée par John Edensor Littlewood, porte sur la distribution des résidus quadratiques. En s'attaquant à la question des distributions, il tombe rapidement sur des problèmes qui sont considérés comme des cas particuliers de ceux qui se posent pour la fonction zêta locale dans le cas de certaines courbes hyperelliptiques telles que : Y2 = X(X − 1) (X − 2) .
