Editing Friedman number

{{Short description|Number that is the result of operation on its own digits}}
A '''Friedman number''' is an [[integer]], which [[Code|represented]] in a given [[numeral system]], is the result of a non-trivial expression using all its own [[Numerical digit|digits]] in combination with any of the four basic arithmetic operators (+, −, ×, ÷), [[additive inverse]]s, 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<sup>3</sup> + 4. The decimal Friedman numbers are:

:25, 121, 125, 126, 127, 128, 153, 216, 289, 343, 347, 625, 688, 736, 1022, 1024, 1206, 1255, 1260, 1285, 1296, 1395, 1435, 1503, 1530, 1792, 1827, 2048, 2187, 2349, 2500, 2501, 2502, 2503, 2504, 2505, 2506, 2507, 2508, 2509, 2592, 2737, 2916, ... {{OEIS|id=A036057}}.

Friedman numbers are named after [https://www.stetson.edu/other/faculty/erich-friedman.php 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 number|prime]]. The decimal Friedman primes are:

:127, 347, 2503, 12101, 12107, 12109, 15629, 15641, 15661, 15667, 15679, 16381, 16447, 16759, 16879, 19739, 21943, 27653, 28547, 28559, 29527, 29531, 32771, 32783, 35933, 36457, 39313, 39343, 43691, 45361, 46619, 46633, 46643, 46649, 46663, 46691, 48751, 48757, 49277, 58921, 59051, 59053, 59263, 59273, 64513, 74353, 74897, 78163, 83357, ... {{OEIS|id=A112419}}.

==Results in base 10==
The expressions of the first few Friedman numbers are:

{|class="wikitable"
|number
|expression
|number
|expression
|number
|expression
|number
|expression
|-
|25
|5<sup>2</sup>
|127
|2<sup>7</sup>−1
|289
|(8+9)<sup>2</sup>
|688
|8×86
|-
|121
|11<sup>2</sup>
|128
|2<sup>(8−1)</sup>
|343
|(3+4)<sup>3</sup>
|736
|3<sup>6</sup>+7
|-
|125
|5<sup>(1+2)</sup>
|153
|3×51
|347
|7<sup>3</sup>+4
|1022
|2<sup>10</sup>−2
|-
|126
|6×21
|216
|6<sup>(2+1)</sup>
|625
|5<sup>(6−2)</sup>
|1024
|(4−2)<sup>10</sup>
|}

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<sup>7</sup> − 1 as 127 = −1 + 2<sup>7</sup>. The first nice Friedman numbers are:

:127, 343, 736, 1285, 2187, 2502, 2592, 2737, 3125, 3685, 3864, 3972, 4096, 6455, 11264, 11664, 12850, 13825, 14641, 15552, 15585, 15612, 15613, 15617, 15618, 15621, 15622, 15623, 15624, 15626, 15632, 15633, 15642, 15645, 15655, 15656, 15662, 15667, 15688, 16377, 16384, 16447, 16875, 17536, 18432, 19453, 19683, 19739 {{OEIS|id=A080035}}.

A '''nice''' Friedman prime is a '''nice''' Friedman number that's also prime. The first nice Friedman primes are:

:127, 15667, 16447, 19739, 28559, 32771, 39343, 46633, 46663, 117619, 117643, 117763, 125003, 131071, 137791, 147419, 156253, 156257, 156259, 229373, 248839, 262139, 262147, 279967, 294829, 295247, 326617, 466553, 466561, 466567, 585643, 592763, 649529, 728993, 759359, 786433, 937577 {{OEIS|id=A252483}}.

Michael Brand proved that the density of Friedman numbers among the naturals is 1,<ref>Michael Brand, "Friedman numbers have density 1", ''Discrete Applied Mathematics'', '''161'''(16–17), Nov. 2013, pp. 2389-2395.</ref> 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.<ref>Michael Brand, "On the Density of Nice Friedmans", Oct 2013, https://arxiv.org/abs/1310.2390.</ref> The case of base-10 nice Friedman numbers is still open.

[[Vampire number]]s 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.

== Finding 2-digit Friedman numbers ==
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''<sup>''n''</sup>, and ''mb'' + ''n'' = ''n''<sup>''m''</sup> 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''.

== Other bases ==
Friedman numbers also exist for bases other than base 10. For example, 11001<sub>2</sub> = 25 is a Friedman number in the [[Binary number|binary numeral system]], since 11001 = 101<sup>10</sup>.

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.<ref>{{cite web |last1=Friedman |first1=Erich |title=Friedman numbers in other bases |url=https://erich-friedman.github.io/mathmagic/0800/base.html}}</ref>

{|class="wikitable"
! 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, ...
|}

=== General results ===
In base <math>b = mk - m</math>, 
: <math>b^2 + mb + k = (mk - m + m)b + k = mbk + k = k(mb + 1)</math> 
is a Friedman number (written in base <math>b</math> as 1''mk'' = ''k'' × ''m''1).<ref name="erich">{{Cite web|url=https://erich-friedman.github.io/mathmagic/0800.html|title = Math Magic}}</ref>

In base <math>b > 2</math>,
: <math>{(b^n + 1)}^2 = b^{2n} + 2{b^n} + 1</math>
is a Friedman number (written in base <math>b</math> as 100...00200...001 = 100..001<sup>2</sup>, with <math>n - 1</math> zeroes between each nonzero number).<ref name="erich" />

In base <math>b = \frac{k(k - 1)}{2}</math>,
: <math>2b + k = 2\left(\frac{k(k - 1)}{2}\right) + k = k^2 - k + k = k^2</math>
is a Friedman number (written in base <math>b</math> as 2''k'' = ''k''<sup>2</sup>). From the observation that all numbers of the form 2''k'' × b<sup>2''n''</sup> can be written as ''k''000...000<sup>2</sup> with ''n'' 0's, we can find sequences of consecutive Friedman numbers which are arbitrarily long. For example, for <math>k = 5</math>, or in [[base 10]], 250068 = 500<sup>2</sup> + 68, from which we can easily deduce the range of consecutive Friedman numbers from 250000 to 250099 in [[base 10]].<ref name="erich"/>

[[Repdigit]] Friedman numbers:
* The smallest repdigit in [[base 8]] that is a Friedman number is 33 = 3<sup>3</sup>. 
* The smallest repdigit in [[base 10]] that is thought to be a Friedman number is 99999999 = (9 + 9/9)<sup>9−9/9</sup> − 9/9.<ref name="erich"/> 
* It has been proven that [[repdigit]]s with at least 22 digits are nice Friedman numbers.<ref name="erich"/>

There are an infinite number of prime Friedman numbers in all bases, because for base <math>2 \leq b \leq 6</math> the numbers
: <math>n \times 10^{1111} + 11111111 = n \times 10^{1111} + 10^{1000} - 1 + 0 + 0</math> in base 2
: <math>n \times 10^{102} + 1101221 = n \times 10^{102} + 2^{101} + 0 + 0</math> in base 3
: <math>n \times 10^{20} + 310233 = n \times 10^{20} + 33^{3} + 0</math> in base 4
: <math>n \times 10^{13} + 2443111 = n \times 10^{4 + 4} + (2 \times 3)^{11}</math> in base 5
: <math>n \times 10^{13} + 25352411 = n \times 10^{2 \times 5 - 1} + (5 + 2)^{(3 + 4)}</math> in base 6
for base <math>7 \leq b \leq 10</math> the numbers
: <math>n \times 10^{60} + 164351 = n \times 10^{60} + (10 + 4 - 3)^5 + 0 + 0 + \ldots</math> in base 7,
: <math>n \times 10^{60} + 163251 = n \times 10^{60} + (10 + 3 - 2)^5 + 0 + 0 + \ldots</math> in base 8,
: <math>n \times 10^{60} + 162151 = n \times 10^{60} + (10 + 2 - 1)^5 + 0 + 0 + \ldots</math> in base 9,
: <math>n \times 10^{60} + 161051 = n \times 10^{60} + (10 + 1 - 0)^5 + 0 + 0 + \ldots</math> in base 10, 
and for base <math>b > 10</math>
: <math>n \times 10^{50} + \text{15AA51} = n \times 10^{50} + (10 + \text{A}/\text{A})^5 + 0 + 0 + \ldots</math>
are Friedman numbers for all <math>n</math>. The numbers of this form are an arithmetic sequence <math>pn + q</math>, where <math>p</math> and <math>q</math> are relatively prime regardless of base as <math>b</math> and <math>b + 1</math> are always relatively prime, and therefore, by [[Dirichlet's theorem on arithmetic progressions]], the sequence contains an infinite number of primes.

== Using Roman numerals ==
In a trivial sense, all [[Roman numeral]]s 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.

==References==
{{Reflist}}

==External links==
* {{OEIS el|A036057|Friedman number}}
** [https://oeis.org/search?q=Friedman+number&language=english&go=Search Other Friedman numbers] in [[The On-Line Encyclopedia of Integer Sequences]]
* {{cite web |url= https://erich-friedman.github.io/mathmagic/0800 |title= Friedman numbers |date= Aug 2000 |series= Problem of the Month |display-authors= 0 |first= Erich |last= Friedman |website= Github }}
* {{cite journal |url= https://www.sciencedirect.com/science/article/pii/S0166218X13002564 |title= Friedman numbers have density 1 |journal= Discrete Applied Mathematics |volume= 161 |issue= 16–17 |date= Nov 2013 |pages= 2389–2395 |first= Michael |last= Brand |doi= 10.1016/j.dam.2013.05.027 |doi-access= free }}
* {{OEIS el|A119710|Radical narcissistic numbers}}
** {{cite web |url= http://www.tri.org.au/numQ/pwn/ |title= Pretty wild narcissistic numbers - numbers that pwn |display-authors= 0 |first= Colin |last= Rose |website= Theoretical Research Institute |quote= Extension to Friedman numbers }}
{{Classes of natural numbers}}

[[Category:Base-dependent integer sequences]]
[[Category:Eponymous numbers in mathematics]]