CalculusMate 如何验证微积分答案

CalculusMate 将计算与验证分开处理。求解器先应用支持范围内的确定性规则，再运行该题型可用的检查。答案旁边的状态表示这次计算完成到了哪一步。

每种状态代表什么

• 复算通过：显示结果通过了当前可用的确定性检查。
• 规则计算完成：规则得出了结果，但独立证据不足，因此不会标记为“复算通过”。
• 验证未通过：检查结果与计算结果不一致，或请求无法安全完成，应把结果视为尚未解决。
• 暂不支持：表达式、记号、定义域或所需方法超出当前规则集，系统不会用 AI 猜测补上答案。

这些状态只描述当前计算，并不表示所有中间步骤、课程约定或数学定义域都已经得到形式化证明。

导数如何检查

支持的一阶导数会通过确定性表达式树重新计算。高阶导数还可能在多个安全取样点使用截断泰勒级数自动微分进行检查。如果找不到足够的安全点，结果会保留“规则计算完成”状态。

偏导数只把所选变量视为变化量，其他独立符号按常数处理。隐函数求导使用解析后的关系和 dy/dx = -F_x/F_y 恒等式；分母为零或出现奇点时，仍需单独分析。

积分如何检查

对于支持的原函数，CalculusMate 会对候选结果求导，并在多个安全点与原被积函数比较。定积分还会在原函数通过检查后代入有限上下限。

如果没有匹配到支持的符号原函数，有限且连续的区间可能使用确定性的 Simpson 方法进行数值计算，并明确标记为近似值。无穷上下限、检测到的奇点和主值问题会被标记为暂不支持，而不会按普通定积分处理。

极限如何检查

连续表达式可以通过精确代入检查。支持的不定式商可以使用精确化简或有限次数的洛必达法则。精确代入无定义时，求解器可能比较指定方向上的稳定取样序列。

如果左右两侧行为不同，系统不会把它们合并成一个双侧极限。方向取样只用于引擎明确支持的情形，不是对任意函数的通用证明。

其他确定性检查

部分分式结果会重新通分，并与原有理式比较。多项式末端行为根据次数和最高次项系数精确检查。即使约分后表达式变简单，原式带来的定义域限制仍属于答案的一部分。

CalculusMate 不承诺什么

• 不支持所有记号、特殊函数、收敛性检验或符号技巧。
• 不把流畅的 AI 文本当作数学验证。
• 不替代教师或课程要求的前提和书写格式。
• 检查不可用或失败时，不会把结果标记为“复算通过”。

对于重要作业，请阅读定义域和限制条件，对照课程方法检查步骤，并继续调查任何“暂不支持”或“验证未通过”的结果。

报告可能的数学错误

打开联系页面，提供计算器网址、完整表达式、所选变量或上下限、页面显示的状态，以及你认为正确的结果。请勿提交密码、支付信息或无关的个人资料。

常见问题

“复算通过”表示每一行都被形式化证明了吗？

不是。它表示最终显示结果通过了该题型当前可用的确定性检查。步骤说明展示了变换路径，但该标签不是适用于所有数学问题的证明证书。

AI 可以修改数学答案吗？

不可以。可选的 AI 导师用于解释当前题目和已有步骤，不会覆盖确定性求解器的数学结果。

为什么有些结果只显示“规则计算完成”？

规则引擎可能完成了支持范围内的计算，但独立检查器没有找到足够的安全证据。较低的状态用于清楚保留这种区别。