THE QUESTION / 原题条件
一个黑色袋子里装有三种口味的糖果，每种都有圆形和五角星形。形状可凭手感分辨，口味不可凭手感分辨。
参赛者需在活动前决定取出的糖果数目。最少取多少个，才能保证同时拥有形状不同、口味分别为苹果和桃子的两颗糖？
目标是下面任意一种配对，取得其中一种即成功。
苹果圆 ＋ 桃子星或桃子圆 ＋ 苹果星
一场天马行空，一道确定无疑的证明
想象起飞，答案落地。
孙悟空掌舵，鹈鹕骑行，北极熊搭便车，秦始皇忙着装配。
先讲清取糖规则，再让鹈鹕喊出真正有保证的答案。
● 踩踏联动● 云层流动● 电钻进给随时暂停，慢慢看
↔ 横向滑动主画面看全景；初始位置聚焦鹈鹕、北极熊与秦始皇。
让鹈鹕切换播报 · 两种解释都在下方保留，不替题目暗定规则。
01
先读题，也读条件的边界
| 形状 | 苹果味 | 桃子味 | 西瓜味 | 合计 |
|---|---|---|---|---|
| 圆形 | 7 | 9 | 8 | 24 |
| 五角星 | 7 | 6 | 4 | 17 |
| 口味合计 | 14 | 15 | 12 | 41 |
下文两种解释均按不放回取出计数；摸到但留在袋内的糖是否能被拒取，是区分两种规则的关键。
02
两个答案，都给足证明
解释 A / 不按形状挑选
任意盲取，保证配对
29颗
每次取出的糖都计入总数；不得凭形状拒取。预定取 n 颗，不放回。要求每一种可能的 n 颗组合都成功。
为什么 29 颗一定够？
考察一个还没有目标配对的取出集合：
① 苹果圆与桃子星至多出现一类，这两类总共至多 max(7, 6) = 7 颗。
② 桃子圆与苹果星至多出现一类，这两类总共至多 max(9, 7) = 9 颗。
③ 两种西瓜糖都不贡献目标配对，最多 8 + 4 = 12 颗。
失败集合 ≤ 7 + 9 + 12 = 28因此，任意取出 29 颗，都已经超过失败上限。
为什么 28 颗仍不够？
明确的失败构造
苹果圆 × 7桃子圆 × 9西瓜圆 × 8西瓜星 × 4
这 28 颗里，所有苹果、桃子都是圆形；星形全是西瓜。两种目标配对均缺席。
该集合的任意子集也失败，故所有 n ≤ 28 都未获保证。
上界 29 可达，下界 28 有反例 → 最少恰为 29。
解释 B / 袋内可按形状挑选
先定配额，再按形取
21颗
允许在袋内凭手感选定形状；只计实际取出的糖，不放回。口味仍不可在取出前辨认。预先约定取 9 圆＋12 星。
为什么“9 圆＋12 星”一定够？
星形中，“不是桃子”的最多 7 + 4 = 11 颗，“不是苹果”的最多 6 + 4 = 10 颗。取 12 颗星形，苹果星与桃子星都必定出现。
圆形西瓜只有 8 颗，取 9 颗圆形，必有苹果圆或桃子圆。无论是哪一种，都能与星形中的另一口味配对。
9 圆 ＋ 12 星 ＝ 21总数和形状配额都可以在活动前确定。
为什么任何 20 颗策略都不够？
考虑以下一种合法的最坏出袋次序：每当选取某种形状，就依对应序列给出下一颗。
完整次序，使用的正是题中数量
圆形：8 西瓜 → 7 苹果 → 9 桃子
星形：4 西瓜 → 7 苹果 → 6 桃子
在这个次序下，第一颗苹果圆在第 9 个圆形，第一颗桃子星在第 12 个星形；另一种配对则要等到第 16 个圆形与第 5 个星形。
苹果圆 ＋ 桃子星至少 9 + 12 = 21
桃子圆 ＋ 苹果星至少 16 + 5 = 21
无论怎样交替选形状，前 20 颗都失败。即使额外允许取出后获知口味、再决定下一颗形状，这个反例依然成立。
21 有必胜取法，20 对任意选形策略都有反例 → 最少恰为 21。
TRY THE QUOTA / 配额演算
挪动配额，看“保证”从哪一颗开始
只适用于解释 B：预先定好圆形 r 颗、星形 s 颗。下面判断所有口味组成是否都能配对，不做随机抽样。
21 颗 / 预定总数
为什么这四个边界已经覆盖全部失败集合？
失败时，“苹果圆 / 桃子星”至少缺一类，“桃子圆 / 苹果星”也至少缺一类。两次各选一个缺失项，共四种：无苹果时最多 (17 圆, 10 星)；无桃子时最多 (15 圆, 11 星)；星形仅西瓜时最多 (24 圆, 4 星)；圆形仅西瓜时最多 (8 圆, 17 星)。只要配额落入任一矩形，就存在失败集合；全数越过才有保证。
必定成功 · 9 圆＋12 星
已越过全部失败边界；所有符合配额的组合都有目标配对。
唯一的答案，需要完整的规则。
原条件未明确按形状挑选是否被允许。
两种自然解释各有严格最小值；概率不参与这个保证。
禁止按形状挑选29 颗任意 29 颗都成功
允许袋内按形状挑选21 颗9 圆＋12 星必成功