繁體
|
簡體
Sclub交友聊天~加入聊天室當版主
(檢舉)
分享
新浪微博
QQ空间
人人网
腾讯微博
Facebook
Google+
Plurk
Twitter
Line
快速注册
登录
论坛
搜索
帮助
原始风格
brown
purple
green
red
orange
gray
pink
violet
blue
greyish-green
jeans
greenwall
私人消息 (0)
公共消息 (0)
系统消息 (0)
好友消息 (0)
帖子消息 (0)
应用通知 (0)
应用邀请 (0)
悠闲数学娱乐论坛(第2版)
»
初等数学讨论
» 集合证明题
返回列表
发帖
APPSYZY
发短消息
加为好友
APPSYZY
当前离线
UID
2765
帖子
150
主题
53
精华
0
积分
916
威望
1
阅读权限
50
在线时间
132 小时
注册时间
2017-10-23
最后登录
2022-7-19
1
#
跳转到
»
倒序看帖
打印
字体大小:
t
T
发表于 2018-7-3 21:00
|
只看该作者
集合证明题
2018-7-3 21:00
收藏
分享
分享到:
QQ空间
腾讯微博
腾讯朋友
realnumber
发短消息
加为好友
realnumber
当前离线
UID
37
帖子
1723
主题
405
精华
0
积分
10201
威望
2
阅读权限
90
性别
男
在线时间
2772 小时
注册时间
2013-6-21
最后登录
2022-4-25
2
#
发表于 2018-7-5 09:25
|
只看该作者
2018-7-5 09:33
这样可以吗?依次考虑1~8有没有在左右两部分中
TOP
APPSYZY
发短消息
加为好友
APPSYZY
当前离线
UID
2765
帖子
150
主题
53
精华
0
积分
916
威望
1
阅读权限
50
在线时间
132 小时
注册时间
2017-10-23
最后登录
2022-7-19
3
#
发表于 2018-7-5 17:53
|
只看该作者
回复
2#
realnumber
2018-7-5 17:53
TOP
tommywong
发短消息
加为好友
tommywong
当前离线
UID
445
帖子
452
主题
77
精华
0
积分
4837
威望
11
阅读权限
90
在线时间
2953 小时
注册时间
2013-10-26
最后登录
2022-5-1
4
#
发表于 2018-7-5 20:35
|
只看该作者
$(A\cup B\cup C)\cap(\neg A\cup B\cup C)=(A\cap \neg A)\cup B\cup C=B\cup C$
$(A\cup B\cup C)\cap(\neg A\cup B\cup C)\cap(A\cup \neg B\cup C)\cap(A\cup B\cup \neg C)$
$=(A\cup B)\cap(A\cup C)\cap(B\cup C)$
$=(A\cup (B\cap C))\cap(B\cup C)$
$=(A\cap (B\cup C))\cup(B\cap C)$
$=(A\cap B)\cup(A\cap C)\cup(B\cap C)$
TOP
tommywong
发短消息
加为好友
tommywong
当前离线
UID
445
帖子
452
主题
77
精华
0
积分
4837
威望
11
阅读权限
90
在线时间
2953 小时
注册时间
2013-10-26
最后登录
2022-5-1
5
#
发表于 2018-7-5 22:14
|
只看该作者
$\displaystyle\bigcap(A_{i_1}\cup A_{i_2}\cup \dots\cup A_{i_{n-1}})$
$\displaystyle=(A_1\cup A_2\cup \dots\cup A_{n-1})\cap \bigcap_{i_k\neq n}(A_{i_1}\cup A_{i_2}\cup \dots\cup A_{i_{n-2}}\cup A_n)$
$\displaystyle=((A_1\cup A_2\cup \dots\cup A_{n-1})\cap A_n)\cup \bigcap_{i_k\neq n}(A_{i_1}\cup A_{i_2}\cup \dots\cup A_{i_{n-2}})$
$\displaystyle=\bigcup_{i\neq n}(A_i\cap A_n)\cup \bigcap_{i_k\neq n}(A_{i_1}\cup A_{i_2}\cup \dots\cup A_{i_{n-2}})$
$\displaystyle\bigcap(A_{i_1}\cup A_{i_2}\cup \dots\cup A_{i_{n-1}})=\bigcup(A_{i_1}\cap A_{i_2})$
TOP
APPSYZY
发短消息
加为好友
APPSYZY
当前离线
UID
2765
帖子
150
主题
53
精华
0
积分
916
威望
1
阅读权限
50
在线时间
132 小时
注册时间
2017-10-23
最后登录
2022-7-19
6
#
发表于 2018-7-6 12:05
|
只看该作者
回复
5#
tommywong
Thank you~~~~
TOP
大一新生
发短消息
加为好友
大一新生
当前离线
UID
2833
帖子
26
主题
8
精华
0
积分
134
威望
0
阅读权限
50
在线时间
7 小时
注册时间
2018-7-7
最后登录
2019-1-6
7
#
发表于 2018-9-15 21:11
|
只看该作者
5楼应该是作了推广,然而怎么也看不懂..
TOP
游客
发短消息
加为好友
游客
当前离线
UID
2549
帖子
586
主题
7
精华
0
积分
3961
威望
9
阅读权限
90
在线时间
261 小时
注册时间
2015-12-24
最后登录
2021-3-27
8
#
发表于 2018-9-16 10:54
|
只看该作者
这是要证明"我就是我"的节奏啊
TOP
Infinity
发短消息
加为好友
Infinity
当前离线
UID
2422
帖子
157
主题
1
精华
0
积分
1102
威望
2
阅读权限
90
在线时间
234 小时
注册时间
2014-9-14
最后登录
2022-5-14
9
#
发表于 2018-9-16 14:20
|
只看该作者
回复
1#
APPSYZY
如果了解数学中的逻辑代数,证明过程非常简单自然。并集可以写成加法,交集可以写成乘法(因为集合运算满足幺元律,零元律,交换律,分配律和结合律),然后注意利用集合运算的特殊性质(如吸收律、德摩根定律),直接进行代数运算、变形即可。简单来说,从右边证明,令$X=AB+BC+AC,Y=B+C,Z=A+\overline{B+C}$,那么右边前两个括号的乘积结果为$X+Y$,后两个括号乘积为$X+Z$,因此结果就是$(X+Y)(X+Z)=X+X(Y+Z)+YZ=X+AX+AB+AC=X$
当然,如果学过数字电路,也会很熟悉这些化简过程。
TOP
tommywong
发短消息
加为好友
tommywong
当前离线
UID
445
帖子
452
主题
77
精华
0
积分
4837
威望
11
阅读权限
90
在线时间
2953 小时
注册时间
2013-10-26
最后登录
2022-5-1
10
#
发表于 2018-9-16 17:28
|
只看该作者
本帖最后由 tommywong 于 2018-9-17 20:09 编辑
9#
$(A+B+C)(\overline{A}+B+C)=A\overline{A}+(A+\overline{A})(B+C)+(B+C)=B+C$
$(A+\overline{B}+C)(A+B+\overline{C})=A+AB+A\overline{C}+A\overline{B}+\overline{B}
\overline{C}+AC+BC=A+BC+\overline{B}\overline{C}$
$(B+C)(A+BC+\overline{B}\overline{C})=AB+AC+BC$
4#
$(A+B+C)(\overline{A}+B+C)=B+C$
$(A+B+C)(\overline{A}+B+C)(A+\overline{B}+C)(A+B+\overline{C})$
$=(A+B)(A+C)(B+C)=(A+BC)(B+C)=AB+AC+BC$
5#
$\prod (A_{i_1}+A_{i_2}+\dots+A_{i_{n-1}})$
$\displaystyle =(A_1+A_2+\dots+A_{n-1})\prod_{i_k\neq n}
(A_{i_1}+A_{i_2}+\dots+A_{i_{n-2}}+A_n)$
$\displaystyle =(A_1+A_2+\dots+A_{n-1})A_n+
\prod_{i_k\neq n}(A_{i_1}+A_{i_2}+\dots+A_{i_{n-2}})$
$\displaystyle =A_1 A_n+A_2 A_n+\dots+A_{n-1}A_n+
\prod_{i_k\neq n}(A_{i_1}+A_{i_2}+\dots+A_{i_{n-2}})$
$\prod (A_{i_1}+A_{i_2}+\dots+A_{i_{n-1}})=\prod A_{i_1}A_{i_2}$
(寫錯)
寫成這樣也差不多難懂吧
TOP
APPSYZY
发短消息
加为好友
APPSYZY
当前离线
UID
2765
帖子
150
主题
53
精华
0
积分
916
威望
1
阅读权限
50
在线时间
132 小时
注册时间
2017-10-23
最后登录
2022-7-19
11
#
发表于 2018-9-17 19:41
|
只看该作者
回复
10#
tommywong
好像笔误了,结论应该是\[\prod (A_{i_1}+A_{i_2}+\dots+A_{i_{n-1}})=\sum A_{i_1}A_{i_2}\]
TOP
APPSYZY
发短消息
加为好友
APPSYZY
当前离线
UID
2765
帖子
150
主题
53
精华
0
积分
916
威望
1
阅读权限
50
在线时间
132 小时
注册时间
2017-10-23
最后登录
2022-7-19
12
#
发表于 2018-9-17 19:55
|
只看该作者
如果把上面的求和、求积符号写完整,是不是应该是这样的?\[\prod_{i=1}^n(A_{i_1}+A_{i_2}+\dots+A_{i_{n}})=\prod_{i=1}^n\sum_{j=1}^nA_{i_j}\]
下标是数字,数字下标的下标还是数字,总感觉怪怪的,比如$A_{1_1}$...
TOP
tommywong
发短消息
加为好友
tommywong
当前离线
UID
445
帖子
452
主题
77
精华
0
积分
4837
威望
11
阅读权限
90
在线时间
2953 小时
注册时间
2013-10-26
最后登录
2022-5-1
13
#
发表于 2018-9-17 20:14
|
只看该作者
回复
12#
APPSYZY
這樣
$\displaystyle\prod_{1\le i_1<i_2<\dots<i_{n-1}\le n} (A_{i_1}+A_{i_2}+\dots+A_{i_{n-1}})
=\sum_{1\le i_1<i_2\le n} A_{i_1}A_{i_2}$
TOP
kuing
发短消息
加为好友
kuing
当前离线
UID
1
帖子
8832
主题
619
精华
0
积分
66354
威望
113
阅读权限
200
性别
男
来自
广东广州
在线时间
21788 小时
注册时间
2013-6-13
最后登录
2024-3-9
14
#
发表于 2018-9-18 21:03
|
只看该作者
不太熟悉这些东东,看了半天总算看懂了上面的推广,下面按我自己的理解来解释一下,如有错请指出。
首先,用加表示并,乘表示交,比如等式 `X\cap(Y\cup Z)=(X\cap Y)\cup(X\cap Z)` 写成 `X(Y+Z)=XY+XZ`,即满足分配律,但是系数和幂是没用的,皆因 `X+X=X` 以及 `XX=X`,故此,比如,在展开 `(A+B)(B+C)(C+A)` 时,`A^2B` 和 `AB^2` 都为 `AB`,因此展开为 `AB+AC+BC+ABC`,又显然有 `X+XY=X`,因此最后一项是多余的,所以
\[(A+B)(B+C)(C+A)=AB+BC+CA,\]
多元也是同理的
\begin{align*}
&(A_2+A_3+\cdots+A_n)(A_1+A_3+\cdots+A_n)\cdots(A_1+A_2+\cdots+A_{n-1})\\
={}&\sum_{1\leqslant i<j\leqslant n}A_iA_j+\sum_{1\leqslant i<j<k\leqslant n}A_iA_jA_k+\cdots+\prod_{i=1}^nA_i,
\end{align*}
由第二个和式起的项都是多余的,所以
\[(A_2+A_3+\cdots+A_n)(A_1+A_3+\cdots+A_n)\cdots(A_1+A_2+\cdots+A_{n-1})=\sum_{1\leqslant i<j\leqslant n}A_iA_j. \quad(*)\]
另一方面,因为 `(X+Y)(X+\overline Y)=X+XY+X\overline Y=X`,故
\begin{align*}
(A_1+A_2+\cdots+A_n)(\overline{A_1}+A_2+\cdots+A_n)&=A_2+A_3+\cdots+A_n,\\
(A_1+A_2+\cdots+A_n)(A_1+\overline{A_2}+\cdots+A_n)&=A_1+A_3+\cdots+A_n,\\
&\cdots\\
(A_1+A_2+\cdots+A_n)(A_1+A_2+\cdots+\overline{A_n})&=A_1+A_2+\cdots+A_{n-1},
\end{align*}
将它们乘起来,结合式 (*),即
\begin{align*}
&(A_1+A_2+\cdots+A_n)(\overline{A_1}+A_2+\cdots+A_n)(A_1+\overline{A_2}+\cdots+A_n)\cdots(A_1+A_2+\cdots+\overline{A_n})\\
={}&(A_2+A_3+\cdots+A_n)(A_1+A_3+\cdots+A_n)\cdots(A_1+A_2+\cdots+A_{n-1})\\
={}&\sum_{1\leqslant i<j\leqslant n}A_iA_j,
\end{align*}
这就是上面的推广式。
$\href{https://kuingggg.github.io/}{\text{About Me}}$
TOP
返回列表
回复
发帖
[收藏此主题]
[关注此主题的新回复]
[通过 QQ、MSN 分享给朋友]