Lisp中余弦函数泰勒级数实现求助：未绑定函数X错误

嘿，刚入门Lisp碰到这种语法相关的错误太正常了——毕竟Lisp的前缀表达式和咱们平时写数学公式的中缀风格差异很大！咱们先拆解这个错误，再一步步写出正确的代码。

先搞懂错误原因 #

"unbound function - X"这个错误，大概率是你把中缀写法直接搬到了Lisp里，或者变量绑定出了问题：

• Lisp里所有运算都是前缀式的，比如数学里的a - b，在Lisp里必须写成(- a b)；如果你写成(a - b)，Lisp会把a当成函数名，-当成它的参数，这显然不对。
• 另一种可能是你写了(- X)但变量X根本没定义（或者拼写错误），或者误把-X（负数X）写成了(- X)却没给X赋值。

回顾余弦泰勒级数的正确形式 #

首先咱们明确公式，避免逻辑错误：

cos(x) = Σ（n从0到∞）[ (-1)^n * x^(2n) ] / (2n)!

简单说就是从n=0开始，每一项的符号交替，分子是(-1)的n次方乘以x的2n次方，分母是2n的阶乘，把这些项加起来。

结合你已有的power和factorial来实现 #

先假设你的power和factorial是类似这样的（如果不一样也没关系，核心逻辑一致）：

;; 阶乘函数（你已经实现的版本可能类似）
(defun factorial (n)
  (if (<= n 1)
      1
      (* n (factorial (- n 1)))))

;; 幂函数（你已经实现的版本可能类似）
(defun power (base exp)
  (if (<= exp 0)
      1
      (* base (power base (- exp 1)))))

接下来是余弦泰勒级数的实现，这里写一个递归版本（可以指定计算多少项，避免无限循环）：

(defun cos-taylor (x terms)
  ;; 递归终止条件：当terms为0时，返回n=0的项（也就是1）
  (if (<= terms 0)
      1.0  ; 用浮点数保证结果是小数
      (+ (/ (* (expt -1 terms)  ; (-1)^n，这里用内置的expt更简洁，你也可以用自己的power
               (power x (* 2 terms)))  ; x^(2n)
            (factorial (* 2 terms)))  ; (2n)!
         (cos-taylor x (- terms 1)))))  ; 递归累加前一项

关键注意点（帮你避开坑） #

1. 前缀表达式必须严格遵守：所有运算都要写成(运算符 参数1 参数2 ...)，比如(- terms 1)是对的，terms - 1是错的；(* a b)是对的，a * b是错的。
2. 符号项的正确写法：(-1)^n在Lisp里要写成(expt -1 n)，如果你用自己的power函数就是(power -1 n)，绝对不能写成(-1)^n——这在Lisp里会被解析成调用函数-1，而-1根本不是函数！
3. 变量必须正确绑定：调用函数时一定要传参数，比如(cos-taylor 0.0 5)（计算x=0时的前5项），如果直接写(cos-taylor X 5)但X没定义，就会报错。
4. 用浮点数保证精度：在终止条件返回1.0而不是1，这样整个计算过程都会用浮点数，避免整数除法导致的精度丢失。

测试示例 #

你可以试试这些调用，验证结果是否正确：

;; x=0时，cos(0)=1，计算前5项应该接近1
(cos-taylor 0.0 5)  ; 返回1.0

;; x=π时，cos(π)=-1，计算前10项应该接近-1
(cos-taylor pi 10)  ; 返回约-0.9999999999999998

如果还有问题，可以把你的初始代码贴出来，咱们再针对性调整！

内容的提问来源于stack exchange，提问作者Raed Khalaf