#A66 INTEGERS 14 (2014) SMITH NUMBERS WITH EXTRA DIGITAL FEATURES

Similar documents
A Family of Sequences Generating Smith Numbers

POLYGONAL-SIERPIŃSKI-RIESEL SEQUENCES WITH TERMS HAVING AT LEAST TWO DISTINCT PRIME DIVISORS

EVERY NATURAL NUMBER IS THE SUM OF FORTY-NINE PALINDROMES

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime.

Induction. Induction. Induction. Induction. Induction. Induction 2/22/2018

Numbers and their divisors

PROBLEMS ON CONGRUENCES AND DIVISIBILITY

FINITE ABELIAN GROUPS Amin Witno

On the Prime Divisors of Odd Perfect Numbers

A SUMMATION FORMULA FOR SEQUENCES INVOLVING FLOOR AND CEILING FUNCTIONS

MATH 215 Final. M4. For all a, b in Z, a b = b a.

arxiv: v2 [math.nt] 4 Jun 2016

Modular Arithmetic Instructor: Marizza Bailey Name:

FROM GROUPS TO GALOIS Amin Witno

Arithmetic Properties for a Certain Family of Knot Diagrams

Prime Divisors of Palindromes

Solutions to Tutorial 4 (Week 5)

MATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST

ON THE NUMBER OF NIVEN NUMBERS UP TO

#A5 INTEGERS 17 (2017) THE 2-ADIC ORDER OF SOME GENERALIZED FIBONACCI NUMBERS

n(n + 1). 2 . If n = 3, then 1+2+3=6= 3(3+1) . If n = 2, then = 3 = 2(2+1)

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

Factorization of integer-valued polynomials with square-free denominator

1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =

An Alternate Method to Compute the Decimal Expansion of Rational Numbers

Notes on Continued Fractions for Math 4400

NORMAL NUMBERS AND UNIFORM DISTRIBUTION (WEEKS 1-3) OPEN PROBLEMS IN NUMBER THEORY SPRING 2018, TEL AVIV UNIVERSITY

. As the binomial coefficients are integers we have that. 2 n(n 1).

Objective Type Questions

Math 2602 Finite and Linear Math Fall 14. Homework 8: Core solutions

How many units can a commutative ring have?

THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany

Homework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4

Algorithms CMSC Homework set #1 due January 14, 2015

UNIQUE-PERIOD PRIMES. Chris K. Caldwell 5856 Harry Daniels Road Rives, Tennessee

A class of trees and its Wiener index.

GENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS

MATH 361: NUMBER THEORY FOURTH LECTURE

WILLIAM LOWELL PUTNAM MATHEMATICAL COMPETITION. (3k(k + 1) + 1), for n 1.

On Polynomial Pairs of Integers

9 MODULARITY AND GCD PROPERTIES OF GENERALIZED FIBONACCI NUMBERS

Some new representation problems involving primes

PUTNAM PROBLEMS SEQUENCES, SERIES AND RECURRENCES. Notes

2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?

Partition of Integers into Distinct Summands with Upper Bounds. Partition of Integers into Even Summands. An Example

INDUCTION AND RECURSION. Lecture 7 - Ch. 4

On Partition Functions and Divisor Sums

= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2

CYCLOTOMIC POLYNOMIALS

Number Theory Homework.

Relations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B.

MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.

The Fibonacci sequence modulo π, chaos and some rational recursive equations

ZERO-SUM ANALOGUES OF VAN DER WAERDEN S THEOREM ON ARITHMETIC PROGRESSIONS

MATH FINAL EXAM REVIEW HINTS

Chapter 1. Sets and Numbers

SOLUTIONS TO PROBLEM SET 1. Section = 2 3, 1. n n + 1. k(k + 1) k=1 k(k + 1) + 1 (n + 1)(n + 2) n + 2,

Solutions to Practice Final

The primitive root theorem

NORTHWESTERN UNIVERSITY Tuesday, Oct 6th, 2015 ANSWERS FALL 2015 NU PUTNAM SELECTION TEST

SPLITTING FIELDS AND PERIODS OF FIBONACCI SEQUENCES MODULO PRIMES

Slow k-nim. Vladimir Gurvich a

Factorization in Integral Domains II

arxiv: v2 [math.nt] 29 Jul 2017

THE AREA OF THE MANDELBROT SET AND ZAGIER S CONJECTURE

DISTRIBUTION OF FIBONACCI AND LUCAS NUMBERS MODULO 3 k

MADHAVA MATHEMATICS COMPETITION, December 2015 Solutions and Scheme of Marking

Lecture 7.5: Euclidean domains and algebraic integers

#A50 INTEGERS 14 (2014) ON RATS SEQUENCES IN GENERAL BASES

Discrete Mathematics and Probability Theory Fall 2014 Anant Sahai Note 7

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

PRACTICE PROBLEMS: SET 1

DISCRETE STRUCTURES AMIN WITNO

Three-Bit Monomial Hyperovals

M381 Number Theory 2004 Page 1

MATH 4400 SOLUTIONS TO SOME EXERCISES. 1. Chapter 1

n(n + 2)(5n 1)(5n + 1)

Problem Set 5 Solutions

Math 113 Homework 5. Bowei Liu, Chao Li. Fall 2013

A proof of a partition conjecture of Bateman and Erdős

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

NOTES ON FINITE FIELDS

Discrete Math, Second Problem Set (June 24)

Chapter 14: Divisibility and factorization

#A67 INTEGERS 18 (2018) ON THE NESTED LOCAL POSTAGE STAMP PROBLEM

Sieving 2m-prime pairs

Solutions 2017 AB Exam

A CONGRUENTIAL IDENTITY AND THE 2-ADIC ORDER OF LACUNARY SUMS OF BINOMIAL COEFFICIENTS

Math 109 HW 9 Solutions

On integer solutions to x 2 dy 2 = 1, z 2 2dy 2 = 1

Scientific Method: a logical approach to understanding or solving problems that needs solved.

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

NOTES ON SIMPLE NUMBER THEORY

NUMBERS AND CODES CHAPTER Numbers

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

EGYPTIAN FRACTIONS WITH EACH DENOMINATOR HAVING THREE DISTINCT PRIME DIVISORS

10 Problem 1. The following assertions may be true or false, depending on the choice of the integers a, b 0. a "

Bulletin of the Iranian Mathematical Society

ELEMENTARY LINEAR ALGEBRA

1 Examples of Weak Induction

Transcription:

#A66 INTEGERS 14 (2014) SMITH NUMBERS WITH EXTRA DIGITAL FEATURES Amin Witno Department of Basic Sciences, Philadelphia University, Jordan awitno@gmail.com Received: 12/7/13, Accepted: 11/14/14, Published: 12/8/14 Abstract Using a recently introduced technique, we construct a new infinite sequence of Smith numbers which are palindromic and divisible by their digital sum. 1. Introduction We deal with natural numbers N as represented in the base-10 counting system. For such a number N, we define the digital sum S(N) to be the sum of the digits in N, e.g., S(1725) = 1 + 7 + 2 + 5 = 15. Similarly, the p-digit sum S p (N) is the sum of the digits of all the prime factors of N, e.g., having factored 1725 = 3 5 2 23, we have that S p (1725) = 3 + (2 5) + (2 + 3) = 18. A number N is called a Smith number when N is a composite such that S(N) = S p (N). The name Smith was coined in a 1982 article by Wilansky [7]. A few years later, McDaniel [2] proved that Smith numbers are infinitely many. Being a Smith number, then, is a digital feature that is entirely dependent upon the radix representation: a number N that is Smith in the decimal sense may lose this very property when N is represented in another base b 6= 10. Nevertheless, McDaniel [4, 6] also showed that there exist infinitely many base-b Smith numbers for b 8 and b = 2, and then Wilson [8] completed this proposition by extending the results for all b 3. The abundance of Smith numbers is also reflected in the fact that it is not hard to construct all kinds of sequences of Smith numbers, even ones that enjoy additional digital features. McDaniel [5] gave an alternate construction of Smith numbers N which are divisible by the digital sum S(N). A number N that is divisible by S(N) is called a Niven number, as introduced in an article by Kennedy et al. [1] in 1980. In a separate article, McDaniel [3] also constructed an infinite sequence of palindromic Smith numbers. McDaniel s definition of a palindromic number includes numbers of the form N 10 e, where N is itself a palindrome, since we argue that e leading zeros may be prefixed in order to see the number N 10 e as a genuine palindrome. We shall go with this definition: Definition 1. A natural number N is called a palindrome when the digits in N read the same left to right as they do right to left, e.g., N = 84148. Moreover, we

INTEGERS: 14 (2014) 2 say that a number M is palindromic if M is either a palindrome or M = N 10 e for some palindrome N. In this article, we aim to demonstrate the existence of an infinite sequence of Smith numbers with the extra property that each one is also a palindromic Niven number. This sequence is a special case of a known construction of Smith numbers that we have given recently [9]. In this construction, the Smith numbers are of the form 9P k,n t n 10 f k, where P k,n = P n 1 i=0 10ki and t n is to be chosen from a set M k of seven numbers with distinct p-digit sums modulo 7. We will achieve our goal by considering the case k = 3 with a new set M 3 consisting of seven palindromes. 2. Known Facts We will employ the notation D(N) and (N) to denote the number of digits in N and the number of prime factors of N, respectively. Definition 2. For every pair of integers k, n according to the formula P k,n = nx 1 i=0 10 ki. 1, we define the number P k,n It is an easy observation that S(P k,n ) = n and that D(P k,n ) = kn every pair k, n. Furthermore, we have the identity P k,n = R kn R k, k + 1 for where R k = (10 k 1)/9 and which is also known as the k-th repunit. In the following theorem we restate previous results [9, Theorems 7, 9] upon which our new construction will be based. Theorem 1. Let k 2, and let M k be a set of seven numbers of the form P k j=1 10ej, such that {e j 1 apple j apple k} is a complete residue system modulo k. Then S(9P k,n t) = 9kn for all t 2 M k. Moreover, if {S p (t) t 2 M k } is a complete residue system modulo 7, then there are infinitely many values of n for which S(9P k,n t n ) S p (9P k,n t n ) = 7f for some integer f 0 and some t n 2 M k. The number f in Theorem 1 varies with n and determines the Smith number N n,k = 9P k,n t n 10 f, for in this case S p (10 f ) = 7f and so S p (N n,k ) = S p (9P k,n t n ) + S p (10 f ) = S(9P k,n t n ) = S(N n,k ). We will also rely on the following fact [2, Theorem 1] concerning the upperbound for the p-digit sum S p (N) of an arbitrary number N. Theorem 2 (McDaniel). For any number N, S p (N) < 9D(N) 0.54 (N).

INTEGERS: 14 (2014) 3 3. The New Sequence We begin by introducing the set M 3, given below, which will play the role of M k in Theorem 1 for the specific value of k = 3. Definition 3. Let M 3 be the set of seven numbers of distinct p-digit sums modulo 7 given by M 3 = {10 2e + 10 e + 1 e = 1, 2, 4, 5, 7, 10, 11}. The fact that {S p (t) t 2 M 3 } is a complete residue system modulo 7 is verified in Table 1, where we provide the prime factorizations of the elements t 2 M 3 in order to compute S p (t). e t = 10 2e + 10 e + 1 S p (t) (mod 7) 1 3 37 13 6 2 3 7 13 37 24 3 4 3 7 13 37 9901 43 1 5 3 31 37 2906161 42 0 7 3 37 43 1933 10838689 79 2 10 3 7 13 31 37 211 241 74 4 2161 2906161 11 3 37 67 1344628210313298373 96 5 Table 1: The prime factorization of t 2 M 3 and the resulting S p (t) mod 7. Moreover, this set M 3 satisfies the hypothesis of Theorem 1 when k = 3. To see this fact, for every t 2 M 3 we have the form t = 10 2e + 10 e + 10 0, where {2e, e, 0} is a complete residue system modulo 3 for the seven choices of e 2 {1, 2, 4, 5, 7, 10, 11}. Hence, we have S(9P 3,n t) = 27n whenever t 2 M 3, which allows us to set the following definition. Definition 4. For every n 1, we let N n = 9 P 3,n t n, with the unique element t n 2 M 3 such that S(N n ) S p (N n ) (mod 7). We conclude that there exist infinitely many values of n 1 for which S(N n ) S p (N n ) = 7f n with f n 0, giving the Smith number N n 10 fn. Furthermore, we claim that for each such n, the resulting Smith number is palindromic: Theorem 3. For all n 1, the number N n is a palindrome. Proof. Let t = 10 2e + 10 e + 1 2 M 3 with any one of the seven values of e. Then, P 3,n t = nx 1 i=0 10 3i+2e + 10 3i+e + 10 3i. (1)

INTEGERS: 14 (2014) 4 By the fact that 2e, e, and 0 are all distinct modulo 3, we see that P 3,n t is the sum of 3n distinct powers of ten. The largest among these powers is 10 3n 3+2e. Now let D = D(P 3,n t) = 3n 2+2e. We will claim that P 3,n t is a palindrome by showing that the power 10 j (D appears among the summands if and only if 10 1) j does too. This equivalence statement is clear once we substitute i = n 1 j in (1): nx 1 P 3,n t = 10 (D 1) 3j + 10 (D 1) (3j+e) + 10 (D 1) (3j+2e). j=0 Lastly, since the digits in P 3,n t are all zeros and ones, the number 9P 3,n t is as well a palindrome, which is the desired result. We next show the existence of an infinite subsequence of N n in which each number N n is divisible by S(N n ). Theorem 4. For every k 1, the number N 3 k is divisible by S(N 3 k). Proof. Note that S(N 3 k) = 3 k+3 according to Theorem 1. Let m(x) denote the m-th cyclotomic polynomial, and recall the familiar identity x n 1 = Y d(x). d n We use the fact that 3 i(x) = x2 3i 1 + x 3i 1 + 1 for all i 1 and we obtain x 3k+1 1 = 1 (x) 3 (x) 3 2(x) 3 k+1(x) Equivalently, we may write Meanwhile, we also have Hence, = (x 1)(x 2 + x + 1)(x 2 3 + x 3 + 1) (x 2 3k + x 3k + 1). x 3k+1 1 x 3 1 = ky (x 2 3i + x 3i + 1). i=1 P 3,3 k = R 3 k+1 = 103 k+1 1 R 3 10 3 1. P 3,3 k = ky (10 2 3i + 10 3i + 1). (2) i=1 Since the sum 10 2 3i + 10 3i + 1 in (2) is a multiple of 3, it follows that 3 k divides P 3,3 k. And with the fact that every t 2 M 3 is also a multiple of 3, we then conclude that 3 k+3 divides N 3 k as claimed.

INTEGERS: 14 (2014) 5 Finally, we now arrive at our main result. Theorem 5. For all su ciently large k, we can find f k > 0 such that the number N 3 k 10 f k is a palindromic Smith number that is divisible by its digital sum, i.e., S(N 3 k 10 f k ) = 3 k+3. Proof. We simply let f k = S(N 3 k) S p(n 3 k). 7 Hence, it su ces to show that S(N 3 k) > S p (N 3 k) for all k su ciently large. Recalling that D(9P 3,3 k) = 3 k+1 2 and, by Equation (2), (P 3,3 k) 2k, we apply Theorem 2: S p (N 3 k) = S p (t 3 k) + S p (9P 3,3 k) < 96 + 9(3 k+1 2) 0.54(2k + 2) = 3 k+3 + 76.92 1.08k. Since 3 k+3 = S(N 3 k), we see that S p (N 3 k) < S(N 3 k) for all su of k. ciently large values 4. Computational Notes The proof of Theorem 5 implicitly implies that S p (N 3 k) < S(N 3 k) for all k 72. However, computational results suggested that the quantity S p (N 3 k) is significantly smaller than 3 k+3 even for small values of k, and more so as k increases. For k apple 5, we recorded in Table 2 the corresponding values of f k that yield the Smith numbers N 3 k 10 f k. In this range, only k = 1 fails to generate a Smith number due to the fact that f 1 < 0. k S(N 3 k) S p (P 3,3 k) e k S p (N 3 k) f k 1 81 31 7 116 n/a 2 243 117 4 166 11 3 729 359 5 407 46 4 2187 1093 2 1123 152 5 6561 3296 10 3376 455 Table 2: Smith numbers N 3 k 10 f k, where N 3 k = 9P 3,3 k(10 2e k + 10 e k + 1) These numerical observations led us to a stronger version of Theorem 5, as follows. Theorem 6. For every k 2, the number N 3 k 10 f k is a palindromic Smith number that is also a Niven number, where f k is positive and determined by f k = S(N 3 k) S p(n 3 k). 7

INTEGERS: 14 (2014) 6 Proof. We will assume that k 3, since the claim has been verified for k = 2 by direct computation, and show that 3 k+3 > S p (N 3 k). Now let P 0 = ky (10 2 3i + 10 3i + 1), i=3 so that we have P 3,3 k = P 3,3 2 P 0. This identity allows us to closely estimate the number of digits in P 0. In particular, D(P 0 ) apple D(P 3,3 k) D(P 3,9 ) + 1 = (3 k+1 2) 25 + 1 = 3 k+1 26. Moreover, since P 0 is the product of k 2 composites, we note that (P 0 ) (k 2)2 = 2k 4. Then with S p (P 3,9 ) = 117, we employ Theorem 2 again to arrive at the desired result: S p (N 3 k) = S p (9) + S p (P 3,9 ) + S p (P 0 ) + S p (t 3 k) apple 6 + 117 + 9(3 k+1 26) 0.54(2k 4) + 96 = 3 k+3 12.84 1.08k < 3 k+3. Acknowledgments The author gratefully acknowledges the kind referee for providing a thorough list of suggestions and corrections upon proofreading the originally submitted manuscript. References [1] R. E. Kennedy, T. Goodman, and C. Best, Mathematical discovery and Niven numbers, MATYC J. 14 (1980), 21 25. [2] W. L. McDaniel, The existence of infinitely many k-smith numbers, Fibonacci Quart. 25 (1987), 76 80. [3] W. L. McDaniel, Palindromic Smith numbers, J. Recreat. Math. 19 (1987), 34 37. [4] W. L. McDaniel, Di erence of the digital sums of an integer base b and its prime factors, J. Number Theory 31 (1989), 91 98. [5] W. L. McDaniel, On the intersection of the sets of base b Smith numbers and Niven numbers, Missouri J. Math. Sci. 2 (1990), 132 136. [6] W. L. McDaniel, Constancy of the number of 1 s in a binary integer under factorization into prime factors, Math. Comput. Educ. 25 (1991), 285 287. [7] A. Wilansky, Smith numbers, Two-Year College Math. J. 13 (1982), 21. [8] B. Wilson, For b 3 there exist infinitely many base b k-smith numbers, Rocky Mountain J. Math. 29 (1999), 1531 1535. [9] A. Witno, A family of sequences generating Smith numbers, J. Integer Seq. 16 (2013), Art. 13.4.6.