Next Article in Journal
Existence and Multiplicity of Solutions for a Bi-Non-Local Problem
Next Article in Special Issue
Landslide Displacement Prediction Based on Time-Frequency Analysis and LMD-BiLSTM Model
Previous Article in Journal
On the Boundary Value Problem of Nonlinear Fractional Integro-Differential Equations
Previous Article in Special Issue
The Due Window Assignment Problems with Deteriorating Job and Delivery Time
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Analyzing the Collatz Conjecture Using the Mathematical Complete Induction Method

by
Mercedes Orús-Lacort
1,2 and
Christophe Jouis
3,4,*
1
College Mathematics, Universitat Oberta de Catalunya, Rambla del Poblenou 156, 08018 Barcelona, Spain
2
College Mathematics, Universidad Nacional de Educación a Distancia, Calle Pintor Sorolla 21, 46002 Valencia, Spain
3
Département Langues Etrangères Appliquées (LEA), Université de la Sorbonne Nouvelle Paris 3, 75005 Paris, France
4
Centre d’Analyse et de Mathématique Sociales—CAMS, 75006 Paris, France
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(12), 1972; https://doi.org/10.3390/math10121972
Submission received: 10 May 2022 / Revised: 3 June 2022 / Accepted: 5 June 2022 / Published: 8 June 2022
(This article belongs to the Special Issue Applied Computing and Artificial Intelligence)

Abstract

:
In this paper, we demonstrate the Collatz conjecture using the mathematical complete induction method. We show that this conjecture is satisfied for the first values of natural numbers, and in analyzing the sequence generated by odd numbers, we can deduce a formula for the general term of the Collatz sequence for any odd natural number n after several iterations. This formula is used in one case that we analyze using the mathematical complete induction method in the process of demonstrating the conjecture.
MSC:
11-02

1. Introduction

The Collatz conjecture is one of the best-known unsolved problems in sequences and series of number theory. It states:
“For any positive integer n, if a sequence is defined by recurrence, so that, if the previous term is even then the next term is obtained by dividing by 2 the previous term, and if it is odd it is obtained by multiplying by 3 the previous term and adding 1, this sequence always reaches the number 1, and therefore, its last terms will always be the cycle 4, 2, 1.”.
This conjecture is called the Collatz Conjecture because it was stated by Lothar Collatz in 1937 [1]. However, it is also known by other names such as the 3n + 1 conjecture, the Ulam conjecture, Kakutani’s problem, the Thwaites conjecture, Hasse’s algorithm, the Syracuse problem [2], the hailstone sequence or hailstone numbers, because the values ascend or descend multiple times [3], or the wondrous numbers [4].
This conjecture has not been proven; however, many mathematicians have studied it and achieved important results, see [5,6,7,8,9,10,11,12,13,14,15,16,17,18]. Most of them have argued that the conjecture is true, as a result of the experimental evidence and heuristic arguments [12].
In this paper, we demonstrate the Collatz conjecture using the mathematical complete induction method. We show that this conjecture is satisfied for the first values of natural numbers. From this analysis, we can deduce a formula for the general term of Collatz sequence for any odd natural number n after several iterations, and this formula is used in one case that we analyze using the mathematical complete induction method in the process of demonstrating the conjecture.
The paper is organized as follows: In Section 2, we show that the conjecture is satisfied for the first values of natural numbers, and we deduce a formula for the general term of the Collatz sequence for any odd natural number n after several iterations. In Section 3, we demonstrate the Collatz conjecture using the mathematical complete induction method. Finally, we discuss our conclusions in Section 4.

2. Sequences for the First Natural Numbers and Formula for the General Term of Collatz Sequence for Any Odd Natural Number n

Formally, each term of the sequence of numbers is equivalent to applying the following function to n, and each term of the sequence:
f ( n ) = { n 2 , if   n   is   even 3 n + 1 ,   if   n   is   odd
Therefore, given any natural number, we can consider its orbit; that is, the successive images when iterating the function, in the following way.
For example, if n = 13:
x 1 = f ( 13 ) = 3 × 13 + 1 = 40 x 2 = f ( 40 ) = 40 2 = 20 x 3 = f ( 20 ) = 20 2 = 10 ;   etc
The conjecture says that we will always reach 1 (and therefore cycle 4, 2, 1) when starting with any natural number.
We will now present what happens with the first natural numbers.
For n = 1:
x 1 = f ( 1 ) = 3 × 1 + 1 = 4 x 2 = f ( 4 ) = 4 2 = 2 x 3 = f ( 2 ) = 2 2 = 1
For n = 2:
x 1 = f ( 2 ) = 2 2 = 1
For n = 3:
x 1 = f ( 3 ) = 3   × 3 + 1 = 10 x 2 = f ( 10 ) = 10 2 = 5 x 3 = f ( 5 ) = 3 × 5 + 1 = 16 x 4 = f ( 16 ) = 16 2 = 8 x 5 = f ( 8 ) = 8 2 = 4 x 6 = f ( 4 ) = 4 2 = 2 x 7 = f ( 2 ) = 2 2 = 1
Therefore, for the first value of n, we observe that the conjecture is satisfied. The conjecture is also satisfied for numerous other numbers greater than 3, and for numbers that are a power of 2, we will also always reach 1, dividing successively by 2.
Given this, at a certain point in the process of demonstration using the mathematical complete induction method, we will need a formula that could represent the general term of the Collatz sequence for any odd natural number n after several iterations, and we examine how this formula could be below.
If n is an odd natural number, then using the definition of f(n), the first iteration would be:
x1 = 3n + 1
Since 3n + 1 is always an even number, the next iteration would be:
x 2 = 3 n + 1 2
The next iteration will depend on whether the previously obtained result is even or odd, and since it is possible to obtain an even number in the following or next iterations, let us assume that an even number is obtained in the following r1 − 1 iteration until we again obtain an odd number (r1 ≥ 1). Therefore, the result obtained after r1 − 1 iteration would be:
x r 1 + 1 = 3 n + 1 2 r 1
Now, if 3 n + 1 2 r 1 is an odd number, the next iteration would be:
x r 1 + 2 = 3 · 3 n + 1 2 r 1 + 1 x r 1 + 2 = 3 2 n + 3 + 2 r 1 2 r 1
Since 3 2 n + 3 + 2 r 1 2 r 1 is an even number, the next iteration would be:
x r 1 + 3 = 3 2 n + 3 + 2 r 1 2 r 1 + 1
Moreover, for the same reason as before, we will assume that we obtain an even number in the next r2 − 1 iteration until we obtain again an odd number (r2 ≥ 1). Therefore, the result would be:
x r 1 + r 2 + 2 = 3 2 n + 3 + 2 r 1 2 r 1 + r 2
Following the same reasoning, this process will continue, and after several iterations, for example, r1 + r2 + + rk + k iterations, we would find that the term xr1+r2++rk+k of the sequence would be:
x r 1 + r 2 + + r k + k = 3 k n + 3 k 1 + 3 k 2 2 r 1 + 3 k 3 2 r 1 + r 2 + + 2 r 1 + r 2 + + r k 1 2 r 1 + r 2 + + r k
This formula will be used in the next section when we analyze a specific case using the mathematical complete induction method.

3. Proof of the Collatz Conjecture Using Mathematical Complete Induction

We need to prove that, for all n ∈ N, the obtained sequence reaches 1.
In the previous section, we saw that this holds true for values of n from 1 to 3. Moreover, it is also proven to be true for values higher than n = 3, and it is found to also be true, for example, for all n = 2s, s ∈ N, because we always reach 1 when dividing successively by 2.
To apply the mathematical complete induction method, we will assume that, for a certain m ∈ N that is sufficiently high in value and for any other natural number less than m, we can reach the number 1 with successive iterations. Hence, if we can prove that it is true for m + 1, we can conclude that it is true for all n ∈ N. Therefore, in our induction hypothesis, we assume that it is true for a sufficiently large m ∈ N value and any other natural number less than m.
We explore below if this is true also for m + 1. Note that m + 1 can be an odd or even number, depending on whether m is even or odd, respectively. Hence, we will analyze both cases:
  • Case 1: m + 1 is an even number
If m + 1 is an even number, it is because m is an odd number; that is, m = 2t + 1 for t ∈ N. Hence, m + 1 = 2t + 2, and the first iteration applying the definition of f(n) would be:
x 1 = 2 t + 2 2 = t + 1
Note that t + 1 < 2t + 1 = m, and as we were assuming that we reach the number 1 for all natural numbers less or equal than m, then we reach the number 1 for t + 1.
Therefore, if m + 1 is an even number, the obtained sequence reaches 1.
  • Case 2: m + 1 is an odd number
If m + 1 is an odd number, it is because m is an even number; that is, m = 2t for t ∈ N, and t > 1. Hence, m + 1 = 2t + 1, and the first iteration applying the definition of f(n) would be:
x1 = 3(2t + 1) + 1 = 6t + 4
Given that 6t + 4 is an even number, the next iteration would be:
x 2 = 6 t + 4 2 = 3 t + 2
At this point, note that the next iteration depends on whether t is an even or odd number; if t is an even number, then 3t + 2 will be an even number; however, if t is an odd number, then 3t + 2 will be an odd number.
Next, we will analyze both options:
Option 1: t is an even number:
If t is an even number, then 3t + 2 is an even number, and the next iteration applying the definition of f(n) would be:
x 3 = 3 t + 2 2
Note that 3 t + 2 2 2 t = m because t ≥ 2, and as we were assuming that we reach the number 1 for all natural numbers less or equal than m, then we can reach number 1 for 3 t + 2 2 and for m + 1. Therefore, if m + 1 is an odd number and t an even number, the sequence obtained reaches 1.
Option 2: t is an odd number:
If t is an odd number, then 3t + 2 is an odd number, and now using the formula from Equation (5), which represents the general term of Collatz sequence for any odd natural number after several iterations, we have that after r1 + r2 + + rk + k iterations, we would obtain:
x r 1 + r 2 + + r k + k = 3 k ( 3 t + 2 ) + 3 k 1 + 3 k 2 2 r 1 + 3 k 3 2 r 1 + r 2 + + 2 r 1 + r 2 + + r k 1 2 r 1 + r 2 + + r k
Rewriting the above formula, we have:
3 k t + 3 k 1 + 3 k 2 2 r 1 + 3 k 3 2 r 1 + r 2 + + 2 r 1 + r 2 + + r k 1 2 r 1 + r 2 + + r k + 3 k ( 2 t + 2 ) 2 r 1 + r 2 + + r k
At this point, note that for m = 2t, t being an odd natural number, we were assuming that the sequence reaches number 1, and calculating the first terms for the sequence of m = 2t, we have:
x 1 = 2 t 2 = t x 2 = 3 t + 1 x 3 = 3 t + 1 2
The next iteration will depend on whether the previously obtained result is even or odd, and since we can obtain an even number in the following or next iterations, then using the formula from Equation (5) and after the next s1 + s2 + + su + u − 3 iterations, we would obtain:
x s 1 + s 2 + + s u + u = 3 u t + 3 u 1 + 3 u 2 2 s 1 + 3 u 3 2 s 1 + s 2 + + 2 s 1 + s 2 + + s u 1 2 s 1 + s 2 + + s u
If we call S = i = 1 u s i , and since for m = 2t we were assuming that the sequence reaches the number 1, it means that the limit of xS+u when S and u tend to infinity is equal to 1.
Thus, if we call R = i = 1 k r i in Equation (7) and we calculate the limit when R and k tend to infinity, we have:
lim ( R , k )       ( , ) 3 k t + 3 k 1 + 3 k 2 2 r 1 + 3 k 3 2 r 1 + r 2 + + 2 r 1 + r 2 + + r k 1 2 r 1 + r 2 + + r k + 3 k ( 2 t + 2 ) 2 r 1 + r 2 + + r k = = lim ( R , k )       ( , ) 3 k t + 3 k 1 + 3 k 2 2 r 1 + 3 k 3 2 r 1 + r 2 + + 2 r 1 + r 2 + + r k 1 2 r 1 + r 2 + + r k + lim ( R , k )       ( , ) 3 k ( 2 t + 2 ) 2 r 1 + r 2 + + r k = = lim ( S , u )       ( , ) 3 u t + 3 u 1 + 3 u 2 2 s 1 + 3 u 3 2 s 1 + s 2 + + 2 s 1 + s 2 + + s u 1 2 s 1 + s 2 + + s u + lim ( R , k )       ( , ) 3 k ( 2 t + 2 ) 2 r 1 + r 2 + + r k = = 1 + lim ( R , k )       ( , ) 3 k ( 2 t + 2 ) 2 R
Note now that the value of R cannot be less than k, because in using the definition of the sequence, every time a term xi in the sequence is odd, the next calculated term is always even.
The value of R cannot be equal to k either, because for this to happen, it would mean that all ri = 1 that is, every time we divide by 2, the value obtained is an odd number. Moreover, it can be shown how this is only possible if the value of t is a value that increases as we calculate new iterations. However, we should remember that the value of t is an odd number that we take at random so that 3t + 2 is an odd number, but without changing the t value in each iteration.
Next, it is shown how this t value should be changing, so R would be equal to k.
Recall that 3t + 2 is odd because t is also odd, and therefore, the next term of the sequence would be:
x4 = 3(3t + 2) + 1 = 9t + 7
Since 9t + 7 is even, the next term in the sequence would be:
x 5 = 9 t + 7 2
For 9 t + 7 2 to be odd, there must be an a ∈ N such that:
9 t + 7 2 = 2 a + 1
Hence, the question now is: Are there natural numbers t and a that satisfy the previous equation? The answer is yes, when t = 4w + 3 and a = 9w + 8 for w ∈ N.
Therefore, assuming that 9 t + 7 2 is odd because t = 4w + 3 for w ∈ N, the next term in the sequence would be:
x 6 = 3 ( 9 t + 7 2 ) + 1 = 27 t + 23 2
Since this value is even, the next term would be:
x 7 = 27 t + 23 2
The question now is: Can the previous value be odd? That is, are there natural numbers t and a such that 27t + 23 = 8a + 4? The answer is yes when t = 8w + 7 for w ∈ N.
Hence, we can observe that the value of t has increased. Previously, it was t = 4w + 3 = 22w + (22 − 1), and now it should be t = 8w + 7 = 23w + (23 − 1) for w ∈ N, and so on.
Hence, for R = k, the t value would be increasing, increasing the exponent of the power of 2, which means that, in this case, it is not possible when setting an odd value of t; however, to make it possible, the value of t must be changing, increasing in the way we have seen. Hence, this implies that the case R = k is not possible.
Therefore R > k, then R = k + v for v ∈ N, and then v > k or v < k (this last option could happen if many ri = 1).
Analyzing both cases, we have:
  • First case v > k: If v > k then v = k + w for w ∈ N, R = 2k + w, and the above limit when R and k tend to infinity would be calculated as:
1 + lim ( R , k )       ( , ) 3 k ( 2 t + 2 ) 2 R = 1 + lim k       3 k ( 2 t + 2 ) 2 2 k + w = 1 + lim k       ( 3 4 ) k 2 t + 2 2 w = 1 + 0 = 1
  • Second case v < k: If v < k then v = kw for w ∈ N and w < k, R = 2kw, and the above limit when R and k tend to infinity would be calculated as:
1 + lim ( R , k )       ( , ) 3 k ( 2 t + 2 ) 2 R = 1 + lim k       3 k ( 2 t + 2 ) 2 2 k w = 1 + lim k       ( 3 4 ) k 2 t + 2 2 w = 1 + 0 = 1
Thus, for an odd number m + 1 and an odd number t, the obtained sequence also reaches 1.
Therefore, for an m + 1 even or odd number, the sequence reaches 1, and this means that, for all natural numbers n, the Collatz sequence always reaches 1, as we sought to prove.

4. Conclusions

We have shown how to use the mathematical complete induction method to prove the Collatz conjecture. We show that this conjecture is satisfied for the first values of natural numbers. From this analysis, we can deduce a formula for the general term of a Collatz sequence for any odd natural number n after several iterations. This formula is used in one case that we analyzed by mathematical complete induction during the demonstration. Thus, using the mathematical complete induction method, we have demonstrated that the Collatz conjecture is true.

Author Contributions

Conceptualization, M.O.-L. and C.J.; Data curation, C.J.; Formal analysis, M.O.-L. and C.J.; Funding acquisition, C.J.; Investigation, M.O.-L.; Methodology, M.O.-L.; Software, C.J.; Writing—original draft, M.O.-L. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Acknowledgments

We acknowledge Roman Orus for proposing the dissemination of this result.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. O’Connor, J.J.; Robertson, E.F. Lothar Collatz; St Andrews University School of Mathematics and Statistics: St Andrews, UK, 2006. [Google Scholar]
  2. Maddux, C.D.; Johnson, D.L. Logo: A Retrospective; The Problem Is Also Known by Several Other Names, Including: Ulam’s Conjecture, the Hailstone Problem, the Syracuse Problem, Kakutani’s Problem, Hasse’s Algorithm, and the Collatz Problem; Haworth Press: New York, NY, USA, 1997; p. 160. ISBN 0-7890-0374-0. [Google Scholar]
  3. Pickover, C.A. Wonders of Numbers; Oxford University Press: Oxford, UK, 2001; pp. 116–118. [Google Scholar]
  4. Hofstadter, D.R. Gödel, Escher, Bach; Basic Books: New York, NY, USA, 1979; pp. 400–402. ISBN 0-465-02685-0. [Google Scholar]
  5. Guy, R.K. E17: Permutation Sequences. In Unsolved Problems in Number Theory, 3rd ed.; Springer: Berlin/Heidelberg, Germany, 2004; pp. 336–337. ISBN 0-387-20860-7. [Google Scholar]
  6. Guy, R.K. Don’t try to solve these problems. Am. Math. Mon. 1983, 90, 35–41. [Google Scholar] [CrossRef]
  7. Lagarias, J.C. (Ed.) The Ultimate Challenge: The 3x + 1 Problem; American Mathematical Society: Providence, RI, USA, 2010; p. 4. ISBN 0821849409. [Google Scholar]
  8. Leavens, G.T.; Vermeulen, M. 3x + 1 Search Programs. Comput. Math. Appl. 1992, 24, 79–99. [Google Scholar] [CrossRef] [Green Version]
  9. Simons, J.; de Weger, B. Theoretical and computational bounds for m–cycles of the 3n + 1 problem (PDF). Acta Arith. 2003, 117, 51–70. [Google Scholar] [CrossRef]
  10. Steiner, R.P. A Theorem on the Syracuse Problem. In Proceedings of the 7th Manitoba Conference on Numerical Mathematics, 29 September–1 October 1977; Utilitas Mathematica Pub.: Winnipeg, MB, Canada, 1977; pp. 553–559. [Google Scholar]
  11. Simons, J.L. On the nonexistence of 2–cycles for the 3x + 1 problem. Math. Comput. 2005, 74, 1565–1572. [Google Scholar] [CrossRef] [Green Version]
  12. Krasikov, I.; Lagarias, J.C. Bounds for the 3x + 1 problem using difference inequalities. arXiv 2003, arXiv:math/0205002. [Google Scholar] [CrossRef] [Green Version]
  13. Colussi, L. The convergence classes of Collatz function. Theor. Comput. Sci. 2011, 412, 5409–5419. [Google Scholar] [CrossRef]
  14. Hew, P.C. Working in binary protects the repetends of 1/3 h: Comment on Colussi’s The convergence classes of Collatz function. Theor. Comput. Sci. 2016, 618, 135–141. [Google Scholar] [CrossRef]
  15. Terras, R. A stopping time problem on the positive integers (PDF). Pol. Akad. Nauk. 1976, 30, 241–252. [Google Scholar]
  16. Chamberland, M. A continuous extension of the 3x + 1 problem to the real line. Dyn. Contin. Discret. Impulsive Syst. 1996, 2, 495–509. [Google Scholar]
  17. Letherman, S.; Schleicher, D.; Wood, R. The (3n + 1)-Problem and Holomorphic Dynamics. Exp. Math. 1999, 8, 241–252. [Google Scholar] [CrossRef]
  18. Conway, J.H. Unpredictable Iterations. In Proceedings of the 1972 Number Theory Conference, Boulder, CO, USA, 14–18 August 1972; pp. 49–52. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Orús-Lacort, M.; Jouis, C. Analyzing the Collatz Conjecture Using the Mathematical Complete Induction Method. Mathematics 2022, 10, 1972. https://doi.org/10.3390/math10121972

AMA Style

Orús-Lacort M, Jouis C. Analyzing the Collatz Conjecture Using the Mathematical Complete Induction Method. Mathematics. 2022; 10(12):1972. https://doi.org/10.3390/math10121972

Chicago/Turabian Style

Orús-Lacort, Mercedes, and Christophe Jouis. 2022. "Analyzing the Collatz Conjecture Using the Mathematical Complete Induction Method" Mathematics 10, no. 12: 1972. https://doi.org/10.3390/math10121972

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop