이곳은 개발을 위한 베타 사이트 입니다.기여내역은 언제든 초기화될 수 있으며, 예기치 못한 오류가 발생할 수 있습니다.문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 덧셈 (문단 편집) === 결합법칙 === [math(\text{도움정리 1: } (0 + b) + c = 0 + (b + c))] {{{#!folding [증명] [math(\textbf{1}. \, (0+b) + c = b + c \, \text{[덧셈의 정의 1항목]})] [math(\textbf{2}. \, b + c = 0 + (b + c) \, \text{[덧셈의 정의 1항목]})] [math(\textbf{3}. \, (0+b) + c = 0 + (b + c) \, \text{[추이적 관계]})] }}} [math(\text{덧셈의 결합법칙: }(a+b) + c = a + (b + c))] {{{#!folding [증명] [math(\textbf{1}. \, a = 0 \text{일때, 결합법칙이 성립. 다시말해, }(0 + b) + c = 0 + (b + c) \, \text{[도움정리 1]})] [math(\textbf{2}. \, (a+b) + c = a + (b + c) \text{가 참이라고 가정 [귀납법 시작점]})] [math(\textbf{3}. \, (S(a)+b) + c =S(a+b) + c = S((a + b) + c) \, \text{[덧셈의 정의 2항목]})] [math(\textbf{4}. \, S((a+b)+c) = S(a+(b+c)) \, \text{[2번]})] [math(\textbf{5}. \, S(a+(b+c)) = S(a) + (b + c) \, \text{[덧셈의 정의 2항목]})] [math(\textbf{6}. \, (S(a) + b) + c = S(a) + (b + c) \, \text{[3-5번으로 인한 추이적 관계]})] [math(\textbf{7}. \rightarrow (a+b) + c = a + (b + c) \, \text{[1, 2, 6번에 의한 귀납]})] }}}저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기