---
name: jmsc-proofs
description: Use when stating and proving propositions / theorems for a 《管理科学学报》 (Journal of Management Sciences in China) manuscript — ensuring each result has a precise statement, a complete proof (in appendix), and that the logical chain has no gaps. A model without proven properties is rejected here. Use after jmsc-model-building.
---

# 命题与证明（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
```