DOCSLIB.ORG

A Primer of Analytic Number Theory: from Pythagoras to Riemann Jeffrey Stopple Index More Information

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Primer of Analytic Number Theory: from Pythagoras to Riemann Jeffrey Stopple Index More Information Cambridge University Press 0521813093 - A Primer of Analytic Number Theory: From Pythagoras to Riemann Jeffrey Stopple Index More information Index #, number of elements in a set, 101 and ␨(2n), 154–157 A =, Abel summation, 202, 204, 213 and Euler-Maclaurin summation, 220 definition, 201 definition, 149 Abel’s Theorem Bernoulli, Jacob, 146, 150, 152 I, 140, 145, 201, 267, 270, 272 Bessarion, Cardinal, 282 II, 143, 145, 198, 267, 270, 272, 318 binary quadratic forms, 270 absolute convergence definition, 296 applications, 133, 134, 139, 157, 167, 194, equivalence relation ∼, 296 198, 208, 215, 227, 236, 237, 266 reduced, 302 definition, 133 Birch Swinnerton-Dyer conjecture, xi, xii, abundant numbers, 27, 29, 31, 43, 54, 60, 61, 291–294, 326 82, 177, 334, 341, 353 Black Death, 43, 127 definition, 27 Blake, William, 216 Achilles, 125 Boccaccio’s Decameron, 281 aliquot parts, 27 Boethius, 28, 29, 43, 278 aliquot sequences, 335 Bombelli, Raphael, 282 amicable pairs, 32–35, 39, 43, 335 de Bouvelles, Charles, 61 definition, 334 Bradwardine, Thomas, 43, 127 ibn Qurra’s algorithm, 33 in Book of Genesis, 33 C2, twin prime constant, 182 amplitude, 237, 253 Cambyses, Persian emperor, 5 Analytic Class Number Formula, 273, 293, Cardano, Girolamo, 25, 282 311–315 Catalan-Dickson conjecture, 336 analytic continuation, 196 Cataldi, Pietro, 30, 333 Anderson, Laurie, ix cattle problem, 261–263 Apollonius, 261, 278 Chebyshev, Pafnuty, 105, 108 Archimedes, 20, 32, 92, 125, 180, 260, 285 Chinese Remainder Theorem, 259, 266, 307, area, basic properties, 89–91, 95, 137, 138, 308, 317 198, 205, 346 Cicero, 21 Aristotle’s Metaphysics,5,127 class number, see also h arithmetical function, 39 Clay Mathematics Institute, xi ∼, asymptotic, 64 comparison test Athena, 28 infinite series, 133 St. Augustine, 28, 326 integrals, 90 automorphism, 305 congruent, 254 average order, 67 congruent number, 279 connections to elliptic curves, 280–281, Bachet de M´eziriac,Claude-Gaspar, 61, 283 293 Bachet equation, 284, 289 Constantine X, Byzantine emperor, 279 Basel problem, 146 Constantinople Bk , Bernoulli numbers, 150–153, 210 fall to Ottoman Turks, 282 and ␨(1 − 2n), 212 sacked by crusaders, 279 379 © Cambridge University Press www.cambridge.org Cambridge University Press 0521813093 - A Primer of Analytic Number Theory: From Pythagoras to Riemann Jeffrey Stopple Index More information 380 Index continuity in terms of “Big Oh,” 87 Fundamental Theorem of Finite Calculus convergent series, 130 I, 15, 141, 330–332 ∗, convolution, 39–42 II, 19, 141 definition, 39 critical strip, 195 Galileo, 31, 127 cryptography, 148, 283 ␥, Euler’s constant, 44, 49–52, 74, 77, 103, St. Cyril, 278 129, 168, 174, 175, 179, 184, 229, 347, 353 d, discriminant, 296 definition, 49 D, derivative operator, 245 (s), Gamma function, 148 Dante’s Inferno, 281 analytic continuation, 208 deficient numbers, 27, 29, 31, 43, 60, 82, and sin(x), 207 334, 345 and factorials, 206 definition, 27 definition, 204 derivative in terms of “Big Oh,” 87 partial fractions expansion, 208 Descartes, Ren´e,38 product formula, 229 , difference operator, 11–23, 95, 328–329 Gauss, Carl Friedrich, 2, 6, 193, 254, 265, 273, definition, 11 290, 296, 315, 322 Diophantine equations, 277 Geometric series, 20, 116, 123, 125–126, 130, examples, 279, 284–286 131, 134, 135, 140, 151, 157, 163, 167, Diophantus, x, 278 203, 210, 227, 231, 247, 266, 312, 331, Dirichlet, Lejeune, 76, 273, 307 358 divergent series, 130 Geometrical Number, x Gerbert d’Aurillac, 29 Egyptian hieroglyphic inscription, 24 Germain, Marie-Sophie, 180 elliptic curve, definition, 274 gnomon, 1, 10, 11, 328 elliptic integrals, 148, 274 Great Year, 5, 127 entire functions, 229 Gregory’s series, xii, 132, 144, 149, 273, 311 envelope, 237 GRH, generalized Riemann hypothesis, 315 equivalence relation, 46, 47, 67, 81, 254, group structure 296 2 × 2 integer matrices, 297 Eratosthenes, 261 arithmetic functions under convolution ∗,40 Erf(x), error function, 95, 118 classes modulo n, 255 Euclid, 27, 30, 37, 38, 282 classes of binary quadratic forms, 298 Euclidean algorithm, 255, 259 points on an elliptic curve, 274 Eudemus, 6 solutions to Pell’s equation, 262 E, Euler operator, 202, 245–247, 355 definition, 202 h, class number, 273 Euler, Leonhard, 34, 38, 146, 159, 180, 193, algorithm for, 302 201, 204, 206, 207, 213, 225, 254, 260, and Siegel zero, 320–326 265, 285, 286 definition, 299 Euler-Maclaurin summation, 220 Gauss’ Conjecture, 315, 322, 326 exp(x), xiii upper bound, 320 Hadamard, Jacques, 187, 230 factorial powers, 13–18 Hardy, G.H., 76, 228, 284 definition, 13 Harmonic series, 130, 133, 146, 160, 161, Faulhaber, Johann, 152 249 Fermat’s Last Theorem, x, 148, 179, 180, definition, 128 285, 286, 293 heat equation, 221, 225 Fermat’s Little Theorem, 256 Hecke, Erich, 322 de Fermat, Pierre, x, xii, 30, 31, 33, 254, 257, Hensel’s Lemma, 258, 307 260, 280, 285, 286, 295, 333 Hercules, 29 Frederick II, Holy Roman Emperor, 280 Herodotus, The Histories,5 fundamental discriminant, 306 hexagonal numbers, 12 Fundamental Theorem of Calculus Hillsboro Mathematical Club, 262 I, 93, 94, 95, 99, 101, 136, 239, 242 Hn, Harmonic numbers, 19, 23, 56, 61, 70, II, 94 73, 92, 95, 96, 127, 129, 168, 220 © Cambridge University Press www.cambridge.org Cambridge University Press 0521813093 - A Primer of Analytic Number Theory: From Pythagoras to Riemann Jeffrey Stopple Index More information Index 381 asymptotics, 64 mathematician, ix, xii, 21, 28, 193, bounds, 47–52 359 definition, 19 Mean Value Theorem, 321 (2) Hn , Second-order harmonic numbers, 129 M, Mellin transform, 235–236, 244–247 definition, 76 definition, 234 (3) Hn , Third-order harmonic numbers, 78, 129 Mengoli, Pietro, 131, 146 Holzmann, Wilhelm, 283 Mersenne numbers, 39, 43, 45, 180, 186, 353, Homer 354, 365 Iliad, 125 definition, 31 Odyssey,29 distribution of prime, 182–185 Hypatia, 278 divisors of, 257 Hypothesis I, 97, 100, 102, 104, 347 Mersenne, Marin, 31, 33–35, 38, 43 Mertens’ Formula, 103, 104, 129, 168, 174, i, definition, 188 177, 178, 182, 184, 293 Iamblichus, 5, 28, 29, 32, 43, 279 Millenium Prize Problems, xi Im(z), imaginary part, 189 modulo, definition, 254 independent events, 96 ␮(n), M¨obiusfunction, 41, 337 induction, 3, 4, 8, 9, 17, 18, 106, 108, definition, 40 136, 155, 206, 328 inversion formula, 41, 248 infinite series, 130 Muhammad ibn Alhocain, 280 injective, 234, 289 music, see also Riemann Hypothesis integral test, 139 de Nemore, Jordanus, 60, 334 Justinian, Byzantine emperor, 279 Newton, Isaac, 24, 92, 131, 276 Nicholas V, Pope, 282 L-function, 260 Nicomachus, 9, 27, 29, 43, 186, 278 Dirichlet, 266–273, 310–326 elliptic curve, 291–294 O, “Big Oh” Lagrange, Joseph-Louis, xi, 263, 273 definition, 46, 84 (n), Von Mangoldt function, 231 improved definition, 69 (s), 225 Oresme, Nicole, 20, 127, 130, 133 (s, d), 314 Otto III, Holy Roman Emperor, 29 (s, F), 314 Lambert series, 204 PARI, xiii, 28 lattice point, 66 de Parthenay, Catherine, x, 283 Laurent series, 123 Pazzi Antonio, 282 Legendre symbol, 288 Pell’s equation, 5, 148, 260–273 Leonardo of Pisa, 20, 280, 282 pentagonal numbers, 11–12 level curves, 190, 191, 213 Samuel Pepys’ Diary, 148 Library of Alexandria, 279, 282 perfect numbers, 27, 29–31, 39, 43, 332–335, limits in terms of “Big Oh,” 87 337 linear, 235 definition, 27 Livy, 20 Euclid’s theorem, 37 , “less than less than,” definition, 44, 84 Euler’s theorem, 38, 39, 43 log(x) Nicomachus’ claim, 43, 186 definition as an integral, 95 odd, 38 means natural logarithm, xiii period, 237, 253 logarithmic derivative, 157, 230 phase shift, 237 definition, 124 ␾(s), 195 Li(x), Logarithmic integral, 239–242 Pi notation for products, 97, 159 definition, 101 Pink Floyd, 126 L(x), Euler’s dilogarithm, 121, 135 ␲(x) definition, 101 Maple, xiii, 32, 35, 192, 199, 202 Gram’s series, 248 Mathematica, xiii, 32, 35, 192, 199, 202, lower bounds, 108–110 238, 253, 294, 300, 303, 306, 354, 360, Riemann’s explicit formula, 248 361, 371 upper bounds, 105–108 © Cambridge University Press www.cambridge.org Cambridge University Press 0521813093 - A Primer of Analytic Number Theory: From Pythagoras to Riemann Jeffrey Stopple Index More information 382 Index (x) functional equation, 213, 216, 225–228, definition, 242 230, 252, 292 Riemann’s explicit formula, 244 Hadamard product, 194, 230 Plato, x level curves, 213 Plutarch, 4, 20 movie, 199, 354 Poiters, battle of, 127 zeros, 196, 199, 203, 214, 228, 230, 234, pole, 123 237, 239, 247, 249 positive definite, 298 Riemann, G. F. Bernhard, 193, 194, 225, 230, Prime Number Theorem, 97, 102, 105, 128, 232, 244, 251, 252, 308 249, 251 and general relativity, 194 exposition of proof, 249 principal form, 298 s(n), 31, 33, 35, 332, 334–336 properly represent, 303 averages, 81–82, 344–345 Psellus, Michael, 278, 279 bounds, 56, 59, 175, 340 (x) definition, 27 definition, 232 Scot, Michael, 281 Von Magoldt’s explicit formula, 234 Shelley, Percy Bysshe, 1 exposition, 236–238 Siegel zeros movie, 361 and class number, 322–326 Ptolemy, 30, 278, 282 bounds, 320–322 Pyramidal numbers, 8 definition, 316 definition, 8 ␴(n), Sigma function, 25–27, 33, 39, 40, 42, Pythagoras, 5, 28, 32 332 Pythagoreans, ix, 1, 5, 27, 29, 127, 278, 295 averages, 79–81 bounds, 46, 54–56, 59–61, 174–179, 338, Quadratic Reciprocity Law, 228, 264, 272, 353 287, 290, 308, 309, 367 definition, 24 quadrivium, 29, 127, 194, 281 formula, 36–37 quantum mechanics, xii Sigma notation, 2, 6, 24, 97, 115, 117 , Sigma operator, 14–16 r, rank of elliptic curve, 281, 292, 293, 370 definition, 14 definition, 277 simple pole, 123 radius of convergence, 135 singular
Load more

Recommended publications
  • A Tour of Fermat's World
    ATOUR OF FERMAT’S WORLD Ching-Li Chai Samples of numbers More samples in arithemetic ATOUR OF FERMAT’S WORLD Congruent numbers Fermat’s infinite descent Counting solutions Ching-Li Chai Zeta functions and their special values Department of Mathematics Modular forms and University of Pennsylvania L-functions Elliptic curves, complex multiplication and Philadelphia, March, 2016 L-functions Weil conjecture and equidistribution ATOUR OF Outline FERMAT’S WORLD Ching-Li Chai 1 Samples of numbers Samples of numbers More samples in 2 More samples in arithemetic arithemetic Congruent numbers Fermat’s infinite 3 Congruent numbers descent Counting solutions 4 Fermat’s infinite descent Zeta functions and their special values 5 Counting solutions Modular forms and L-functions Elliptic curves, 6 Zeta functions and their special values complex multiplication and 7 Modular forms and L-functions L-functions Weil conjecture and equidistribution 8 Elliptic curves, complex multiplication and L-functions 9 Weil conjecture and equidistribution ATOUR OF Some familiar whole numbers FERMAT’S WORLD Ching-Li Chai Samples of numbers More samples in §1. Examples of numbers arithemetic Congruent numbers Fermat’s infinite 2, the only even prime number. descent 30, the largest positive integer m such that every positive Counting solutions Zeta functions and integer between 2 and m and relatively prime to m is a their special values prime number. Modular forms and L-functions 3 3 3 3 1729 = 12 + 1 = 10 + 9 , Elliptic curves, complex the taxi cab number. As Ramanujan remarked to Hardy, multiplication and it is the smallest positive integer which can be expressed L-functions Weil conjecture and as a sum of two positive integers in two different ways.
    [Show full text]
  • A Theorem of Fermat on Congruent Number Curves Lorenz Halbeisen, Norbert Hungerbühler
    A Theorem of Fermat on Congruent Number Curves Lorenz Halbeisen, Norbert Hungerbühler To cite this version: Lorenz Halbeisen, Norbert Hungerbühler. A Theorem of Fermat on Congruent Number Curves. Hardy-Ramanujan Journal, Hardy-Ramanujan Society, 2019, Hardy-Ramanujan Journal, 41, pp.15 – 21. hal-01983260 HAL Id: hal-01983260 https://hal.archives-ouvertes.fr/hal-01983260 Submitted on 16 Jan 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Hardy-Ramanujan Journal 41 (2018), 15-21 submitted 28/03/2018, accepted 06/07/2018, revised 06/07/2018 A Theorem of Fermat on Congruent Number Curves Lorenz Halbeisen and Norbert Hungerb¨uhler To the memory of S. Srinivasan Abstract. A positive integer A is called a congruent number if A is the area of a right-angled triangle with three rational sides. Equivalently, A is a congruent number if and only if the congruent number curve y2 = x3 − A2x has a rational point (x; y) 2 Q2 with y =6 0. Using a theorem of Fermat, we give an elementary proof for the fact that congruent number curves do not contain rational points of finite order.
    [Show full text]
  • Congruent Numbers with Many Prime Factors
    Congruent numbers with many prime factors Ye Tian1 Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China † Edited by S. T. Yau, Harvard University, Cambridge, MA, and approved October 30, 2012 (received for review September 28, 2012) Mohammed Ben Alhocain, in an Arab manuscript of the 10th Remark 2: The kernel A½2 and the image 2A of the multiplication century, stated that the principal object of the theory of rational by 2 on A are characterized by Gauss’ genus theory. Note that the × 2 right triangles is to find a square that when increased or diminished multiplication by 2 induces an isomorphism A½4=A½2’A½2 ∩ 2A. by a certain number, m becomes a square [Dickson LE (1971) History By Gauss’ genus theory, Condition 1 is equivalent in that there are of the Theory of Numbers (Chelsea, New York), Vol 2, Chap 16]. In exactly an odd number of spanning subtrees in the graph whose modern language, this object is to find a rational point of infinite ; ⋯; ≠ vertices are p0 pk and whose edges are those pipj, i j,withthe order on the elliptic curve my2 = x3 − x. Heegner constructed such quadratic residue symbol pi = − 1. It is then clear that Theorem 1 rational points in the case that m are primes congruent to 5,7 mod- pj ulo 8 or twice primes congruent to 3 modulo 8 [Monsky P (1990) follows from Theorem 2. Math Z – ’ 204:45 68]. We extend Heegner s result to integers m with The congruent number problem is not only to determine many prime divisors and give a sketch in this report.
    [Show full text]
  • Single Digits
    ...................................single digits ...................................single digits In Praise of Small Numbers MARC CHAMBERLAND Princeton University Press Princeton & Oxford Copyright c 2015 by Princeton University Press Published by Princeton University Press, 41 William Street, Princeton, New Jersey 08540 In the United Kingdom: Princeton University Press, 6 Oxford Street, Woodstock, Oxfordshire OX20 1TW press.princeton.edu All Rights Reserved The second epigraph by Paul McCartney on page 111 is taken from The Beatles and is reproduced with permission of Curtis Brown Group Ltd., London on behalf of The Beneficiaries of the Estate of Hunter Davies. Copyright c Hunter Davies 2009. The epigraph on page 170 is taken from Harry Potter and the Half Blood Prince:Copyrightc J.K. Rowling 2005 The epigraphs on page 205 are reprinted wiht the permission of the Free Press, a Division of Simon & Schuster, Inc., from Born on a Blue Day: Inside the Extraordinary Mind of an Austistic Savant by Daniel Tammet. Copyright c 2006 by Daniel Tammet. Originally published in Great Britain in 2006 by Hodder & Stoughton. All rights reserved. Library of Congress Cataloging-in-Publication Data Chamberland, Marc, 1964– Single digits : in praise of small numbers / Marc Chamberland. pages cm Includes bibliographical references and index. ISBN 978-0-691-16114-3 (hardcover : alk. paper) 1. Mathematical analysis. 2. Sequences (Mathematics) 3. Combinatorial analysis. 4. Mathematics–Miscellanea. I. Title. QA300.C4412 2015 510—dc23 2014047680 British Library
    [Show full text]
  • Arxiv:0903.4611V1 [Math.NT]
    RIGHT TRIANGLES WITH ALGEBRAIC SIDES AND ELLIPTIC CURVES OVER NUMBER FIELDS E. GIRONDO, G. GONZALEZ-DIEZ,´ E. GONZALEZ-JIM´ ENEZ,´ R. STEUDING, J. STEUDING Abstract. Given any positive integer n, we prove the existence of in- finitely many right triangles with area n and side lengths in certain number fields. This generalizes the famous congruent number problem. The proof allows the explicit construction of these triangles; for this purpose we find for any positive integer n an explicit cubic number field Q(λ) (depending on n) and an explicit point Pλ of infinite order in the Mordell-Weil group of the elliptic curve Y 2 = X3 n2X over Q(λ). − 1. Congruent numbers over the rationals A positive integer n is called a congruent number if there exists a right ∗ triangle with rational sides and area equal to n, i.e., there exist a, b, c Q with ∈ 2 2 2 1 a + b = c and 2 ab = n. (1) It is easy to decide whether there is a right triangle of given area and inte- gral sides (thanks to Euclid’s characterization of the Pythagorean triples). The case of rational sides, known as the congruent number problem, is not completely understood. Fibonacci showed that 5 is a congruent number 3 20 41 (since one may take a = 2 , b = 3 and c = 6 ). Fermat found that 1, 2 and 3 are not congruent numbers. Hence, there is no perfect square amongst arXiv:0903.4611v1 [math.NT] 26 Mar 2009 the congruent numbers since otherwise the corresponding rational triangle would be similar to one with area equal to 1.
    [Show full text]
  • A Generalization of the Congruent Number Problem
    A GENERALIZATION OF THE CONGRUENT NUMBER PROBLEM LARRY ROLEN Abstract. We study a certain generalization of the classical Congruent Number Prob- lem. Specifically, we study integer areas of rational triangles with an arbitrary fixed angle θ. These numbers are called θ-congruent. We give an elliptic curve criterion for determining whether a given integer n is θ-congruent. We then consider the “density” of integers n which are θ-congruent, as well as the related problem giving the “density” of angles θ for which a fixed n is congruent. Assuming the Shafarevich-Tate conjecture, we prove that both proportions are at least 50% in the limit. To obtain our result we use the recently proven p-parity conjecture due to Monsky and the Dokchitsers as well as a theorem of Helfgott on average root numbers in algebraic families. 1. Introduction and Statement of Results The study of right triangles with integer side lengths dates back to the work of Pythagoras and Euclid, and the ancients completely classified such triangles. Another problem involving triangles with “nice” side lengths was first studied systematically by the Arab mathematicians of the 10th Century. This problem asks for a classification of all possible areas of right triangles with rational side lengths. A positive integer n is congruent if it is the area of a right triangle with all rational side lengths. In other words, there exist rational numbers a; b; c satisfying ab a2 + b2 = c2 = n: 2 The problem of classifying congruent numbers reduces to the cases where n is square-free. We can scale areas trivially.
    [Show full text]
  • Congruent Numbers
    Congruent Numbers Kent E. Morrison Here are the first 10 congruent numbers along with the side lengths of the associated right trian- gles. n sides 5 3/2, 20/3, 41/6 6 3, 4, 5 7 24/5, 35/12, 337/60 13 780/323, 323/30, 106921/9690 14 8/3, 63/6, 65/6 15 15/2, 4, 17/2 20 3, 40/3, 41/3 21 7/2, 12, 25/2 22 33/35, 140/3, 4901/105 23 80155/20748, 41496/3485, 905141617/72306780 If n is congruent, then multiplying n by the square of a whole number gives another congruent number. For example, since 5 is congruent, it follows that 20 = 4 ¢ 5 is congruent. The sides of the triangle are doubled and the area of the triangle is quadrupled. So, the search for congruent numbers focuses on those n which are not multiples of a square. These are called square-free. Elliptic curves All recent results about congruent number stem from the fact that n is a congruent number if and only if the elliptic curve y2 = x3 ¡ n2x contains a rational point with y =6 0, equivalently, a rational point of infinite order. The first person to exploit this in a nontrivial way was Heegner, who developed the theory of what are now called Heegner points. In 1952 he proved that if p ´ 5 mod 8 or p ´ 7 mod 8 is prime, then p is a congruent number. This result is unconditional, while (as described below) most of the later results rely on the Birch and Swinnerton-Dyer Conjecture.
    [Show full text]
  • Congruent Numbers
    COMMENTARY Congruent numbers John H. Coates1 Emmanuel College, Cambridge CB2 3AP, England; and Department of Mathematics, Pohang University of Science and Technology, Pohang 790-784, Korea umber theory is the part of congruent numbers are of this form; for modern arithmetic geometry. The first mathematics concerned with example, the right-angled triangle with person to prove the existence of infinitely N the mysterious and hidden side lengths [225/30, 272/30, 353/30] has many square-free congruent numbers was properties of the integers and area 34). The proof of this simple general Heegner, whose now-celebrated paper rational numbers (by a rational number, assertion about the integers of Form 1 (5) published in 1952 showed that every we mean the ratio of two integers). The still seems beyond the resources of num- prime number p of the form p =8n +5 congruent number problem, the written ber theory today. However, the paper in is a congruent number. The importance history of which can be traced back at least PNAS by Tian (2) makes dramatic prog- of Heegner’s paper was realized only in a millennium, is the oldest unsolved major ress toward it, by proving that there are the late 1960s, after the discovery of the problem in number theory, and perhaps many highly composite congruent numbers conjecture of Birch and Swinnerton-Dyer in the whole of mathematics. We say that (1). We recall, without detailed explana- a right-angled triangle is “rational” if all its Tian at last sees how to tion, that the (unproven) conjecture of sides have rational length.
    [Show full text]
  • The Congruent Number Problem
    GENERAL I ARTICLE The Congruent Number Problem V Chandrasekar In Mathematics, especially number theory, one of­ ten comes across problems which arise naturally and are easy to pose, but whose solutions require very sophisticated methods. What is known as 'The Con­ gruent Number Problem' is one such. Its statement is very simple and the problem dates back to antiq­ uity, but it was only recently that a breakthrough V Chandrasekar was a was made, thanks to current developments in the research scholar in Arithmetic of elliptic curves, an area of intense re­ School of Mathematics, search in number theory. Tata Institute of Fundamental Research Introduction during1974-8S. He has taught mathematics for a A positive integer n is called a congruent number if there considerable number of exists a right angled triangle whose sides are rational num­ years at aU levels. At bers and whose area is the given number n. present he is working for If we represent the sides of such a triangle by X, Y, Z, with Z a computer firm. as the hypotenuse, then by our definition a positive integer n is a congruent number if and only if the two equations XY --=n 2 have a solution with X, Y, Z all rational numbers. Examples: 1. Consider the right angled triangle with sides X = 3, Y = 4, Z = 5. Its area n is XY/2 = 6, so 6 is a congruent number. Here we are lucky to find a suit­ able triangle for the number 6 whose sides are actually integers. It will be seen that this is in general an ex­ ceptional circumstance.
    [Show full text]
  • 1 Factorisation of Integers
    1 1 Factorisation of Integers Definition N = f1; 2; 3;:::g are the natural numbers. Definition Z = f:::; −2; −1; 0; 1; 2;:::g are the integers. Closed under the binary operations +; ×; − Definition α 2 R then bαc is the greatest integer which is less than or equal to α. p Ex b3c = 3; 2 = 1, b−πc = −4 Then bαc 6 α < bαc + 1 Proposition 1 If a and b are two integers with b > 0 then there are integers q and r with 0 6 r < b and a = qb + r. a Proof. Let α = b . a a ) 0 6 b − b < 1 a ) 0 6 a − b b < b a a so if r = a − b b then a = qb + r with q = b . Definition If a = cb (a; b; c 2 Z) we say a is a multiple of b, or b divides a and write 2 bja. Proposition 2 If b 6= 0; c 6= 0 then (a) bja and cjb ) cja (b) bja ) bcjac (c) cjd and cje ) 8m; n 2 Z; cjdm + en: Proposition 3 Let a; b > 0. If bja and b 6= a then b < a. Definition If bja and b 6= 1 or a then we say b is a proper divisor of a. If b does not divide a write b - a. Definition P = fp 2 N : p > 1 and the only divisors of p are 1 and pg are the prime numbers. Then N n (P [ f1g) are the composite numbers. P = f2; 3; 5; 7; 11; 13; 17; 19; 23;:::g.
    [Show full text]
  • Elementary Number Theory WISB321
    Elementary Number Theory WISB321 = F.Beukers 2012 Department of Mathematics UU ELEMENTARY NUMBER THEORY Frits Beukers Fall semester 2013 Contents 1 Integers and the Euclidean algorithm 4 1.1 Integers . 4 1.2 Greatest common divisors . 7 1.3 Euclidean algorithm for Z ...................... 8 1.4 Fundamental theorem of arithmetic . 10 1.5 Exercises . 12 2 Arithmetic functions 15 2.1 Definitions, examples . 15 2.2 Convolution, M¨obiusinversion . 18 2.3 Exercises . 20 3 Residue classes 21 3.1 Basic properties . 21 3.2 Chinese remainder theorem . 22 3.3 Invertible residue classes . 24 3.4 Periodic decimal expansions . 27 3.5 Exercises . 29 4 Primality and factorisation 33 4.1 Prime tests and compositeness tests . 33 4.2 A polynomial time primality test . 38 4.3 Factorisation methods . 39 4.4 The quadratic sieve . 41 4.5 Cryptosystems, zero-knowledge proofs . 44 5 Quadratic reciprocity 47 5.1 The Legendre symbol . 47 5.2 Quadratic reciprocity . 48 5.3 A group theoretic proof . 51 5.4 Applications . 52 5.5 Jacobi symbols, computing square roots . 55 5.6 Class numbers . 59 1 2 CONTENTS 5.7 Exercises . 60 6 Dirichlet characters and Gauss sums 62 6.1 Characters . 62 6.2 Gauss sums, Jacobi sums . 65 6.3 Applications . 67 6.4 Exercises . 71 7 Sums of squares, Waring's problem 72 7.1 Sums of two squares . 72 7.2 Sums of more than two squares . 74 7.3 The 15-theorem . 77 7.4 Waring's problem . 78 7.5 Exercises . 81 8 Continued fractions 82 8.1 Introduction .
    [Show full text]
  • Families of Congruent and Non-Congruent Numbers
    Families of Congruent and Non-congruent Numbers by Lindsey Kayla Reinholz B.Sc., The University of British Columbia, 2011 A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in The College of Graduate Studies (Mathematics) THE UNIVERSITY OF BRITISH COLUMBIA (Okanagan) August 2013 c Lindsey Kayla Reinholz, 2013 Abstract A positive integer n is a congruent number if it is equal to the area of a right triangle with rational sides. Equivalently, the Mordell-Weil rank of the elliptic curve y2 = x(x2 − n2) is positive. Otherwise n is a non-congruent number. Although congru- ent numbers have been studied for centuries, their complete classification is one of the central unresolved problems in the field of pure mathemat- ics. However, by using algorithms such as the method of 2-descent, various mathematicians have proven that numbers with prime factors of a specified form that satisfy a certain pattern of Legendre symbols are either always congruent or always non-congruent. In this thesis, we build upon these results and not only prove the existence of new families of congruent and non-congruent numbers, but also present a new method for generating fam- ilies of non-congruent numbers. We begin by providing a technique for constructing congruent numbers with three prime factors of the form 8k +3, and then give a family of such numbers for which the rank of their asso- ciated elliptic curves equals two, the maximal rank for congruent number curves of this type. Following this, we offer an extension to work done by Iskra and present our new method for generating families of non-congruent numbers with arbitrarily many prime factors.
    [Show full text]