In recreational mathematics, a Harshad number (or Niven number) in a given number base, is an integer that is divisible by the sum of its digits when written in that base. Harshad numbers in base n are also known as n-Harshad (or n-Niven) numbers. Harshad numbers were defined by D. R. Kaprekar, a mathematician from India. The word "Harshad" comes from the Sanskrit harṣa (joy) + da (give), meaning joy-giver. The term “Niven number” arose from a paper delivered by Ivan M. Niven at a conference on number theory in 1977. All integers between zero and n are n-Harshad numbers.
Stated mathematically, let X be a positive integer with m digits when written in base n, and let the digits be ai (i = 0, 1, ..., m − 1). (It follows that ai must be either zero or a positive integer up to n − 1.) X can be expressed as
If there exists an integer A such that the following holds, then X is a Harshad number in base n:
Harshad numbers in base 10 form the sequence:
- 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 12, 18, 20, 21, 24, 27, 30, 36, 40, 42, 45, 48, 50, 54, 60, 63, 70, 72, 80, 81, 84, 90, 100, 102, 108, 110, 111, 112, 114, 117, 120, 126, 132, 133, 135, 140, 144, 150, 152, 153, 156, 162, 171, 180, 190, 192, 195, 198, 200, 201, ... (sequence A005349 in OEIS)
What numbers can be Harshad numbers?
Given the divisibility test for 9, one might be tempted to generalize that all numbers divisible by 9 are also Harshad numbers. But for the purpose of determining the Harshadness of n, the digits of n can only be added up once and n must be divisible by that sum; otherwise, it is not a Harshad number. For example, 99 is not a Harshad number, since 9 + 9 = 18, and 99 is not divisible by 18.
The base number (and furthermore, its powers) will always be a Harshad number in its own base, since it will be represented as "10" and 1 + 0 = 1.
For a prime number to also be a Harshad number it must be less than or equal to the base number. Otherwise, the digits of the prime will add up to a number that is more than 1 but less than the prime and, obviously, it will not be divisible. For example: 11 is not Harshad in base 10 because the sum of its digits "11" is 1+1=2 and 11 is not divisible by 2, while in hexadecimal the number 11 may be represented as "B", the sum of whose digits is also B and clearly B is divisible by B, ergo it is Harshad in base 16.
Although the sequence of factorials starts with Harshad numbers in base 10, not all factorials are Harshad numbers. 432! is the first that is not.
Consecutive Harshad numbers
Maximal runs of consecutive Harshad numbers
Cooper and Kennedy proved in 1993 that no 21 consecutive integers are all Harshad numbers in base 10. They also constructed infinitely many 20-tuples of consecutive integers that are all 10-Harshad numbers, the smallest of which exceeds 1044363342786.
H. G. Grundman (1994) extended the Cooper and Kennedy result to show that there are 2b but not 2b+1 consecutive b-Harshad numbers. This result was strengthened to show that there are infinitely many runs of 2b consecutive b-Harshad numbers for b = 2 or 3 by T. Cai (1996) and for arbitrary b by Brad Wilson in 1997.
In general, such maximal sequences run from N · bk - b to N · bk + (b-1), where b is the base, k is a relatively large power, and N is a constant. Given one such suitably chosen sequence we can convert it to a larger one as follows:
- Inserting zeroes into N will not change the sequence of digital sums (just as 21, 201 and 2001 are all 10-Harshad numbers).
- If we insert n zeroes after the first digit, α (worth αbi), we increase the value of N by αbi(bn - 1) .
- If we can ensure that bn - 1 is divisible by all digit sums in the sequence, then the divisibility by those sums is maintained.
- If our initial sequence is chosen so that the digit sums are coprime to b, we can solve bn = 1 modulo all those sums.
- If that is not so, but the part of each digit sum not coprime to b divides αbi, then divisibility is still maintained.
- (Unproven) The initial sequence is so chosen.
Thus our initial sequence yields an infinite set of solutions.
First runs of exactly n consecutive 10-Harshad numbers
The smallest naturals starting runs of exactly n consecutive 10-Harshad numbers (i.e., smallest x such that x, x+1, ..., x+n-1 are Harshad numbers but x-1 and x+n are not) are as follows (sequence A060159 in OEIS):
|x:||920067411130599||43494229746440272890||121003242000074550107423034⋅1020 - 10||420142032871116091607294⋅1040 - 04||?||50757686696033684694106416498959861492⋅10280 - 9||14107593985876801556467795907102490773681⋅10280 - 10||?||?||?|
By the previous section, no such x exists for n > 20.
Estimating the density of Harshad numbers
If we let N(x) denote the number of Harshad numbers ≤ x, then for any given ε > 0,
where c = (14/27) log 10 ≈ 1.1939.
A Nivenmorphic number or Harshadmorphic number for a given number base is an integer t such that there exists some Harshad number N whose digit sum is t, and t, written in that base, terminates N written in the same base.
For example, 18 is a Nivenmorphic number for base 10:
16218 is a Harshad number 16218 has 18 as digit sum 18 terminates 16218
Multiple Harshad numbers
and went on to show that 2016502858579884466176 is MHN-12. The number 10080000000000 = 1008·1010, which is smaller, is also MHN-12. In general, 1008·10n is MHN-(n+2).
- Cooper, Curtis; Kennedy, Robert E. (1993), "On consecutive Niven numbers", Fibonacci Quarterly 31 (2): 146–151, ISSN 0015-0517, Zbl 0776.11003
- Sándor, Jozsef; Crstici, Borislav (2004). Handbook of number theory II. Dordrecht: Kluwer Academic. p. 382. ISBN 1-4020-2546-7. Zbl 1079.11001.
- Grundman, H. G. (1994), "Sequences of consecutive n-Niven numbers", Fibonacci Quarterly 32 (2): 174–175, ISSN 0015-0517, Zbl 0796.11002
- Wilson, Brad (1997), "Construction of 2n consecutive n-Niven numbers", Fibonacci Quarterly 35: 122–128, ISSN 0015-0517
- De Koninck, Jean-Marie; Doyon, Nicolas (November 2003), "On the number of Niven numbers up to x", Fibonacci Quarterly 41 (5): 431–440.
- De Koninck, Jean-Marie; Doyon, Nicolas; Katái, I. (2003), "On the counting function for the Niven numbers", Acta Arithmetica 106: 265–275.
- Boscaro, Sandro (1996–1997), "Nivenmorphic integers", Journal of Recreational Mathematics 28 (3): 201–205 .
- Bloem, E. (2005), "Harshad numbers", Journal of Recreational Mathematics 34 (2): 128.