나눗셈 정리 (Division Algorithm)
나눗셈 정리 (Division Algorithm) $ a $가 양의 정수이고, $ b $가 임의의 정수이며, 다음 식을 만족하는 정수 $ q $와 $r$은 유일하게 존재한다. $$ b=qa+r , ~~~~0\leq rb$가 성립한다. 아르키메데스의 원리를 알았으니, 나눗셈 정리를 증명해보자. pf) $b\geq 0$이면 아르키메데스의 원리에 의하여 $na>b$를 만족하는 양의 정수 $n$이 존재한다. (예를들어, $n=b+1$) 이제, $q+1$을 $na>b$를..