Fonction zêta de Riemannvignette|upright=2|La fonction zêta de Riemann ζ(s) dans le plan complexe. La couleur d'un point s code la valeur de ζ(s) : des couleurs vives indiquent des valeurs proches de 0 et la nuance indique l'argument de la valeur. Le point blanc pour s = 1 est le pôle ; les points noirs sur l'axe réel négatif (demi-droite horizontale) et sur la droite critique Re(s) = 1/2 (droite verticale) sont les zéros. vignette|upright=2|Carte des couleurs utilisées dans la figure du dessus.
Théorème des résidusEn analyse complexe, le théorème des résidus est un outil puissant pour évaluer des intégrales curvilignes de fonctions holomorphes sur des courbes fermées qui repose sur les résidus de la fonction à intégrer. Il est utilisé pour calculer des intégrales de fonctions réelles ainsi que la somme de certaines séries. Il généralise le théorème intégral de Cauchy et la formule intégrale de Cauchy. Soient U un sous-ensemble ouvert et simplement connexe du plan complexe C, {z, ...
Théorème intégral de CauchyEn analyse complexe, le théorème intégral de Cauchy, ou de Cauchy-Goursat, est un important résultat concernant les intégrales curvilignes de fonctions holomorphes dans le plan complexe. D'après ce théorème, si deux chemins différents relient les deux mêmes points et si une fonction est holomorphe « entre » les deux chemins, alors les deux intégrales de cette fonction suivant ces chemins sont égales. Le théorème est habituellement formulé pour les lacets (c'est-à-dire les chemins dont le point de départ est confondu avec le point d'arrivée) de la manière suivante.
Fonction zêta de Hurwitzvignette|Fonction zêta de Hurwitz En mathématiques, la fonction zêta de Hurwitz est une des nombreuses fonctions zêta. Elle est définie, pour toute valeur q du paramètre, nombre complexe de partie réelle strictement positive, par la série suivante, convergeant vers une fonction holomorphe sur le demi-plan des complexes s tels que Re(s) > 1 : Par prolongement analytique, s'étend en une fonction méromorphe sur le plan complexe, d'unique pôle s = 1. est la fonction zêta de Riemann. où Γ désigne la fonction Gamma.
Formule de PerronEn mathématiques, et plus particulièrement en théorie analytique des nombres, la formule de Perron est une formule d'Oskar Perron pour calculer la fonction sommatoire () d'une fonction arithmétique, au moyen d'une transformation de Mellin inverse de la série de Dirichlet associée. Soient (a(n)) une fonction arithmétique etoù l'étoile sur le symbole de sommation indique que le dernier terme doit être multiplié par 1/2 quand x est entier.Nous supposons que la série de Dirichlet classique admet une abscisse de convergence simple finie σ.
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 des nombresTraditionnellement, la théorie des nombres est une branche des mathématiques qui s'occupe des propriétés des nombres entiers (qu'ils soient entiers naturels ou entiers relatifs). Plus généralement, le champ d'étude de cette théorie concerne une large classe de problèmes qui proviennent naturellement de l'étude des entiers. La théorie des nombres occupe une place particulière en mathématiques, à la fois par ses connexions avec de nombreux autres domaines, et par la fascination qu'exercent ses théorèmes et ses problèmes ouverts, dont les énoncés sont souvent faciles à comprendre, même pour les non-mathématiciens.
Formule intégrale de Cauchyvignette|Illustration de la formule intégrale de Cauchy en analyse complexe La formule intégrale de Cauchy, due au mathématicien Augustin Louis Cauchy, est un point essentiel de l'analyse complexe. Elle exprime le fait que la valeur en un point d'une fonction holomorphe est complètement déterminée par les valeurs qu'elle prend sur un chemin fermé contenant (c'est-à-dire entourant) ce point. Elle peut aussi être utilisée pour exprimer sous forme d'intégrales toutes les dérivées d'une fonction holomorphe.
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.
Théorie analytique des nombresdroite|vignette|La fonction zêta de Riemann ζ(s) dans le plan complexe. La couleur d'un point s code la valeur de ζ(s) : les couleurs proches du noir indiquent des valeurs proches de zéro, alors que la teinte code l'argument de la valeur. En mathématiques, la théorie analytique des nombres est une branche de la théorie des nombres qui utilise des méthodes d'analyse mathématique pour résoudre des problèmes concernant les nombres entiers.
Théorie algébrique des nombresEn mathématiques, la théorie algébrique des nombres est la branche de la théorie des nombres utilisant des outils issus de l'algèbre. Son origine est l'étude des nombres entiers et particulièrement les équations diophantiennes. Pour en résoudre certaines, il est utile de considérer d'autres entiers, dits algébriques. Un exemple est donné par le théorème des deux carrés de Fermat utilisant les entiers de Gauss. Ces ensembles sont équipés de deux lois — une addition et une multiplication — qui vérifient les mêmes propriétés élémentaires que les entiers relatifs : on parle d'anneaux.
Mathématiquesthumb|upright|Raisonnement mathématique sur un tableau. Les mathématiques (ou la mathématique) sont un ensemble de connaissances abstraites résultant de raisonnements logiques appliqués à des objets divers tels que les ensembles mathématiques, les nombres, les formes, les structures, les transformations ; ainsi qu'aux relations et opérations mathématiques qui existent entre ces objets. Elles sont aussi le domaine de recherche développant ces connaissances, ainsi que la discipline qui les enseigne.
Fonction zêta de DedekindEn mathématiques, la fonction zêta de Dedekind est une série de Dirichlet définie pour tout corps de nombres K. C'est la fonction de la variable complexe s définie par la somme infinie : prise sur tous les idéaux I non nuls de l'anneau O des entiers de K, où N(I) désigne la norme de I (relative au corps Q des rationnels). Cette norme est égale au cardinal de l'anneau quotient O/I. En particulier, ζ est la fonction zêta de Riemann. Les propriétés de la fonction méromorphe ζ ont une signification considérable en théorie algébrique des nombres.
Fonction zêta de LerchEn mathématiques, la fonction zêta de Lerch, ou fonction zêta de Hurwitz-Lerch est une fonction spéciale qui généralise la fonction zêta de Hurwitz et le polylogarithme, nommée d'après le mathématicien Mathias Lerch. Elle est définie comme somme d'une série comme suit : La fonction zêta de Lerch est reliée à la fonction transcendante de Lerch, définie par la formule : par l'identité : La fonction zêta de Hurwitz est un cas particulier, donnée par : Le polylogarithme est un cas particulier de la fonction zêt
Proof (truth)A proof is sufficient evidence or a sufficient argument for the truth of a proposition. The concept applies in a variety of disciplines, with both the nature of the evidence or justification and the criteria for sufficiency being area-dependent. In the area of oral and written communication such as conversation, dialog, rhetoric, etc., a proof is a persuasive perlocutionary speech act, which demonstrates the truth of a proposition.
Méthodes de calcul d'intégrales de contourEn analyse complexe, lintégration de contour est une technique de calcul d'intégrale le long de chemins sur le plan complexe L'intégration de contour est fortement liée au calculs de résidus, une méthode de calcul utilisée pour évaluer des intégrales curvilignes sur l'axe des réelles, que les outils de la théorie de l'intégration ne permettent pas de calculer par une simple analyse réelle Les méthodes d'intégration de contour incluent : l'intégration directe d'une fonction à valeurs complexes le long d'une c
Augustin Louis CauchyAugustin Louis, baron Cauchy, né à Paris le et mort à Sceaux le , est un mathématicien français, membre de l’Académie des sciences et professeur à l’École polytechnique. Catholique fervent, il est le fondateur de nombreuses œuvres charitables, dont l’Œuvre des Écoles d’Orient. Royaliste légitimiste, il s’exile volontairement lors de l'avènement de Louis-Philippe, après les Trois Glorieuses. Ses positions politiques et religieuses lui valurent nombre d’oppositions.
Proof by contradictionIn logic, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Although it is quite freely used in mathematical proofs, not every school of mathematical thought accepts this kind of nonconstructive proof as universally valid. More broadly, proof by contradiction is any form of argument that establishes a statement by arriving at a contradiction, even when the initial assumption is not the negation of the statement to be proved.
Résidu (analyse complexe)En analyse complexe, le résidu est un nombre complexe qui décrit le comportement de l'intégrale curviligne d'une fonction holomorphe aux alentours d'une singularité. Les résidus se calculent assez facilement et, une fois connus, permettent de calculer des intégrales curvilignes plus compliquées grâce au théorème des résidus. Le terme résidu vient de Cauchy dans ses Exercices de mathématiques publié en 1826. Soit un ouvert de , un ensemble dans D de points isolés et une fonction holomorphe.
Fondements des mathématiquesLes fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. Le logicisme a été prôné notamment par Gottlob Frege et Bertrand Russell. La mathématique pure présente deux caractéristiques : la généralité de son discours et la déductibilité du discours mathématique . En ce que le discours mathématique ne prétend qu’à une vérité formelle, il est possible de réduire les mathématiques à la logique, les lois logiques étant les lois du « vrai ».
