POLYA SEMINAR WEEK 2: NUMBER THEORY K. Soundararajan And

Total Page:16

File Type:pdf, Size:1020Kb

POLYA SEMINAR WEEK 2: NUMBER THEORY K. Soundararajan And POLYA SEMINAR WEEK 2: NUMBER THEORY K. Soundararajan and Ravi Vakil The Rules. There are too many problems to consider. Pick a few problems that you find fun, and play around with them. The only rule is that you may not pick a problem that you already know how to solve: where's the fun in that? General problem solving strategies. Try small cases; plug in smaller numbers. Search for a pattern. Draw pictures. Choose effective notation. Work in groups. Divide into cases. Look for symmetry. Work backwards. Argue by contradiction. Parity? Pigeonhole? Induction? Generalize the problem, sometimes that makes it easier. Be flexible: consider many possible approaches before committing to one. Be stubborn: don't give up if your approach doesn't work in five minutes. Ask. Eat pizza, have fun! 1. Of the numbers below 2016 which has the largest number of divisors? (Num- bers with more divisors than all previous ones were called \highly composite" by Ramanujan who made a detailed study of their structure.) 2. Prove that for every positive integer n coprime to 10 there is a multiple of n that does not contain the digit 1 in its decimal expansion. 3. Prove that the product of any four consecutive natural numbers cannot be a perfect square. (Note: In fact, Erd}osand Selfridge proved the beautiful result that no product of any number of consecutive natural numbers can be a perfect power.) 4. If 4n + 2n + 1 is prime then n must be a power of 3. Pn Qn 5. For which positive integers n does j=1 j divide j=1 j. 6. Let n, a and b be positive integers. Prove that gcd(na − 1; nb − 1) = ngcd(a;b) − 1: 7. If m and n are coprime positive integers show that m 2m (n − 1)m n 2n (m − 1)n b c + b c + ::: + b c = b c + b c + ::: + b c: n n n m m m 8. (1991 B1) For each n ≥ 0 let S(n) = n − m2 where m is the greatest integer 2 with m ≤ n. Define a sequence an by setting a0 = A, ak+1 = ak + S(ak). For which choices of A is this sequence eventually constant? 9. (2010 A4) Prove that for each positive number n 10n n 1010 + 1010 + 10n − 1 Typeset by AMS-TEX 1 2 K. SOUNDARARAJAN AND RAVI VAKIL is not prime. 10. Prove Beatty's theorem: Let α and β be positive irrational numbers satisfying 1 1 α + β = 1. Then the sequences bαnc, bβnc, n ≥ 1, partition the positive integers into two disjoint sets. 11. Consider the sequence n(n2016 − 1) where n ranges over the natural numbers. Determine the greatest common divisor of all elements in this sequence. 12. (2009 B1) Se how that every positive rational number can be written as a quotient of products of factorials of (not necessarily distinct) primes. For example, 10 2!5! = : 9 3!3!3! Extra Problems. 13. (Related to 3 above) Prove that the product of eight consecutive natural num- bers is never a perfect fourth power. 14. Let 1 < a1 ≤ a2 ≤ ::: ≤ an be integers with 1 1 + ::: + = 1: a1 an n! Show that an < 2 . Harder problem { an is bounded by the n-th term of Sylvester's sequence 2, 3, 7, 43, ::: where each term is obtained by multiplying all previous terms and adding 1. 15. (1995 B6) For a positive real number α let S(α) = fbnαc : n = 1; 2; 3;::: g. Prove that N cannot be expressed as the disjoint union of three sets S(α), S(β), and S(γ). 16. (1996 A5) If p > 3 is prime and k = b2p=3c, prove that the sum p p + ::: + 1 k is a multiple of p2. 17. (2015 A2) Let a0 = 1, a1 = 2 and an = 4an−1 − an−2 for n ≥ 2. Find an odd prime factor of a2015. 18. Prove that there exists a positive integer k such that k2n + 1 is composite for all positive integers n. 19. Let n ≥ 2 be an integer. If k2 + k + n is a prime for all 0 ≤ k ≤ pn=3, then prove that k2 + k + n is prime for all 0 ≤ k ≤ n − 2..
Recommended publications
  • A Set of Sequences in Number Theory
    A SET OF SEQUENCES IN NUMBER THEORY by Florentin Smarandache University of New Mexico Gallup, NM 87301, USA Abstract: New sequences are introduced in number theory, and for each one a general question: how many primes each sequence has. Keywords: sequence, symmetry, consecutive, prime, representation of numbers. 1991 MSC: 11A67 Introduction. 74 new integer sequences are defined below, followed by references and some open questions. 1. Consecutive sequence: 1,12,123,1234,12345,123456,1234567,12345678,123456789, 12345678910,1234567891011,123456789101112, 12345678910111213,... How many primes are there among these numbers? In a general form, the Consecutive Sequence is considered in an arbitrary numeration base B. Reference: a) Student Conference, University of Craiova, Department of Mathematics, April 1979, "Some problems in number theory" by Florentin Smarandache. 2. Circular sequence: 1,12,21,123,231,312,1234,2341,3412,4123,12345,23451,34512,45123,51234, | | | | | | | | | --- --------- ----------------- --------------------------- 1 2 3 4 5 123456,234561,345612,456123,561234,612345,1234567,2345671,3456712,... | | | --------------------------------------- ---------------------- ... 6 7 How many primes are there among these numbers? 3. Symmetric sequence: 1,11,121,1221,12321,123321,1234321,12344321,123454321, 1234554321,12345654321,123456654321,1234567654321, 12345677654321,123456787654321,1234567887654321, 12345678987654321,123456789987654321,12345678910987654321, 1234567891010987654321,123456789101110987654321, 12345678910111110987654321,... How many primes are there among these numbers? In a general form, the Symmetric Sequence is considered in an arbitrary numeration base B. References: a) Arizona State University, Hayden Library, "The Florentin Smarandache papers" special collection, Tempe, AZ 85287- 1006, USA. b) Student Conference, University of Craiova, Department of Mathematics, April 1979, "Some problems in number theory" by Florentin Smarandache. 4. Deconstructive sequence: 1,23,456,7891,23456,789123,4567891,23456789,123456789,1234567891, ..
    [Show full text]
  • Counting Integers with a Smooth Totient
    COUNTING INTEGERS WITH A SMOOTH TOTIENT W. D. BANKS, J. B. FRIEDLANDER, C. POMERANCE, AND I. E. SHPARLINSKI Abstract. In an earlier paper we considered the distribution of integers n for which Euler's totient function at n has all small prime factors. Here we obtain an improvement that is likely to be best possible. 1. Introduction Our paper [1] considers various multiplicative problems related to Euler's function '. One of these problems concerns the distribution of integers n for which '(n) is y-smooth (or y-friable), meaning that all prime factors of '(n) are at most y. Let Φ(x; y) denote the number of n ≤ x such that '(n) is y-smooth. Theorem 3.1 in [1] asserts that the following bound holds: For any fixed " > 0, numbers x; y with y ≥ (log log x)1+", and u = log x= log y ! 1, we have the bound Φ(x; y) ≤ x= exp((1 + o(1))u log log u): In this note we we establish a stronger bound. Merging Propositions 2.3 and 3.2 below we prove the following result. Theorem 1.1. For any fixed " > 0, numbers x; y with y ≥ (log log x)1+", and u = log x= log y ! 1, we have Φ(x; y) ≤ x exp−u(log log u + log log log u + o(1)): One might wonder about a matching lower bound for Φ(x; y), but this is very difficult to achieve since it depends on the distribution of primes p with p−1 being y-smooth. Let (x; y) denote the number of y- smooth integers at most x, and let π(x; y) denote the number of primes p ≤ x such that p−1 is y-smooth.
    [Show full text]
  • Binomial Coefficients and Lucas Sequences
    Journal of Number Theory 93, 246–284 (2002) doi:10.1006/jnth.2001.2721, available online at http://www.idealibrary.comon Binomial Coefficients and Lucas Sequences Achim Flammenkamp Fakultät für Mathematik, Universität Bielefeld, Postfach 10 01 31, 33 501 Bielefeld, Germany E-mail: [email protected] and Florian Luca Instituto de Matema´ticas de la UNAM, Campus Morelia, Apartado Postal 61-3 (Xangari), CP 58 089, Morelia, Michoa´can, Mexico E-mail: [email protected] Communicated by A. Granville View metadata, citation and similarReceived papers at October core.ac.uk 30, 2000 brought to you by CORE provided by Elsevier - Publisher Connector 1. INTRODUCTION Throughout this paper, a and b are integers such that a>|b|. For any non-negative integer n let an −bn u = (1) n a−b and n n vn =a +b . (2) The sequences (un )n \ 0 and (vn )n \ 0 are particular instances of the so-called Lucas sequences of first and second kind, respectively. These sequences enjoy very nice arithmetic properties and diophantine equations involving members of such sequences often arise in the study of exponential diophantine equations. In this paper, we investigate the occurrence of binomial coefficients in sequences whose general term is given by formula (1) or (2). That is, we look at the solutions of the diophantine equations m u =1 2 for m \ 2k>2 (3) n k 246 0022-314X/02 $35.00 © 2002 Elsevier Science (USA) ⁄ All rights reserved. BINOMIAL COEFFICIENTS AND SEQUENCES 247 and m v =1 2 for m \ 2k>2. (4) n k m m m Notice that since ( 1 )=m and ( k )=( m−k) hold for all m \ 1 and for all 1 [ k [ m−1, the assumption m \ 2k>2 imposes no restriction at all on the non-trivial solutions of the equations (3) and (4).
    [Show full text]
  • Using Formal Concept Analysis in Mathematical Discovery
    Using Formal Concept Analysis in Mathematical Discovery Simon Colton and Daniel Wagner sgc, [email protected] Combined Reasoning Group Department of Computing Imperial College, London http://www.doc.ic.ac.uk/crg/ Abstract. Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discovery of meaningful re- lationships between attributes of the data. We explore the potential of combining FCA and mathematical discovery tools in order to better fa- cilitate discovery tasks. In particular, we propose a novel lookup method for the Encyclopedia of Integer Sequences, and we show how conjectures from the Graffiti discovery program can be better understood using FCA visualisation tools. We argue that, not only can FCA tools greatly en- hance the management and visualisation of mathematical knowledge, but they can also be used to drive exploratory processes. 1 Introduction Formal Concept Analysis (FCA) consists of a set of well established techniques for the analysis and manipulation of data. FCA has a strong theoretical un- derpinning, efficient implementations of fast algorithms, and useful visualisation tools. There are strong links between FCA and machine learning, and the con- nection of both fields is an active area of research [8,12,13]. We concentrate here on the combination of FCA tools with systems developed to aid mathemat- ical discovery. In particular, we are interested in addressing (i) whether FCA algorithms can be used to enhance the discovery process and (ii) whether FCA visualisation tools can enable better understanding of the discoveries made.
    [Show full text]
  • Primes of the Form (Bn + 1)/(B + 1)
    1 2 Journal of Integer Sequences, Vol. 3 (2000), 3 Article 00.2.7 47 6 23 11 Primes of the Form (bn + 1)=(b + 1) Harvey Dubner 449 Beverly Road, Ridgewood, New Jersey 07450 Torbj¨orn Granlund Notvarpsgr¨and 1, 1tr SE-116 66 Stockholm, Sweden Email addresses: [email protected] and [email protected] Abstract Numbers of the form (bn + 1)=(b + 1) are tested for primality. A table of primes and probable primes is presented for b up to 200 and large values of n. 1999 Mathematics Subject Classification: Primary 11A41 Keywords: prime numbers, generalized repunits 1. Introduction A truly prodigious amount of computation has been devoted to investigating numbers of the form bn 1. The Cunningham project, to factor these numbers for b from 2 to 12, is perhaps± the longest running computer project of all time [4]. The range of b has been extended to 100 and even further in special cases [1][2] . The Mersenne numbers, 2n 1 have been studied extensively for hundreds of years and the largest known prime− is almost always a Mersenne prime. In [6], generalized repunit primes of the form (bn 1)=(b 1) were tabulated for bases up to 99 and large values of n. − − The purpose of this paper is to present the results of computer searches for primes of the form, bn + 1 (1) Q(b; n) = b + 1 for bases up to 200 and large values of n. 1 2 2. Prime Search For certain values of n in (1) the denominator cannot divide the numerator and are thus excluded from this study, and Q has algebraic factors for certain other values of b; n so that it cannot be prime.
    [Show full text]
  • List of Numbers
    List of numbers This is a list of articles aboutnumbers (not about numerals). Contents Rational numbers Natural numbers Powers of ten (scientific notation) Integers Notable integers Named numbers Prime numbers Highly composite numbers Perfect numbers Cardinal numbers Small numbers English names for powers of 10 SI prefixes for powers of 10 Fractional numbers Irrational and suspected irrational numbers Algebraic numbers Transcendental numbers Suspected transcendentals Numbers not known with high precision Hypercomplex numbers Algebraic complex numbers Other hypercomplex numbers Transfinite numbers Numbers representing measured quantities Numbers representing physical quantities Numbers without specific values See also Notes Further reading External links Rational numbers A rational number is any number that can be expressed as the quotient or fraction p/q of two integers, a numerator p and a non-zero denominator q.[1] Since q may be equal to 1, every integer is a rational number. The set of all rational numbers, often referred to as "the rationals", the field of rationals or the field of rational numbers is usually denoted by a boldface Q (or blackboard bold , Unicode ℚ);[2] it was thus denoted in 1895 byGiuseppe Peano after quoziente, Italian for "quotient". Natural numbers Natural numbers are those used for counting (as in "there are six (6) coins on the table") and ordering (as in "this is the third (3rd) largest city in the country"). In common language, words used for counting are "cardinal numbers" and words used for ordering are
    [Show full text]
  • Sum of the Reciprocals of Famous Series: Mathematical Connections with Some Sectors of Theoretical Physics and String Theory
    1Torino, 14/04/2016 Sum of the reciprocals of famous series: mathematical connections with some sectors of theoretical physics and string theory 1,2 Ing. Pier Franz Roggero, Dr. Michele Nardelli , P.i. Francesco Di Noto 1Dipartimento di Scienze della Terra Università degli Studi di Napoli Federico II, Largo S. Marcellino, 10 80138 Napoli, Italy 2 Dipartimento di Matematica ed Applicazioni “R. Caccioppoli” Università degli Studi di Napoli “Federico II” – Polo delle Scienze e delle Tecnologie Monte S. Angelo, Via Cintia (Fuorigrotta), 80126 Napoli, Italy Abstract In this paper it has been calculated the sums of the reciprocals of famous series. The sum of the reciprocals gives fundamental information on these series. The higher this sum and larger numbers there are in series and vice versa. Furthermore we understand also what is the growth factor of the series and that there is a clear link between the sums of the reciprocal and the "intrinsic nature" of the series. We have described also some mathematical connections with some sectors of theoretical physics and string theory 2Torino, 14/04/2016 Index: 1. KEMPNER SERIES ........................................................................................................................................................ 3 2. SEXY PRIME NUMBERS .............................................................................................................................................. 6 3. TWIN PRIME NUMBERS .............................................................................................................................................
    [Show full text]
  • Package 'Bigintegeralgos'
    Package ‘bigIntegerAlgos’ April 11, 2018 Type Package Title R Tool for Factoring Big Integers Version 0.1.0 Author Joseph Wood Maintainer Joseph Wood <[email protected]> Description Features the multiple polynomial quadratic sieve algorithm for factoring large integers and a vectorized factoring function that returns the complete factorization of an integer. Utilizes the C library GMP (GNU Multiple Precision Arithmetic) and classes created by Antoine Lucas et al. found in the 'gmp' package. License GPL (>= 2) BuildResaveData no Encoding UTF-8 SystemRequirements gmp (>= 4.2.3) Suggests testthat, numbers (>= 0.6-6), RcppAlgos (>= 1.0.1) Depends gmp NeedsCompilation yes URL https://github.com/jwood000/bigIntegerAlgos, http://mathworld.wolfram.com/QuadraticSieve.html BugReports https://github.com/jwood000/bigIntegerAlgos/issues RoxygenNote 6.0.1 Repository CRAN Date/Publication 2018-04-11 21:46:05 UTC R topics documented: divisorsBig . .2 quadraticSieve . .3 Index 5 1 2 divisorsBig divisorsBig Vectorized Factorization (Complete) with GMP Description Quickly generates the complete factorization for many (possibly large) numbers. Usage divisorsBig(v, namedList = FALSE) Arguments v Vector of integers, numerics, string values, or elements of class bigz. namedList Logical flag. If TRUE and the length(v) > 1, a named list is returned. The default is FALSE. Details Highly optimized algorithm to generate the complete factorization for many numbers. It is built specifically for the data type that is used in the gmp library (i.e. mpz_t). The main part of this algorithm is essentially the same algorithm that is implemented in divisorsR- cpp from the RcppAlgos package. A modified merge sort algorithm is implemented to better deal with the mpz_t data type.
    [Show full text]
  • Numbers 1 to 100
    Numbers 1 to 100 PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Tue, 30 Nov 2010 02:36:24 UTC Contents Articles −1 (number) 1 0 (number) 3 1 (number) 12 2 (number) 17 3 (number) 23 4 (number) 32 5 (number) 42 6 (number) 50 7 (number) 58 8 (number) 73 9 (number) 77 10 (number) 82 11 (number) 88 12 (number) 94 13 (number) 102 14 (number) 107 15 (number) 111 16 (number) 114 17 (number) 118 18 (number) 124 19 (number) 127 20 (number) 132 21 (number) 136 22 (number) 140 23 (number) 144 24 (number) 148 25 (number) 152 26 (number) 155 27 (number) 158 28 (number) 162 29 (number) 165 30 (number) 168 31 (number) 172 32 (number) 175 33 (number) 179 34 (number) 182 35 (number) 185 36 (number) 188 37 (number) 191 38 (number) 193 39 (number) 196 40 (number) 199 41 (number) 204 42 (number) 207 43 (number) 214 44 (number) 217 45 (number) 220 46 (number) 222 47 (number) 225 48 (number) 229 49 (number) 232 50 (number) 235 51 (number) 238 52 (number) 241 53 (number) 243 54 (number) 246 55 (number) 248 56 (number) 251 57 (number) 255 58 (number) 258 59 (number) 260 60 (number) 263 61 (number) 267 62 (number) 270 63 (number) 272 64 (number) 274 66 (number) 277 67 (number) 280 68 (number) 282 69 (number) 284 70 (number) 286 71 (number) 289 72 (number) 292 73 (number) 296 74 (number) 298 75 (number) 301 77 (number) 302 78 (number) 305 79 (number) 307 80 (number) 309 81 (number) 311 82 (number) 313 83 (number) 315 84 (number) 318 85 (number) 320 86 (number) 323 87 (number) 326 88 (number)
    [Show full text]
  • Generalized Partitions and New Ideas on Number Theory and Smarandache Sequences
    Generalized Partitions and New Ideas On Number Theory and Smarandache Sequences Editor’s Note This book arose out of a collection of papers written by Amarnath Murthy. The papers deal with mathematical ideas derived from the work of Florentin Smarandache, a man who seems to have no end of ideas. Most of the papers were published in Smarandache Notions Journal and there was a great deal of overlap. My intent in transforming the papers into a coherent book was to remove the duplications, organize the material based on topic and clean up some of the most obvious errors. However, I made no attempt to verify every statement, so the mathematical work is almost exclusively that of Murthy. I would also like to thank Tyler Brogla, who created the image that appears on the front cover. Charles Ashbacher Smarandache Repeatable Reciprocal Partition of Unity {2, 3, 10, 15} 1/2 + 1/3 + 1/10 + 1/15 = 1 Amarnath Murthy / Charles Ashbacher AMARNATH MURTHY S.E.(E&T) WELL LOGGING SERVICES OIL AND NATURAL GAS CORPORATION LTD CHANDKHEDA AHMEDABAD GUJARAT- 380005 INDIA CHARLES ASHBACHER MOUNT MERCY COLLEGE 1330 ELMHURST DRIVE NE CEDAR RAPIDS, IOWA 42402 USA GENERALIZED PARTITIONS AND SOME NEW IDEAS ON NUMBER THEORY AND SMARANDACHE SEQUENCES Hexis Phoenix 2005 1 This book can be ordered in a paper bound reprint from: Books on Demand ProQuest Information & Learning (University of Microfilm International) 300 N. Zeeb Road P.O. Box 1346, Ann Arbor MI 48106-1346, USA Tel.: 1-800-521-0600 (Customer Service) http://wwwlib.umi.com/bod/search/basic Peer Reviewers: 1) Eng.
    [Show full text]
  • A First Digit Theorem for Powerful Integer Powers
    Hürlimann SpringerPlus (2015) 4:576 DOI 10.1186/s40064-015-1370-3 RESEARCH Open Access A first digit theorem for powerful integer powers Werner Hürlimann* *Correspondence: [email protected] Abstract Swiss Mathematical Society, For any fixed power exponent, it is shown that the first digits of powerful integer University of Fribourg, 1700 Fribourg, Switzerland powers follow a generalized Benford law (GBL) with size-dependent exponent that converges asymptotically to a GBL with the inverse double power exponent. In par- ticular, asymptotically as the power goes to infinity these sequences obey Benford’s law. Moreover, the existence of a one-parametric size-dependent exponent function that converges to these GBL’s is established, and an optimal value that minimizes its deviation to two minimum estimators of the size-dependent exponent is determined. The latter is undertaken over the finite range of powerful integer powers less than 10s·m, m = 8, ..., 15, where s = 1, 2, 3, 4, 5 is a fixed power exponent. Keywords: First digit, Powerful number, Asymptotic counting function, Probabilistic number theory, Mean absolute deviation, Probability weighted least squares Mathematics Subject Classification: 11K36, 11N37, 11Y55, 62E20, 62F12 Background It is well-known that the first digits of many numerical data sets are not uniformly dis- tributed. Newcomb (1881) and Benford (1938)) observed that the first digits of many series of real numbers obey Benford’s law PB(d) log (1 d) log (d), d 1, 2, ..., 9. (1) = 10 + − 10 = The increasing knowledge about Benford’s law and its applications has been col- lected in two recent books by Berger and Hill (2015) and Miller (2015).
    [Show full text]
  • Number Theory and Combinatorics
    Number Theory and Combinatorics B SURY Stat-Math Unit, Indian Statistical Institute, Bengaluru, India. All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without prior permission of the publisher. c Indian Academy of Sciences 2017 Reproduced from Resonance{journal of science education Reformatted by TNQ Books and Journals Pvt Ltd, www.tnq.co.in Published by Indian Academy of Sciences Foreword The Masterclass series of eBooks brings together pedagogical articles on single broad topics taken from Resonance, the Journal of Science Educa- tion, that has been published monthly by the Indian Academy of Sciences since January 1996. Primarily directed at students and teachers at the un- dergraduate level, the journal has brought out a wide spectrum of articles in a range of scientific disciplines. Articles in the journal are written in a style that makes them accessible to readers from diverse backgrounds, and in addition, they provide a useful source of instruction that is not always available in textbooks. The third book in the series, `Number Theory and Combinatorics', is by Prof. B Sury. A celebrated mathematician, Prof. Sury's career has largely been at the Tata Institute of Fundamental Research, Mumbai', and the Indian Statistical Institute, Bengaluru, where he is presently professor. He has contributed pedagogical articles regularly to Resonance, and his arti- cles on Number Theory and Combinatorics comprise the present book. He has also served for many years on the editorial board of Resonance. Prof.
    [Show full text]