In: Advanced Math
A detailed answer will be appreciate.
6. To prove that for all x1, x2, ..., x9 ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, there exists a
value of x10 for the check digit in the code ISBN-10.
7. To prove that for every x1, x2, ..., x12 ∈ {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}, there exists a
value of x13 for the check digit in the code ISBN-13.
International Standard Book Number (ISBN) is a
unique numeric commercial book identifier.
Before year 2007 ISBNs were 10-digit long. After that year ISBNs
extended to 13 digits. In both ISBN-10 and ISBN-13 standards, the
last digit is the check digit, for error detection.
ISBN-10 check digit is calculated by Modulus 11 with decreasing
weights on the first 9 digits.
Example: 030640615?
0×10 + 3×9 + 0×8 + 6×7 + 4×6 + 0×5 + 6×4 + 1×3 + 5×2 = 130.
130 / 11 = 11 remainder 9.
Check digit is the value needed to add to the sum to make it
dividable by 11. In this case it is 2.
So the valid ISBN is 0306406152.
In case 10 being the value needed to add to the sum, we use X as
the check digit instead of 10.
ISBN-13 check digit is calculated by Modulus 10 with alternate
weights of 1 and 3 on the first 12 digits.
Example: 978030640615?
9×1 + 7×3 + 8×1 + 0×3 + 3×1 + 0×3 + 6×1 + 4×3 + 0×1 + 6×3 + 1×1 +
5×3 = 93.
93 / 10 = 9 remainder 3.
Check digit is the value needed to add to the sum to make it
dividable by 10. So the check digit is 7. The valid ISBN is
9780306406157