1.35 Exercise 1.35

We can see that the golden ratio is the fixed point of the function f(x) = x + 1/x simply by evaluating:

> (define (golden-transform x) (+ 1 (/ 1 x)))
> (define golden-start 1.61803398875)
> (golden-transform golden-start)

1.6180339887498547

> (golden-transform (golden-transform golden-start))

1.6180339887499102

> (golden-transform (golden-transform (golden-transform golden-start)))

1.6180339887498891

> (golden-transform (golden-transform (golden-transform (golden-transform golden-start))))

1.6180339887498971

This can also be derived simply from the definition of the golden ratio, which relates a to b by (a + b) / a = a / b = phi. The left side can be expanded to a / a + b / a, or 1 + 1 / (a / b) = 1 + 1 / phi.

We can then write a procedure to compute the golden ratio using fixed-point as such:

(define golden-ratio
  (fixed-point golden-transform 1))