代数/第二章/逻辑与证明

代数

2.6: 逻辑与证明

---

构造条件语句的证明

等式性质

性质名称	加法	减法	乘法	除法
交换律	$a+b=b+a$	不适用 $a-b\neq b-a$ 这个适用 $a+(-b)=(-b)+a$	$a*b=b*a$	不适用 $a/b\neq b/a$ 这个适用 $a*1/b=1/b*a$
结合律	$(a+b)+c=a+(b+c)$	不适用 $(a-b)-c\neq a-(b-c)$ 这个适用 $(a-b)-c=a-(b+c)=a+(-b-c)$	$(a*b)*c=a*(b*c)$	不适用 $(a/b)/c\neq a/(b/c)$ 这个适用 $(a/b)/c=a*1/b*1/c=a/b*c$
单位元	$a+0=a$	$a-0=a$	$a*1=a$	$a/1=a$
逆元	$a+-a=0$	$a-a=0$	$a*(1/a)=1$   只要 a ≠ 0.	$a/a=1$   只要 a ≠ 0.
分配律	$a*(b+c)=a*b+a*c$	$a*(b-c)=a*b-a*c$	$a*(b+c)=a*b+a*c$	$(a+b)/c=a/c+b/c$ 等等 $a/(b+c)\neq a/b+a/c$

练习题

问题 2.80 （使用数字属性） 使用交换律和结合律的性质证明以下恒等式，并证明每一步。

$a.\ (a+b)+(c+d)=(a+d)+(b+c)$
$b.\ (a+b)+(c+d)=(a+c)+(b+d)$
$c.\ (a-b)+(c-d)=(a+c)+(-b-c)$
$d.\ (a-b)+(c-d)=(a+d)-(b+c)$
$e.\ (a-b)+(c-d)=(a-d)+(c-b)$
$f.\ (a-b)+(c-d)=-(b+d)+(a+c)$
$g.\ ((a+b)+c)+d=(a+c)+(b+d)$
$h.\ (a-b)-(c-d)=(a-c)+(d-b)$

问题 2.81（使用数字属性）确定以下陈述是真是假。为您的结论提供论据。

a. 如果 $a$，$b$ 和 $c$ 是整数，那么数字 $ab+bc$ 是偶数。
b. 如果 $b$ 和 $c$ 是奇数，$a$ 是整数，那么数字 $ab+bc$ 是偶数。

问题 2.82（使用数字属性）我们将整数 $a$ 定义为

• 类型 I 如果 $a=4n$ 对于某个整数 $n$
• 类型 II 如果 $a=4n+1$ 对于某个整数 $n$
• 类型 III 如果 $a=4n+2$ 对于某个整数 $n$
• 类型 IV 如果 $a=4n+3$ 对于某个整数 $n$

a. 为上述四种类型的整数分别提供至少两个例子。
b. 如果 $a$ 是偶数，那么它是否属于类型 I 或类型 III？请解释你的答案。
c. 如果 $a*b$ 属于类型 I，那么当 $a$ 或 $b$ 属于类型 III 时，是否一定成立？请解释你的答案。

问题 2.83 （利用数字性质） 对于所有实数 $x$ 和正整数 $n$，证明

$(1-x)(1+x+x^{2}+...+x^{n-1}+x^{n})=1-x^{n+1}$