SICP 1.17-1.19

1.16

-------------> 不考虑0的情况 <------------
(define (fe b n)

  (define (fet m c)
    (cond ((= m n) c)
          ((>= (- n m) 2) (fet (+ m 2) (* c b b)))
          (else (fet (+ m 1) (* c b)))))

  (fet 0 1))

1.17

(define (double x)
  (define (db cur app)
    (cond ((= app x) cur)
          ((>= (- x app) 2) (db (+ cur 2) (+ app 2)))
          (else (db (+ cur 1) (+ app 1)))))
  (db x 0))

halve 实在不想写了...

1.18

---> 无聊

1.19

证明题我艹...