Statement of The Theorem: Unique Absolute Value
Statement of The Theorem: Unique Absolute Value
Given two integers a and b, with b 0, there exist unique integers q and r such that a = bq + r and 0
r < |b|, where |b| denotes the absolute value of b.[1]
The four integers that appear in this theorem have been given names: a is called the dividend, b is
called the divisor, q is called the quotient and r is called the remainder.
The computation of the quotient and the remainder from the dividend and the divisor is
called division or, in case of ambiguity, Euclidean division. The theorem is frequently referred to as
the division algorithm, although it is a theorem and not an algorithm, because its proof as given
below also provides a simple division algorithm for computing q and r.
Division is not defined in the case where b = 0; see division by zero.