级数收敛检查器
先检查每个纳入的整数指标处原始项的定义域,再应用支持的收敛判别法。报告会区分已证明的结论和不确定的结果;对于支持的等比级数,还会给出精确和。
项表达式最多为1,000个字符且只使用一个指标变量。显式前缀 n=2: 会指定0至9999之间的起始指标,且不会移动。没有前缀时,显示的起始指标可能移至有理极点之后;对于受支持的对数模式,也可能移至2。完整的整数域证明支持有理条件和部分整数幂模式;无法证明定义域时,即使表达式有效也会拒绝。所有计算均在设备后台工作线程中进行,时限为15秒。可下载 JSON 报告、部分和 CSV 文件及判别法 CSV 文件。 使用 n 作为指标。如有需要,在通项前添加 n=2: 这样的起始前缀。 最多 1,000 个字符。 运行前请检查设置。
处理结果
级数收敛检查器
- 输入通项,例如 3/2^n;或使用 n=2: 1/(n*ln(n)^2) 这样的前缀设置起始指标。
- 运行检查器,依次应用判别法。
- 查看判定结论、用于判定的判别法以及每种判别法的前提条件。
- 下载 JSON 报告,或下载判别法和部分和的 CSV 文件。
使用须知
项表达式最多为1,000个字符且只使用一个指标变量。显式前缀 n=2: 会指定0至9999之间的起始指标,且不会移动。没有前缀时,显示的起始指标可能移至有理极点之后;对于受支持的对数模式,也可能移至2。完整的整数域证明支持有理条件和部分整数幂模式;无法证明定义域时,即使表达式有效也会拒绝。所有计算均在设备后台工作线程中进行,时限为15秒。可下载 JSON 报告、部分和 CSV 文件及判别法 CSV 文件。
使用的判别法
检查器应用通项判别法、等比级数判别法、比值和根值判别法、使用精确首项 c*n^p 与 p 级数进行极限比较、对 sin(n) 等有界因子进行直接比较、精确检查各项递减至零的交错级数判别法,以及针对 1/(n*ln(n)^p) 的积分判别法。方法:OpenStax,《Calculus Volume 2》,5.2至5.6节 (2016)。
前提条件
在约分或化简为零的因子之前,会对纳入的整个整数尾部检查原始分母及其他受支持的定义域条件。即使未定义项位于部分和表范围之外,只要它被纳入就会被拒绝。如果无法用受支持的方法证明整个定义域,检查器会返回可恢复的错误。只有在判别法的前提条件得到证明时才会给出结论,否则仍标为无法确定。
部分和
部分和仅供参考。如果项计算器返回精确有理值,则以精确形式列出;否则使用小数,即使这些项在数学上是有理数。部分和不能证明收敛或发散。