Appendix I: on the Early History of Pi

Total Page:16

File Type:pdf, Size:1020Kb

Appendix I: on the Early History of Pi Appendix I: On the Early History of Pi Our earliest source on 7r is a problem from the Rhind mathematical papyrus, one of the few major sources we have for the mathematics of ancient Egypt. Although the material on the papyrus in its present form comes from about 1550 B.C. during the Middle Kingdom, scholars believe that the mathematics of the document originated in the Old Kingdom, which would date it perhaps to 1900 B.C. The Egyptian source does not state an explicit value for 7r, but tells, instead, how to compute the area of a circle as the square of eight-ninths of the diameter. (One is reminded of the 'classical' problem of squaring the circle.) Quite different is the passage in I Kings 7, 23 (repeated in II Chronicles 4, 21), which clearly implies that one should multiply the diameter of a circle by 3 to find its circumference. It is worth noting, however, that the Egyptian and the Biblical texts talk about what are, a priori, different concepts: the diameter being regarded as known in both cases, the first text gives a factor used to produce the area of the circle and the other gives (by implication) a factor used to produce the circumference.1 Also from the early second millenium are Babylonian texts from Susa. In the mathematical cuneiform texts the standard factor for multiplying the diameter to produce the circumference is 3, but, according to some interpre­ tations, the Susa texts give a value of 31.2 Another source of ancient values of 7r is the class of Indian works known as the Sulba Sfitras, of which the four most important, and oldest are Baudhayana, .Apastamba, Katyayana and Manava (resp. BSS, ASS, KSS and MSS), com­ posed during the period from 800 to 200 B.C. The Sulba Sutras are concerned with mathematical rules for complying with the requirements of of Hindu rit­ ual, specifically with measuring and constructing sacrificial pits and altars. The requirements of religious ritual led to the problems of squaring the circle and, as it has been called, 'circling the square'. For this latter problem all the Sulba Sutras state varying forms of a rule that produces, for a circle whose area is equal to that of a square of side a, the radius a(2 + Vi) r = 6 (*), which gives for 7r in the context of areas a value nearly 3.088.3 For 7r as a IThe importance of making this distinction in historical investigations is pointed out in A. J. E. M. Smeur, "On the Value Equivalent to 11" in Ancient Mathematical Texts. A New Interpretation," Archive for History of Exact Sciences 6 (1970), 249 - 270. 20. Neugebauer, "Exact Sciences in Antiquity," (2nd Edition) Dover, New York (1969), p.47. 3This value results from circumscribing a circle around the given square and then in­ creasing one-half the side of the square by t of the difference between the radius of the circumscribed circle and half the side of the square. The resulting sum is alleged to be the radius of the circle equal to the given square. 677 factor for obtaining the circumference the MSS gives 3! - and advises the reader that 'not even a hair's length is extra'4. For squaring the circle BSS, KSS and ASS all state rules that give (\3l)2 as the area of a square equal to a circle, which they all admit is only a coarse approximation and which, indeed, gives 7r = 3.004. BSS also gives for the side, a, of a square equal in area to a circle of diameter d d d d d a=d--+--- + , 8 8 . 29 8 . 29 . 6 8 . 29 . 6 . 8 which was perhaps obtained by solving (*) above for a and using the Sulba's value of v'2 = ~b~. 5 Given that the problem of expressing the area of a circle as that of a certain square appeared in so many ancient cultures it is hardly surprising that it appeared in ancient Greece as welL There is a jesting reference to it in Aristophanes's play The Birds (413 B.C.), and geometrical attacks on the problem from around that time, in the works of Hippocrates of Chios, Bryson and Antiphon, are known.6 In fact, Hippocrates was aware of the contents of what we know as Euclid's Elements XII, 2: 'Circles are to one another as the squares on their diameters,' a proposition which implies that the circle and the square on its diameter (and hence on its radius) bear a constant ratio to one another, but there is no evidence that any of this early work resulted in a numerical value for 7r. It was Archimedes (277 - 212 B.C.) who first established rigorously a connection between the area of a circle and its circumference in Prop. 1 of his treatise Measurement of the Circle, which we include in this volume. It is in this treatise as well where his famous upper and lower bounds for 7r occur, in the form of Proposition 3: the circumference of any circle is greater than 3 ~~ times the diameter and less than 3 ~g times the diameter. Heron of Alexandria (fl. ca. 60 A.D.) writes, in his Metrica (i, 26), that Archimedes in a (now lost) work Plinthides and Cylinders made a better ap­ proximation to 7r. The figures are garbled, but it seems the denominators were on the orders of tens of thousands and the numerators on the orders of hundreds of thousands. The French historian, P. Tannery, has made two possible emendations of the text, either of which gives as the mean of the two limits, the approximation 7r = 3.141596. In his Almagest (vi, 7) Ptolemy (150 A.D.) gives for the circumference of a circle the value 3 + to +~, i.e. 3.1416, times its diameter. Since this exactly corresponds to the perimeter of a regular 360-gon inscribed in a circle, calculated according to his table of chords in a 4For other values from the MSS and references to the literature on the Sulba Stitras, see R. C. Gupta, "New Indian Values of pi from the Manava Sulba Siitra." Centaurus 31 (1988), 114 - 125. 5Datta B., "Science of the Sulba," University of Calcutta, Calcutta (1932), 143-4. 6See pp. 220-235 in T.L. Heath, A History of Greek Mathematics, vol. 1, Clarendon Press, Oxford, 1921, for details on this and the other Greek material cited below. 678 circle, there is no doubt that Ptolemy used his chord table (Almagest i,ll) as the basis for calculating 'Ir. In the period from the late fifth to the early seventh century of our era in India two astronomers stated rules for measuring circles that implied values of 'Ir. The earlier of these, Aryabha~a (b. 476), in his work known as the Aryabhatiya gives correctly the area of a circle as that of the rectangle whose sides are half the circumference and half the diameter, and then gives the volume of a sphere as the area of the [great] circle multiplied by its square root. 7 Then in Rule 10 we are told 'Add 4 to 100, multiply by 8, and add 62,000. The result is ap­ proximately the circumference of a circle of which the diameter is 20,000.'8 This value of 'Ir, ~~g~~, yields the decimal equivalent 3.1416.9 In his notes on Rule 10. Kaye states that the second of the two writers we referred to above, the astronomer Brahmagupta (b. 598), gives for 'Ir the values 3 and v'1Q, and that Brahmagupta finds fault with Arhybhata for using in one place 3393 and in another 3g93 10 1080 1 50' Both Greek and Indian science came to the court of the 'Abbasid califs in the latter part of the eighth and early ninth centuries. One of the most im­ portant writers of this latter period was Mu1;unmad ibn Mus8. al-KhwarizmI, whose Algebra was composed during the first third of the ninth century and dedicated to the Calif al-Ma'mun. Between its opening section on algebra and its third (and final) section on the calculation of inheritances, al-KhwarizmI's work contains, a section on mensuration,l1 with the following rules: The 'prac­ tical man' takes 3. as the value which, multiplied by the diameter, produces the circumference, 'though it is not quite exact.' Geometers, on the other hand, take the circumference either as v'1O. d· d or, if they are astronomers, as W~C~od. He next gives the same rule as that found in Aryabha~a and the Banu Mfis8. ( see below), i.e. that any circle is equal to the rectangle whose one side is half the circumference and whose perpendicular side is the radius. Finally, al-KhwarizmI states that 'If you multiply the diameter of any circle by itself, and subtract from the product one-seventh and half of one-seventh of the same, then the remainder is equal to the area of the circle,' 7 "The Aryabha~iya of Aryabha~a," (W.E. Clark, tr.), Chicago, U. of Chicago Press (1930). See Rule 7, p. 27. 8The use of large values for the diameter was one way of avoiding fractions. 9 An earlier work than the Aryabha~iya is the Suryasiddhanta, although its present form incorporates later material. The value of 'II' in an early part of the Suryasiddhanta is v1O( = 3.1623), but in the section on the Sine table the value used is 10,8000: 3438(= 3.14136).
Recommended publications
  • The Quest for Pi David H. Bailey, Jonathan M. Borwein, Peter B
    The Quest for Pi David H. Bailey, Jonathan M. Borwein, Peter B. Borwein and Simon Plouffe June 25, 1996 Ref: Mathematical Intelligencer, vol. 19, no. 1 (Jan. 1997), pg. 50–57 Abstract This article gives a brief history of the analysis and computation of the mathematical constant π =3.14159 ..., including a number of the formulas that have been used to compute π through the ages. Recent developments in this area are then discussed in some detail, including the recent computation of π to over six billion decimal digits using high-order convergent algorithms, and a newly discovered scheme that permits arbitrary individual hexadecimal digits of π to be computed. D. Bailey: NASA Ames Research Center, Mail Stop T27A-1, Moffett Field, CA 94035-1000. E-mail: [email protected]. J. Borwein: Dept. of Mathematics and Statistics, Simon Fraser University Burnaby, BC V5A 1S6 Canada. Email: [email protected]. This work was supported by NSERC and the Shrum Endowment at Simon Fraser University. P. Borwein: Dept. of Mathematics and Statistics, Simon Fraser University Burnaby, BC V5A 1S6 Canada. Email: [email protected]. S. Plouffe: Dept. of Mathematics and Statistics, Simon Fraser University Burnaby, BC V5A 1S6 Canada. Email: [email protected]. 1 Introduction The fascinating history of the constant we now know as π spans several millennia, almost from the beginning of recorded history up to the present day. In many ways this history parallels the advancement of science and technology in general, and of mathematics and computer technology in particular. An overview of this history is presented here in sections one and two.
    [Show full text]
  • Lesson 3: Rectangles Inscribed in Circles
    NYS COMMON CORE MATHEMATICS CURRICULUM Lesson 3 M5 GEOMETRY Lesson 3: Rectangles Inscribed in Circles Student Outcomes . Inscribe a rectangle in a circle. Understand the symmetries of inscribed rectangles across a diameter. Lesson Notes Have students use a compass and straightedge to locate the center of the circle provided. If necessary, remind students of their work in Module 1 on constructing a perpendicular to a segment and of their work in Lesson 1 in this module on Thales’ theorem. Standards addressed with this lesson are G-C.A.2 and G-C.A.3. Students should be made aware that figures are not drawn to scale. Classwork Scaffolding: Opening Exercise (9 minutes) Display steps to construct a perpendicular line at a point. Students follow the steps provided and use a compass and straightedge to find the center of a circle. This exercise reminds students about constructions previously . Draw a segment through the studied that are needed in this lesson and later in this module. point, and, using a compass, mark a point equidistant on Opening Exercise each side of the point. Using only a compass and straightedge, find the location of the center of the circle below. Label the endpoints of the Follow the steps provided. segment 퐴 and 퐵. Draw chord 푨푩̅̅̅̅. Draw circle 퐴 with center 퐴 . Construct a chord perpendicular to 푨푩̅̅̅̅ at and radius ̅퐴퐵̅̅̅. endpoint 푩. Draw circle 퐵 with center 퐵 . Mark the point of intersection of the perpendicular chord and the circle as point and radius ̅퐵퐴̅̅̅. 푪. Label the points of intersection .
    [Show full text]
  • Squaring the Circle a Case Study in the History of Mathematics the Problem
    Squaring the Circle A Case Study in the History of Mathematics The Problem Using only a compass and straightedge, construct for any given circle, a square with the same area as the circle. The general problem of constructing a square with the same area as a given figure is known as the Quadrature of that figure. So, we seek a quadrature of the circle. The Answer It has been known since 1822 that the quadrature of a circle with straightedge and compass is impossible. Notes: First of all we are not saying that a square of equal area does not exist. If the circle has area A, then a square with side √A clearly has the same area. Secondly, we are not saying that a quadrature of a circle is impossible, since it is possible, but not under the restriction of using only a straightedge and compass. Precursors It has been written, in many places, that the quadrature problem appears in one of the earliest extant mathematical sources, the Rhind Papyrus (~ 1650 B.C.). This is not really an accurate statement. If one means by the “quadrature of the circle” simply a quadrature by any means, then one is just asking for the determination of the area of a circle. This problem does appear in the Rhind Papyrus, but I consider it as just a precursor to the construction problem we are examining. The Rhind Papyrus The papyrus was found in Thebes (Luxor) in the ruins of a small building near the Ramesseum.1 It was purchased in 1858 in Egypt by the Scottish Egyptologist A.
    [Show full text]
  • Finding Pi Project
    Name: ________________________ Finding Pi - Activity Objective: You may already know that pi (π) is a number that is approximately equal to 3.14. But do you know where the number comes from? Let's measure some round objects and find out. Materials: • 6 circular objects Some examples include a bicycle wheel, kiddie pool, trash can lid, DVD, steering wheel, or clock face. Be sure each object you choose is shaped like a perfect circle. • metric tape measure Be sure your tape measure has centimeters on it. • calculator It will save you some time because dividing with decimals can be tricky. • “Finding Pi - Table” worksheet It may be attached to this page, or on the back. What to do: Step 1: Choose one of your circular objects. Write the name of the object on the “Finding Pi” table. Step 2: With the centimeter side of your tape measure, accurately measure the distance around the outside of the circle (the circumference). Record your measurement on the table. Step 3: Next, measure the distance across the middle of the object (the diameter). Record your measurement on the table. Step 4: Use your calculator to divide the circumference by the diameter. Write the answer on the table. If you measured carefully, the answer should be about 3.14, or π. Repeat steps 1 through 4 for each object. Super Teacher Worksheets - www.superteacherworksheets.com Name: ________________________ “Finding Pi” Table Measure circular objects and complete the table below. If your measurements are accurate, you should be able to calculate the number pi (3.14). Is your answer name of circumference diameter circumference ÷ approximately circular object measurement (cm) measurement (cm) diameter equal to π? 1.
    [Show full text]
  • Squaring the Circle in Elliptic Geometry
    Rose-Hulman Undergraduate Mathematics Journal Volume 18 Issue 2 Article 1 Squaring the Circle in Elliptic Geometry Noah Davis Aquinas College Kyle Jansens Aquinas College, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Davis, Noah and Jansens, Kyle (2017) "Squaring the Circle in Elliptic Geometry," Rose-Hulman Undergraduate Mathematics Journal: Vol. 18 : Iss. 2 , Article 1. Available at: https://scholar.rose-hulman.edu/rhumj/vol18/iss2/1 Rose- Hulman Undergraduate Mathematics Journal squaring the circle in elliptic geometry Noah Davis a Kyle Jansensb Volume 18, No. 2, Fall 2017 Sponsored by Rose-Hulman Institute of Technology Department of Mathematics Terre Haute, IN 47803 a [email protected] Aquinas College b scholar.rose-hulman.edu/rhumj Aquinas College Rose-Hulman Undergraduate Mathematics Journal Volume 18, No. 2, Fall 2017 squaring the circle in elliptic geometry Noah Davis Kyle Jansens Abstract. Constructing a regular quadrilateral (square) and circle of equal area was proved impossible in Euclidean geometry in 1882. Hyperbolic geometry, however, allows this construction. In this article, we complete the story, providing and proving a construction for squaring the circle in elliptic geometry. We also find the same additional requirements as the hyperbolic case: only certain angle sizes work for the squares and only certain radius sizes work for the circles; and the square and circle constructions do not rely on each other. Acknowledgements: We thank the Mohler-Thompson Program for supporting our work in summer 2014. Page 2 RHIT Undergrad. Math. J., Vol. 18, No. 2 1 Introduction In the Rose-Hulman Undergraduate Math Journal, 15 1 2014, Noah Davis demonstrated the construction of a hyperbolic circle and hyperbolic square in the Poincar´edisk [1].
    [Show full text]
  • Three Points on the Plane
    THREE POINTS ON THE PLANE ALEXANDER GIVENTAL UC BERKELEY In this lecture, we examine some properties of a geometric figure formed by three points on the plane. Any three points not lying on the same line determine a triangle. Namely, the points are the vertices of the triangle, and the segments connecting them are the sides of it. We expect the reader to be familiar with a few basic notions and facts of geometry of triangles. References like “[K], §140” will point to specific sections in: Kiselev’s Geometry. Book I: Planimetry, Sumizdat, 2006, 248 pages. Everything we assume known, as well as the initial part of the present exposition, is contained in the first half of this textbook. Circumcenter. One says a circle is circumscribed about a triangle (or shorter, is the circumcircle of it), if the circle passes through all vertices of the triangle. Theorem 1. About every triangle, a circle can be circum- scribed, and such a circle is unique. Let △ABC be a triangle with vertices A, B, C (Figure 1). A point O equidistant from1 all the three vertices is the center of a circumcircle of radius OA = OB = OC. Thus we need to show that a point equidistant from the vertices exists and is unique. Indeed, the geometric locus 2 of points equidistant from A and B is the perpendicular bisector to the segment AB, i.e. it is the line (denoted by MN in Figure 1) perpendicular to the segment AB at its midpoint (see [K], §56). Likewise, the geometric locus of points equidistant from B and C is the perpendicular bisector P Q to the segment BC.
    [Show full text]
  • Evaluating Fourier Transforms with MATLAB
    ECE 460 – Introduction to Communication Systems MATLAB Tutorial #2 Evaluating Fourier Transforms with MATLAB In class we study the analytic approach for determining the Fourier transform of a continuous time signal. In this tutorial numerical methods are used for finding the Fourier transform of continuous time signals with MATLAB are presented. Using MATLAB to Plot the Fourier Transform of a Time Function The aperiodic pulse shown below: x(t) 1 t -2 2 has a Fourier transform: X ( jf ) = 4sinc(4π f ) This can be found using the Table of Fourier Transforms. We can use MATLAB to plot this transform. MATLAB has a built-in sinc function. However, the definition of the MATLAB sinc function is slightly different than the one used in class and on the Fourier transform table. In MATLAB: sin(π x) sinc(x) = π x Thus, in MATLAB we write the transform, X, using sinc(4f), since the π factor is built in to the function. The following MATLAB commands will plot this Fourier Transform: >> f=-5:.01:5; >> X=4*sinc(4*f); >> plot(f,X) In this case, the Fourier transform is a purely real function. Thus, we can plot it as shown above. In general, Fourier transforms are complex functions and we need to plot the amplitude and phase spectrum separately. This can be done using the following commands: >> plot(f,abs(X)) >> plot(f,angle(X)) Note that the angle is either zero or π. This reflects the positive and negative values of the transform function. Performing the Fourier Integral Numerically For the pulse presented above, the Fourier transform can be found easily using the table.
    [Show full text]
  • On the Normality of Numbers
    ON THE NORMALITY OF NUMBERS Adrian Belshaw B. Sc., University of British Columbia, 1973 M. A., Princeton University, 1976 A THESIS SUBMITTED 'IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF MASTER OF SCIENCE in the Department of Mathematics @ Adrian Belshaw 2005 SIMON FRASER UNIVERSITY Fall 2005 All rights reserved. This work may not be reproduced in whole or in part, by photocopy or other means, without the permission of the author. APPROVAL Name: Adrian Belshaw Degree: Master of Science Title of Thesis: On the Normality of Numbers Examining Committee: Dr. Ladislav Stacho Chair Dr. Peter Borwein Senior Supervisor Professor of Mathematics Simon Fraser University Dr. Stephen Choi Supervisor Assistant Professor of Mathematics Simon Fraser University Dr. Jason Bell Internal Examiner Assistant Professor of Mathematics Simon Fraser University Date Approved: December 5. 2005 SIMON FRASER ' u~~~snrllbrary DECLARATION OF PARTIAL COPYRIGHT LICENCE The author, whose copyright is declared on the title page of this work, has granted to Simon Fraser University the right to lend this thesis, project or extended essay to users of the Simon Fraser University Library, and to make partial or single copies only for such users or in response to a request from the library of any other university, or other educational institution, on its own behalf or for one of its users. The author has further granted permission to Simon Fraser University to keep or make a digital copy for use in its circulating collection, and, without changing the content, to translate the thesislproject or extended essays, if technically possible, to any medium or format for the purpose of preservation of the digital work.
    [Show full text]
  • History of the Numerical Methods of Pi
    History of the Numerical Methods of Pi By Andy Yopp MAT3010 Spring 2003 Appalachian State University This project is composed of a worksheet, a time line, and a reference sheet. This material is intended for an audience consisting of undergraduate college students with a background and interest in the subject of numerical methods. This material is also largely recreational. Although there probably aren't any practical applications for computing pi in an undergraduate curriculum, that is precisely why this material aims to interest the student to pursue their own studies of mathematics and computing. The time line is a compilation of several other time lines of pi. It is explained at the bottom of the time line and further on the worksheet reference page. The worksheet is a take-home assignment. It requires that the student know how to construct a hexagon within and without a circle, use iterative algorithms, and code in C. Therefore, they will need a variety of materials and a significant amount of time. The most interesting part of the project was just how well the numerical methods of pi have evolved. Currently, there are iterative algorithms available that are more precise than a graphing calculator with only a single iteration of the algorithm. This is a far cry from the rough estimate of 3 used by the early Babylonians. It is also a different entity altogether than what the circle-squarers have devised. The history of pi and its numerical methods go hand-in-hand through shameful trickery and glorious achievements. It is through the evolution of these methods which I will try to inspire students to begin their own research.
    [Show full text]
  • MATLAB Examples Mathematics
    MATLAB Examples Mathematics Hans-Petter Halvorsen, M.Sc. Mathematics with MATLAB • MATLAB is a powerful tool for mathematical calculations. • Type “help elfun” (elementary math functions) in the Command window for more information about basic mathematical functions. Mathematics Topics • Basic Math Functions and Expressions � = 3�% + ) �% + �% + �+,(.) • Statistics – mean, median, standard deviation, minimum, maximum and variance • Trigonometric Functions sin() , cos() , tan() • Complex Numbers � = � + �� • Polynomials = =>< � � = �<� + �%� + ⋯ + �=� + �=@< Basic Math Functions Create a function that calculates the following mathematical expression: � = 3�% + ) �% + �% + �+,(.) We will test with different values for � and � We create the function: function z=calcexpression(x,y) z=3*x^2 + sqrt(x^2+y^2)+exp(log(x)); Testing the function gives: >> x=2; >> y=2; >> calcexpression(x,y) ans = 16.8284 Statistics Functions • MATLAB has lots of built-in functions for Statistics • Create a vector with random numbers between 0 and 100. Find the following statistics: mean, median, standard deviation, minimum, maximum and the variance. >> x=rand(100,1)*100; >> mean(x) >> median(x) >> std(x) >> mean(x) >> min(x) >> max(x) >> var(x) Trigonometric functions sin(�) cos(�) tan(�) Trigonometric functions It is quite easy to convert from radians to degrees or from degrees to radians. We have that: 2� ������� = 360 ������� This gives: 180 � ������� = �[�������] M � � �[�������] = �[�������] M 180 → Create two functions that convert from radians to degrees (r2d(x)) and from degrees to radians (d2r(x)) respectively. Test the functions to make sure that they work as expected. The functions are as follows: function d = r2d(r) d=r*180/pi; function r = d2r(d) r=d*pi/180; Testing the functions: >> r2d(2*pi) ans = 360 >> d2r(180) ans = 3.1416 Trigonometric functions Given right triangle: • Create a function that finds the angle A (in degrees) based on input arguments (a,c), (b,c) and (a,b) respectively.
    [Show full text]
  • The Number of Solutions of Φ(X) = M
    Annals of Mathematics, 150 (1999), 1–29 The number of solutions of φ(x) = m By Kevin Ford Abstract An old conjecture of Sierpi´nskiasserts that for every integer k > 2, there is a number m for which the equation φ(x) = m has exactly k solutions. Here φ is Euler’s totient function. In 1961, Schinzel deduced this conjecture from his Hypothesis H. The purpose of this paper is to present an unconditional proof of Sierpi´nski’sconjecture. The proof uses many results from sieve theory, in particular the famous theorem of Chen. 1. Introduction Of fundamental importance in the theory of numbers is Euler’s totient function φ(n). Two famous unsolved problems concern the possible values of the function A(m), the number of solutions of φ(x) = m, also called the multiplicity of m. Carmichael’s Conjecture ([1],[2]) states that for every m, the equation φ(x) = m has either no solutions x or at least two solutions. In other words, no totient can have multiplicity 1. Although this remains an open problem, very large lower bounds for a possible counterexample are relatively easy to obtain, the latest being 101010 ([10], Th. 6). Recently, the author has also shown that either Carmichael’s Conjecture is true or a positive proportion of all values m of Euler’s function give A(m) = 1 ([10], Th. 2). In the 1950’s, Sierpi´nski conjectured that all multiplicities k > 2 are possible (see [9] and [16]), and in 1961 Schinzel [17] deduced this conjecture from his well-known Hypothesis H [18].
    [Show full text]
  • PRIME-PERFECT NUMBERS Paul Pollack [email protected] Carl
    PRIME-PERFECT NUMBERS Paul Pollack Department of Mathematics, University of Illinois, Urbana, Illinois 61801, USA [email protected] Carl Pomerance Department of Mathematics, Dartmouth College, Hanover, New Hampshire 03755, USA [email protected] In memory of John Lewis Selfridge Abstract We discuss a relative of the perfect numbers for which it is possible to prove that there are infinitely many examples. Call a natural number n prime-perfect if n and σ(n) share the same set of distinct prime divisors. For example, all even perfect numbers are prime-perfect. We show that the count Nσ(x) of prime-perfect numbers in [1; x] satisfies estimates of the form c= log log log x 1 +o(1) exp((log x) ) ≤ Nσ(x) ≤ x 3 ; as x ! 1. We also discuss the analogous problem for the Euler function. Letting N'(x) denote the number of n ≤ x for which n and '(n) share the same set of prime factors, we show that as x ! 1, x1=2 x7=20 ≤ N (x) ≤ ; where L(x) = xlog log log x= log log x: ' L(x)1=4+o(1) We conclude by discussing some related problems posed by Harborth and Cohen. 1. Introduction P Let σ(n) := djn d be the sum of the proper divisors of n. A natural number n is called perfect if σ(n) = 2n and, more generally, multiply perfect if n j σ(n). The study of such numbers has an ancient pedigree (surveyed, e.g., in [5, Chapter 1] and [28, Chapter 1]), but many of the most interesting problems remain unsolved.
    [Show full text]