离散数学证明求助：用反证法或逆否法证明年龄均值命题

别慌，这个问题用反证法其实特别好理解，我给你一步步捋清楚：

反证法的核心思路很简单：先假设原命题的反面结论是对的，然后顺着这个假设推导，最后会发现它和已知条件矛盾，反过来就证明原命题成立了。

第一步：明确原命题和它的反面 #

• 原命题：4个孩子平均年龄为10岁，至少有一个孩子的年龄不小于10岁。
• 反面假设：所有4个孩子的年龄都小于10岁（不管年龄是整数还是小数，这个假设都成立）。

第二步：根据反面假设计算总年龄 #

如果每个孩子的年龄都小于10岁，那把4个孩子的年龄加起来，总年龄肯定小于 10 × 4 = 40 岁。

但题目里明确说了，4个孩子的平均年龄是10岁，那他们的总年龄必然是 10 × 4 = 40 岁——这是板上钉钉的已知条件。

第三步：找出矛盾点 #

你看，根据反面假设算出来的总年龄“小于40岁”，和已知的“总年龄等于40岁”完全冲突，这就说明我们的反面假设是错的。

第四步：得出结论 #

既然“所有孩子年龄都小于10岁”这个假设不成立，那原命题就必然正确：至少有一个孩子的年龄不小于10岁。

要是你用整数年龄来验证的话更直观：假设每个孩子最多9岁，4个孩子总年龄最多36岁，远达不到40岁，矛盾更明显。

内容的提问来源于stack exchange，提问作者Jonathan