name: 收敛 description: “实分析中收敛问题解决策略” allowed-tools: [Bash, Read]
收敛
何时使用
在实分析中处理收敛问题时使用此技能。
决策树
-
识别序列/级数类型
- 几何级数: |r| < 1 收敛
- p-级数: p > 1 收敛
- 交错级数: 检查递减 + 极限为0
-
应用收敛测试
- 比值测试:
sympy_compute.py limit "a_{n+1}/a_n" - 根值测试:
sympy_compute.py limit "a_n^(1/n)" - 比较测试: 寻找边界级数
- 比值测试:
-
验证边界
- 使用
z3_solve.py prove进行不等式边界验证 - 使用导数检查单调性
- 使用
-
计算和(如果收敛)
sympy_compute.py sum "a_n" --var n --from 0 --to oo
工具命令
Sympy_Limit
uv run python -m runtime.harness scripts/sympy_compute.py limit "a_n" --var n --at oo
Sympy_Sum
uv run python -m runtime.harness scripts/sympy_compute.py sum "1/n**2" --var n --from 1 --to oo
Z3_Prove
uv run python -m runtime.harness scripts/z3_solve.py prove "series_bounded"
认知工具参考
查看 .claude/skills/math-mode/SKILL.md 获取完整的工具文档。