Proposition: Connection between Quotient, Remainder, Modulo and Floor Function

Let \(a,b\) be given natural numbers with \(a > 0\). The uniquely defined quotient and remainder $q,r$ in the equation \[b=qa+r,\quad 0\le r < a\] are given by $q=\lfloor \frac ba\rfloor$ (floor function) and $r\equiv b\mod a$ (congruence class $b$ modulo $a$).

Proofs: 1

Definitions: 1
Proofs: 2 3


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

  1. Graham L. Ronald, Knuth E. Donald, Patashnik Oren: "Concrete Mathematics", Addison-Wesley, 1994, 2nd Edition