If $a$ and $b$ are integers, with $b \not = 0$, then there exist unique integers $q$ and $r$ such that $a= b \cdot q + r$ where $0 \leq r <|b|$.

 Corollary: If $a$ and $b$ are integers, with $b \not = 0$, then there exist unique integers $q$ and $r$ such that $a= b \cdot q + r$ where  $0 \leq  r <|b|$.

Proof: Consider the case in which $b$ is negative. So $|b| > 0$. By  Division Algorithm Theorem, there exist unique integers $q'$ and $r$ such that \linebreak $a=  |b| \cdot  q'+ r$ where  $0 \leq  r <|b|$. Note that $|b | = - b$, we can take $q = -q'$ to get $a= q \cdot b + r$,  where  $0 \leq  r <|b|$. Consider the case in which $b$ is positive. Proof follows from Division Algorithm Theorem.

Popular posts from this blog

State and Prove Chinese Remainder Theorem.

Solve the system of linear congruences $x \equiv 2 ~(mod ~3)$ , $x \equiv 3 ~(mod ~5)$, $x \equiv 2 ~(mod ~7)$.

Solve the linear congruence $9x \equiv 21 ~(mod ~ 30)$