SICP 1.28

解：按照题目的意思，代码如下：

(define (square x)
  (* x x))

(define (miller-rabin-test n)
  (define (check a n)
    (let ((r (remainder (square a) n)))
      (if (and (> a 1)
               (< a (- n 1))
               (= r 1))
          0
          r)))
  (define (expmod-without-nontrivial-square-root-1 base exp m)
    (cond ((= exp 0) 1)
          ((even? exp)
           (check (expmod-without-nontrivial-square-root-1 base (/ exp 2) m) m))
          (else (remainder (* base (expmod-without-nontrivial-square-root-1 base (- exp 1) m)) m))))
  (define (try-it a)
    (= (expmod-without-nontrivial-square-root-1 a (- n 1) n) 1))
  (try-it (+ 1 (random (- n 1)))))

参考其它博客的，有在expmod-without-nontrivial-square-root先检查a的，这样做也可以。