第四届丘成桐中学数学奖获奖论文－关于两集合元素相加问题的初步研究.pdfVIP

关于两集合元素相加问题的初步研究 陈恩献 陈钱钰 胡诗庭 （温州中学高三（1）班 浙江温州 325014 ） 指导老师 陈相友 摘要： 本文由一个较为常见的结论出发，研究集合的元素相加这一模型的性质，得到和的 个数与两集合元素的书之间的关系，并研究达到一定等量关系的充要条件，在研究和的 个数等于两集合元素个数之和的充要条件时，我们从特殊情况入手，逐步推进，最终达 到了目标。 一、引言 集合的元素之和是一个深刻而又有趣的话题，其中结论众多。我们注意到其中一个优美 的命题（结论一），希望以此为出发点，得到更多让我们感到惊喜的结论。 我们有如下问题： 1、和的取值个数与原集合的元素个数有怎样的关系？ 2 、和的取值在与原集合元素个数达到某个等量关系的充要条件是什么？ 这两个问题将成为我们主要的研究对象。 二、结论与证明 结论一：A 和 B 是R 的两个非空子集，且设C=A+B={a+b|a∈A，b ∈B}则|C |≥|A|+|B|-1。 证明：设|A|=m，|B|=t，t≥m。 记 A x ,x ,……,x ,B y ,y ,……,y { 1 2 m } { 1 2 t } 且x1 x 2 ……xm ,y 1 y 2 ……y m 考虑下面 t+m-1 个数 x +y x +y …x +y x +y …x +y ……① 1 1 1 2 1 t 2 t m t 它们互不相同，故|C|≥|A|+|B|-1。 结论一是一个常见结论，它给出了|A+B|的最小值，而|A+B|显然不超过|A|×|B|,|A+B| 只能在|A|+|B|-1，|A|+|B|,…,|A|×|B|中取值，但我们发现事实上|A+B|可取遍|A|+|B|-1， |A|+|B|,…,|A|×|B|中的全部值，于是得出了结论二。 结论二：A和B是R的两个非空子集，且设C=A+B {a+b|a∈A，b ∈B}则|C|可取遍|A|+|B|-1， |A|+|B|,…,|A|×|B|中的全部值。 证明：不妨设|A|=m，|B|=t，t≥m。 先看|c|=m×t 的情形，采用直接构造 不妨令 B={1,2，…，t}， Amt ={1,t+1,2t+1,…,(m-1)t+1} 则 C Amt +B={2,3，…，mt+1}，为证明此，我们给出下面的引理 引理一：A＇∈N+,A＇={ a1 ,a2 },B={1,2,…,t},a2 ≥a1 +n 则 A＇+B={ a1 +1，a1 +2，…，a2 +t} 引理一的证明：以下这串数列中的数均是 A＇+B 中的数 a1 +1, a1 +2,…, a1 +t, a2 +1, a2 +2,…, a2 +t。 ∵（a2 +1 ）-( a1 +t)= a2 - a1 +1-t≥t+1-t=1. ∴它取遍a1 +1,…, a2 +t 中所有整数，引理 一得证。 下面回到原命题，由引理一易得Amt +B={2,3,…,mt+1},则|Amt +B|=mt，我们试图经过调整 A ，依次得到A ，A ,…A ,使|A +B|=k mt mt −1 mt −2 m+t −1 k 记xk max x ，y k max y , Ak Ak +1 \{xk +1 }∪{y k +1 } x ∈Ak y ∉Ak y xk 事实上，A 是由A 去掉A 中的最大元，补上小于A 的最大元且不属于A 的最大整 k k +1 k +1 k +1