SICP 1.17-1.19

1.16

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

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

   (fet  ))

1.17

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

halve 实在不想写了...

1.18

---> 无聊

1.19

证明题我艹...