| r15 vs r16 | ||
|---|---|---|
| ... | ... | |
| 69 | 69 | |
| 70 | 70 | === 0과 1을 이용한 정리 === |
| 71 | 71 | 먼저 [math(0 \in \mathbb{R})]이 성립하므로 다음이 성립한다. |
| 72 | 1. 실수 [math(0)]과 [math({\color{blue}0})]의 덧셈은 실수이다. ([[#Axiom 1.1|Axiom 1.1]]. 덧셈연산의 닫힘) | |
| 72 | '''Lemma 1.1.''' 실수 [math(0)]과 [math({\color{blue}0})]의 덧셈은 실수이다. ([[#Axiom 1.1|Axiom 1.1]]. 덧셈연산의 닫힘) | |
| 73 | 73 | 따라서 [math(0{\color{blue}+0} \in \mathbb{R})]이 성립한다. |
| 74 | ||
| 74 | '''Lemma 1.2.''' 실수 [math({\color{blue}0})]은 덧셈연산에 대한 실수 [math(0)]의 항등원이다. ([[#Axiom 1.4|Axiom 1.4]] 덧셈에 대한 항등원. 알기 쉽도록 색을 파랗게 칠한다.) | |
| 75 | 75 | 따라서 [math(0{\color{blue}+0}=0)]이 성립한다. |
| 76 | 1. 실수 [math(1)]에 대한 덧셈연산의 역원이 존재하며 다음이 성립한다. ([[#Axiom 1.5|Axiom 1.5]]. 덧셈에 대한 역원) | |
| 76 | '''Lemma 1.3.''' 실수 [math(1)]에 대한 덧셈연산의 역원이 존재하며 다음이 성립한다. ([[#Axiom 1.5|Axiom 1.5]]. 덧셈에 대한 역원) | |
| 77 | 77 | ||[math({\color{green}-1} \in \mathbb{R})]이고 [math(1{\color{green}+(-1)}=0)] 이다.|| |
| 78 | 78 | |
| 79 | 79 | === [math(a \times 0 =0\text{. 곧 })]0을 곱하면 0이 된다. === |
| ... | ... |