문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 진법 (문단 편집) ==== 존재성 ==== 존재성의 증명은 [[나눗셈 정리]]를 이용한다. 양의 정수에 대해서 증명을 하고 이걸 일반적인 정수 전체, 실수, 복소수 등등으로 확장시키는게 일반적. 양의 정수 [math(a, b)]에 대해서, 나눗셈 정리에 의해 [math(q_1, r_1 \in \mathbb{Z})]이 유일하게 존재하여, 다음을 만족한다. * [math(b=aq_1+r_1)](단 [math(0 \leq r_1 < a)]) 이 때, [math(q_1)]이 [math(a)]보다 크다면, 마찬가지 과정을 통해서 [math(q_2, r_2 \in \mathbb{Z})]가 유일하게 존재하여, [math(q_1=aq_2+r_2)](단 [math(0 \leq r_2 < a)])가 존재하고……를 끝없이 반복하여, [math(q_n, r_n \in \mathbb{Z})]가 유일하게 존재하여, [math(q_{n-1}=aq_n+r_n)](단 [math(0 \leq r_n < a. 0 \leq r_n \leq a)])이 존재함을 알 수 있다. 따라서, [math(a, b)]에 대하여, [math(b)]의 [math(a)]진법 표기는 '''존재한다'''.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기