第十六章 一条不等式：从得到证明到重新组织求证
主体性不是守住原来的判断，而是能够进入判断怎样形成和改变的过程。
16.1 正确答案尚未成为自己的问题
本章全部人物、课堂安排与对话均为构造性思想实验，不是某所学校的观察报告，也不是某个商业模型的实测记录。数学命题与计算可以独立检查，但学生的理解变化不能因此被当作已经获得经验验证。采用数学，是为了让一部分有效性判断具有清楚边界，再观察同一正确结论如何进入不同的学习关系，而不是用数学的确定性替教育机制担保。
小林已经学习分式与基本不等式。教师给出任务：当0＜x＜1时，证明1/x＋1/(1－x)≥4，并说明等号条件。课堂允许使用AI，也允许查阅必要材料，但要求学生最后能够处理一个条件有所变化的任务。这里的资源安排是教学设计的一部分，不把工具是否在场直接当作学习成功或失败的证据。
小林把题目输入界面，获得一个很短的证明：x(1－x)＝1/4－(x－1/2)²≤1/4，而1/x＋1/(1－x)＝1/[x(1－x)]，因此结论成立，等号在x＝1/2时取得。这份答案在给定定义域内正确。小林看懂了每一个符号，也能够把它重新写出来。教师此时没有理由说他什么都没有学会，但仍需要知道他究竟掌握了哪一种关系。
教师问，从分母不超过1/4到倒数不小于4，中间依靠什么条件？小林回答，取倒数方向要反过来。这个回答显示他记得一条规则，却没有说明规则的适用范围。教师再给两个负数，让他检查能否用同样语言处理所有情况。小林开始发现，“取倒数反向”不是可以脱离符号与定义域单独使用的一句口诀。
教师没有立即把完整解释再讲一遍，而让小林在原式旁边标出每一次运算依靠的条件。x不能为零，1－x不能为零，x(1－x)为正，随后才能按照当前方式比较倒数。题面中的0＜x＜1原来像一个开始时读过便可略去的背景，现在逐渐进入证明内部。学习发生的候选位置，不是多记住一个公式，而是条件开始获得实际作用。
这一变化也可能不发生。小林可以把教师指出的三条条件抄在旁边，却仍然把它们当作额外说明。若下一道题只是更换字母，他也可能熟练复制。这说明当前课堂尚不能根据笔记完整就认定理解。需要给出能够区分机械补充与实际辨别的新条件，让学生的行动显示这些限制究竟有没有进入判断。
从SDE看，本轮的S是一份正确证明及其被理解的当前方式；D包含寻找答案、复现以及对隐藏条件的追问；E包含题目定义域、界面直接答题的默认、教师允许暴露不完整理解的安排。三个方向相互作用：教师的追问改变小林能够看见的差异，新差异又可能改变下一轮工具使用方式。没有必要把任何一个要素单独封为学习的全部来源。
这里的AI可能只是答案提供者，也可能成为后续候选与反例的来源。其角色不能在题目开始前永久固定。若模型输出不改变小林的问题，只使他更快获得现成证明，工具支持解释可能已足够；若后续互动使条件、标准与求证路径共同改变，才有理由进一步研究结构性复合。角色变化需要过程证据，不由“用了AI”三个字决定。
数学学习也不能被理解为必须重新发现整个人类的证明史。小林继承一个成熟证明完全合理。教育所需要的，是让他进入足以检验当前推论的关键差异，而不是要求所有方法都由自己创造。继承与发生并不矛盾，机械复制与理解性继承才是需要区别的关系。
第一轮结束时，教师暂时只作一个有限判断：小林能复现正确证明，定义域的作用开始成为问题，但是否能够在新条件下使用尚未确定。这样的诊断不如一个高分醒目，却为下一轮提供了清楚起点。教育不是急于宣布主体已经重生，而是让下一次差异能够进入最需要形成的地方。
16.2 错误推广如何使条件显露
第二轮，教师提供一段特意构造的错误回答：“只要x不等于0和1，原不等式仍成立，因为合并分式的运算没有改变。”小林最初觉得合理。它沿用相同符号，相同计算式，也给出了看似充分的定义要求。这里的错误并不在分式合并，而在把运算有定义与原有比较成立混为一谈。正是这种相似，使它成为适合当前理解的差异。
教师让AI界面给出一个反例候选，但不直接代替学生计算。候选为x＝2。小林得到1/2＋1/(1－2)＝－1/2，原来的≥4不成立。反例足以否定这个全称推广，却没有否定原题，因为x＝2不属于0＜x＜1。学生必须把反例的作用范围说清，否则可能从“推广错误”误走向“原证明错误”。
接着，教师要求保留仍然正确的部分。等式1/x＋1/(1－x)＝1/[x(1－x)]在x不等于0和1时仍然成立，问题出在后面的不等式推断。把整段证明全部划掉会丢失这个区别；只在结尾加一句特殊情况，又不能解释错误机制。修复应落在真正失效的位置，而不是用一个更谨慎的结论遮住推理缺口。
小林尝试把结论与4的差写出来，得到：1/[x(1－x)]－4＝(2x－1)²/[x(1－x)]。现在分子非负，整个差值的符号由分母共同决定。当0＜x＜1时分母为正，结论成立；当x＜0或x＞1时分母为负，差值为负。这个恒等式把定义域从题目开头的附加文字，转成了能够直接看见的结构。
教师继续问，为什么不能只说“分子平方，所以非负”？小林需要指出分式的符号并不只由分子决定。这里发生的是一个新的区别：局部非负不等于整体非负。它不仅对当前题目有用，也可能成为以后处理乘除关系的线索。但这种潜在迁移仍需后续任务检验，不能因为例子具有一般形式，就宣布学生已获得跨领域能力。
反例也可以由学生自己找到。教师不必把AI固定为发现者，把人固定为核验者。若小林主动尝试x＝2，模型随后帮助整理符号结构，关系同样可能有教育价值。真正需要追踪的是哪一项差异进入了判断、谁使它获得作用，以及后续步骤如何改变。贡献不是根据角色名称分配，而应依据实际过程说明。
课堂还可以出现另一个分支。AI给出x＝1作为所谓反例，小林指出原式没有定义，不能按同样方式代入比较。这个拒绝很重要：不是所有不满足结论的符号都构成有效反例，必须满足被检验命题允许的条件。学生在这里不是简单地反对机器，而是用问题边界判断候选是否有效。否决的教育价值来自理由，不来自否决次数。
若模型随后改正，教师也不应将其描述为学生已经掌握全部证明能力。小林可能只知道1不能代入，仍不会处理其他边界。一个局部成功支持一个局部判断，后续可以据此安排新的区别。教育研究最容易夸大的地方，正是把一段精彩对话写成整个人能力已经全面跃迁。本章保留事件的实际范围。
这一轮还改变了求证目标。小林不再只问怎样证明≥4，而开始问为什么必须在这个区间、区间之外发生什么、哪种运算依靠哪些条件。问题从寻找步骤转向检查成立范围。若教师允许这种转向进入后续任务，E也随之改变：课程开始奖励适用边界，而不只奖励最快完成标准证明。
反例的作用至此才比较完整。它没有直接把正确答案植入学生，而是打开了一段需要他参与的比较，使原来被忽略的条件进入D，并改变S所呈现的理解形态。若这段差异能够继续进入下一次求证，就有了发生继承的可能；若只停在一次惊讶，仍然只是一个精彩课堂片段。
16.3 反例怎样改变判断标准
小林原来的好答案标准是结论正确、步骤简短。经过错误推广，他开始要求说明定义域、关键运算条件和等号情况。这个变化不应被理解为从此所有答案都必须更长。它意味着他发现了简短证明可能隐藏自己尚未掌握的条件，并开始根据任务需要决定哪些省略可以接受。标准发生的核心，是辨别能力变细，而不是记录要求变多。
教师因此安排一个反向问题：日常计算2＋3是否也要写长篇前提说明？显然没有必要在当前训练中把全部基础重新展开。若小林把每一次学习都变成无限条件追查，新的谨慎就会失去可用性。教育需要让他理解，展开深度与当前不确定、任务目标和后果有关，而不是越详尽就越有主体性。
小林尝试向模型提出新的请求：给出证明时，先列出会影响关键变形的条件；若条件改变，指出哪一步需要重新检查。这个请求仍然只是候选配置，不能因为听起来合理就认定有效。教师让他检查系统是否真的保留条件，是否可能为了满足要求而添加无关说明，以及在简单任务中是否造成不必要负担。
学生的标准也可能被同伴改变。一位同学给出另一种证明，利用两个正数的均值关系得到结论，步骤不同但同样有效。小林开始认识到，保留条件不意味着只接受自己熟悉的那条路径。评价证明需要区分逻辑有效性、解释清楚度和当前学习目的。多种正确路径的比较，有助于防止一个新规则变成排斥其他方法的权威。
教师进一步让学生比较两个版本：甲省略了等号说明，乙给出了等号但把定义域说错。二者不能只按文字完整度比较。等号缺失可以是任务交付不完整，定义域错误则可能影响命题本身。不同缺陷需要不同修复，不能被同一个“还需严谨”评语覆盖。精确反馈应当帮助学生知道究竟哪里需要改变。
这一轮中，人的标准并没有保持不变，却可能更有根据。若原稿要求保留旧目的、旧尺度，便会把这种学习排除；修订后的理论则关注小林能否参与尺度修订，理解修订理由，并在新任务中继续检验。主体性不是守住原来的判断，而是能够进入判断怎样形成和改变的过程。[2]
同时，不能因为标准来自学生的主动表达就忽略支持。教师设计了反例，模型提供了候选，同伴展示了另一条路径，这些都参与形成。小林的成长不需要把这些贡献隐藏掉。恰恰能够承认来源、理解理由并继续使用，才使公共方法进入他的知识生态。个人化不是来源纯化，而是关系重新组织。
课堂可以观察一种失败分支：小林学会每次要求模型列条件，却不阅读条件，最终仍按结论复制。平台输出更严谨了，学生的判断未必改变。这时需要的是缩小任务、要求他处理一个具体边界，而不是继续增加提示规则。条件出现在文本中，与条件进入学生行动，是两项不同证据。
另一种失败分支是，小林把条件检查完全交给模型，遇到机器没有提示的问题就不再核验。这说明他学会了配置，却还未形成触发判断。教师可以提供一个模型省略限制的构造答案，观察他是否能主动重新打开。教育要培养的不是永远由外部系统提醒的谨慎，而是逐步参与决定何时需要谨慎。
标准修订最终应当留下可用历史。小林不只写“以后要严谨”，而写明当前错误来自把有定义当作比较成立，下一次遇到倒数与乘除比较时应检查符号条件。这个表达更窄，却更有行动能力。它为后续方法回写提供了具体材料，而不只是一个听起来高尚的学习感想。
16.4 从两个数到多个数及加权形式
第三轮，教师给出新任务：x₁到xₙ都是正数，它们的和为1，比较1/x₁＋⋯＋1/xₙ与n²。小林不能把前次合并两个分式的步骤原样复制。他需要识别共同条件，也需要寻找新的结构。这里允许AI提供方法候选，但要求学生先说明自己注意到哪些条件，以及它们可能在哪一步发挥作用。
一种经典证明使用柯西不等式。令aᵢ＝√xᵢ，bᵢ＝1/√xᵢ，则(Σaᵢbᵢ)²≤(Σaᵢ²)(Σbᵢ²)。左侧为n²，右侧为1·Σ1/xᵢ，因此结论成立。等号要求所有xᵢ相等，在和为1时即均为1/n。这是已有数学结论，本章不将其当作新定理；需要研究的是学生怎样借助旧差异进入新证明。
正性在这里获得新的位置：平方根与倒数必须有意义，等号条件也依靠各变量的关系。若小林只记住“先看条件”，却不能说明条件进入哪里，迁移仍然不充分。教师可以要求他指出证明中每一次真正使用正性的地方，并比较与原题的联系。旧经验不是原步骤的复制，而是形成了新的提问入口。
还可以不用这一命名不等式，而检查恒等式：在Σxᵢ＝1时，Σ[(1－nxᵢ)²/xᵢ]＝Σ1/xᵢ－n²。每一项因xᵢ＞0而非负，结论随之得到，等号要求每个xᵢ＝1/n。这个展开可以逐项核验：平方展开后的中间项相加为－2n²，最后一组为n²Σxᵢ＝n²。不同证明使同一限制以不同方式显露。
教师现在给出一个错误推广：只要各xᵢ非零、和为1即可。取n＝2，x₁＝2、x₂＝－1，倒数和为－1/2，小于4。这个反例并不是从前题机械复制，而是利用共同的符号结构。小林若能解释正性被删除后哪一步失效，就提供了更强的条件迁移证据；若只背下一个反例数对，仍需要进一步观察。
接下来引入加权形式。设wᵢ均为正、Σwᵢ＝1，xᵢ均为正，考虑A＝Σwᵢxᵢ与B＝Σwᵢ/xᵢ。本章要证明AB≥1。它可以通过柯西不等式处理，也可以直接展开：AB－1＝Σᵢ＜ⱼ wᵢwⱼ(xᵢ－xⱼ)²/(xᵢxⱼ)。右侧各项非负，条件与结构因此清楚地连接起来。
恒等式的核验值得展开。乘积AB中，对角项为Σwᵢ²，两个不同下标对应的项合并为wᵢwⱼ(xᵢ/xⱼ＋xⱼ/xᵢ)。另一方面，1＝(Σwᵢ)²＝Σwᵢ²＋2Σᵢ＜ⱼwᵢwⱼ。相减后，每一对下标留下wᵢwⱼ[(xᵢ－xⱼ)²/(xᵢxⱼ)]。这里没有隐藏新假设，学生可以逐步检查每一次整理。
若允许零权重，结论仍可在非负权重、总和为1的条件下成立，等号只要求所有正权重对应的xᵢ相等。零权重对应的数值不影响乘积。这个细节很重要：等号条件不应被机械写成所有变量必须相同，而要跟随实际起作用的关系。它让小林看见，边界检查不仅是防止错误，也可以使结论更精确。
若允许负权重，情况改变。取w₁＝2、w₂＝－1、x₁＝1、x₂＝2，权重和仍为1，但A＝0、B＝3/2，乘积为0，不满足≥1。原恒等式仍可成立，右侧却不再保证各项非负。这个反例把恒等变形与不等式判断再次分开，形成与最初分母符号问题相呼应、又不相同的新差异。
教师随后把讨论拉回现实指标。即使公式在正权重条件下正确，也不能证明任何教育质量指标都适合加权平均。数学形式成立，还需要变量含义、可比较性与任务目的的说明。小林如果因为学会加权不等式，就认为任何综合评分都具有依据，又会在理念有效性与现实适用性之间跳过一座桥。跨领域迁移需要新的条件分析。
这一组任务因此不仅增加难度，还逐步改变学习者要处理的关系。从一个区间内的分式比较，到多个变量，再到权重、等号与实际指标，旧经验不断被继承和限制。数学事实提供了清楚材料，教育机制则体现在小林是否能够选择性地使用这些联系，并在不适用时拒绝机械推广。
16.5 失败如何进入下一次求证
经过几轮任务，小林可以获得很多正确证明。如果全部保存，资料夹会很丰富；如果只保存最简结论，使用又很方便。但哪种材料能真正改变下一次求证，需要进一步设计。本章构造一张最小关系卡，不要求完整聊天，只保留五项联系：原命题、关键条件、错误推广、有效反例，以及下一次需要检查的推理位置。
卡片可以这样表述：合并分式的恒等式可能在较大范围内成立，不等式方向却依赖分母符号；不能把“运算有定义”当成“比较仍成立”；当出现倒数、除法或加权和时，检查相关量的符号与零值；若使用平方非负证明整体非负，还要检查分母或系数。这里的规则来自具体任务，仍应标明是暂用方法，不是对所有数学问题的完整说明。
学生还要保留反例的用途。x＝2反驳的是删除区间限制的推广，不反驳原题；负权重例子反驳的是允许任意符号权重的推广，不否定正权重结论。没有这一范围，反例容易被当作孤立的特殊值。关系卡要使后来者知道它为什么重要，而不是只记住几个令人印象深刻的数字。
外部配置可以据此调整。后续请求模型证明时，先呈现已知条件，再要求说明关键运算与等号；若模型生成推广，先进入候选区，不直接写成定理。这个安排只是教学上的候选设计，实际系统能否执行需要检查。一次把规则写进提示，不能证明底层模型已经学会，也不能证明所有未来任务都会调用。
个人侧的回写，则要看小林下一次怎样开始。教师给出一个与分式表面不同、但涉及非负系数的任务，不提示卡片。小林是否主动检查系数符号，是否指出某项平方虽非负但乘上负系数后不能直接求和？这些行为可以支持结构继承。若他只是每次先说一句检查条件，却不改变任何推断，回写可能仍停在语言层。
教师还应设置旧规则不必展开的任务。例如，一个完全处于已知正数范围的简单运算，不需要长篇重复说明。小林能够适当封装，表示他开始判断检查尺度；若每题都写相同长清单，则可能形成新的仪式。方法卡的目标不是让解题永远变慢，而是使关键差异在需要时能够被打开。
这一过程也可能主要由教师代办。教师写卡、改提示、安排反例，小林只使用越来越完善的环境。短期结果可能很好，但若目标包含组织能力，仍需逐步让他参与。可以让他删去卡片中无关的一条，解释为什么；也可以让他为一个新错误补充限制，并检验补充是否过宽。参与不必一次接手全部技术，却应获得真实决定位置。
还可以把卡片交给同伴。另一名学生没有经历原课堂，能否借助卡片理解错误，并处理一个新任务？若可以，说明关系历史具有传播能力；若不能，可能是卡片缺少背景，也可能需要更基础的教学。不能把所有失败解释为亲历不可替代。一个可生产新学习的知识产品，应当接受陌生使用者的检验。
失败的价值在这里发生变化。它不再只是扣分理由，也不是需要永久展示的个人缺陷，而成为后续求证的检验材料。保存错误，是为了使重要差异可以继续工作；修订错误，是为了改变错误再次发生的条件。数学课堂由此不只生产一份证明，还可能生产一种可接续的求证关系。
然而，这些仍是思想实验中的机制安排。它们是否实际提高长期迁移，需要真实研究。一个连贯故事可以证明某些概念区别具有可理解性，却不能替课堂数据作证。本章的贡献，是把需要观察的连接做得足够具体，使后来研究不必只问学生是否觉得学得更好，而能够追踪哪里保存、哪里激活、哪里真正改变了判断。
16.6 更换模型与无AI任务中的不同证据
最后一轮改变支持条件。教师提供功能大致可比的新界面，给予熟悉时间，再安排相近但不完全相同的任务。新系统能够给正确证明，却默认省略等号情况。小林需要决定哪些旧关系带入：不是复制全部聊天，而是迁移关键条件、反例与暂用规则，并检查新系统是否实际使用。这个过程考察关系重构，不是比较两个品牌的优劣。
若小林能够发现省略，补充等号要求，并在过于简单的题目里适当缩短规则，提供了可重构连续性的候选证据。若他只说原系统更懂自己，却无法指出需要保留的判断结构，证据就不同。两种结果都可能发生，不能由理论预先规定。研究还要排除界面负担与功能差异，避免把所有替换成本归为主体能力问题。
教师另设一个无AI的短任务，要求解释原不等式为何限定在0＜x＜1。这一任务检查个人已经承接的部分，不要求他独立重现所有复杂推广。若能够完成，支持基础条件理解；若不能，不能立即取消此前全部协作价值，却提示独立证明链仍有缺口。教育应分别报告，而不是把系统表现与个人表现混为一项成绩。
再设一个允许查看关系卡、但不允许直接生成答案的任务，能够帮助观察外部历史的作用。学生无卡时迟疑，有卡时能够正确使用，说明支持关系可能仍重要；学生有卡也不会判断，说明保存材料不足以保证理解；学生不看卡也能辨别，可能显示个人内化。不同结果需要不同解释，不能把任何一种资源条件下的成功都称为同一种学习。
还可以出现看似反常的结果：更换模型后，小林反而更认真检查，因为新界面没有原来的熟悉感。表现改善可能来自注意提高，而不是重构能力本身更强。真实研究应考虑这种替代解释。思想实验的任务，是指出可能的证据结构，而不是把所有观察都安排成支持理论。一个愿意面对反常结果的案例，才为经验研究留下空间。
本章可以归纳出四条不同轨迹。第一条只有成品增长：证明越来越完整，学生不能解释边界。第二条有协作事件但没有继承：每次都经过相同提醒，任务之间没有接续。第三条有历史保存却形成僵化：所有问题都机械套用长清单。第四条出现选择性的继承与修订：知道何时调用、何时展开、何时限制旧方法，并能在组件变化后重新组织。
这四条轨迹不是四类固定人格。同一个学生在不同任务中可以表现不同，也可能因支持条件变化在轨迹之间移动。教育的目标候选是第四条，但不能因它最符合理论，就把所有课堂都设计成必须证明第四条已经出现。报告应允许混合状态：某一项条件理解形成，另一项重构能力尚未确定，外部资料作用仍然明显。
从四层框架看，本章分别处理了结构相互调整、过程证据、人的发展和修复配置。模型参与反例与证明，不自动意味着教育成功；记录充分，也不自动意味着理解；学生能够独立解释一项边界，也不证明所有复杂协作能力；错误由多方共同形成，更需要明确由谁修改材料与后续规则。四层保持分开，案例才不会被一场漂亮对话包办。
从三大关系式看，正确证明的显露使隐藏条件成为可追问对象，反例差异改变理解，新的理解又改变提示和任务要求，后续条件进一步组织新的求证。这里展示的是S、D、E互相生成的局部机制，不是通过一个数学例子证明整个本体论必然成立。理论语言的作用，在于使原来容易省略的连接能够被看见和检验。
一条不等式因此可以成为不同的教育事件。它可以只是被更快获取的答案，也可以成为条件意识的起点；可以被保存为静态知识，也可以进入能够继续生产问题的方法关系。真正的教育对象不只是一名拿到正确证明的学生，而可能是一段人、材料与智能器具共同形成、能够在后续任务中被继承和重构的知识行动历史。
下一章将转入语言学习。那里没有每一种表达都能像不等式一样给出唯一有效性判定，语境、受众与表达意图会更深地参与标准形成。若本书的框架只能在清楚可算的数学材料上成立，就不能轻易推广。不同学科将迫使发生机制继续改变自己的具体内容，而不是把同一张表格机械复制过去。