准备2027 AIME时，很多同学把检查理解成“按原路再算一次”。这种做法能发现部分运算错误，却未必能发现建模错误：如果起点就是同一个错误假设，两次计算可能得到完全相同的错答案。
这篇讨论与原推导尽量独立的核验方式，不重复整场时间分配，也不把个人检查方法写成官方要求。重点是选择一个能真正挑战原结论的角度，而非只是把式子抄得更整齐。
一、代回检查条件，换表示检查结构
方程求解后，把候选值放回原始条件，可以发现定义域、符号或筛选问题。计数题则需要检查对象与限制，不能只把最终数字放回一个同样可能建错的公式。
自编例子：从6人中选3人组成无职务小组，组合计数为20种。可以换个角度核验：每个三人组恰好对应剩下的三人组，所以选3人与选剩下3人的数量应相同。这个对称关系支持结构判断，但单独并不能证明20，因此仍需与完整计数配合。
| 原方法 | 可配合的核验 | 主要查什么 |
|---|---|---|
| 代数消元 | 代回原始关系 | 根与条件是否相容 |
| 分类计数 | 小规模列举或补集法 | 重复、遗漏与边界 |
| 复杂几何计算 | 面积、比例或数量界限 | 结果是否符合结构 |
| 概率乘加 | 事件总和与补事件 | 事件关系是否用错 |
二、上下界能快速发现不可能的结果
如果统计的是某个集合的子集数量，结果不能超过全集数量；概率应在0与1之间；正数的平均值应在最小值与最大值之间。这些检验并不复杂，却常能在结果刚出现时发现问题。
例如，自编例子中从10个对象选2个、不计顺序，总数为45。若在增加额外限制后算出60种，就不必先重做所有计算：限制不可能增加原来允许的对象数，说明建模或运算至少有一处错误。
三、用补集时，要确认“其余情况”真是全部
若直接数符合条件的对象很复杂，可以尝试先数全集，再减去不符合条件的对象。作为检查方法时，应特别核对补集定义是否准确。例如“至少一个”与“一个也没有”互为补集，而“至少两个”与“恰好一个”并不互为补集，因为还遗漏了0个。
检查方法越独立，越有机会发现结构性错误。但两种方法都依赖同一处错误翻译时，仍可能一致。因此，开始核验之前，先重新读一次原题的关键限制，而不是只看自己的草稿。
| 得到的信号 | 意味着什么 | 接下来怎样做 |
|---|---|---|
| 两种方法结果不同 | 至少一处有误 | 定位首次分歧的对象或条件 |
| 结果超出理论上界 | 结论不可能成立 | 先查范围与重复次数 |
| 多种方法相同 | 可信度提高 | 仍核对共同依赖的前提 |
| 小规模验证正确 | 通过了一个检验 | 补足一般情况下的理由 |
四、不是每题都需要完整再解一次
选择核验方式时看风险所在。运算长的题，可以检查关键等式和数量级；分类多的题，优先查边界与重叠；依赖变形的题，优先核对原始条件。为了检查再展开一套同样冗长的推导，反而可能引入新错误。
平时可在错题旁记录“哪种核验本来能发现它”。下次遇到相似结构，检查动作就会更具体。这个记录比笼统写“细心一点”更容易转成实际行为。
2027 AIME备赛中的可靠性，来自结论能经受条件、结构与独立表示的共同检验。选择本站未见过的真题练习，比只在熟题上重复验算更能观察这些检查动作是否已经形成习惯。
改革背景可阅读2027 AIME新规与考区差异总览。
