From 23d0d936fc817961e0f8f19ca6033a51edb445fe Mon Sep 17 00:00:00 2001
From: markusde
Date: Mon, 24 Oct 2022 20:56:53 -0700
Subject: god is dead

---
 entries/markusde/collatz/collatz.pdf | Bin 0 -> 86872 bytes
 entries/markusde/collatz/collatz.png | Bin 0 -> 27596 bytes
 entries/markusde/collatz/collatz.tex |  21 +++++++++++++++++++++
 3 files changed, 21 insertions(+)
 create mode 100644 entries/markusde/collatz/collatz.pdf
 create mode 100644 entries/markusde/collatz/collatz.png
 create mode 100644 entries/markusde/collatz/collatz.tex

(limited to 'entries/markusde')

diff --git a/entries/markusde/collatz/collatz.pdf b/entries/markusde/collatz/collatz.pdf
new file mode 100644
index 0000000..69fc363
Binary files /dev/null and b/entries/markusde/collatz/collatz.pdf differ
diff --git a/entries/markusde/collatz/collatz.png b/entries/markusde/collatz/collatz.png
new file mode 100644
index 0000000..afc8d8f
Binary files /dev/null and b/entries/markusde/collatz/collatz.png 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}
-- 
cgit v1.2.3-70-g09d2