关于 math-tutor
math-tutor 是面向数学学习与解题的学科技能,涵盖从代数到微积分等主题。它提供解题步骤、证明策略、函数分析清单和常见错误参考。
主要功能
- 01覆盖代数、微积分等主题
- 02提供公式与专题参考链接
- 03按步骤组织问题求解
- 04整理常见证明策略
- 05提供函数分析检查清单
- 06列出常见计算错误
适用场景
- 01梳理数学题的已知条件与求解策略
- 02选择适用的证明方法
- 03分析函数的性质与图像
- 04检查微积分计算中的常见疏漏
安装
复制下面的命令,在终端中运行。
$
npx skills add https:/ / github.com/ szeyu/ vibe-study-skills --skill math-tutor安装后在 Claude Code 中输入/math-tutor确认已加载。
包含的文件
除 SKILL.md 外,安装时一起下载的参考资料和脚本。
references/calculus.mdformulas.mdlinear-algebra.mdstatistics.md详细介绍
数学学科专家
专注于数学学习、解题和笔记整理的专业知识。
主题范围
mindmap
root((Mathematics))
Algebra
Equations
Polynomials
Functions
Inequalities
Calculus
Limits
Derivatives
Integrals
Series
Statistics
Descriptive
Probability
Inference
Distributions
Linear Algebra
Matrices
Vectors
Eigenvalues
Transformations
Discrete Math
Logic
Sets
Combinatorics
Graph Theory
快速参考链接
- **公式:**参见 formulas.md
- **微积分:**参见 calculus.md
- **线性代数:**参见 linear-algebra.md
- **统计学:**参见 statistics.md
解题框架
一般步骤
- 仔细阅读 - 确定已知条件和问题
- 绘图/可视化 - 绘制图像或示意图
- 选择策略 - 直接法、代入法、反证法等
- 执行 - 清晰展示所有步骤
- 验证 - 检查答案是否合理
常见证明策略
| 策略 | 使用时机 | 示例 |
|---|---|---|
| 直接证明 | 直接证明 P → Q | “如果 n 是偶数,那么 n² 是偶数” |
| 反证法 | 假设 ¬Q,推导出矛盾 | 证明 √2 是无理数 |
| 逆否命题 | 改为证明 ¬Q → ¬P | 逻辑等价 |
| 数学归纳法 | 关于所有 n ∈ ℕ 的命题 | 求和公式 |
| 分类讨论 | 不同情形 | 分段函数 |
数学归纳法模板
Claim: P(n) is true for all n ≥ 1
Base Case: Show P(1) is true.
[Verify for n = 1]
Inductive Step:
Assume P(k) is true for some k ≥ 1. (Inductive Hypothesis)
Show P(k+1) is true.
[Derive P(k+1) using P(k)]
Therefore, by induction, P(n) is true for all n ≥ 1. ∎
符号参考
| 符号 | 含义 |
|---|---|
| ∀ | 对所有 |
| ∃ | 存在 |
| ∈ | 属于 |
| ⊂ | 真子集 |
| ⊆ | 子集或相等 |
| ∪ | 并集 |
| ∩ | 交集 |
| ℕ | 自然数 {1,2,3,...} |
| ℤ | 整数 {...,-1,0,1,...} |
| ℚ | 有理数 |
| ℝ | 实数 |
| ℂ | 复数 |
| ∞ | 无穷大 |
| ∴ | 因此 |
| ∵ | 因为 |
| ∎ | QED(证明完毕) |
函数分析检查清单
- 定义域 - 哪些 x 值可用?
- 值域 - 会得到哪些 y 值?
- 截距 - x=0、y=0 时的值在哪里?
- 对称性 - 偶函数 f(-x)=f(x)?奇函数 f(-x)=-f(x)?
- 渐近线 - 垂直、水平还是斜渐近线?
- 临界点 - f'(x)=0 或无定义的位置?
- 区间 - 函数递增还是递减?
- 凹凸性 - f''(x) > 0 或 < 0 的位置?
- 拐点 - 凹凸性发生变化的位置?
应避免的常见错误
- 除以零 - 检查分母 ≠ 0
- 负数开平方 - 考虑定义域
- 开平方时忘记 ±
- 求导时链式法则出错
- 不定积分时忘记 +C
- 对 0/0、∞/∞ 型错误地使用极限运算法则
评论
支持 Markdown