Em Teoria Analítica de Números, a expressão \"Fórmula Explícita\" se refere a uma igualdade entre, por um lado, uma soma de alguma função aritmética feita sobre todos os primos e, por outro lado, uma soma envol- vendo os zeros não triviais da função zeta de Riemann. Essa igualdade não é habitual em Teoria Analítica de Números, que trata principalmente de aproximações assintóticas de funções aritméticas e não de fórmulas exatas. A expressão se originou do trabalho seminal de Riemann, de 1859, onde aparece uma expressão exata para a função (x), que conta o número de primos que não excedem x. A prova do Teorema dos Números Primos, de Hadamard, também se baseia numa fórmula explícita de (x) (função de Tschebycheff). Mais recentemente, o trabalho de André Weil reforçou o inte- resse em compreender-se melhor a natureza de tais fórmulas. Neste trabalho, apresentaremos a fórmula explícita de Riemann-von Mangoldt, a de Delsarte e um caso particular da fórmula explícita de Weil. / In the field of Analytic Theory of Numbers, the expression \"Explicit For- mula\" refers to an equality between, on one hand, the sum of some arithmetic function over all primes and, on the other, a sum over the non-trivial zeros of Riemann s zeta function. This equality is not common in the analytic theory of numbers, that deals mainly with asymptotic approximations of arithmetic functions, and not of exact formulas. The expression originated of Riemann s seminal work, of 1859, in which we see an exact expression for the function (x), that counts the number of primes that do not exceed x. The proof of the Prime Number Theorem, by Hadamard, is also based on an explicit formula of (x) (Tschebycheff s function). More recently, the work of André Weil increased the interest in better comprehending the nature of such formulas. In this work, we shall present the Riemann-von Mangoldt formula, Delsarte s explicit formula, and one particular case of Weil s explicit formula.

Neste trabalho, introduzimos a função zeta de Riemann \'ZETA\'(s), para s \'PERTENCE\' C \\ e apresentamos muito do que é conhecido como justificativa para a hipótese de Riemann. A importância de \'ZETA\' (s) para a teoria analítica dos números é enfatizada e fornecemos uma prova conhecida do Teorema dos Números Primos. No final, discutimos a importância de \'ZETA\'(s) para alguns modelos físicos de interesse e concluimos descrevendo como a hipótese de Riemann pode ser acessada estudando estes sistemas / In this work, we introduce the Riemann zeta function \'ZETA\'(s), s \'IT BELONGS\' C \\ and present much of what is known to support the Riemann hypothesis. The importance of \'ZETA\'(s) to the Analytic number theory is emphasized and a proof for the Prime Number Theorem is reviewed. In the end, we report on the importance of \'ZETA\'(s) to some relevant physical models and conclude by describing how the Riemann Hypothesis can be accessed by studying these systems

Neste trabalho, introduzimos a função zeta de Riemann \'ZETA\'(s), para s \'PERTENCE\' C \\ e apresentamos muito do que é conhecido como justificativa para a hipótese de Riemann. A importância de \'ZETA\' (s) para a teoria analítica dos números é enfatizada e fornecemos uma prova conhecida do Teorema dos Números Primos. No final, discutimos a importância de \'ZETA\'(s) para alguns modelos físicos de interesse e concluimos descrevendo como a hipótese de Riemann pode ser acessada estudando estes sistemas / In this work, we introduce the Riemann zeta function \'ZETA\'(s), s \'IT BELONGS\' C \\ and present much of what is known to support the Riemann hypothesis. The importance of \'ZETA\'(s) to the Analytic number theory is emphasized and a proof for the Prime Number Theorem is reviewed. In the end, we report on the importance of \'ZETA\'(s) to some relevant physical models and conclude by describing how the Riemann Hypothesis can be accessed by studying these systems