Divisibility Tests Unified: Stacking the Trimmings for Sums

Edwin O'Shea

DOI: https://doi.org/10.48550/arXiv.1903.04903

2019-03-12

Abstract:Divisibility tests are algorithms that can quickly decide if one integer is divisible by another. There are many tests but most are either of the trimming or summing variety. Our goals are to present Zbikowski's family of trimming tests as one test and to unify the trimming and summing tests. We do the latter by showing, first, that the most effective summing tests, due to Khare, can be derived directly from the Zbikowski's test and, second, that the best known summing tests - the binomial tests - can be derived from an adapted form of Zbikowski's tests. We introduce the notion of stacking, the claim that a six year old would always choose 10 pennies over a dime, and use only basic divisibility properties to achieve our goals.

Number Theory,History and Overview

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to unify and simplify the divisibility test methods. Specifically, the author Edwin O'Shea aims to:

1. **Unify Zbikowski's pruning tests**: Unify the multiple pruning tests proposed by Zbikowski (methods for determining whether a number is divisible by a specific number) into a general test method.
2. **Combine pruning and summation tests**: Show that the most effective summation tests (such as the test proposed by Khare) can be directly derived from Zbikowski's pruning tests, and indicate that the well - known binomial summation test can also be derived from the adjusted Zbikowski test.

### Main contributions

- **Propose the concept of "stacking"**: The author introduces the concept of "stacking", that is, when performing pruning tests, the representation of numbers can be flexibly processed, similar to children preferring to hold 10 pennies rather than 1 dime. This method makes the connection between pruning and summation tests closer.
- **Prove Khare's summation test**: Through the methods of pruning and stacking, the author re - derives Khare's summation test without using modular arithmetic or the binomial theorem.
- **Generalize to the binomial summation test**: The author also shows how to derive the binomial summation test by pruning and stacking from left to right, further consolidating the unity of pruning and summation tests.

### Method overview

- **Pruning test**: For a number \(a\), write it as \(a = 10\bar{a}+a_0\), where \(\bar{a}\) is the number after removing the last digit, and \(a_0\) is the last digit. Zbikowski's pruning test is in the form of \(T_q(a)=\bar{a}+\omega_q a_0\), where \(\omega_q\) is a weight determined according to the last digit of \(q\).
- **Stacking**: Through the "stacking" operation, the representation of the number can be adjusted after each pruning, making it easier to perform the next test.
- **Summation test**: By iteratively applying pruning and stacking operations, a summation test in the form of \(S_q(a)=\sum_{j = 0}^n\omega_q^j a_{n - j}\) can be finally obtained.

### Conclusion

The author successfully shows the internal connection between pruning and summation tests and unifies these tests through simple mathematical tools (such as basic divisibility properties and induction). This work not only simplifies the methods of divisibility tests but also provides a new perspective for further research.

### Formula summary

- Zbikowski's pruning test formula:
\[
T_q(a)=\bar{a}+\omega_q a_0
\]
where \(\omega_q\) is determined according to the last digit of \(q\):
\[
\omega_q =
\begin{cases}
-\left[\frac{q}{10}\right] & \text{if } q_0 = 1 \\
\left[\frac{q}{10}\right] & \text{if } q_0 = 9 \\
\omega_{3q} & \text{if } q_0 = 3 \text{ or } 7
\end{cases}
\]

- Khare's summation test formula:
\[
S_q(a)=\sum_{j = 0}^n\omega_q^j a_{n - j}
\]

- Binomial summation test formula:
\[
B_q(a)=\sum_{j = 0}^n(10 - q)^j a_j
\]

Through these formulas and methods, the author successfully unifies different types of divisibility tests, providing new ideas for understanding and applying these tests.