mcpField
M
math-tutor

math-tutor

github.com/szeyu其他3083 次安装2 天前更新
代码仓库

关于 math-tutor

math-tutor 是面向数学学习与解题的学科技能,涵盖从代数到微积分等主题。它提供解题步骤、证明策略、函数分析清单和常见错误参考。

主要功能

  1. 01覆盖代数、微积分等主题
  2. 02提供公式与专题参考链接
  3. 03按步骤组织问题求解
  4. 04整理常见证明策略
  5. 05提供函数分析检查清单
  6. 06列出常见计算错误

适用场景

  1. 01梳理数学题的已知条件与求解策略
  2. 02选择适用的证明方法
  3. 03分析函数的性质与图像
  4. 04检查微积分计算中的常见疏漏

安装

复制下面的命令,在终端中运行。

$npx skills add https://github.com/szeyu/vibe-study-skills --skill math-tutor

安装后在 Claude Code 中输入/math-tutor确认已加载。

包含的文件

除 SKILL.md 外,安装时一起下载的参考资料和脚本。

references/
calculus.md
formulas.md
linear-algebra.md
statistics.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

快速参考链接


解题框架

一般步骤
  1. 仔细阅读 - 确定已知条件和问题
  2. 绘图/可视化 - 绘制图像或示意图
  3. 选择策略 - 直接法、代入法、反证法等
  4. 执行 - 清晰展示所有步骤
  5. 验证 - 检查答案是否合理

常见证明策略

策略使用时机示例
直接证明直接证明 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(证明完毕)

函数分析检查清单

  1. 定义域 - 哪些 x 值可用?
  2. 值域 - 会得到哪些 y 值?
  3. 截距 - x=0、y=0 时的值在哪里?
  4. 对称性 - 偶函数 f(-x)=f(x)?奇函数 f(-x)=-f(x)?
  5. 渐近线 - 垂直、水平还是斜渐近线?
  6. 临界点 - f'(x)=0 或无定义的位置?
  7. 区间 - 函数递增还是递减?
  8. 凹凸性 - f''(x) > 0 或 < 0 的位置?
  9. 拐点 - 凹凸性发生变化的位置?

应避免的常见错误

  1. 除以零 - 检查分母 ≠ 0
  2. 负数开平方 - 考虑定义域
  3. 开平方时忘记 ±
  4. 求导时链式法则出错
  5. 不定积分时忘记 +C
  6. 对 0/0、∞/∞ 型错误地使用极限运算法则

评论

支持 Markdown