aboutsummaryrefslogtreecommitdiff
path: root/entries/markusde/collatz
diff options
context:
space:
mode:
Diffstat (limited to 'entries/markusde/collatz')
-rw-r--r--entries/markusde/collatz/collatz.pdfbin0 -> 86872 bytes
-rw-r--r--entries/markusde/collatz/collatz.pngbin0 -> 27596 bytes
-rw-r--r--entries/markusde/collatz/collatz.tex21
3 files changed, 21 insertions, 0 deletions
diff --git a/entries/markusde/collatz/collatz.pdf b/entries/markusde/collatz/collatz.pdf
new file mode 100644
index 0000000..69fc363
--- /dev/null
+++ b/entries/markusde/collatz/collatz.pdf
Binary files differ
diff --git a/entries/markusde/collatz/collatz.png b/entries/markusde/collatz/collatz.png
new file mode 100644
index 0000000..afc8d8f
--- /dev/null
+++ b/entries/markusde/collatz/collatz.png
Binary files differ
diff --git a/entries/markusde/collatz/collatz.tex b/entries/markusde/collatz/collatz.tex
new file mode 100644
index 0000000..b7febb2
--- /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{Z}_\bot \to \mathbb{Z}_\bot) \to (\mathbb{Z}_\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}