大家好,我是小新,我来为大家解答以上问题。抽屉原理是几年级学的,抽屉原理很多人还不知道,现在让我们一起来看看吧!
1、把八个苹果任意地放进七个抽屉里,不论怎样放,至少有一个抽屉放有两个或两个以上的苹果。
2、抽屉原则有时也被称为鸽巢原理,它是德国数学家狄利克雷首先明确的提出来并用以证明一些数论中的问题,因此,也称为狄利克雷原则。
3、它是组合数学中一个重要的原理。
4、把它推广到一般情形有以下几种表现形式。
5、 形式一:证明:设把n+1个元素分为n个集合A1,A2,…,An,用a1,a2,…,an表示这n个集合里相应的元素个数,需要证明至少存在某个ai大于或等于2(用反证法)假设结论不成立,即对每一个ai都有ai<2,则因为ai是整数,应有ai≤1,于是有: a1+a2+…+an≤1+1+…+1=n<n+1这与题设矛盾。
6、所以,至少有一个ai≥2,即必有一个集合中含有两个或两个以上的元素。
7、 形式二:设把n•m+1个元素分为n个集合A1,A2,…,An,用a1,a2,…,an表示这n个集合里相应的元素个数,需要证明至少存在某个ai大于或等于m+1。
8、用反证法)假设结论不成立,即对每一个ai都有ai<m+1,则因为ai是整数,应有ai≤m,于是有: a1+a2+…+an≤m+m+…+m=n•m<n•m+1 n个m 这与题设相矛盾。
9、所以,至少有存在一个ai≥m+1 高斯函数:对任意的实数x,[x]表示“不大于x的最大整数”. 例如:[3.5]=3,[2.9]=2,[-2.5]=-3,[7]=7,……一般地,我们有:[x]≤x<[x]+1 形式三:证明:设把n个元素分为k个集合A1,A2,…,Ak,用a1,a2,…,ak表示这k个集合里相应的元素个数,需要证明至少存在某个ai大于或等于[n/k]。
10、(用反证法)假设结论不成立,即对每一个ai都有ai<[n/k],于是有: a1+a2+…+ak<[n/k]+[n/k]+…+[n/k] =k•[n/k]≤k•(n/k)=n k个[n/k] ∴ a1+a2+…+ak<n 这与题设相矛盾。
11、所以,必有一个集合中元素个数大于或等于[n/k] 形式四:证明:设把q1+q2+…+qn-n+1个元素分为n个集合A1,A2,…,An,用a1,a2,…,an表示这n个集合里相应的元素个数,需要证明至少存在某个i,使得ai大于或等于qi。
12、(用反证法)假设结论不成立,即对每一个ai都有ai<qi,因为ai为整数,应有ai≤qi-1,于是有:a1+a2+…+an≤q1+q2+…+qn-n <q1+q2+…+qn-n+1这与题设矛盾。
13、 所以,假设不成立,故必有一个i,在第i个集合中元素个数ai≥qi 形式五:证明:(用反证法)将无穷多个元素分为有限个集合,假设这有限个集合中的元素的个数都是有限个,则有限个有限数相加,所得的数必是有限数,这就与题设产生矛盾,所以,假设不成立,故必有一个集合含有无穷多个元素。
本文到此讲解完毕了,希望对大家有帮助。