证明工具：归纳、交换论证、势能与对偶

本专题已纳入学习路线，正文将在路线架构审查通过后补充。