Maple(2023)中ShowSolution计算负无穷极限时部分函数失效求助

问题现象 #

Maple 2023的Student[Calculus1]工具包中，ShowSolution(Limit(..))功能在计算x趋向负无穷的极限时存在不一致表现：

• 对函数f := x^2 + x，能生成完整的分步求解过程
• 对函数g := x^2 + 3*x，则提示无法计算求解步骤
• 核心limit函数对两个函数都能正确返回极限结果infinity，仅分步推导功能失效

测试代码 #

with(Student[Calculus1]);

f := x^2 + x:
limit(f, x = -infinity);
# 输出：infinity
ShowSolution(Limit(f, x = -infinity), maxsteps = 100);
# 成功生成分步求解过程

g := x^2 + 3*x:
limit(g, x = -infinity);
# 输出：infinity
ShowSolution(Limit(g, x = -infinity), maxsteps = 100);
# 报错：Error, (in Student:-Calculus1:-ShowSolution) unable to compute solution steps

原因分析 #

这个差异来自Student[Calculus1]工具包中ShowSolution的分步求解规则设计：

• 处理多项式趋向无穷的极限时，工具包会尝试提取最高次项，将表达式转化为x^n*(1 + 低次项/x^n)的形式，再逐步推导极限。
• 对于x^2 + x，提取x²后得到x²(1 + 1/x)，工具包的内置规则适配了低次项系数为1的场景，能顺利生成推导步骤。
• 对于x^2 + 3x，提取x²后得到x²(1 + 3/x)，工具包的分步逻辑未覆盖系数为非1整数的情况，导致无法识别并生成推导步骤。

本质上是ShowSolution的分步推导规则存在局限性，而非Maple的极限计算核心功能出错。

内容的提问来源于stack exchange，提问作者infcs.ltd