Fib(n) is closest Int to (GoldenRatio)^n/sqrt(5)

dwinston · Jun 21, 2014 · 9a9df4e · 9a9df4e
1 parent eb27620
commit 9a9df4e
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 0 deletions.
diff --git a/ex1.13.jpg b/ex1.13.jpg
diff --git a/ex1.13.scm b/ex1.13.scm
@@ -0,0 +1,8 @@
+;; Want to show (= (fib n) (/ (- (pow ϕ n) (pow ψ n)) (sqrt 5)))
+
+;; First, show by inspection that the equation holds for n=0 and n=1
+
+;; Then, assume truth of the formula and show that the presumed expression for
+;; (fib (+ n 1)) is correct. I found this to be true.
+
+;; A snaphot of my (disorganized) work is in ex1.13.jpg