Math Thinking Lenses

---
name: math-thinking-lenses
description: 探索数学问题时的多视角思维透镜。用公理化、对偶、对称、谱、变分、极端、归纳、计数等视角切换思路，帮助突破单一思路的僵局。当探索问题思路、形成猜想或评估证明路径时使用。
---

# 数学思维透镜

面对一道难题时，不沿单一路径硬推，而是轮流用不同「透镜」观察它。每个透镜是一种改变看问题方式的策略；切换透镜常能暴露新结构、新不变量或新证明入口。

## 透镜清单

1. **公理化**：显式列出全部假设与结论，追问哪条假设是必要的、去掉会怎样。识别最小充分条件。
2. **对偶**：把对象换成对偶对象——向量与泛函、图与补图、命题与逆否命题、范畴与反范畴。
3. **对称**：寻找作用在对象上的对称群，利用对称性约化问题；不变量与商对象常是钥匙。
4. **谱**：把问题转成特征值/特征函数语言，用谱分解、谱半径、主特征值刻画结构。
5. **变分**：把要证明的结论改写成某个泛函的极值问题，用变分原理或极值条件。
6. **极端**：考虑极端情形——最大/最小、极值点、退化对象、取等情形，极端处常最脆弱也最易算。
7. **归纳**：对规模做数学归纳、强归纳、结构归纳；寻找可归纳的规模参数。
8. **计数**：两边计数同一集合、生成函数、双射、容斥原理，把存在性换成计数。
9. **特殊化**：代入具体小值、特殊对象，先解特例再观察规律，把直觉固化成猜想。
10. **极限**：看规模趋向无穷、参数趋向边界、时间趋向无穷的极限行为。
11. **变换**：坐标变换、变量代换、积分变换（Fourier/Laplace）、几何变换，寻找更简单的等价形式。
12. **提升/降维**：把低维问题升到高维利用结构，或把高维问题投影降维。
13. **反证**：假设结论不成立，构造矛盾，或逼近到违反某已知条件。
14. **类比**：找结构相似的已知问题，移植其方法与结论。
15. **不变量**：在变换下寻找保持不变的量，用不变量排除可能或锁定结果。

## 使用方法

- 对一个具体问题，挑 3–5 个最相关的透镜分别试一轮，记录每个透镜看到的候选路径。
- 每个透镜的输出应落到：一个可检验的猜想、一个反例、或一条候选证明路径，而非空泛描述。
- 不要为凑数量套用所有透镜；只用在确实可能改变视角的问题上。

## 输出约定

对每条探索记录：用的哪个透镜 → 看到的结构/猜想/反例 → 支撑它的具体例证 → 下一步建议。例证必须是可复核的具体对象。