解一道简短却不简单的中国奥数入门题
(注:由于我有点懒,此中文版本绝大部分是用 Google Gemini 3.1 Pro 英译中的。若有误,敬请谅解。)
引言
显然,我上海的新邻居是个五年级的天才,他现在已经在学习高中课程了。因此,说他正在准备数学奥赛也就不足为奇了。今天,他给我看了一道他奥数班的作业题,把我给难住了。
题目的主题是“集合”。我心想,作为一个大学生,五年级学生的集合论题目总不至于太难吧?
他指着作业上的第3题,告诉我这是他第一道解不出来的题。
盯着这道题看了十分钟后,我没能解出这道题的第二问。为了在尴尬之后挽回一点颜面,我把我的解答写在这里。因为这道题有很多边界情况和容易出错的地方,我将写下一份极其严谨的解答。
哦对了,这道题也让我想起为什么我当年没有在国内搞奥数。我不确定这道题的出处。如果你找到了这道题的出处,请告诉我。
1%的集合,99%的代数。
题目
给定 ,定义 。定义集合 和 。
(a) 证明 。
(b) 求所有满足 的 的可能取值,并给出证明。
备注
第(a)问很简单——它仅仅是测试选手是否知道什么是子集。
第(b)问……不知道为什么这会出现在集合的作业里。我唯一的瓶颈是对代数的观察。
我的解答
(a) 证: 设 。则 ,所以 ,这意味着 。因此,。
(b) 我断言所有可能的 的取值集合为 。
证: 我们将证明分为两个断言。
断言 1: 当且仅当 。
断言1的证明:
首先注意到如果 ,该断言显然成立(因为 )。
对于 的情况,如果 ,则 有实根。因此,,所以 。
首先注意到如果 ,则 ,所以 是一个不动点,因此 ,即 。
对于 的情况,如果 ,则 ,所以 至少有一个实根,这意味着存在某个 使得 。
断言 2: 当且仅当 。
断言2的证明: 我们有 。因此,
对所有 成立。
为方便起见,记 。则 。
首先注意到如果 ,则我们得到 对所有 成立,因此 。
接下来,我们将针对 的情况 证明断言2。
因为 ,必然有 。因此 的任何根也是 的根。所以,要么 没有实根,要么 的根是 的根的子集。
情况 1: 没有实根。那么,,所以 ,又 因为 ,这得出 。
情况 2: 至少有一个实根,并且 的所有根也是 的根。
在这种情况下,,。
设 为 的一个根。那么, 且 。代入可得 ,即 ,且 因为 ,这得出 。因此, 必须恰好有一个实根,且必须是 。在这种情况下,,所以 ,又 因为 ,可得 。
至此所有情况讨论完毕。在所有情况下,皆有 。
同上,如果 ,则 没有实根,所以 ,即 。
如果 ,则 恰好有一个根 ,而在这种情况下,,所以 ,这意味着 。
因此,如果 且 ,则 。此外,在第(a)问中,我们得出 。因此,我们有 。
因此,两个方向均已证明,在 的情况下,我们有 当且仅当 。
结合 的情况,我们证明了断言 2。
由断言 1 和断言 2, 且 当且仅当 且 ,所以 的所有可能取值集合为 。