arxiv: v1 [math.gm] 1 Oct 2015

Size: px
Start display at page:

Download "arxiv: v1 [math.gm] 1 Oct 2015"

Transcription

1 A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv: v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence of Collatz sequences to convergence of Collatz sequences of odd numbers that are divisible by. We give an elementary proof of the fact that a Collatz sequence does not increase monotonically. We define a unique reverse Collatz sequence and conjecture that this sequence always converges to a multiple of. 1. Introduction The Collatz conjecture is an unsolved conjecture about the convergence of a sequence named after Lothar Collatz. A comprehensive study of the Collatz conjecture can be found in [1], [], and []. Consider the following operation on a positive integer A. If A is even, divide it by two. Otherwise, if A is odd, triple it and add one. Now, form a sequence c i by performing this operation repeatedly, beginning with A, and taking the result at each step as the input of the next: c i = A, if i = 0; = c i 1 +1, if c i 1 is odd; = c i 1 /, if c i 1 is even. The sequence c i is called a Collatz sequence with starting number A. The Collatz conjecture says that this sequence will eventually reach the number 1, regardless of which positive integer is chosen initially. The sequence gets in to an infinite cycle of 4,, 1 after reaching 1.

2 INTEGERS: 14 (014) Example 1.1. The Collatz sequence of 7 is 7,8,41,14,6,1,94,47,14,71,14,107,,161,484,4,11,64,18,91,74, 17,41,06,10,10,155,466,,700,50,175,56,6,790,95,1186,59,1780, 890,445,16,668,4,167,50,51,754,77,11,566,8,850,45,176,68,19, 958, 479, 148, 719, 158, 1079, 8, 1619, 4858, 49, 788, 644, 18, 911, 74, 167, 410,051,6154,077,9,4616,08,1154,577,17,866,4,100,650,5,976, 488,44,1,61,184,9,46,,70,5,106,5,160,80,40,0,10,5,16,8,4,,1,4,,1, 4,,1,... For the rest of this article, we will ignore the infinite cycle of 4,,1, and say that a Collatz sequence converges to 1, if it reaches 1. In this article, we focus on the subsequence ofodd numbersof acollatz sequence. ThisisbecauseeveryevennumberinaCollatzsequencehasto reachanoddnumber after a finite number of steps. Observe that the Collatz conjecture implies that the subsequence of odd numbers of a Collatz sequence converges to 1. Example 1.. The subsequence of odd numbers of the Collatz sequence of 7 in Example 1.1 is 7,41,1,47,71,107,161,11,91,17,10,155,,175,6,95,59,445,167,51,77, 8,45,19,479,719,1079,1619,49,911,167,051,077,577,4,5,61,,5,5, 5,1,1,... This article is organized as follows. In Section, we show that to prove the Collatz conjecture, it is sufficient to show that the Collatz sequences of numbers that are multiples of converge. In Section, we prove that a Collatz sequence cannot increase monotonically. Finally, in Section 4, we define and discuss a unique reverse Collatz sequence.. Reducing the Collatz conjecture to multiples of. In this section we show that to prove the Collatz conjecture, it is sufficient to show that the Collatz sequences of numbers that are multiples of converge to 1. Observe that a Collatz sequence of a number is unique. However, a Collatz sequence can be a subsequence of another Collatz sequence. We say two Collatz sequences are equivalent if the second odd number occurring in the sequences are same. Consequently, two equivalent Collatz sequences become equal from the second odd term onwards.

3 INTEGERS: 14 (014) Example.1. The Collatz sequence of is,10,5,16,8,4,,1,1,... The Collatz sequence of 1 is 1,40,0,10,5,16,8,4,,1,1,... Observe that the two sequences merge at the odd number 5. Hence the Collatz sequences of and 1 are equivalent. Let e n denote the recursive sequence e n = 4e n 1 +1, such that, n = 0,1,,... and e 1 = 0. Observe that e n = n i=0 4i,n 0. Thus, e n is the sequence 1,5,1,85,41,165,5461,1845,8781,4955,198101,559405,... These numbers play a pivotal role in the study of a Collatz sequence. Lemma 1. For n 0, 4 n = e n Proof. We use induction to prove this lemma. For n = 0, 1 = 4 0 = e 1 +1 = 1. Hence the result is true for n = 0. Assume the hypothesis is true for n = k, that is 4 k = e k Then for n = k +1, we get 4 k+1 = 4(4 k ) = 4(e k 1 +1) = 4e k = (4e k 1 +1)+1 = e k +1. Therefore by induction the result is true for all n. Let P be a positive number. We say A is a jump of height n from P if A = 4 n P +e n 1. Example.. 1 = is a jump from of height 1. 5 = = is a jump from 1 of height 1 and a jump from of height. In the next lemma, we consider a sequence of jumps from a given number. Lemma. Let b 0 be any positive integer. Consider the sequence b i = 4b i For any positive integer n, b n +1 = 4 n (b 0 +1). Proof. b 1 = 4b 0 +1 b = 4(4b 0 +1)+1 = 4 b b = 4(4(4b 0 +1)+1)+1 = 4 b

4 INTEGERS: 14 (014) 4 Thus, we get b n = 4 n b 0 +e n 1. Therefore b n +1 = (4 n b 0 +e n 1 )+1 = 4 n b 0 +(e n 1 +1) = 4 n b 0 +4 n (by Lemma 1, e n 1 +1 = 4 n ) = 4 n (b 0 +1). In the next theorem we show that the set of odd numbers that can occur consecutively before a given odd number B in the odd subsequence of a Collatz sequence are all jumps from a unique number derived from B. Theorem 1. Let B be an odd number. 1. If B 0 mod, then there are no odd numbers before B in a Collatz sequence containing B.. Let Proof. P = 4B 1 if B 1 mod and B 1 if B mod. Let A be an odd number. Then A occurs before B, consecutively, in the odd subsequence of a Collatz sequence containing B, if and only if, A is a jump of P of height n 0. That is, A {4 n P +e n 1 ;n 0}. Thus, P is the smallest odd integer that can occur consecutively before B in the odd subsequence of a Collatz sequence containing B. 1. If there is an odd number before B in a Collatz sequence, then there is some odd number A, consecutively, before B. Then by the definition of a Collatz sequence, B can be written as B = (A+1)/ r for some r 1. Consequently, if B 0 mod, then A+1 0 mod, which is impossible. Hence there are no odd numbers before B in any Collatz sequence.. Since A is an odd number such that A and B occur consecutively in the odd subsequence of a Collatz sequence, by definition of the Collatz sequence, A = ( j B 1)/ for some j 1. Consequently, j is an integer such that (1) j B 1 mod. () Since we assume A exists, B 0 mod by part (1). First consider B mod. Since j 1 and since B 1 mod, for () to hold j = r +1 for

5 INTEGERS: 14 (014) 5 some r 0. On the other hand if B 1 mod, then B 1 mod, but 4B 1 mod. Thus, for () to hold, j = r+ for some r 0. Thus we conclude that for some r 0, 4 r+1 B 1 if B 1 mod, A = 4 r B 1 if B mod. We substitute r = 0 in the above equation to get P. We now prove that A is a jump from P of height r. Since P = ( k B 1)/ such that k is either 1 or depending on B, 4 r P +e r 1 = 4 rk B 1 +e r 1 = 4r k B 4 r +e r 1 = 4r k B 4 r +(e r 1 +1) 1 (adding and subtracting 1) = 4r k B 4 r +4 r 1 (since e r 1 +1 = 4 r ) = 4r k B 1 = A. Hence A is a jump of height r from P. Now we prove the other direction, that is, if A is a jump from P of height r for some r 0, then A occurs consecutively before B in the odd subsequence of a Collatz sequence. Since A = 4 r P +e r 1, we apply Lemma with b 0 = P and A = b r to get A+1 = b r +1 = 4 r (b 0 +1) = 4 r (P +1). () Since P = ( k B 1)/ such that k is either 1 or depending on B, (P +1) = k B. (4) From () and (4), we get A+1 = 4 r k B. Thus the odd number following A in a Collatz sequence is (A+1)/(4 r k ) = B.

6 INTEGERS: 14 (014) 6 Example.. Consider the odd number B =. Then by Theorem 1, P = 1 = 15. The unique sequence of odd numbers that can occur before in a Collatz sequence is b i = 4b i 1 + 1, where b 0 = 15. The Collatz sequences of b 0 = 15,b 1 = 61, and b = 95 are given below (check that the second odd number in all these sequences is ): 15,46,,70,5,106,5,160,80,40,0,10,5,16,8,4,,1; 61,184,9,46,,70,5,106,5,160,80,40,0,10,5,16,8,4,,1; 95,11776,5888,944,147,76,68,184,9,46,,70,5,106,5,160,80,40,0, 10,5,16,8,4,,1. Corollary 1. Let B be an integer and let B > 1. If the Collatz sequence of B converges then either B = r for some r 1 or the sequence reaches e n for some n 1. Proof. If B = r for some r 1 then clearly the Collatz sequence of B converges to 1. On the other hand, if B is not a power of, and since B 1, the convergent Collatz sequence of B contains an odd number greater than 1. Let A > 1 denote the odd integer that occurs consecutively before 1 in the Collatz sequence of B. By Theorem 1, since 1 1 mod, the smallest integer P that can occur before 1 in a Collatz sequence is P = (4 1 1)/ = 1 = e 0. Since A is greater than 1, A is a jump from P of height greater than or equal to 1. Observe that e n is a jump of height n from 1, by definition. Consequently, A = e n for some n 1. Corollary. 1. Let B be an odd number that is not divisible by. Let 4B 1 if B 1 mod P = B 1 if B mod. Let A be an odd number that occurs consecutively before B in the odd subsequence of a Collatz sequence. Consider the sequence b i = 4b i with b 0 = P. (a) For any i, the Collatz sequence of A and b i are equivalent. (b) The Collatz sequence of P is the sequence with smallest starting odd number that is equivalent to the Collatz sequence of A.

7 INTEGERS: 14 (014) 7 (c) Let c 0 = A and c i = 4c i Then for any i, the Collatz sequence of A and c i are equivalent.. Let A be an odd number. The Collatz sequence of A is equivalent to a Collatz sequence of a number divisible by. Proof. 1. Part (1a) and part (1b) is a direct application of Theorem 1. Again, by Theorem 1, A = b r for some r 0. Hence c i is a subsequence of b i. Therefore, for any i, the Collatz sequence of A and c i are equivalent by part (1a).. The Collatz sequence with starting numbers A, 4A+1, and 4(4A+1)+1 are equivalent by part (1c). If A 0 mod, there is nothing to prove. If A mod, then 4A mod. On the other hand, if A 1 mod, then 4(4A+1)+1 0 mod. Hence the Collatz sequence of A is equivalent to a Collatz sequence of a number divisible by. Example The Collatz sequences of 7 and a r = 4 r 7+e r 1, r 0, are equivalent by part (1c) of Corollary. The Collatz sequences of a 0 = 7,a 1 = 9, and a = 117 are given below. 7,,11,4,17,5,6,1,40,0,10,5,16,8,4,,1 9,88,44,,11,4,17,5,6,1,40,0,10,5,16,8,,4,,1 117,5,176,88,44,,11,4,17,5,6,1,40,0,10,5,16,8,4,,1. Since 11 comes right after 7 in the Collatz sequence of 7, we apply part (1b) of Corollary to derive P = 7. Hence 7 is the smallest starting number for this set of equivalent Collatz sequences.. The Collatz sequence of 7 is equivalent to the Collatz sequence of 117 which is divisible by. Since a multiple of is always the starting odd number of a Collatz sequence, and every Collatz sequence is equivalent to a Collatz sequence of a multiple of, the convergence problem of Collatz sequences reduces to the convergence of Collatz sequences of multiples of.

8 INTEGERS: 14 (014) 8. The rise and fall of a Collatz sequence. In this section, we give an elementary proof of the fact that a Collatz sequence does not end in a monotonically increasing sequence. For other approaches to this result, see [1]. Let A be an odd number. Write A in its binary form, A = i1 + i + + im + n + n 1 + n , such that i 1 > i > > i m > n+1. The tail of A is defined as n + n 1 + n We call n the length of the tail of A. Example.1. The tail of 7 = is + 1 and hence has length 1, the tail of 161 = is 1 and hence is of length 0, and the tail of 1 = is the entire number and therefore has length 4. The following lemma is used to work with the numbers written in binary form in this section. Lemma. 1. n = n + n 1.. Let 0 < i < n, then (n + n 1 + n + + n i ) = n+1 +( n 1 + n + + n i+1 )+ n i 1.. Let n > 0, then ( n + n )+1 = n+1 + n Proof. 1. n = (+1) n = n + n = n+1 + n. Therefore n = n + n 1.

9 INTEGERS: 14 (014) 9. (n + n 1 + n + + n i ) = ( n + n 1 )+( n 1 + n )+ +( n i+1 + n i )+( n i + n i 1 ) (by part (1)) = n +( n 1 + n 1 )+( n + n )+ +( n i + n i )+ n i 1 (rearranging terms) = n +( n )+( n 1 ) +( n i+1 )+ n i 1 = n+1 + n 1 + n i+1 + n i 1.. ( n + n )+1 = (n + n )++1 ( ( n + n ) +) = + = ( n+1 + n )+ (by part () ) = n+1 + n (rearranging terms). Let A and B be two odd numbers such that B occurs, consecutively, after A in a Collatz sequence. If B > A, we say that the Collatz sequence increases at A, otherwise, we say that the Collatz sequence decreases at A. The next theorem relates the tail of a number to the increase or decrease of a Collatz sequence at that number. Theorem. Let A be an odd number and let n denote the length of the tail of A. Let a i denote the sequence of odd numbers in the Collatz sequence of A with a 0 = A. 1. If n 1, then for some i 1 > i > > i m > n+1, a i = a i 1 +1 = i i(i1 + i + + im + n+1 ) 1, for i = 1,...n. The length of the tail of a i is n i. Hence the length of the tail of the n-th odd number after A is 0.. If n = 0, then a 1 = A+1 k,k. Moreover, if the Collatz sequence is decreasing at A then n = 0 and if the Collatz sequence is increasing at A, then n 1.

10 INTEGERS: 14 (014) 10 Proof. 1. Since the length of the tail of A is n 1, for some i 1 > i > > i m > n+1, A = i1 + i + + im + n + n 1 + n Consequently, A mod 4. Hence A + 1 mod 4 which implies a 1 = (A+1)/. Since a 1 > A we conclude that the Collatz sequence is increasing at A. On the other hand, if a 1 = (A + 1)/, then A mod 4, which implies n 1. Therefore, n 1 if and only if the Collatz sequence is increasing at A. In the binary form, a 1 = A+1 By part (1) of Lemma, = (i1 + i + + im ) + (n + n )+1. (5) (i1 + i + + im ) = i1 + i1 1 + i + i im + im 1. By part () of Lemma, ( n + n )+1 = n+1 + n Combining the two results, (5) becomes a 1 = i1 + i im + im 1 + n+1 + n Since i m 1 > n, the tail of a 1 is n 1 + n Thus the length of the tail of a 1 is n 1. Since n j 1 for j < n, we repeat the above argument and derive that a i = (a i 1 + 1)/ and the length of the tail of a i is n i for 1 < i n. Hence the length of the tail of the n-th odd number that occurs after A in the Collatz sequence is 0. We use induction to prove, a i = i i(i1 + i + + im + i+1 ) 1 for i = 1,...n.

11 INTEGERS: 14 (014) 11 When i = 1, a 1 = + (i1 i + + im + n + n )+ (by (5)) = + (i1 i + + im + n + n )+( 1) = + (i1 i + + im + n + n (+)) 1 = + (i1 i + + im + n + n 1 + +( + )) 1 = + (i1 i + + im + n + n 1 + +( + )) 1. = + (i1 i + + im +( n + n )) 1 = + (i1 i + + im + n+1 ) 1. Assume k < n, a k = k k ( i1 + i + + im + n+1 ) 1, then a k+1 = a k 1 +1 = 1 ( ( ) ) k + i + + im + n+1 ) 1 +1 k(i1 = 1 ( k+1 ( i1 + i + + im + n+1 ) k + k ) k = k+1 ( i1 + i + + im + n+1 ) k+1 k+1 = k+1 k+1(i1 + i + + im + n+1 ) 1. Hence proof follows by induction.. If the tail of A is 1, then A is of the form A = i1 + + im + 1, where i m > 1. Therefore A 1 mod 4, which implies A+1 0 mod 4. Therefore a 1 = (A+1)/ k, where k. Consequently, a 1 < A. Therefore, the Collatz sequence is decreasing at A. On the other hand, if a 1 = (A + 1)/ k, where k, then A 1 mod 4, which implies n = 0. Thus n = 0, if and only if, the Collatz sequence is decreasing at A.

12 INTEGERS: 14 (014) 1 Example.. Let a i denote the sequence of odd numbers in a Collatz sequence, where a 0 = 19. Since a 0 = 19 = has tail of length 5, by Theorem, a i = i i(8 + 6 ) 1 for i = 1,...,5. Thus, a 1 = (8 + 6 ) 1 = 479; a = (8 + 6 ) 1 = 719; a = (8 + 6 ) 1 = 1079; a 4 = 4 4(8 + 6 ) 1 = 1619; a 5 = 5 5(8 + 6 ) 1 = 49. Since a 5 = 49 = , the length of the tail of a 5 is zero as expected. Finally we conclude that every rise of a Collatz sequence is followed by a fall in the next corollary. Corollary. A Collatz sequence does not increase monotonically. Proof. Let n denote the length of the tail of A. By Theorem, a Collatz sequence increases at A if and only if the length of the tail of A is n 1. By Theorem, the n-th odd number, occurring after A, say B, has tail of length 0. Hence the Collatz sequence decreases at B. Therefore a Collatz sequence cannot increase monotonically. 4. The Reverse Collatz sequence. Given an odd number A, we know from Section that there is a unique sequence of odd numbers that can occur before A in a Collatz sequence. We restrict ourselvesto the smallest number of this sequence. This gives us the desired uniqueness necessary to get a well defined sequence in the reverse direction defined as follows.

13 INTEGERS: 14 (014) 1 Definition 4.1. Reverse Collatz Sequence: Let A be a positive integer. A if i = 0; r i 1 1 r i = if r i 1 1 mod and r i 1 is even; r i 1 if r i 1 1 mod and r i 1 is even; if r i 1 is odd. r i 1 Example The reverse Collatz sequence with starting number 11 is : 11,4,484,161,,107,14,71,14,47,94,1,6,14,41,8,7,54,108,16,... Observe that since 7 is divisible by, all the other numbers after 7 are of the form i 7 for some i.. The reverse Collatz sequence with starting number 485 is : 485,970,,646,15,40,14,86,95,190,6,16,... We say that a reverse Collatz sequence converges if the subsequence of odd numbersofthe sequence convergestoamultiple of. Recall that apartfromthe starting number, a Collatz sequence of an odd number cannot contain multiples of by part (1) of Theorem 1. Example 4.. The Reverse Collatz sequence of 11 (see Example 4.1) converges because its subsequence of odd numbers 11,161,107,71,47,1,41,7 converges to 7. Henceforth, when a reverse Collatz sequence converges to t, we will ignore the terms i t of the sequence. In the next step, we look at some properties of a reverse Collatz sequence. Let A be an odd number. We say that the reverse Collatz sequence of A is trivial if A is the only odd number in its reverse Collatz sequence. Proposition 1. Let A be an odd number. 1. If A is divisible by then the reverse Collatz sequence of A is trivial.. Let p i denote the subsequence of odd numbers in the reverse Collatz sequence of A. If p i 0 mod, then p i+1 do not exist. Otherwise, p i+1 is the smallest odd number before p i in any Collatz sequence and p i+1 = p i 1 if p i mod 4p i 1 if p i 1 mod (6)

14 INTEGERS: 14 (014) 14. The only odd number that can be a jump from another odd number in a reverse Collatz sequence is the starting number of the reverse Collatz sequence. Proof. 1. Since there are no odd numbers before A in a Collatz sequence by part (1) of Theorem 1, it follows that A is the only odd number in its reverse Collatz sequence.. Since p i+1 is the smallest odd number before p i in a Collatz sequence, by Theorem 1, if p i 0 mod, then p i+1 is as in (6), and if p i 0 mod, then p i+1 does not exist,. By definition of the reverse Collatz sequence, p i+1 are smallest possible odd numbers. Hence, by Theorem 1, the only odd number that can be a jump in a reverse Collatz sequence is the starting number of the reverse Collatz sequence. Lemma 4. Let A be an odd number and let p i denote the subsequence of odd numbers in the reverse Collatz sequence of A. Then, for some k 1, p k mod. Proof. If p i mod, then p i+1 = (p i 1 1)/ by part () of Proposition 1. Therefore p i+1 < p i. If all the odd terms of the reverse Collatz sequence of A are congruent to mod then the sequence is strictly decreasing. The smallest such odd number that such a sequence can reach is 5 in which case the next number in the sequence is, a contradiction. Hence, there is a k such that p k is not congruent to mod. By Lemma 4, a reverse Collatz sequence reaches a number not congruent to mod. We believe but cannot prove that it reaches a number that is a multiple of. Conjecture 1. The reverse Collatz sequence converges to a multiple of for every number greater than one. The reverse Collatz sequence of a number A is unique and hence it provides for the definition of a unique complete Collatz sequence of A, namely the union of the reverse Collatz sequence of A and the Collatz sequence of A.

15 INTEGERS: 14 (014) 15 Example 4.. The complete Collatz sequence of 485 is 6,190,95,86,14,40,15,646,,970,485,1456,78,64,18,91,74,17,41,06,10, 10,155,466,,700,50,175,56,6,790,95,1186,59,1780,890,445,16,668,4,167, 50,51,754,77,11,566,8,850,45,176,68,19,958,479,148,719,158,,1079,8, 1619, 4858, 49, 788, 644, 18, 911, 74, 167, 410, 051, 6154, 077, 9, 4616, 08, 1154, 577,17,866,4,100,650,5,976,488,44,1,61,184,9,46,,70,5,106,5,160,80,40, 0,10,5,16,8,4,,1. References [1] Jeffrey C. Lagarias, The x+1 Problem: An Annotated Bibliography, II ( ), arxiv:math/060808v5 [math.nt]. [] Jeffrey C. Lagarias, The x+1 problem and its generalizations, Amer. Math. Monthly 9 (1985) -. [] Wirsching, Günther J., The Dynamical System Generated by the n+1 Function, Lecture Notes in Mathematics, Vol. 1681, Springer Verlag, 1998.

arxiv: v6 [math.nt] 10 Oct 2018

arxiv: v6 [math.nt] 10 Oct 2018 7x ± 1: Close Relative of Collatz Problem David Barina arxiv:1807.00908v6 [math.nt] 10 Oct 2018 e-mail: ibarina@fit.vutbr.cz Faculty of Information Technology Brno University of Technology Brno, Czech

More information

Notes on Systems of Linear Congruences

Notes on Systems of Linear Congruences MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the

More information

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

MATH 215 Final. M4. For all a, b in Z, a b = b a. MATH 215 Final We will assume the existence of a set Z, whose elements are called integers, along with a well-defined binary operation + on Z (called addition), a second well-defined binary operation on

More information

Collatz cycles with few descents

Collatz cycles with few descents ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.

More information

COLLATZ CONJECTURE: IS IT FALSE?

COLLATZ CONJECTURE: IS IT FALSE? COLLATZ CONJECTURE: IS IT FALSE? JUAN A. PEREZ arxiv:1708.04615v2 [math.gm] 29 Aug 2017 ABSTRACT. For a long time, Collatz Conjecture has been assumed to be true, although a formal proof has eluded all

More information

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION

SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION CHAPTER 5 SEQUENCES, MATHEMATICAL INDUCTION, AND RECURSION Copyright Cengage Learning. All rights reserved. SECTION 5.4 Strong Mathematical Induction and the Well-Ordering Principle for the Integers Copyright

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations

On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations On the Composite Terms in Sequence Generated from Mersenne-type Recurrence Relations Pingyuan Zhou E-mail:zhoupingyuan49@hotmail.com Abstract We conjecture that there is at least one composite term in

More information

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers

ALGEBRA. 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers ALGEBRA CHRISTIAN REMLING 1. Some elementary number theory 1.1. Primes and divisibility. We denote the collection of integers by Z = {..., 2, 1, 0, 1,...}. Given a, b Z, we write a b if b = ac for some

More information

Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1

Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1 Necessary and Sufficient Conditions for the Central Norm to Equal 2 h in the Simple Continued Fraction Expansion of 2 h c for Any Odd Non-Square c > 1 R.A. Mollin Abstract We look at the simple continued

More information

Infinite Continued Fractions

Infinite Continued Fractions Infinite Continued Fractions 8-5-200 The value of an infinite continued fraction [a 0 ; a, a 2, ] is lim c k, where c k is the k-th convergent k If [a 0 ; a, a 2, ] is an infinite continued fraction with

More information

A Platonic basis of Integers

A Platonic basis of Integers A Platonic basis of Integers Maya Mohsin Ahmed arxiv:19040787v1 [mathnt] 3 Apr 019 Abstract In this article, we prove that every integer can be written as an integer combination of exactly 4 tetrahedral

More information

Jonathan Sondow 209 West 97th Street Apt 6F New York, NY USA

Jonathan Sondow 209 West 97th Street Apt 6F New York, NY USA Which Partial Sums of the Taylor Series for e Are Convergents to e? (and a Link to the Primes 2, 5, 13, 37, 463,...) arxiv:0709.0671v1 [math.nt] 5 Sep 2007 Jonathan Sondow 209 West 97th Street Apt 6F New

More information

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF

COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF COUNTING NUMERICAL SEMIGROUPS BY GENUS AND SOME CASES OF A QUESTION OF WILF NATHAN KAPLAN Abstract. The genus of a numerical semigroup is the size of its complement. In this paper we will prove some results

More information

The Collatz Problem and Analogues

The Collatz Problem and Analogues 2 3 47 6 23 Journal of Integer Sequences, Vol. (2008), Article 08.4.7 The Collatz roblem and Analogues Bart Snapp and Matt Tracy Department of Mathematics and Statistics Coastal Carolina University Conway,

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Sieving 2m-prime pairs

Sieving 2m-prime pairs Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 20, 2014, No. 3, 54 60 Sieving 2m-prime pairs Srečko Lampret Pohorska cesta 110, 2367 Vuzenica, Slovenia e-mail: lampretsrecko@gmail.com

More information

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

. As the binomial coefficients are integers we have that. 2 n(n 1). Math 580 Homework. 1. Divisibility. Definition 1. Let a, b be integers with a 0. Then b divides b iff there is an integer k such that b = ka. In the case we write a b. In this case we also say a is a factor

More information

Discrete Mathematics. Spring 2017

Discrete Mathematics. Spring 2017 Discrete Mathematics Spring 2017 Previous Lecture Principle of Mathematical Induction Mathematical Induction: rule of inference Mathematical Induction: Conjecturing and Proving Climbing an Infinite Ladder

More information

On a conjecture concerning the sum of independent Rademacher random variables

On a conjecture concerning the sum of independent Rademacher random variables On a conjecture concerning the sum of independent Rademacher rom variables Martien C.A. van Zuijlen arxiv:111.4988v1 [math.pr] 1 Dec 011 IMAPP, MATHEMATICS RADBOUD UNIVERSITY NIJMEGEN Heyendaalseweg 135

More information

NOTES ON SIMPLE NUMBER THEORY

NOTES ON SIMPLE NUMBER THEORY NOTES ON SIMPLE NUMBER THEORY DAMIEN PITMAN 1. Definitions & Theorems Definition: We say d divides m iff d is positive integer and m is an integer and there is an integer q such that m = dq. In this case,

More information

Sums of Squares. Bianca Homberg and Minna Liu

Sums of Squares. Bianca Homberg and Minna Liu Sums of Squares Bianca Homberg and Minna Liu June 24, 2010 Abstract For our exploration topic, we researched the sums of squares. Certain properties of numbers that can be written as the sum of two squares

More information

Equidivisible consecutive integers

Equidivisible consecutive integers & Equidivisible consecutive integers Ivo Düntsch Department of Computer Science Brock University St Catherines, Ontario, L2S 3A1, Canada duentsch@cosc.brocku.ca Roger B. Eggleton Department of Mathematics

More information

Instructor: Bobby Kleinberg Lecture Notes, 25 April The Miller-Rabin Randomized Primality Test

Instructor: Bobby Kleinberg Lecture Notes, 25 April The Miller-Rabin Randomized Primality Test Introduction to Algorithms (CS 482) Cornell University Instructor: Bobby Kleinberg Lecture Notes, 25 April 2008 The Miller-Rabin Randomized Primality Test 1 Introduction Primality testing is an important

More information

Wilson s Theorem and Fermat s Little Theorem

Wilson s Theorem and Fermat s Little Theorem Wilson s Theorem and Fermat s Little Theorem Wilson stheorem THEOREM 1 (Wilson s Theorem): (p 1)! 1 (mod p) if and only if p is prime. EXAMPLE: We have (2 1)!+1 = 2 (3 1)!+1 = 3 (4 1)!+1 = 7 (5 1)!+1 =

More information

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

PUTNAM TRAINING NUMBER THEORY. Exercises 1. Show that the sum of two consecutive primes is never twice a prime. PUTNAM TRAINING NUMBER THEORY (Last updated: December 11, 2017) Remark. This is a list of exercises on Number Theory. Miguel A. Lerma Exercises 1. Show that the sum of two consecutive primes is never twice

More information

On the Infinitude of Twin-Primes Bao Qi Feng

On the Infinitude of Twin-Primes Bao Qi Feng On the Infinitude of Twin-Primes Bao Qi Feng Department of Mathematical Sciences, Kent State University at Tuscarawas 330 University Dr. NE, New Philadelphia, OH 44663, USA. Abstract In this article, we

More information

arxiv: v5 [math.nt] 23 May 2017

arxiv: v5 [math.nt] 23 May 2017 TWO ANALOGS OF THUE-MORSE SEQUENCE arxiv:1603.04434v5 [math.nt] 23 May 2017 VLADIMIR SHEVELEV Abstract. We introduce and study two analogs of one of the best known sequence in Mathematics : Thue-Morse

More information

Partitioning the Positive Integers with the Collatz Algorithm Jim Rock

Partitioning the Positive Integers with the Collatz Algorithm Jim Rock Partitioning the Positive Integers with the Collatz Algorithm Jim Rock Abstract. Collatz sequences are formed by applying the Collatz algorithm to a positive integer. If it is even repeatedly divide by

More information

Part V. Chapter 19. Congruence of integers

Part V. Chapter 19. Congruence of integers Part V. Chapter 19. Congruence of integers Congruence modulo m Let m be a positive integer. Definition. Integers a and b are congruent modulo m if and only if a b is divisible by m. For example, 1. 277

More information

A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS

A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS A CONSTRUCTION OF ARITHMETIC PROGRESSION-FREE SEQUENCES AND ITS ANALYSIS BRIAN L MILLER & CHRIS MONICO TEXAS TECH UNIVERSITY Abstract We describe a particular greedy construction of an arithmetic progression-free

More information

Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin

Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin Quadratic reciprocity and the Jacobi symbol Stephen McAdam Department of Mathematics University of Texas at Austin mcadam@math.utexas.edu Abstract: We offer a proof of quadratic reciprocity that arises

More information

Cullen Numbers in Binary Recurrent Sequences

Cullen Numbers in Binary Recurrent Sequences Cullen Numbers in Binary Recurrent Sequences Florian Luca 1 and Pantelimon Stănică 2 1 IMATE-UNAM, Ap. Postal 61-3 (Xangari), CP 58 089 Morelia, Michoacán, Mexico; e-mail: fluca@matmor.unam.mx 2 Auburn

More information

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS

NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS NONABELIAN GROUPS WITH PERFECT ORDER SUBSETS CARRIE E. FINCH AND LENNY JONES Abstract. Let G be a finite group and let x G. Define the order subset of G determined by x to be the set of all elements in

More information

The primitive root theorem

The primitive root theorem The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under

More information

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

#A67 INTEGERS 18 (2018) ON THE NESTED LOCAL POSTAGE STAMP PROBLEM #A67 INTEGERS 18 (2018) ON THE NESTED LOCAL POSTAGE STAMP PROBLEM Edgar Federico Elizeche Department of Mathematics, St. Stephen s College, University of Delhi, Delhi 110007, India edgar.federico@elizeche.com

More information

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below).

HW2 Solutions Problem 1: 2.22 Find the sign and inverse of the permutation shown in the book (and below). Teddy Einstein Math 430 HW Solutions Problem 1:. Find the sign and inverse of the permutation shown in the book (and below). Proof. Its disjoint cycle decomposition is: (19)(8)(37)(46) which immediately

More information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements

More information

M381 Number Theory 2004 Page 1

M381 Number Theory 2004 Page 1 M81 Number Theory 2004 Page 1 [[ Comments are written like this. Please send me (dave@wildd.freeserve.co.uk) details of any errors you find or suggestions for improvements. ]] Question 1 20 = 2 * 10 +

More information

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive

Announcements. Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Existence Proofs. Non-constructive Announcements Homework 2 Due Homework 3 Posted Due next Monday Quiz 2 on Wednesday Read Section 2.1 (Sets), 2.2 (Set Operations) and 5.1 (Mathematical Induction) Exam 1 in two weeks Monday, February 19

More information

Problem Set 5 Solutions

Problem Set 5 Solutions Problem Set 5 Solutions Section 4.. Use mathematical induction to prove each of the following: a) For each natural number n with n, n > + n. Let P n) be the statement n > + n. The base case, P ), is true

More information

On some inequalities between prime numbers

On some inequalities between prime numbers On some inequalities between prime numbers Martin Maulhardt July 204 ABSTRACT. In 948 Erdős and Turán proved that in the set of prime numbers the inequality p n+2 p n+ < p n+ p n is satisfied infinitely

More information

MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1

MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x +1 PROBLEM. 1. Introduction The 3x +1iteration is given by the function on the integers for x even 3x+1 MULTIPLICATIVE SEMIGROUPS RELATED TO THE 3x + PROBLEM ANA CARAIANI Abstract. Recently Lagarias introduced the Wild semigroup, which is intimately connected to the 3x + Conjecture. Applegate and Lagarias

More information

The Impossibility of Certain Types of Carmichael Numbers

The Impossibility of Certain Types of Carmichael Numbers The Impossibility of Certain Types of Carmichael Numbers Thomas Wright Abstract This paper proves that if a Carmichael number is composed of primes p i, then the LCM of the p i 1 s can never be of the

More information

Chapter 5: The Integers

Chapter 5: The Integers c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

More information

Chapter 5. Number Theory. 5.1 Base b representations

Chapter 5. Number Theory. 5.1 Base b representations Chapter 5 Number Theory The material in this chapter offers a small glimpse of why a lot of facts that you ve probably nown and used for a long time are true. It also offers some exposure to generalization,

More information

Lecture Notes. Advanced Discrete Structures COT S

Lecture Notes. Advanced Discrete Structures COT S Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-13 Recap Divisibility Prime Number Theorem Euclid s Lemma Fundamental Theorem of Arithmetic Euclidean Algorithm Basic Notions - Section

More information

Climbing an Infinite Ladder

Climbing an Infinite Ladder Section 5.1 Section Summary Mathematical Induction Examples of Proof by Mathematical Induction Mistaken Proofs by Mathematical Induction Guidelines for Proofs by Mathematical Induction Climbing an Infinite

More information

Standard forms for writing numbers

Standard forms for writing numbers Standard forms for writing numbers In order to relate the abstract mathematical descriptions of familiar number systems to the everyday descriptions of numbers by decimal expansions and similar means,

More information

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes.

INTEGERS. In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. INTEGERS PETER MAYR (MATH 2001, CU BOULDER) In this section we aim to show the following: Goal. Every natural number can be written uniquely as a product of primes. 1. Divisibility Definition. Let a, b

More information

arxiv: v1 [math.nt] 10 Dec 2009

arxiv: v1 [math.nt] 10 Dec 2009 Ford circles, continued fractions, and best approximation of the second kind arxiv:092.997v [math.nt] 0 Dec 2009 Ian Short Centre for Mathematical Sciences Wilberforce Road Cambridge CB3 0WB United Kingdom

More information

THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction

THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC THOMAS SCANLON Abstract. We describe intersections of finitely generated subgroups of semi-abelian varieties with subvarieties in characteristic

More information

Carmen s Core Concepts (Math 135)

Carmen s Core Concepts (Math 135) Carmen s Core Concepts (Math 135) Carmen Bruni University of Waterloo Week 4 1 Principle of Mathematical Induction 2 Example 3 Base Case 4 Inductive Hypothesis 5 Inductive Step When Induction Isn t Enough

More information

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p.

An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. Chapter 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and p has exactly two positive divisors, 1 and p. If n > 1

More information

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}.

2 Arithmetic. 2.1 Greatest common divisors. This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. 2 Arithmetic This chapter is about properties of the integers Z = {..., 2, 1, 0, 1, 2,...}. (See [Houston, Chapters 27 & 28]) 2.1 Greatest common divisors Definition 2.16. If a, b are integers, we say

More information

Math 13, Spring 2013, Lecture B: Midterm

Math 13, Spring 2013, Lecture B: Midterm Math 13, Spring 2013, Lecture B: Midterm Name Signature UCI ID # E-mail address Each numbered problem is worth 12 points, for a total of 84 points. Present your work, especially proofs, as clearly as possible.

More information

CHARACTERISTICS OF COUNTER EXAMPLE LOOPS IN THE COLLATZ CONJECTURE. Thomas W. Allen II

CHARACTERISTICS OF COUNTER EXAMPLE LOOPS IN THE COLLATZ CONJECTURE. Thomas W. Allen II CHARACTERISTICS OF COUNTER EXAMPLE LOOPS IN THE COLLATZ CONJECTURE by Thomas W Allen II An Abstract presented in partial fulfillment of the requirements for the degree of Master of Science in the Department

More information

RMT 2013 Power Round Solutions February 2, 2013

RMT 2013 Power Round Solutions February 2, 2013 RMT 013 Power Round Solutions February, 013 1. (a) (i) {0, 5, 7, 10, 11, 1, 14} {n N 0 : n 15}. (ii) Yes, 5, 7, 11, 16 can be generated by a set of fewer than 4 elements. Specifically, it is generated

More information

Antipodal Labelings for Cycles

Antipodal Labelings for Cycles Antipodal Labelings for Cycles Justie Su-Tzu Juan and Daphne Der-Fen Liu Submitted: December 2006; revised: August 2007 Abstract Let G be a graph with diameter d. An antipodal labeling of G is a function

More information

CHAPTER 3. Congruences. Congruence: definitions and properties

CHAPTER 3. Congruences. Congruence: definitions and properties CHAPTER 3 Congruences Part V of PJE Congruence: definitions and properties Definition. (PJE definition 19.1.1) Let m > 0 be an integer. Integers a and b are congruent modulo m if m divides a b. We write

More information

arxiv: v1 [math.nt] 18 Jul 2012

arxiv: v1 [math.nt] 18 Jul 2012 Some remarks on Euler s totient function arxiv:107.4446v1 [math.nt] 18 Jul 01 R.Coleman Laboratoire Jean Kuntzmann Université de Grenoble Abstract The image of Euler s totient function is composed of the

More information

ABSTRACT COLLATZ CONJECTURE: GENERALIZING THE ODD PART. Professor Leonid Koralov Department of Mathematics

ABSTRACT COLLATZ CONJECTURE: GENERALIZING THE ODD PART. Professor Leonid Koralov Department of Mathematics ABSTRACT Title of dissertation: COLLATZ CONJECTURE: GENERALIZING THE ODD PART Ryan Zavislak, Master of Arts, 2013 Dissertation directed by: Professor Leonid Koralov Department of Mathematics Our aim is

More information

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS

ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS Bull Aust Math Soc 81 (2010), 58 63 doi:101017/s0004972709000525 ELEMENTARY PROOFS OF PARITY RESULTS FOR 5-REGULAR PARTITIONS MICHAEL D HIRSCHHORN and JAMES A SELLERS (Received 11 February 2009) Abstract

More information

Cool Results on Primes

Cool Results on Primes Cool Results on Primes LA Math Circle (Advanced) January 24, 2016 Recall that last week we learned an algorithm that seemed to magically spit out greatest common divisors, but we weren t quite sure why

More information

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 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 PROBLEM SET 1 Section 1.3 Exercise 4. We see that 1 1 2 = 1 2, 1 1 2 + 1 2 3 = 2 3, 1 1 2 + 1 2 3 + 1 3 4 = 3 4, and is reasonable to conjecture n k=1 We will prove this formula by induction.

More information

Graphs with few total dominating sets

Graphs with few total dominating sets Graphs with few total dominating sets Marcin Krzywkowski marcin.krzywkowski@gmail.com Stephan Wagner swagner@sun.ac.za Abstract We give a lower bound for the number of total dominating sets of a graph

More information

arxiv: v2 [math.nt] 29 Jul 2017

arxiv: v2 [math.nt] 29 Jul 2017 Fibonacci and Lucas Numbers Associated with Brocard-Ramanujan Equation arxiv:1509.07898v2 [math.nt] 29 Jul 2017 Prapanpong Pongsriiam Department of Mathematics, Faculty of Science Silpakorn University

More information

Poset-Game Periodicity

Poset-Game Periodicity Poset-Game Periodicity Steven Byrnes Final Siemens-Westinghouse Version September 29, 2002 Abstract In this paper, we explore poset games, a large class of combinatorial games which includes Nim, Chomp,

More information

Decomposing oriented graphs into transitive tournaments

Decomposing oriented graphs into transitive tournaments Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote

More information

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson.

Putnam Greedy Algorithms Cody Johnson. Greedy Algorithms. May 30, 2016 Cody Johnson. 1 Introduction Greedy Algorithms May 0, 2016 Cody Johnson ctj@math.cmu.edu A greedy algorithm is an algorithm that chooses the optimal choice in the short run. 2 Examples 1. Prove that every nonnegative

More information

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have

Proof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have Exercise 13. Consider positive integers a, b, and c. (a) Suppose gcd(a, b) = 1. (i) Show that if a divides the product bc, then a must divide c. I give two proofs here, to illustrate the different methods.

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit and Yee introduced partition

More information

Math 110 HW 3 solutions

Math 110 HW 3 solutions Math 0 HW 3 solutions May 8, 203. For any positive real number r, prove that x r = O(e x ) as functions of x. Suppose r

More information

CHAPTER 6. Prime Numbers. Definition and Fundamental Results

CHAPTER 6. Prime Numbers. Definition and Fundamental Results CHAPTER 6 Prime Numbers Part VI of PJE. Definition and Fundamental Results 6.1. Definition. (PJE definition 23.1.1) An integer p is prime if p > 1 and the only positive divisors of p are 1 and p. If n

More information

Some Extensions to Touchard s Theorem on Odd Perfect Numbers

Some Extensions to Touchard s Theorem on Odd Perfect Numbers arxiv:1709.0586v1 [math.nt] 14 Sep 017 Some Extensions to Touchard s Theorem on Odd Perfect Numbers Paolo Starni Abstract The multiplicative structure of an odd perfect number n, if any, is n = π α M,

More information

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively

Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively 6 Prime Numbers Part VI of PJE 6.1 Fundamental Results Definition 6.1 (p.277) A positive integer n is prime when n > 1 and the only positive divisors are 1 and n. Alternatively D (p) = { p 1 1 p}. Otherwise

More information

The 3n ± p Conjecture: A Generalization of Collatz Conjecture

The 3n ± p Conjecture: A Generalization of Collatz Conjecture The 3n ± p Conjecture: A Generalization of Collatz Conjecture W.B. Vasantha Kandasamy a, Ilanthenral Kandasamy b,, Florentin Smarandache c a Department of Mathematics, IIT Madras, Chennai, India b School

More information

Solutions of the problem of Erdös-Sierpiński:

Solutions of the problem of Erdös-Sierpiński: arxiv:0707.2190v1 [math.nt] 15 Jul 2007 Solutions of the problem of Erdös-Sierpiński: σ(n) = σ(n+1) Lourdes Benito lourdes.benito@estudiante.uam.es Abstract For n 1.5 10 10, we have found a total number

More information

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction

PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS. 1. Introduction PRIME LABELING OF SMALL TREES WITH GAUSSIAN INTEGERS HUNTER LEHMANN AND ANDREW PARK Abstract. A graph on n vertices is said to admit a prime labeling if we can label its vertices with the first n natural

More information

A Subrecursive Refinement of FTA. of the Fundamental Theorem of Algebra

A Subrecursive Refinement of FTA. of the Fundamental Theorem of Algebra A Subrecursive Refinement of the Fundamental Theorem of Algebra P. Peshev D. Skordev Faculty of Mathematics and Computer Science University of Sofia Computability in Europe, 2006 Outline Introduction 1

More information

PRACTICE PROBLEMS: SET 1

PRACTICE PROBLEMS: SET 1 PRACTICE PROBLEMS: SET MATH 437/537: PROF. DRAGOS GHIOCA. Problems Problem. Let a, b N. Show that if gcd(a, b) = lcm[a, b], then a = b. Problem. Let n, k N with n. Prove that (n ) (n k ) if and only if

More information

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction

CSC 344 Algorithms and Complexity. Proof by Mathematical Induction CSC 344 Algorithms and Complexity Lecture #1 Review of Mathematical Induction Proof by Mathematical Induction Many results in mathematics are claimed true for every positive integer. Any of these results

More information

SQUARE PATTERNS AND INFINITUDE OF PRIMES

SQUARE PATTERNS AND INFINITUDE OF PRIMES SQUARE PATTERNS AND INFINITUDE OF PRIMES KEITH CONRAD 1. Introduction Numerical data suggest the following patterns for prime numbers p: 1 mod p p = 2 or p 1 mod 4, 2 mod p p = 2 or p 1, 7 mod 8, 2 mod

More information

On non-hamiltonian circulant digraphs of outdegree three

On non-hamiltonian circulant digraphs of outdegree three On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA

More information

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2.

Gaussian integers. 1 = a 2 + b 2 = c 2 + d 2. Gaussian integers 1 Units in Z[i] An element x = a + bi Z[i], a, b Z is a unit if there exists y = c + di Z[i] such that xy = 1. This implies 1 = x 2 y 2 = (a 2 + b 2 )(c 2 + d 2 ) But a 2, b 2, c 2, d

More information

Number Theory Homework.

Number Theory Homework. Number Theory Homewor. 1. The Theorems of Fermat, Euler, and Wilson. 1.1. Fermat s Theorem. The following is a special case of a result we have seen earlier, but as it will come up several times in this

More information

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers:

WORKSHEET MATH 215, FALL 15, WHYTE. We begin our course with the natural numbers: WORKSHEET MATH 215, FALL 15, WHYTE We begin our course with the natural numbers: N = {1, 2, 3,...} which are a subset of the integers: Z = {..., 2, 1, 0, 1, 2, 3,... } We will assume familiarity with their

More information

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q)

CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ω(q) AND ν(q) CONGRUENCES RELATED TO THE RAMANUJAN/WATSON MOCK THETA FUNCTIONS ωq) AND νq) GEORGE E. ANDREWS, DONNY PASSARY, JAMES A. SELLERS, AND AE JA YEE Abstract. Recently, Andrews, Dixit, and Yee introduced partition

More information

Modular Arithmetic Instructor: Marizza Bailey Name:

Modular Arithmetic Instructor: Marizza Bailey Name: Modular Arithmetic Instructor: Marizza Bailey Name: 1. Introduction to Modular Arithmetic If someone asks you what day it is 145 days from now, what would you answer? Would you count 145 days, or find

More information

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions

MATH 2112/CSCI 2112, Discrete Structures I Winter 2007 Toby Kenney Homework Sheet 5 Hints & Model Solutions MATH 11/CSCI 11, Discrete Structures I Winter 007 Toby Kenney Homework Sheet 5 Hints & Model Solutions Sheet 4 5 Define the repeat of a positive integer as the number obtained by writing it twice in a

More information

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n.

Math 324, Fall 2011 Assignment 7 Solutions. 1 (ab) γ = a γ b γ mod n. Math 324, Fall 2011 Assignment 7 Solutions Exercise 1. (a) Suppose a and b are both relatively prime to the positive integer n. If gcd(ord n a, ord n b) = 1, show ord n (ab) = ord n a ord n b. (b) Let

More information

MATH 2200 Final Review

MATH 2200 Final Review MATH 00 Final Review Thomas Goller December 7, 01 1 Exam Format The final exam will consist of 8-10 proofs It will take place on Tuesday, December 11, from 10:30 AM - 1:30 PM, in the usual room Topics

More information

Complete Induction and the Well- Ordering Principle

Complete Induction and the Well- Ordering Principle Complete Induction and the Well- Ordering Principle Complete Induction as a Rule of Inference In mathematical proofs, complete induction (PCI) is a rule of inference of the form P (a) P (a + 1) P (b) k

More information

Inserting plus signs and adding

Inserting plus signs and adding Inserting plus signs and adding Steve Butler Ron Graham Richard Stong Abstract. For a fixed base b, we consider the following operation called insert and add on a natural number: Write the number as a

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Mathematical Induction

Mathematical Induction Mathematical Induction Representation of integers Mathematical Induction Reading (Epp s textbook) 5.1 5.3 1 Representations of Integers Let b be a positive integer greater than 1. Then if n is a positive

More information

arxiv: v1 [math.nt] 19 Dec 2018

arxiv: v1 [math.nt] 19 Dec 2018 ON SECOND ORDER LINEAR SEQUENCES OF COMPOSITE NUMBERS DAN ISMAILESCU 2, ADRIENNE KO 1, CELINE LEE 3, AND JAE YONG PARK 4 arxiv:1812.08041v1 [math.nt] 19 Dec 2018 Abstract. In this paper we present a new

More information

A characterization of regular tetrahedra in Z3

A characterization of regular tetrahedra in Z3 Columbus State University CSU epress Faculty Bibliography 2009 A characterization of regular tetrahedra in Z3 Eugen J. Ionascu Follow this and additional works at: http://csuepress.columbusstate.edu/bibliography_faculty

More information

Pseudo Sylow numbers

Pseudo Sylow numbers Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo

More information

arxiv:math/ v1 [math.nt] 30 Apr 2002

arxiv:math/ v1 [math.nt] 30 Apr 2002 Bounds for the x + 1 Problem using Difference Inequalities arxiv:math/0205002v1 [math.nt] 0 Apr 2002 Ilia Krasiov Brunel University Department of Mathematical Sciences Uxbridge UB8 PH, United Kingdom Jeffrey

More information