Finally, I have a solution to Exercise 1.13:
http://www.kendyck.com/math/sicp/ex1-13.xml
Posted by Ken Dyck in Programming
April 24th, 2005
Solution to SICP Exercise 1.13
6 Responses to “Solution to SICP Exercise 1.13”
-
Scott says:
Ken,
Well done — my wife and I each worked separately on this for half an hour with minimal progress. How long were you working on the problem?
Scott
(also working through SICP)
July 22nd, 2007 at 3:08 pm -
Ken Dyck says:
Actually, I found the toughest part about this exercise was formatting it for the web. Compared to getting MathML to work, the proof was relatively simple, but as I recall, that wasn’t entirely straightforward, either.
I’m sorry. I don’t remember how long I spent working on it.
Good luck with SICP, though. I have to say that it’s pretty cool (and rare) that you have a wife that is interested in this sort of thing. Good luck to both of you.
-
Ran says:
Hi
Nice proof!
The main part of the induction can be simplified considiribly by taking into account the fact (which is mentioned in the book) that
phi^2 = phi + 1
and similarly for psi. Thus you have that
phi^(n+1) - phi^n - phi^(n-1) = 0
which you can compare on the right hand side to psi.
In fact, you don’t even have to “open” phi and psi! -
Bill Mill says:
Beautiful proof, it’s been four years since I thought about inductive proofs, and I followed you right through.
-
Morgan says:
How can I view this? I have tried both Firefox and IE.
-
Ken Dyck says:
Morgan, the proof is written in MathML.
Firefox has had built-in support for rendering MathML since version 1.5 from what I can tell. That is, it should ‘just work’. Perhaps you need to upgrade to a more recent release of Firefox.
IE requires a plug-in to render MathML. MathPlayer seems to be the most popular, but as a Firefox user I can’t attest to its quality.
Hope this helps.