A Friedman number is an integer, which represented in a given numeral system, is the result of a non-trivial expression using all its own digits in combination with any of the four basic arithmetic operators (+, −, ×, ÷), additive inverses, parentheses, exponentiation, and concatenation. Here, non-trivial means that at least one operation besides concatenation is used. Leading zeros cannot be used, since that would also result in trivial Friedman numbers, such as 024 = 20 + 4. For example, 347 is a Friedman number in the decimal numeral system, since 347 = 7^{3} + 4. The decimal Friedman numbers are:
Friedman numbers are named after Erich Friedman, a now-retired mathematics professor at Stetson University and recreational mathematics enthusiast.
A Friedman prime is a Friedman number that is also prime. The decimal Friedman primes are:
The expressions of the first few Friedman numbers are:
number | expression | number | expression | number | expression | number | expression |
25 | 5^{2} | 127 | 2^{7}−1 | 289 | (8+9)^{2} | 688 | 8×86 |
121 | 11^{2} | 128 | 2^{(8−1)} | 343 | (3+4)^{3} | 736 | 3^{6}+7 |
125 | 5^{(1+2)} | 153 | 3×51 | 347 | 7^{3}+4 | 1022 | 2^{10}−2 |
126 | 6×21 | 216 | 6^{(2+1)} | 625 | 5^{(6−2)} | 1024 | (4−2)^{10} |
A nice Friedman number is a Friedman number where the digits in the expression can be arranged to be in the same order as in the number itself. For example, we can arrange 127 = 2^{7} − 1 as 127 = −1 + 2^{7}. The first nice Friedman numbers are:
A nice Friedman prime is a nice Friedman number that's also prime. The first nice Friedman primes are:
Friedman's website shows around 100 zeroless pandigital Friedman numbers as of April 2020^{[update]}. Two of them are: 123456789 = ((86 + 2 × 7)^{5} − 91) / 3^{4}, and 987654321 = (8 × (97 + 6/2)^{5} + 1) / 3^{4}. Only one of them is nice: 268435179 = −268 + 4^{(3×5 − 17)} − 9.
Michael Brand proved that the density of Friedman numbers among the naturals is 1,^{[1]} which is to say that the probability of a number chosen randomly and uniformly between 1 and n to be a Friedman number tends to 1 as n tends to infinity. This result extends to Friedman numbers under any base of representation. He also proved that the same is true also for binary, ternary and quaternary nice Friedman numbers.^{[2]} The case of base-10 nice Friedman numbers is still open.
Vampire numbers are a subset of Friedman numbers where the only operation is a multiplication of two numbers with the same number of digits, for example 1260 = 21 × 60.
There usually are fewer 2-digit Friedman numbers than 3-digit and more in any given base, but the 2-digit ones are easier to find. If we represent a 2-digit number as mb + n, where b is the base and m, n are integers from 0 to b−1, we need only check each possible combination of m and n against the equalities mb + n = m^{n}, and mb + n = n^{m} to see which ones are true. We need not concern ourselves with m + n or m × n, since these will always be smaller than mb + n when n < b. The same clearly holds for m − n and m / n.
Friedman numbers also exist for bases other than base 10. For example, 11001_{2} = 25 is a Friedman number in the binary numeral system, since 11001 = 101^{10}.
The first few known Friedman numbers in other small bases are shown below, written in their respective bases. Numbers shown in bold are nice Friedman numbers.^{[3]}
base | Friedman numbers |
---|---|
2 | 11001, 11011, 111111, 1001111, 1010001, ... |
3 | 121, 221, 1022, 1122, 1211, ... |
4 | 121, 123, 1203, 1230, 1321, ... |
5 | 121, 224, 1232, 1241, 1242, ... |
6 | 24, 52, 121, 124, 133, ... |
7 | 121, 143, 144, 264, 514, ... |
8 | 33, 121, 125, 143, 251, ... |
9 | 121, 134, 314, 628, 1304, ... |
11 | 121, 2A9, 603, 1163, 1533, ... |
12 | 121, 127, 135, 144, 163, ... |
13 | 121, 237, 24A, 1245, 1246, ... |
14 | 121, 128, 135, 144, 173, ... |
15 | 26, 121, 136, 154, 336, ... |
16 | 121, 129, 145, 183, 27D, ... |
In base ,
is a Friedman number (written in base as 1mk = k × m1).^{[4]}
In base ,
is a Friedman number (written in base as 100...00200...001 = 100..001^{2}, with zeroes between each nonzero number).^{[4]}
In base ,
is a Friedman number (written in base as 2k = k^{2}). From the observation that all numbers of the form 2k × b^{2n} can be written as k000...000^{2} with n 0's, we can find sequences of consecutive Friedman numbers which are arbitrarily long. For example, for , or in base 10, 250068 = 500^{2} + 68, from which we can easily deduce the range of consecutive Friedman numbers from 250000 to 250099 in base 10.^{[4]}
Repdigit Friedman numbers:
There are an infinite number of prime Friedman numbers in all bases, because for base the numbers
for base the numbers
and for base
are Friedman numbers for all . The numbers of this form are an arithmetic sequence , where and are relatively prime regardless of base as and are always relatively prime, and therefore, by Dirichlet's theorem on arithmetic progressions, the sequence contains an infinite number of primes.
In a trivial sense, all Roman numerals with more than one symbol are Friedman numbers. The expression is created by simply inserting + signs into the numeral, and occasionally the − sign with slight rearrangement of the order of the symbols.
Some research into Roman numeral Friedman numbers for which the expression uses some of the other operators has been done. The first such nice Roman numeral Friedman number discovered was 8, since VIII = (V - I) × II. Other such nontrivial examples have been found.
The difficulty of finding nontrivial Friedman numbers in Roman numerals increases not with the size of the number (as is the case with positional notation numbering systems) but with the numbers of symbols it has. For example, it is much tougher to figure out whether 147 (CXLVII) is a Friedman number in Roman numerals than it is to make the same determination for 1001 (MI). With Roman numerals, one can at least derive quite a few Friedman expressions from any new expression one discovers. Since 8 is a nice nontrivial nice Roman numeral Friedman number, it follows that any number ending in VIII is also such a Friedman number.