This thesis introduces a new mathematical object: collection of arithmetic progressions with elements satisfying the inverse property, \j-th terms of i-th and (i+1)-th progressions are multiplicative inverses of each other modulo (j+1)-th term of i-th progression". Such a collection is uniquely de ned for any pair (a; d) of co-prime integers. The progressions of the collection are ordered. Thus we call it a sequence rather than a collection. The results of the thesis are on the following number theoretic, computational and cryptographic aspects of the defined sequence and its generalizations. The sequence is closely connected to the classical Euclidean algorithm. Precisely, certain consecutive progressions of the sequence form \groupings". The difference between the common differences of any two consecutive progressions of a grouping is same. The number of progressions in a grouping is connected to the quotient sequence of the Euclidean algorithm on co-prime input pairs. The research community has studied extensively the behavior of the Euclidean algorithm. For the rst time in the literature, the connection (proven in the thesis) shows what the quotients of the algorithm signify. Further, the leading terms of progressions within groupings satisfy a mirror image symmetry property, called \symmetricity". The property is subject to the quotient sequence of the Euclidean algorithm and divisors of integers of the form x2 y2 falling in specific intervals. The integers a, d are the primary quantities of the defined sequence in a computational sense. Given the two, leading term and common difference of any progression of the sequence can be computed in time quadratic in the binary length of d. On the other hand, the inverse computational question of finding (a; d), given information on some terms of the sequence, is interesting. This problem turns out to be hard as it requires finding solutions to an nearly-determined system of multivariate polynomial equations. Two sub-problems arising in this context are shown to be equivalent to the problem of factoring integers. The reduction to the factoring problem, in both cases, is probabilistic. Utilizing the computational difficulty of solving the inverse problem, and the sub-problems (mentioned above), we propose a symmetric-key cryptographic scheme (SKCS), and a public key cryptographic scheme (PKCS). The PKCS is also based on the hardness of the problem of finding square-roots modulo composite integers. Our proposal uses the same algorithmic and computational primitives for effecting both the PKCS and SKCS. In addition, we use the notion of the sequence of arithmetic progressions to design an entity authentication scheme. The proof of equivalence between one of the inverse computational problems (mentioned above) and integer factoring led us to formulate and investigate an independent problem concerning the largest divisor of integer N bounded by the square-root of N. We present some algorithmic and combinatorial results. In the course of the above investigations, we are led to certain open questions of number theoretic, combinatorial and algorithmic nature. These pertain to the quotient sequence of the Euclidean algorithm, divisors of integers of the form x2 y2 p in specific intervals, and the largest divisor of integer N bounded by N.

Neste estudo, apresentamos conteúdos matemáticos adaptáveis tanto para os anos finais do ensino fundamental quanto para o ensino médio. Iniciamos com um conjunto de ideias preliminares: indução matemática, triângulo de Pascal, Binômio de Newton e relações trigonométricas, para a obtenção de fórmulas de somas finitas, em que os valores das parcelas são computados sobre números inteiros consecutivos, e da técnica de transformação de soma finita em telescópica. Enunciamos Progressões Aritméticas e Geométricas como sequências numéricas e suas propriedades, obtendo a soma de seus n primeiros termos, associando com propriedades do triângulo de Pascal. Por fim, descrevemos Funções Aritméticas, Funções Aritméticas Totalmente Multiplicativas e Fortemente Multiplicativas, como sequências de números naturais, com suas operações e propriedades, direcionando ao objetivo de calcular o número de divisores naturais de n, a soma de todos os divisores naturais de n, e assim por diante. Como consequência, exibimos a fórmula de contagem do número de polinômios mônicos irredutíveis. / In this study, we present mathematical content that is adaptable to both of the final years of elementary school and to high school. We start with a set of preliminary ideas: mathematical induction, Pascal\'s triangle, Newton\'s binomial and trigonometric relations, to obtain finite sum formulas, where the parts are computed on consecutive integers, and the technique for transforming a finite sum in telescopic one. We state the Arithmetic and Geometric Progressions as numerical sequences and study their properties, obtaining the sum of their n first terms, associating with properties of the Pascal\'s triangle. Finally, we describe the Arithmetic, Totally Multiplicative and Strongly Multiplicative Arithmetic Functions, as sequences of natural numbers, with their operations and properties, as a way to calculating the number of natural divisors of n, the sum of all natural divisors of n, and so on. As a consequence, we obtain the counting formula of the number of irreducible mononical polynomials.

We follow a research paper that J. Elstrodt published in 1998 to prove the Prime Number Theorem for arithmetic progressions. We will review basic results from Dirichlet characters and L-functions. Furthermore, we establish a weak version of the Wiener-Ikehara Tauberian Theorem, which is an essential tool for the proof of our main result.

Soit $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ la suite des nombres premiers, et soient $q \ge 3$ et $a$ des entiers premiers entre eux. R\'ecemment, Daniel Shiu a d\'emontr\'e une ancienne conjecture de Sarvadaman Chowla. Ce dernier a conjectur\'e qu'il existe une infinit\'e de couples $p_n,p_$ de premiers cons\'ecutifs tels que $p_n \equiv p_{n+1} \equiv a \bmod q$. Fixons $\epsilon > 0$. Une r\'ecente perc\'ee majeure, de Daniel Goldston, J\`anos Pintz et Cem Y{\i}ld{\i}r{\i}m, a \'et\'e de d\'emontrer qu'il existe une suite de nombres r\'eels $x$ tendant vers l'infini, tels que l'intervalle $(x,x+\epsilon\log x]$ contienne au moins deux nombres premiers $\equiv a \bmod q$. \'Etant donn\'e un couple de nombres premiers $\equiv a \bmod q$ dans un tel intervalle, il pourrait exister un nombre premier compris entre les deux qui n'est pas $\equiv a \bmod q$. On peut d\'eduire que soit il existe une suite de r\'eels $x$ tendant vers l'infini, telle que $(x,x+\epsilon\log x]$ contienne un triplet $p_n,p_{n+1},p_{n+2}$ de nombres premiers cons\'ecutifs, soit il existe une suite de r\'eels $x$, tendant vers l'infini telle que l'intervalle $(x,x+\epsilon\log x]$ contienne un couple $p_n,p_{n+1}$ de nombres premiers tel que $p_n \equiv p_{n+1} \equiv a \bmod q$. On pense que les deux \'enonc\'es sont vrais, toutefois on peut seulement d\'eduire que l'un d'entre eux est vrai, sans savoir lequel. Dans la premi\`ere partie de cette th\`ese, nous d\'emontrons que le deuxi\`eme \'enonc\'e est vrai, ce qui fournit une nouvelle d\'emonstration de la conjecture de Chowla. La preuve combine des id\'ees de Shiu et de Goldston-Pintz-Y{\i}ld{\i}r{\i}m, donc on peut consid\'erer que ce r\'esultat est une application de leurs m\'thodes. Ensuite, nous fournirons des bornes inf\'erieures pour le nombre de couples $p_n,p_{n+1}$ tels que $p_n \equiv p_{n+1} \equiv a \bmod q$, $p_{n+1} - p_n < \epsilon\log p_n$, avec $p_{n+1} \le Y$. Sous l'hypoth\`ese que $\theta$, le \og niveau de distribution \fg{} des nombres premiers, est plus grand que $1/2$, Goldston-Pintz-Y{\i}ld{\i}r{\i}m ont r\'eussi \`a d\'emontrer que $p_{n+1} - p_n \ll_{\theta} 1$ pour une infinit\'e de couples $p_n,p_$. Sous la meme hypoth\`ese, nous d\'emontrerons que $p_{n+1} - p_n \ll_{q,\theta} 1$ et $p_n \equiv p_{n+1} \equiv a \bmod q$ pour une infinit\'e de couples $p_n,p_$, et nous prouverons \'egalement un r\'esultat quantitatif. Dans la deuxi\`eme partie, nous allons utiliser les techniques de Goldston-Pintz-Yldrm pour d\'emontrer qu'il existe une infinit\'e de couples de nombres premiers $p,p'$ tels que $(p-1)(p'-1)$ est une carr\'e parfait. Ce resultat est une version approximative d'une ancienne conjecture qui stipule qu'il existe une infinit\'e de nombres premiers $p$ tels que $p-1$ est une carr\'e parfait. En effet, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $n = \ell_1\cdots \ell_r$, avec $\ell_1,\ldots,\ell_r$ des premiers distincts, et tels que $(\ell_1-1)\cdots (\ell_r-1)$ est une puissance $r$-i\`eme, avec $r \ge 2$ quelconque. \'Egalement, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n = \ell_1\cdots \ell_r \le Y$ tels que $(\ell_1+1)\cdots (\ell_r+1)$ est une puissance $r$-i\`eme. Finalement, \'etant donn\'e $A$ un ensemble fini d'entiers non-nuls, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $\prod_ (p+a)$ est une puissance $r$-i\`eme, simultan\'ement pour chaque $a \in A$. / Let $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ be the sequence of all primes, and let $q \ge 3$ and $a$ be coprime integers. Recently, and very remarkably, Daniel Shiu proved an old conjecture of Sarvadaman Chowla, which asserts that there are infinitely many pairs of consecutive primes $p_n,p_{n+1}$ for which $p_n \equiv p_{n+1} \equiv a \bmod q$. Now fix a number $\epsilon > 0$, arbitrarily small. In their recent groundbreaking work, Daniel Goldston, J\`anos Pintz and Cem Y{\i}ld{\i}r{\i}m proved that there are arbitrarily large $x$ for which the short interval $(x, x + \epsilon\log x]$ contains at least two primes congruent to $a \bmod q$. Given a pair of primes $\equiv a \bmod q$ in such an interval, there might be a prime in-between them that is not $\equiv a \bmod q$. One can deduce that \emph{either} there are arbitrarily large $x$ for which $(x, x + \epsilon\log x]$ contains a prime pair $p_n \equiv p_{n+1} \equiv a \bmod q$, \emph{or} that there are arbitrarily large $x$ for which the $(x, x + \epsilon\log x]$ contains a triple of consecutive primes $p_n,p_{n+1},p_{n+2}$. Both statements are believed to be true, but one can only deduce that one of them is true, and one does not know which one, from the result of Goldston-Pintz-Y{\i}ld{\i}r{\i}m. In Part I of this thesis, we prove that the first of these alternatives is true, thus obtaining a new proof of Chowla's conjecture. The proof combines some of Shiu's ideas with those of Goldston-Pintz-Y{\i}ld{\i}r{\i}m, and so this result may be regarded as an application of their method. We then establish lower bounds for the number of prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n < \epsilon\log p_n$ and $p_{n+1} \le Y$. Assuming a certain unproven hypothesis concerning what is referred to as the `level of distribution', $\theta$, of the primes, Goldston-Pintz-Y{\i}ld{\i}r{\i}m were able to prove that $p_{n+1} - p_n \ll_{\theta} 1$ for infinitely many $n$. On the same hypothesis, we prove that there are infinitely many prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n \ll_{q,\theta} 1$. This conditional result is also proved in a quantitative form. In Part II we apply the techniques of Goldston-Pintz-Y{\i}ld{\i}r{\i}m to prove another result, namely that there are infinitely many pairs of distinct primes $p,p'$ such that $(p-1)(p'-1)$ is a perfect square. This is, in a sense, an `approximation' to the old conjecture that there are infinitely many primes $p$ such that $p-1$ is a perfect square. In fact we obtain a lower bound for the number of integers $n$, up to $Y$, such that $n = \ell_1\cdots \ell_r$, the $\ell_i$ distinct primes, and $(\ell_1 - 1)\cdots (\ell_r - 1)$ is a perfect $r$th power, for any given $r \ge 2$. We likewise obtain a lower bound for the number of such $n \le Y$ for which $(\ell_1 + 1)\cdots (\ell_r + 1)$ is a perfect $r$th power. Finally, given a finite set $A$ of nonzero integers, we obtain a lower bound for the number of $n \le Y$ for which $\prod_{p \mid n}(p+a)$ is a perfect $r$th power, simultaneously for every $a \in A$.

Le sujet de cette thèse est l'étude des progressions arithmétiques dans les nombres entiers. Plus précisément, nous nous intéressons à borner inférieurement v(N), la taille du plus grand sous-ensemble des nombres entiers de 1 à N qui ne contient pas de progressions arithmétiques de 3 termes. Nous allons donc construire de grands sous-ensembles de nombres entiers qui ne contiennent pas de telles progressions, ce qui nous donne une borne inférieure sur v(N). Nous allons d'abord étudier les preuves de toutes les bornes inférieures obtenues jusqu'à présent, pour ensuite donner une autre preuve de la meilleure borne. Nous allons considérer les points à coordonnés entières dans un anneau à d dimensions, et compter le nombre de progressions arithmétiques qu'il contient. Pour obtenir des bornes sur ces quantités, nous allons étudier les méthodes pour compter le nombre de points de réseau dans des sphères à plusieurs dimensions, ce qui est le sujet de la dernière section. / The subject of this thesis is the study of arithmetic progressions in the integers. Precisely, we are interested in the size v(N) of the largest subset of the integers from 1 to N that contains no 3 term arithmetic progressions. Therefore, we will construct a large subset of integers with no such progressions, thus giving us a lower bound on v(N). We will begin by looking at the proofs of all the significant lower bounds obtained on v(N), then we will show another proof of the best lower bound known today. For the proof, we will consider points on a large d-dimensional annulus, and count the number of integer points inside that annulus and the number of arithmetic progressions it contains. To obtain bounds on those quantities, it will be interesting to look at the theory behind counting lattice points in high dimensional spheres, which is the subject of the last section.

Cette thèse concerne quelques problèmes liés à la répartition des entiers sans facteur carré dansles progressions arithmétiques. Ces problèmes s’expriment en termes de majorations du terme d’erreurassocié à cette répartition.Les premier, deuxième et quatrième chapitres sont concentrés sur l’étude statistique des termesd’erreur quand on fait varier la progression arithmétique modulo q. En particulier on obtient une formuleasymptotique pour la variance et des majorations non triviales pour les moments d’ordre supérieur. Onfait appel à plusieurs techniques de théorie analytique des nombres comme les méthodes de crible et lessommes d’exponentielles, notamment une majoration récente pour les sommes d’exponentielles courtesdue à Bourgain dans le deuxième chapitre.Dans le troisième chapitre on s’intéresse à estimer le terme d’erreur pour une progression fixée. Onaméliore un résultat de Hooley de 1975 dans deux directions différentes. On utilise ici des majorationsrécentes de sommes d’exponentielles courtes de Bourgain-Garaev et de sommes d’exponentielles torduespar la fonction de Möbius dues à Bourgain et Fouvry-Kowalski-Michel. / This thesis concerns a few problems linked with the distribution of squarefree integers in arithmeticprogressions. Such problems are usually phrased in terms of upper bounds for the error term relatedto this distribution.The first, second and fourth chapter focus on the satistical study of the error terms as the progres-sions varies modulo q. In particular we obtain an asymptotic formula for the variance and non-trivialupper bounds for the higher moments. We make use of many technics from analytic number theorysuch as sieve methods and exponential sums. In particular, in the second chapter we make use of arecent upper bound for short exponential sums by Bourgain.In the third chapter we give estimates for the error term for a fixed arithmetic progression. Weimprove on a result of Hooley from 1975 in two different directions. Here we use recent upper boundsfor short exponential sums by Bourgain-Garaev and exponential sums twisted by the Möbius functionby Bourgain et Fouvry-Kowalski-Michel.

Made available in DSpace on 2016-04-27T16:58:41Z (GMT). No. of bitstreams: 1 Sebastiao Archilia.pdf: 501341 bytes, checksum: 7ee1e1e3e26a096d63298c4185b60432 (MD5) Previous issue date: 2008-06-30 / Secretaria da Educação do Estado de São Paulo / Today it has been disclosed the poor performance of High School students in learning the Algebra. On the other hand, the results of researches, such as Vale e Pimentel (2005) and Machado (2006) among others, emphasized the importance of working with the observation and generalization of patterns to develop the algebraic thinking, which can help to overcome this problem. This situation and the suggestion help me to decide to investigate if high school students in a situation of patterns observation and generalization could construct an algebraic formulation of a general term of an arithmetic progression. To collect data drafted a didactic sequence based on the assumptions of Didactic Engineering as described by Machado (2008). The didactic sequence occurred in tree sessions with the participation of some of my students, all volunteers. For the conclusion I took into account only the results of the data analysis of 11 students present at all sessions. The results led me to conclude that, although students have expressed in natural language a formula for the general term, it was not enough to convert this result for the symbolic algebraic way / Tem sido amplamente divulgada o mau desempenho dos alunos do Ensino Médio em relação a questões de Matemática e especialmente da Álgebra. Por outro lado, os resultados de pesquisas, como os de Vale e Pimentel (2005) e de Machado (2006), entre outros, enfatizam a importância do trabalho com a observação e generalização de padrões para o desenvolvimento do pensamento algébrico, o que pode auxiliar na superação desse problema. Essa situação e a sugestão me levou a investigar se alunos da segunda série do Ensino Médio frente a atividades de observação e generalização de padrões de seqüências constroem uma fórmula para o termo genérico de uma Progressão Aritmética. Para a coleta de dados, elaborei uma seqüência didática embasada nos pressupostos da Engenharia Didática, conforme descrita por Machado (2008). Realizei três sessões com a participação de alguns de meus alunos, todos voluntários. Para a conclusão levei em conta somente os resultados das análises do desempenho de 11 alunos que estiveram presentes em todas as 3 sessões. Os resultados me levaram a concluir que, embora os alunos tenham expressado em linguagem natural uma fórmula para o termo geral, isso não foi suficiente para converterem esse resultado para uma forma simbólica algébrica

Soit $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ la suite des nombres premiers, et soient $q \ge 3$ et $a$ des entiers premiers entre eux. R\'ecemment, Daniel Shiu a d\'emontr\'e une ancienne conjecture de Sarvadaman Chowla. Ce dernier a conjectur\'e qu'il existe une infinit\'e de couples $p_n,p_$ de premiers cons\'ecutifs tels que $p_n \equiv p_{n+1} \equiv a \bmod q$. Fixons $\epsilon > 0$. Une r\'ecente perc\'ee majeure, de Daniel Goldston, J\`anos Pintz et Cem Y{\i}ld{\i}r{\i}m, a \'et\'e de d\'emontrer qu'il existe une suite de nombres r\'eels $x$ tendant vers l'infini, tels que l'intervalle $(x,x+\epsilon\log x]$ contienne au moins deux nombres premiers $\equiv a \bmod q$. \'Etant donn\'e un couple de nombres premiers $\equiv a \bmod q$ dans un tel intervalle, il pourrait exister un nombre premier compris entre les deux qui n'est pas $\equiv a \bmod q$. On peut d\'eduire que soit il existe une suite de r\'eels $x$ tendant vers l'infini, telle que $(x,x+\epsilon\log x]$ contienne un triplet $p_n,p_{n+1},p_{n+2}$ de nombres premiers cons\'ecutifs, soit il existe une suite de r\'eels $x$, tendant vers l'infini telle que l'intervalle $(x,x+\epsilon\log x]$ contienne un couple $p_n,p_{n+1}$ de nombres premiers tel que $p_n \equiv p_{n+1} \equiv a \bmod q$. On pense que les deux \'enonc\'es sont vrais, toutefois on peut seulement d\'eduire que l'un d'entre eux est vrai, sans savoir lequel. Dans la premi\`ere partie de cette th\`ese, nous d\'emontrons que le deuxi\`eme \'enonc\'e est vrai, ce qui fournit une nouvelle d\'emonstration de la conjecture de Chowla. La preuve combine des id\'ees de Shiu et de Goldston-Pintz-Y{\i}ld{\i}r{\i}m, donc on peut consid\'erer que ce r\'esultat est une application de leurs m\'thodes. Ensuite, nous fournirons des bornes inf\'erieures pour le nombre de couples $p_n,p_{n+1}$ tels que $p_n \equiv p_{n+1} \equiv a \bmod q$, $p_{n+1} - p_n < \epsilon\log p_n$, avec $p_{n+1} \le Y$. Sous l'hypoth\`ese que $\theta$, le \og niveau de distribution \fg{} des nombres premiers, est plus grand que $1/2$, Goldston-Pintz-Y{\i}ld{\i}r{\i}m ont r\'eussi \`a d\'emontrer que $p_{n+1} - p_n \ll_{\theta} 1$ pour une infinit\'e de couples $p_n,p_$. Sous la meme hypoth\`ese, nous d\'emontrerons que $p_{n+1} - p_n \ll_{q,\theta} 1$ et $p_n \equiv p_{n+1} \equiv a \bmod q$ pour une infinit\'e de couples $p_n,p_$, et nous prouverons \'egalement un r\'esultat quantitatif. Dans la deuxi\`eme partie, nous allons utiliser les techniques de Goldston-Pintz-Yldrm pour d\'emontrer qu'il existe une infinit\'e de couples de nombres premiers $p,p'$ tels que $(p-1)(p'-1)$ est une carr\'e parfait. Ce resultat est une version approximative d'une ancienne conjecture qui stipule qu'il existe une infinit\'e de nombres premiers $p$ tels que $p-1$ est une carr\'e parfait. En effet, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $n = \ell_1\cdots \ell_r$, avec $\ell_1,\ldots,\ell_r$ des premiers distincts, et tels que $(\ell_1-1)\cdots (\ell_r-1)$ est une puissance $r$-i\`eme, avec $r \ge 2$ quelconque. \'Egalement, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n = \ell_1\cdots \ell_r \le Y$ tels que $(\ell_1+1)\cdots (\ell_r+1)$ est une puissance $r$-i\`eme. Finalement, \'etant donn\'e $A$ un ensemble fini d'entiers non-nuls, nous d\'emontrerons une borne inf\'erieure sur le nombre d'entiers naturels $n \le Y$ tels que $\prod_ (p+a)$ est une puissance $r$-i\`eme, simultan\'ement pour chaque $a \in A$. / Let $p_1 = 2, p_2 = 3, p_3 = 5,\ldots$ be the sequence of all primes, and let $q \ge 3$ and $a$ be coprime integers. Recently, and very remarkably, Daniel Shiu proved an old conjecture of Sarvadaman Chowla, which asserts that there are infinitely many pairs of consecutive primes $p_n,p_{n+1}$ for which $p_n \equiv p_{n+1} \equiv a \bmod q$. Now fix a number $\epsilon > 0$, arbitrarily small. In their recent groundbreaking work, Daniel Goldston, J\`anos Pintz and Cem Y{\i}ld{\i}r{\i}m proved that there are arbitrarily large $x$ for which the short interval $(x, x + \epsilon\log x]$ contains at least two primes congruent to $a \bmod q$. Given a pair of primes $\equiv a \bmod q$ in such an interval, there might be a prime in-between them that is not $\equiv a \bmod q$. One can deduce that \emph{either} there are arbitrarily large $x$ for which $(x, x + \epsilon\log x]$ contains a prime pair $p_n \equiv p_{n+1} \equiv a \bmod q$, \emph{or} that there are arbitrarily large $x$ for which the $(x, x + \epsilon\log x]$ contains a triple of consecutive primes $p_n,p_{n+1},p_{n+2}$. Both statements are believed to be true, but one can only deduce that one of them is true, and one does not know which one, from the result of Goldston-Pintz-Y{\i}ld{\i}r{\i}m. In Part I of this thesis, we prove that the first of these alternatives is true, thus obtaining a new proof of Chowla's conjecture. The proof combines some of Shiu's ideas with those of Goldston-Pintz-Y{\i}ld{\i}r{\i}m, and so this result may be regarded as an application of their method. We then establish lower bounds for the number of prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n < \epsilon\log p_n$ and $p_{n+1} \le Y$. Assuming a certain unproven hypothesis concerning what is referred to as the `level of distribution', $\theta$, of the primes, Goldston-Pintz-Y{\i}ld{\i}r{\i}m were able to prove that $p_{n+1} - p_n \ll_{\theta} 1$ for infinitely many $n$. On the same hypothesis, we prove that there are infinitely many prime pairs $p_n \equiv p_{n+1} \equiv a \bmod q$ with $p_{n+1} - p_n \ll_{q,\theta} 1$. This conditional result is also proved in a quantitative form. In Part II we apply the techniques of Goldston-Pintz-Y{\i}ld{\i}r{\i}m to prove another result, namely that there are infinitely many pairs of distinct primes $p,p'$ such that $(p-1)(p'-1)$ is a perfect square. This is, in a sense, an `approximation' to the old conjecture that there are infinitely many primes $p$ such that $p-1$ is a perfect square. In fact we obtain a lower bound for the number of integers $n$, up to $Y$, such that $n = \ell_1\cdots \ell_r$, the $\ell_i$ distinct primes, and $(\ell_1 - 1)\cdots (\ell_r - 1)$ is a perfect $r$th power, for any given $r \ge 2$. We likewise obtain a lower bound for the number of such $n \le Y$ for which $(\ell_1 + 1)\cdots (\ell_r + 1)$ is a perfect $r$th power. Finally, given a finite set $A$ of nonzero integers, we obtain a lower bound for the number of $n \le Y$ for which $\prod_{p \mid n}(p+a)$ is a perfect $r$th power, simultaneously for every $a \in A$.

Le sujet de cette thèse est l'étude des progressions arithmétiques dans les nombres entiers. Plus précisément, nous nous intéressons à borner inférieurement v(N), la taille du plus grand sous-ensemble des nombres entiers de 1 à N qui ne contient pas de progressions arithmétiques de 3 termes. Nous allons donc construire de grands sous-ensembles de nombres entiers qui ne contiennent pas de telles progressions, ce qui nous donne une borne inférieure sur v(N). Nous allons d'abord étudier les preuves de toutes les bornes inférieures obtenues jusqu'à présent, pour ensuite donner une autre preuve de la meilleure borne. Nous allons considérer les points à coordonnés entières dans un anneau à d dimensions, et compter le nombre de progressions arithmétiques qu'il contient. Pour obtenir des bornes sur ces quantités, nous allons étudier les méthodes pour compter le nombre de points de réseau dans des sphères à plusieurs dimensions, ce qui est le sujet de la dernière section. / The subject of this thesis is the study of arithmetic progressions in the integers. Precisely, we are interested in the size v(N) of the largest subset of the integers from 1 to N that contains no 3 term arithmetic progressions. Therefore, we will construct a large subset of integers with no such progressions, thus giving us a lower bound on v(N). We will begin by looking at the proofs of all the significant lower bounds obtained on v(N), then we will show another proof of the best lower bound known today. For the proof, we will consider points on a large d-dimensional annulus, and count the number of integer points inside that annulus and the number of arithmetic progressions it contains. To obtain bounds on those quantities, it will be interesting to look at the theory behind counting lattice points in high dimensional spheres, which is the subject of the last section.

Submitted by Luciana Sebin (lusebin@ufscar.br) on 2016-09-12T17:46:24Z No. of bitstreams: 1 DissHM.pdf: 7239574 bytes, checksum: ae362c35b36e27d4096f64d4e04665e5 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-13T18:27:31Z (GMT) No. of bitstreams: 1 DissHM.pdf: 7239574 bytes, checksum: ae362c35b36e27d4096f64d4e04665e5 (MD5) / Approved for entry into archive by Marina Freitas (marinapf@ufscar.br) on 2016-09-13T18:27:48Z (GMT) No. of bitstreams: 1 DissHM.pdf: 7239574 bytes, checksum: ae362c35b36e27d4096f64d4e04665e5 (MD5) / Made available in DSpace on 2016-09-13T18:28:00Z (GMT). No. of bitstreams: 1 DissHM.pdf: 7239574 bytes, checksum: ae362c35b36e27d4096f64d4e04665e5 (MD5) Previous issue date: 2015-09-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / The importance of the development of sequences that are arithmetic progressions in the high school was observed in learning situations which the students could investigate and identify patterns in numerical and geometric sequences, building the algebraic language to describe them. This work contributes for the student to build the idea of algebra as language to express irregularities, that is one of the proposed issues by the National Curricular Parameters (PCNs) for the math teaching in the fourth cycle of high school, which contrasts, nowadays, with the scarcity of activities involving observed arithmetic progressions in at least twelve years of experience as a math teacher in these cycles. The elaboration of a teaching product, in the way of activity sheets that, through the recognizing of numerical and geometric patterns, takes the student to the comprehension of the concept of arithmetic progression which could be tested through the application of these activity sheets in two classrooms of the ninth year of high school in a public municipally school. The obtained results of these applications were analyzed and compared to the previous analyzes in raised hypothesis during the elaboration of the activity sheets, using, as investigation methodology, the Didactic Engineering. The students did the activities in groups of two or three, were well motivated and participated as principal character during the application of all steps proposed in the paper, which guaranteed the good development of the activity. In according to the evaluation learning, the students reaching the proposed goals and noting that the produced teaching material works. It is believed that the elaborated material can be useful for other teachers who want to develop, in their classes, arithmetic progressions through the recognizing of patterns, adapting it to the reality of their classrooms. This work contributes hugely to the author, bringing a big professional evolution that starts with the issue choice, continued in the elaboration of the didactic sequence and the application of the activity sheets and finished with the reflection of what have been done and is registered here. / A importância do desenvolvimento de progressões aritméticas que são sequências no ensino fundamental foi observada em situações de aprendizagem que os alunos puderam investigar e identificar padrões em sequências numéricas e geométricas, construindo a linguagem algébrica para descrevê-las. Esse trabalho contribui para que o aluno construa a ideia de álgebra como uma linguagem para expressar regularidades, que é um dos conteúdos propostos pelos Parâmetros Curriculares Nacionais (PCNs) para o ensino de Matemática no quarto ciclo do ensino fundamental, o qual contrasta, atualmente, com a escassez de atividades envolvendo progressões aritméticas constatada em pelo menos doze anos de experiência como professor de matemática nesses ciclos. A elaboração de um produto de ensino, na forma de folhas de atividades que, através do reconhecimento de padrões numéricos ou geométricos levam o estudante à compreensão do conceito de progressão aritmética pôde ser conferida através da aplicação dessas folhas de atividades em duas salas de 9º ano do ensino fundamental de uma escola municipal. Os resultados obtidos dessas aplicações foram analisados e comparados com as análises prévias em hipóteses levantadas durante a elaboração das folhas de atividades, usando, como metodologia de investigação, a Engenharia Didática. Os alunos realizaram as atividades em duplas ou em trios, se sentiram bem motivados e participaram como protagonistas durante a aplicação de todas as etapas propostas nas folhas, o que garantiu o bom desenvolvimento das atividades. De acordo com a avaliação do aprendizado, os alunos atingiram os objetivos propostos e constatou-se que o material de ensino produzido e aplicado funciona. Acredita-se que o material elaborado possa ser útil a outros professores que desejarem desenvolver, em suas aulas, progressões aritméticas através do reconhecimento de padrões, podendo adaptá-lo à realidade de suas turmas. Este trabalho contribuiu enormemente ao autor, trazendo uma grande evolução profissional que se iniciou na escolha do tema, permeou pela elaboração da sequência didática e pela aplicação das folhas de atividades e terminou pela reflexão sobre o que foi feito e se encontra registrado aqui.