jmsc-proofs

命题与证明（jmsc-proofs）

触发时机

• 有模型和结论，但没把结论写成命题/定理
• 命题表述含糊（"通常会更优"），不可证伪
• 证明有跳步、"显然"、未处理边界情形
• 审稿质疑"逻辑链不完整 / 证明不严谨"

核心：模型必须产出可证明的性质

本刊有模型无证明 = 拒。模型的价值由它能证明的性质来体现：最优解的存在唯一、最优策略的结构（阈值型/单调）、比较静态、均衡的存在与刻画、界与近似比。

命题表述规范

• 一条命题只断言一件事，条件（在何假设下）与结论分开写。
• 用精确的数学语言，避免"一般来说/通常"等模糊词。
• 结论应不平凡且可证伪：能想象一个它不成立的情形。
• 命题编号与假设编号对应，引用 A1/A2 时写清。

常见性质类型与证明套路

性质	典型断言	证明工具
存在唯一	最优解/均衡存在且唯一	凸性 + 一阶条件 / 不动点 / 压缩映射
结构性质	最优策略是阈值型/单调	超模性 / 一阶条件 / 归纳
比较静态	最优值对参数单调	包络定理 / 隐函数 / Topkis
均衡	Nash/SPE 存在并刻画	最优反应 + 不动点 / 逆向归纳
界/近似	算法解 ≤ ρ·最优	松弛 / 对偶 / 最坏情形分析

证明完整性自检

• 每条命题的假设前提与结论精确、分开
• 证明每一步有依据，没有无理由的"显然/易得"
• 边界与退化情形（端点、约束起作用/不起作用）已处理
• 存在性与唯一性分别证明（别只证一半）
• 用到的引理已陈述并证明（或给出可核查的出处）
• 证明放附录，正文只给陈述与直觉，保持可读

反模式

• "通过仿真验证"替代"证明"（仿真是验证不是证明）
• 命题其实是定义或假设的同义反复
• 证明跳过约束起作用与否的分类讨论
• 一阶条件当充分条件用（没验二阶/凸性）
• 引用一个不存在或对不上的"经典结论"

本刊证明环节审稿期待与退稿模式

《管理科学学报》在命题-证明环节把关最严："有模型无证明"几乎必拒。下表对齐本刊高频退稿语与修法：

退稿信号	根因	本刊期望的修法
"命题表述含糊/不可证伪"	用"通常更优"等模糊词	把条件与结论分写，给出能想象反例的精确断言
"证明有跳步/'显然'"	关键步骤无依据	补出每步依据，技术性引理单列并证
"只证存在未证唯一"	把一半当全部	分别证存在与唯一；若不唯一则刻画解集
"未处理边界/约束起作用情形"	跳过分类讨论	对约束 active/inactive、端点解逐情形论证
"一阶条件当充分条件"	缺凸性/二阶验证	补凸性或二阶条件，确立最优性而非驻点

锚点：本刊已刊论文的结构性结论（阈值型最优策略、最优值对参数单调）多依赖超模性/包络定理/Topkis，正文给陈述与直觉，完整证明入附录。具体体例以编辑部最新稿约为准。

微型走查：供应链回购契约的阈值结构证明

虚构稿件《需求不确定下回购契约的最优订货阈值》。按命题-证明决策规则走一遍（示意设定仅作演示）：

• 命题 P1（陈述）：在假设 A1（需求 D 服从连续分布 F，密度 f>0）、A2（回购价 b<批发价 w<零售价 r）下，零售商最优订货量 q* 唯一，且 q* 关于回购价 b 单调递增。条件与结论分写，断言不平凡（可设想 b 上升 q* 反而下降的情形来证伪）。
• 存在唯一：Π(q)=（r−w）q−(r−b)∫₀^q F(x)dx，Π''(q)=−(r−b)f(q)<0（由 A2 与 f>0），故严格凹，一阶条件 F(q*)=(r−w)/(r−b) 有唯一解。存在性由凹性+端点符号、唯一性由严格凹，分别给出。
• 比较静态：对 F(q*)=(r−w)/(r−b) 两边关于 b 隐函数求导，得 dq*/db=（r−w）/[(r−b)²f(q*)]>0，故 q* 随 b 递增。用隐函数定理而非"显然"。
• 边界处理：当 b→w 时阈值比值→0，q*→分布下端；当 b=r 临界退化已被 A2（b<w<r）排除，说明退化情形为何不在范围内。
• 正文-附录分工：正文给 P1 陈述 + "回购价越高、零售商越敢多订"的机制直觉，凹性与隐函数求导细节入附录。

审稿人若追问"是否需要 IFR（递增失效率）才有唯一性"，回应应指出唯一性仅依赖严格凹（f>0 足矣），IFR 是更强单调结论才需的额外条件，避免过度假设。

输出格式

【命题清单】P1<断言> P2<断言> …
【表述】精确 / 含糊 <哪条>
【可证伪/不平凡】是 / 否 <哪条>
【证明完整性】完整 / 缺口 <步骤/边界/唯一性>
【引理依赖】已证 / 待补 <引理>
【正文-附录分工】证明已入附录？是/否
【下一步】jmsc-algorithm（需算法）/ jmsc-numerical-experiments