aboutsummaryrefslogtreecommitdiff
path: root/entries/markusde/collatz/collatz.tex
diff options
context:
space:
mode:
authorBraxton Hall2022-10-25 04:25:26 +0000
committerGitHub2022-10-25 04:25:26 +0000
commitbd57417ffbfbb4c8cce53465835ddc9bdfa86dc9 (patch)
tree81fd97aa4604496d20c799a84cd5015216f0e059 /entries/markusde/collatz/collatz.tex
parentdc1605d28833762797f19285cb673d2019b7a3bd (diff)
parentdafd8e9d44fa7e7648b70b305ed81cb6794df6dd (diff)
Merge pull request #35 from markusdemedeiros/main
you wanted this
Diffstat (limited to 'entries/markusde/collatz/collatz.tex')
-rw-r--r--entries/markusde/collatz/collatz.tex21
1 files changed, 21 insertions, 0 deletions
diff --git a/entries/markusde/collatz/collatz.tex b/entries/markusde/collatz/collatz.tex
new file mode 100644
index 0000000..8e18088
--- /dev/null
+++ b/entries/markusde/collatz/collatz.tex
@@ -0,0 +1,21 @@
+\documentclass[12pt]{article}
+\usepackage[landscape]{geometry}
+\usepackage{amsmath}
+\usepackage{amsfonts}
+\usepackage{amsthm}
+\renewcommand{\phi}{\varphi}
+\begin{document}
+
+\noindent The least fixed point of
+\begin{align*}
+ h & : (\mathbb{N}_\bot \to \mathbb{Z}_\bot) \to (\mathbb{N}_\bot \to \mathbb{Z}_\bot) \\
+ h(F)(n) & =
+ \begin{cases}
+ 1 & n = 1 \\
+ (\phi^{n/2} + (-\phi)^{-n/2})\, F_{n/2} & n \textrm{ is even} \\
+ \sqrt[3]{\frac{\phi^{3n+1}-\phi F_{3n+1}}{10} + \frac{\sqrt{25 \phi^{3n+1} - 25\phi F_{3n+1} - 20}}{50}} + \sqrt[3]{\frac{\phi^{3n+1}-\phi F_{3n+1}}{10} - \frac{\sqrt{25 \phi^{3n+1} - 25\phi F_{3n+1} - 20}}{50}} & \textrm{otherwise} \\
+ \end{cases}
+\end{align*}
+is the Fibonacci sequence if and only if the Collatz conjecture is true.
+
+\end{document}