离散数学习题二参考答案
离散数学课后习题答案二

习题3.71. 列出关系}6|{=⋅⋅⋅∈><+d c b a d c b a d c b a 且,,,,,,Z 中所有有序4元组。
解 }6|{=⋅⋅⋅∈><+d c b a d c b a d c b a 且,,,,,,Z,2,1,3,1,3,1,2,1,2,3,1,1,3,2,1,1,1,1,1,6,1,1,6,1,1,6,1,1,6,1,1,1{><><><><><><><><=><><><><><><><><2,1,1,3,3,1,1,2,1,2,1,3,1,3,1,2,1,1,2,3,1,1,3,2,1,2,3,1,1,3,2,12. 列出二维表3.18所表示的多元关系中所有5元组。
假设不增加新的5元组,找出二维表3.18所有的主键码。
表3.18 航班信息航空公司 航班 登机口 目的地 起飞时间 Nadir 112 34 底特律 08:10 Acme 221 22 丹佛 08:17 Acme 122 33 安克雷奇 08:22 Acme 323 34 檀香山 08:30 Nadir 199 13 底特律 08:47 Acme 222 22 丹佛 09:10 Nadir 32234底特律09:44解 略3. 当施用投影运算5,3,2π到有序5元组><d c b a ,,,时你能得到什么?解 略4. 哪个投影运算用于除去一个6元组的第一、第二和第四个分量? 解 略5. 给出分别施用投影运算4,2,1π和选择运算Nadir 航空公司=σ到二维表3.18以后得到的表。
解对航班信息二维表进行投影运算5,3,2π后得到的二维表航班 登机口 起飞时间 112 34 08:10 221 22 08:17 122 33 08:22 323 34 08:30 199 13 08:47 222 22 09:10 3223409:44对航班信息二维表进行选择运算Nadir 航空公司= 后得到的二维表航空公司 航班 登机口 目的地 起飞时间 Nadir 112 34 底特律 08:10 Nadir 199 13 底特律 08:47 Nadir 32234底特律09:446. 把连接运算3J 用到5元组二维表和8元组二维表后所得二维表中有序多元组有多少个分量?解 略7. 构造把连接运算2J 用到二维表3.19和二维表3.20所得到的二维表。
【大学期末考试复习题】吉林大学《离散数学II》期末考试试题(A)参考答案

一、1.(1 3 2)(4 5);2.不一定。
因为无限循环群恰有两个生成元;3.一定;4.B;5.C;6.D;7.一共两个子群,一个是{0},一个是A;8.偶置换,奇置换;9.A={1,2,4,5,20},关系是整除;10.B;二、1.x8-x4+1;2.4Z;3.商式:2x4+ x3 + 2x2+ 4x+2;余式:2;4.{I,(1 3)},{(1 2),(1 3 2)},{(2 3),(1 2 3)}5.0的周期是1;1的周期是6;2的周期是3;3的周期是2;4的周期是3;5的周期是6。
三、证明:如果它可约必为一次式与四次及以下因式乘积或二次式与三次及以下因式乘积的形式。
(1)在R2上3x5+5x2+1是x5+x2+1,而f(0)=f(1)=10,所以它在R2上无一次质因式;(2)在R2上的二次质因式只有x2+x+1,而x5+x2+1=x2(x+1)(x2+x+1)+1,所以它在R2上也无二次质因式,因此它在R2上不可约,从而在R0上不可约。
四、1)由C的定义知C?G2)设(G,*)的单位元为e,则有e A和e B,所以e=e*e C;3)任取x, y C,令x=a1*b1, y=a2*b2,则x*y= (a1*b1)*(a2*b2),因为*满足结合律和交换律,所以有x*y= (a1* a2)*( b1*b2) C,故*在C上是封闭的。
4)任取c C,令x=a*b,则x-1=(a*b)-1= b-1*a-1= a-1*b-1C,故C中每个元素都有逆元素。
因此结论成立。
五、显然X 非空,如(0,0)属于X根据运算的定义,在X上封闭,且满足交换律与结合律,(X, )的单位元是(0,0),任取(a,b) X,(a,b)的负元是(-a,-b)。
所以(X, )是交换群。
运算在X上封闭,且满足结合律,所以(X, )是半群。
任取(a1,b1),(a2,b2) ,(a3,b3) X,有(a1,b1) ((a2,b2) (a3,b3))=(a1a2+a1a3,b1b2+b1b3)((a1,b1) (a2,b2)) ((a1,b1) (a3,b3))= (a1a2+a1a3,b1b2+b1b3),再根据和满足交第 1 页共 2 页。
离散数学答案第二章习题解答

习题与解答1. 将下列命题符号化:(1) 所有的火车都比某些汽车快。
(2) 任何金属都可以溶解在某种液体中。
(3) 至少有一种金属可以溶解在所有液体中。
(4) 每个人都有自己喜欢的职业。
(5) 有些职业是所有的人都喜欢的。
解 (1) 取论域为所有交通工具的集合。
令x x T :)(是火车, x x C :)(是汽车, x y x F :),(比y 跑得快。
“所有的火车都比某些汽车快”可以符号化为))),()(()((y x F y C y x T x ∧∃→∀。
(2) 取论域为所有物质的集合。
令x x M :)(是金属, x x L :)(是液体, x y x D :),(可以溶解在y 中。
“任何金属都可以溶解在某种液体中” 可以符号化为))),()(()((y x D y L y x M x ∧∃→∀。
(3) 论域和谓词与(2)同。
“至少有一种金属可以溶解在所有液体中” 可以符号化为))),()(()((y x D y L y x M x →∀∧∃。
(4) 取论域为所有事物的集合。
令x x M :)(是人, x x J :)(是职业, x y x L :),(喜欢y 。
“每个人都有自己喜欢的职业” 可以符号化为))),()(()((y x L y J y x M x ∧∃→∀(5)论域和谓词与(4)同。
“有些职业是所有的人都喜欢的”可以符号化为))),()(()((x y L y M y x J x →∀∧∃。
2. 取论域为正整数集,用函数+(加法),•(乘法)和谓词<,=将下列命题符号化:(1) 没有既是奇数,又是偶数的正整数。
(2) 任何两个正整数都有最小公倍数。
(3) 没有最大的素数。
(4) 并非所有的素数都不是偶数。
解 先引进一些谓词如下:x y x D :),(能被y 整除,),(y x D 可表示为)(x y v v =•∃。
x x J :)(是奇数,)(x J 可表示为)2(x v v =•⌝∃。
离散数学练习题2 答案

1-1.都是命题:1-2设P:明天天气晴朗Q:我们就去郊游则P →Q:如果明天天气晴朗,我们就去郊游1-3根据真值表求公式P → (P∧(Q →R ))的主析取范式。
解表1.15 例1.42真值表则P → (P∧(Q →R )) ⇔ (﹁P∧Q∧R )∨(﹁P∧Q∧﹁R )∨(﹁P∧﹁Q∧R )∨⌝(﹁P∧Q∧﹁R )∨(P∧﹁Q∧R )∨(P∧﹁Q∧﹁R )∨(P∧Q∧R ) ■由于任意一组命题变元P1, P2, …, P n的真值指派和它的极小项之间是一一对应的,故可以对极小项进行编码。
首先需要规定变元在极小项中的排列次序,假设为P1, P2, …, P n,用m表示极小项,若P i出现在极小项中,则编码的第i个位置上的值为1,否则为0。
比如变元P, Q, R(规定次序为P, Q, R)的极小项P∧﹁Q∧﹁R的编码为100,将此极小项记为m100。
若将编码看作是一个二进制数,又可将例中的极小项记为m4。
用此方法,可以简写所求得的给定公式的主析取范式。
P → (P∧(Q →R )) ⇔m0∨m1∨m2∨m3∨m4∨m5∨m7(规定P, Q, R的次序为P, Q, R)公式P → (P∧(Q →R ))的主析取范式。
解P → (P∧(Q →R ))⇔﹁P∨(P∧(﹁Q∨R ))⇔ (﹁P∨P)∧(﹁P∨﹁Q∨R)⇔ (﹁P∨﹁Q∨R )⇔ (﹁P∨﹁Q∨R )1-4试证明(﹁P →Q )∧(P →R )∧(﹁Q∨S ) ⇒S∨R。
证明(1)﹁P →Q P(2)﹁Q∨S P(3)Q →S T, (2), E16(4)﹁P →S T, (1), (3), I13(5)﹁S →P T, (4), E18(6)P →R P(7)﹁S →R T, (5),(6), I13(8)﹁﹁S∨R T, (7),E16(9)S∨R T, (8), E11-5如果迈克有电冰箱,则或者他卖了洗衣机,或者他向别人借了钱。
离散数学习题一,二参考答案

《离散数学》习题一参考答案第一节 集合的基数1.证明两个可数集的并是可数集。
证明:设A ,B 是两可数集,},,,,,{321 n a a a a A =,},,,,,{321 n b b b b B = ⎪⎩⎪⎨⎧-→j b i a N B A f j i 212: ,f 是一一对应关系,所以|A ∪B|=|N|=0ℵ。
2.证明有限可数集的并是可数集证:设k A A A A 321,,是有限个可数集,k i a a a a A in i i i i ,,3,2,1),,,,,(321 ==⎪⎩⎪⎨⎧+-→==i k j a N A A f ij k i i )1(:1,f 是一一对应关系,所以|A|=| k i i A 1=|=|N|=0ℵ。
3.证明可数个可数集的并是可数集。
证:设 k A A A A 321,,是无限个可数集, ,3,2,1),,,,,(321==i a a a a A in i i i i⎪⎪⎩⎪⎪⎨⎧+-+-+→=∞=i j i j i a N A A f ij i i )2)(1(21:1 , 所以f 是一一对应关系,所以|A|=| ∞=1i i A |=|N|=0ℵ。
4.证明整系数多项式所构成的集合是可数集。
证明:设整系数n 次多项式的全体记为}|{1110Z a a x a x a x a A i n n n n n ∈++++=--则整系数多项式所构成的集合 ∞==1N n A A ;由于k x 的系数k a 是整数,那么所有k x 的系数的全体所构成的集合是可数集,由习题2“有限个可数集的并是可数集”可得n A 是可数集,再又习题4“可数个可数集的并是可数集”得出整系数多项式所构成的集合 ∞==1N n A A 也是可数集。
5.证明不存在与自己的真子集等势的有限集合.证明:设集合A 是有限集,则|A|=n ,若B 是A 的真子集,则|B|≤|A|=n ,A-B ≠φ,即|A-B|=|A|-|AB|>0;又A=(A-B )∪B ,(A-B )B=φ,所以,,就是|A|>|B|,即得结论。
离散数学(刘任任版)第2章答案

而关系图中任何两个结点之间的有向弧是单向的。 (即若关系R是反对称的,当且仅当关系矩阵中 以对角线对称的元素不能同时为1,在关系图上 任两个结点的定向弧线不可能成对出现)
5.
R·S={<1,4>,<1,3>},S·R={<3,4>}; R 2={<1,1>,<1,2>,<1,4>}; S 2={<2,2>,<3,4>,<3,3>}.
β(A×A-{<x,x>})=2n2-n
(4)共有2n 2n(n1)/ 2 2n(n1)/ 2 种定义在A上
的不同的对称关系; 说明: ∵A上的对称关系必须满足:如果<x,y>在
这个关系中,则<y,x>也必须在这个关系中。 ∴在构造A上的对称关系的时候可以先将所有 的<x,y>和<y,x>(其中x≠y)看成是一个整体。 ∴要考虑的序偶的个数有:
s(R1) s(R2 ) (R1 R11) (R2 R21)任取 x, y s(R1 R2 ) (R1 R2 ) (R1 R2 )1 (i)若 x,y (R1 R2 ),
则 x, y R1 R1 R11,且 x, y R2 R2 R21,从而 x,y (R1 R11) (R2 R21)
14.
证明 S {Ai Bj | Ai Bj } (1)由S定义知, Ai Bj (2)任取Ai Bi S和Al Bm S, 1 i, j r,1 j, m s ( Ai Bj ) ( Al Bm ) ( Ai Am ) (Bj Bm )
离散数学答案 第二版 课后答案--

离散数学答案屈婉玲版第二版高等教育出版社课后答案第一章部分课后习题参考答案16 设p、q的真值为0;r、s的真值为1,求下列各命题公式的真值。
(1)p∨(q∧r)⇔0∨(0∧1) ⇔0(2)(p↔r)∧(﹁q∨s) ⇔(0↔1)∧(1∨1) ⇔0∧1⇔0.(3)(⌝p∧⌝q∧r)↔(p∧q∧﹁r) ⇔(1∧1∧1)↔ (0∧0∧0)⇔0(4)(⌝r∧s)→(p∧⌝q) ⇔(0∧1)→(1∧0) ⇔0→0⇔117.判断下面一段论述是否为真:“π是无理数。
并且,如果3是无理数,则2也是无理数。
另外6能被2整除,6才能被4整除。
”答:p: π是无理数 1q: 3是无理数0r: 2是无理数 1s:6能被2整除 1t: 6能被4整除0命题符号化为:p∧(q→r)∧(t→s)的真值为1,所以这一段的论述为真。
19.用真值表判断下列公式的类型:(4)(p→q) →(⌝q→⌝p)(5)(p∧r) ↔(⌝p∧⌝q)(6)((p→q) ∧(q→r)) →(p→r)答:(4)p q p→q ⌝q ⌝p ⌝q→⌝p (p→q)→(⌝q→⌝p)0 0 1 1 1 1 10 1 1 0 1 1 11 0 0 1 0 0 11 1 1 0 0 1 1所以公式类型为永真式(5)公式类型为可满足式(方法如上例)(6)公式类型为永真式(方法如上例)第二章部分课后习题参考答案3.用等值演算法判断下列公式的类型,对不是重言式的可满足式,再用真值表法求出成真赋值.(1) ⌝(p∧q→q)(2)(p→(p∨q))∨(p→r)(3)(p∨q)→(p∧r)答:(2)(p→(p∨q))∨(p→r)⇔(⌝p∨(p∨q))∨(⌝p∨r)⇔⌝p∨p∨q∨r⇔1所以公式类型为永真式(3)P q r p∨q p∧r (p∨q)→(p∧r)0 0 0 0 0 10 0 1 0 0 10 1 0 1 0 00 1 1 1 0 01 0 0 1 0 01 0 1 1 1 11 1 0 1 0 01 1 1 1 1 1所以公式类型为可满足式4.用等值演算法证明下面等值式:(2)(p→q)∧(p→r)⇔(p→(q∧r))(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨q) ∧⌝(p∧q)证明(2)(p→q)∧(p→r)⇔ (⌝p∨q)∧(⌝p∨r)⇔⌝p∨(q∧r))⇔p→(q∧r)(4)(p∧⌝q)∨(⌝p∧q)⇔(p∨(⌝p∧q)) ∧(⌝q∨(⌝p∧q)⇔(p∨⌝p)∧(p∨q)∧(⌝q∨⌝p) ∧(⌝q∨q)⇔1∧(p∨q)∧⌝(p∧q)∧1⇔(p∨q)∧⌝(p∧q)5.求下列公式的主析取范式与主合取范式,并求成真赋值(1)(⌝p→q)→(⌝q∨p)(2)⌝(p→q)∧q∧r(3)(p∨(q∧r))→(p∨q∨r)解:(1)主析取范式(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔ (⌝p ∧⌝q)∨(⌝q ∧p)∨(⌝q ∧⌝p)∨(p ∧q)∨(p ∧⌝q)⇔ (⌝p ∧⌝q)∨(p ∧⌝q)∨(p ∧q)⇔320m m m ∨∨⇔∑(0,2,3)主合取范式:(⌝p →q)→(⌝q ∨p)⇔⌝(p ∨q)∨(⌝q ∨p)⇔(⌝p ∧⌝q)∨(⌝q ∨p)⇔(⌝p ∨(⌝q ∨p))∧(⌝q ∨(⌝q ∨p))⇔1∧(p ∨⌝q)⇔(p ∨⌝q) ⇔ M 1⇔∏(1)(2) 主合取范式为:⌝(p →q)∧q ∧r ⇔⌝(⌝p ∨q)∧q ∧r⇔(p ∧⌝q)∧q ∧r ⇔0所以该式为矛盾式.主合取范式为∏(0,1,2,3,4,5,6,7)矛盾式的主析取范式为 0(3)主合取范式为:(p ∨(q ∧r))→(p ∨q ∨r)⇔⌝(p ∨(q ∧r))→(p ∨q ∨r)⇔(⌝p ∧(⌝q ∨⌝r))∨(p ∨q ∨r)⇔(⌝p ∨(p ∨q ∨r))∧((⌝q ∨⌝r))∨(p ∨q ∨r))⇔1∧1⇔1所以该式为永真式.永真式的主合取范式为 1主析取范式为∑(0,1,2,3,4,5,6,7)第三章部分课后习题参考答案14. 在自然推理系统P中构造下面推理的证明:(2)前提:p→q,⌝(q∧r),r结论:⌝p(4)前提:q→p,q↔s,s↔t,t∧r结论:p∧q证明:(2)①⌝(q∧r) 前提引入②⌝q∨⌝r ①置换③q→⌝r ②蕴含等值式④r 前提引入⑤⌝q ③④拒取式⑥p→q 前提引入⑦¬p(3)⑤⑥拒取式证明(4):①t∧r 前提引入②t ①化简律③q↔s 前提引入④s↔t 前提引入⑤q↔t ③④等价三段论⑥(q→t)∧(t→q) ⑤置换⑦(q→t)⑥化简⑧q ②⑥假言推理⑨q→p 前提引入⑩p ⑧⑨假言推理(11)p∧q ⑧⑩合取15在自然推理系统P中用附加前提法证明下面各推理:(1)前提:p→(q→r),s→p,q结论:s→r证明①s 附加前提引入②s→p 前提引入③p ①②假言推理④p→(q→r) 前提引入⑤q→r ③④假言推理⑥q 前提引入⑦r ⑤⑥假言推理16在自然推理系统P中用归谬法证明下面各推理:(1)前提:p→⌝q,⌝r∨q,r∧⌝s结论:⌝p证明:①p 结论的否定引入②p→﹁q 前提引入③﹁q ①②假言推理④¬r∨q 前提引入⑤¬r ④化简律⑥r∧¬s 前提引入⑦r ⑥化简律⑧r∧﹁r ⑤⑦合取由于最后一步r∧﹁r 是矛盾式,所以推理正确.第四章部分课后习题参考答案3. 在一阶逻辑中将下面将下面命题符号化,并分别讨论个体域限制为(a),(b)条件时命题的真值:(1) 对于任意x,均有2=(x+)(x).(2) 存在x,使得x+5=9.其中(a)个体域为自然数集合.(b)个体域为实数集合.解:F(x): 2=(x+)(x).G(x): x+5=9.(1)在两个个体域中都解释为)∀,在(a)中为假命题,在(b)中为真命题。
成人教育《离散数学》期末考试复习题及参考答案

离散数学复习题二一、简要回答下列问题:1.请给出⌝P,P∧Q,P∨Q的真值表。
2.请给出公式蕴涵的定义。
举一个例子。
3.请给出命题∀xG(x)的真值规定。
4.什么是谓词逻辑公式的解释?5.叙述谓词逻辑公式G与它的Skolem范式之间的区别与联系。
6.什么是图的关联矩阵?7.什么是简单路?举一例。
8.什么是有向树?举一例9.设G为整数加群,H为5的所有倍数组成的加法群,给出H的所有陪集。
二、判断下列公式是恒真?恒假?可满足?a) (P→(Q∧R))∧(⌝P→(⌝Q∧⌝R));b) P→(P∧(Q→P));c) (Q→P)∧(⌝P∧Q);d) (⌝P∨⌝Q)→(P↔⌝Q)。
三、指出下列公式哪些是恒真的哪些是恒假的:(1)P∧(P→ Q)→Q(2)(P→ Q)→(⌝P∨Q)(3)(P→ Q)∧(Q→R)→(P→ R )(4)(P↔ Q)↔(P∧ Q∨⌝P∧⌝ Q)四、给P和Q指派真值1,给R和S指派真值0,求出下面命题的真值:a) (P∧(Q∧R))∨⌝((P∨Q)∧(R∨S))b) (⌝(P∧Q)∨⌝R)∨(((⌝P∧Q)∨⌝R)∧S)c) (⌝(P∧Q)∨⌝R)∨((Q↔⌝P)→(R∨⌝S))d) (P∨(Q→(R∧⌝P)))↔(Q∨⌝S)五、证明:连通图中任意两条最长的简单路必有公共点。
离散数学复习题二答案一、简要回答下列问题:1.请给出⌝P,P∧Q,P∨Q的真值表。
P Q ⌝P P∧Q P∨Q0 1 1 0 11 0 0 0 11 1 0 1 10 0 1 0 02.请给出公式蕴涵的定义。
举一个例子。
答:设G,H是两个公式,如果解释I满足G,I也满足S,称G蕴涵H。
例如:P∧Q蕴涵P。
3.请给出命题∀xG(x)的真值规定。
答:∀xG(x)取1值⇔对任意x∈D,G(x)都取1值;∀xG(x)取0值⇔有一个x0∈D,使G(x0)取0值。
4.什么是谓词逻辑公式的解释?答:词逻辑中公式G的一个解释I,是由非空区域D和对G中常量符号,函数符号,谓词符号以下列规则进行的一组指定组成:1. 对每个常量符号,指定D中一个元素;2. 对每个n元函数符号,指定一个函数,即指定D n到D的一个映射;3. 对每个n元谓词符号,指定一个谓词,即指定D n到{0,1}的一个映射。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
离散数学习题二参考答案
第二节 容斥原理和抽屉原理
1.从1到500中,有多少数能被3或5整除?只能被3或5整除的数又有多少个 解:设A=“3的倍数”;B=“5的倍数”,则能被3或5整除的个数 N 233]5
3500[]5500[]3500[||||||||=⨯-+=-+==AB B A B A ; 只能被3或5整除的数: M 200]5
3500[2]5500[]3500[||2||||||=⨯-+=-+==AB B A B A 2.(1)一个班级有50名学生,第一次考试有26名得A 等,第二次考试有21名得A ,若两次考试中都没有得A 的有17名,那么两次都得A 的有多少名?
(2)若50名在两次考试中得A 的人数相同,两次中恰有一次得A 的为40名,两次中都没得A 的有4名,那么仅在第一次得A 的有多少名。
解:设A=“第一次考试得A 等”,B=“第二次考试得A 等”,则
(1)|A|=26,|B|=21,17||=⋅B A ,由||50|||| B A B A B A -==, 所以两次都得A 的人数:N=|AB|=50-26-21+17=14(人)
(2)由题意得:40||||||||=-+-AB B AB A ,又||||B A =,所以
20||||=-AB A ,即仅在第一次中得A 的人数M=20||||=-AB A 。
3.在1到3000的整数中,不能被3,5,7中任何一个数整除的有多少个?又有多少个数能被3整除,但不能被5和7整除?
解:设A=“3的倍数”;B=“5的倍数”,C=“7的倍数”,
则不能被3,5,7中任何一个数整除的个数: N=||||||||||||||||||ABC BC AC AB C B A S C B A -+++---=
1371]7532000[]752000[]732000[]532000[]72000[]52000[]32000[2000=⨯⨯-⨯+⨯+⨯+---=(个 能被3整除,但不能被5和7整除的个数M=
686]7
532000[]732000[]532000[]32000[||||||||||=⨯⨯+⨯-⨯-=+--=-ABC AC AB A C B A 4.分母是1986的最简真分数共有多少个?
解:1986=2×3×331,设A=“1986内2的倍数”;B=“1986内3的倍数”;C= “1986内331的倍数”,则
|A ∪B ∪C|=|A|+|B|+|C|-|AB|-|AB|-|BC|+|ABC|=
1325]331
321985[]33131985[]33121985[]321985[]3311985[]31985[]21985[=⨯⨯+⨯-⨯-⨯-++= 所以,分母是1986的最简真分数的个数N=1985-1325=660(个)。
5.50名同学中,爱好美术的占总数的3/5,爱好音乐的比爱好美术的多3名,音乐和美术都不爱好的人数比两项都爱好的人数的1/3还多1名,问对两项都
爱好的同学有多少名?
解:设A=“爱好美术的人”;B=“爱好音乐的人”,则305350||=⨯
=A (人), |B|=|A|+3=33(人),1||3
1||+=AB B A ,又||||||||||AB B A S B A +--=,所以, 50-30-33+|AB|-1=|AB|/3,|AB|=21
答:两项都爱好的同学有21名。
6.证明:在任意m 个相继的整数中,存在一个整数能被m 整除。
证明:任意m 个相继的整数任取两个整数它们的差一定小于m,即差一定不是m 的倍数.(反证)倘若这m 个相继的整数中不存在一个整数是m 的倍数,那么由抽屉原理一定存在两个整数它们对于除以m 的余数相同,它们的差一定是m 的倍数,与前的结论矛盾.
7.证明对于任意的整数n ,都存在着n 的一个倍数S n ,S n 中只含数字0和7。
证明:设n k a k k ,,3,2,1777.0
==,个
, (1)若存在一个k,使k a 是n 的倍数,则命题成立,
(2)若不存在这样的k ,由抽屉原理在这n 个数k a 中,一定存在两个i a 和j a ,它们除以n 的余数相同,那么i a -j a =
个
个j i j =000777.0一定是n 的倍数。
9.把一个圆周分为36段,将36个数字1,2,3,4,…,36,任意地标在每段上,使每一段恰有一个数字,证明一定在相邻的三段,它们的数字的和至少是56。
证明:设k a 表示第k 段上的数字,k=1,2,3,…,36。
并66637362
13621=⨯⨯=+++a a a , 再设34,,3,2,1,12 =++=++i a a a b i i i i ,,1363535a a a b ++=,213636a a a b ++=则 19986663)(336213621=⨯=+++=+++a a a b b b
显然36个数k b 的和是1998,一定有一个数大于或等于1998÷36=55.5,即 一定在相邻的三段,它们的数字的和至少是56。
10.证明:在任意选取n+1个整数中,存在两个整数,它们的差能被n 整除。
证明:这n+1个数除以n 后的余数只有n 种情况,有抽屉原理可知,一定有两个数除以n 后的余数是相同的,这两书的差就一定是n 的倍数,即它们的差能被n 整除
11.证明:一个有理数的十进位小数展开式,自某一位后变为周期的循环。
证明:一个有理数一定可以写成分数形式Z m n n m n n
m ∈>=,,0,1),(, 任取一个数,除以n 后的余数一定是唯一的,并只有n 种,所以当m 除以n 时,余数在若干次数后一定重复,这是商也就重复了,即自某一位后变为周期的循环。
12.一个人步行了十小时,共走了45公里,已知他第一小时走6公里,而最后
一小时只走3公里,证明一定存在相邻的两小时内至少走了9公里。
(提示:把相邻两小时走的总路程看成盒子)
证明:设k a 表示第k 分钟走的路程,k=1,2,3,4,5,6,7,8,9,10. 3,6101==a a 并451021=+++a a a ,所以,36364592=--=++a a
再设9,8,7,6,5,4,3,2,1,1=+=+i a a b i i i ,则
8136236)(236932921=⨯++=+++++=+++a a a b b b
显然9个数k b 的和是81,一定有一个数大于或等于9,即一定存在相邻的两小时内至少走了9公里。
13.从整数1,2,3,…,200中,任意选取101个数,证明在这101个整数中,存在两个整数,使得一个能被另一个整除。
(提示:把整数写成2n a 的形式,其中a 是奇数,把a 看成盒子)
证明:任取一个200以内的整数n 一定能写成2n a 的形式,其中a 是奇数。
如
果两数的a 相等,则两数一定成倍数关系。
由于200以内只有100个奇数,所以任意取出101个整数,必有两个数有相同的a ,即这两数一定成倍数关系。
14.设有一个N 个正整数序列,其中恰含n 个不同的正整数,证明若N ≥2n ,则在这序列中存在着连续的一段,其中个数的乘积是一个完全平方数。
例如在含3,7,5的序列3,7,5,3,7,3,5,7中,7,5,3,7,3,5一段中,7×5×3×7×3×5=(7×3×5)2。
解:设A 为n 个给定的不同正整数所成的集合,即A=},,,{21n a a a ,任取一个有N 个数的序列 π:N c c c c ,,,,321 ,其中i c 表示A 中任一个元素j a ,再令
},,,,{,},,,{},,{},{321321321211N N c c c c b c c c b c c b c b ====是N 个序列, C=},,,,{321N b b b b ,|C|=N ,(相当与N 个苹果)
再设一集合B=}21|),,,,{(321或取i n d d d d d ,所以|B|=n 2(相当于n 2个抽屉) 建立一个从C 到B 的一个对应:i b 中如1a 有奇数个,则1d 取1,否则1d 取2,同样i b 中如
2a 有奇数个,则2d 取1,否则2d 取2,…,
(相当于把C 中元素(苹果)放到B 的元素(抽屉)中),由于|C|=N ||2B n =>,由抽屉原理一定存在两个i b ,j b ,(i <j )
它们对应的),,,,(321n d d d d 是一样的,这说明这两个序列对于A 中元素的个数的奇偶性是一致的,把j b 序列减去i b 的序列得到的序列一定是π序列的一部分,这部分序列中的数都属于A 中元素,并每个A 中元素的个数都是偶数个,即它们的积一定是一个完全平方数。