5

This article is under construction.            

Please do not rely on any information it contains.            

5 is a prime number, the only one to be both the largest member of a twin prime pair (with 3) and the smallest member of a twin prime pair (with 7). 5 is a factor of 10, our base of numeration, and was for a time a contender for base.

Membership in core sequences

Odd numbers	1, 3, 5, 7, 9, 11, 13, 15, 17, ...	A005408
Prime numbers	2, 3, 5, 7, 11, 13, 17, 19, ...	A000040
Fibonacci numbers	1, 1, 2, 3, 5, 8, 13, 21, ...	A000045
Partition numbers	1, 1, 2, 3, 5, 7, 11, 15, 22, ...	A000041

In Pascal's triangle, 5 occurs twice, corresponding to $(\genfrac{}{}{0ex}{}{5}{1})$ and $(\genfrac{}{}{0ex}{}{5}{4})$. (In Lozanić's triangle, 5 occurs four times).

Sequences pertaining to 5

Multiples of 5	0, 5, 10, 15, 20, 25, 30, 35, 40, 45, 50, 55, 60, 65, ...	A008598
Pentagonal numbers	1, 5, 12, 22, 35, 51, 70, 92, 117, 145, 176, 210, ...	A000326
Generalized pentagonal numbers	1, 2, 5, 7, 12, 15, 22, 26, 35, 40, 51, 57, 70, 77, ...	A001318
Pentagonal pyramidal numbers	1, 6, 18, 40, 75, 126, 196, 288, 405, 550, 726, 936, ...	A002411
Centered pentagonal numbers	1, 6, 16, 31, 51, 76, 106, 141, 181, 226, 276, 331, 391, ...	A005891
Fermat pseudoprimes to base 5	4, 124, 217, 561, 781, 1541, 1729, 1891, 2821, 4123, ...	A005936
$3x+1$ sequence starting at 3	3, 10, 5, 16, 8, 4, 2, 1, 4, 2, 1, 4, 2, 1, 4, 2, 1, 4, ...	A033478
$5x+1$ sequence starting at 5	5, 26, 13, 66, 33, 166, 83, 416, 208, 104, 52, 26, 13, ...	A259207

Partitions of 5

There are seven partitions of 5, of which three consist of distinct numbers: {1, 4}, {2, 3} and {5}. There is only one nontrivial partition of 5 into primes, and that's {2, 3}.

Roots and powers of 5

In the table below, irrational numbers are given truncated to eight decimal places.

$\sqrt{5}$	2.23606797	A002163	5 2	25
$\sqrt[3]{5}$	1.70997594	A005481	5 3	125
$\sqrt[4]{5}$	1.49534878	A011003	5 4	625
$\sqrt[5]{5}$	1.37972966	A005534	5 5	3125
$\sqrt[6]{5}$	1.30766048	A011200	5 6	15625
$\sqrt[7]{5}$	1.25849895	A011201	5 7	78125
$\sqrt[8]{5}$	1.22284454	A011202	5 8	390625
$\sqrt[9]{5}$	1.19581317	A011203	5 9	1953125
$\sqrt[10]{5}$	1.17461894	A011204	5 10	9765625
$\sqrt[11]{5}$	1.15755791	A011205	5 11	48828125
$\sqrt[12]{5}$	1.14352983	A011206	5 12	244140625
				A000351

Logarithms and fifth powers

In the OEIS specifically and mathematics in general, $\log x$ refers to the natural logarithm of $x$, whereas all other bases are specified with a subscript.

If $n$ is not a multiple of 11, then either $n^5-1$ or $n^5+1$ is. Hence the formula for the Legendre symbol $\left(\frac{a}{11}\right)=a^{5}mod11$.

As above, irrational numbers in the following table are truncated to eight decimal places.

${\log }_{5}2$	0.43067655	A152675	${\log }_{2}5$	2.32192809	A020858	2 5	32
${\log }_{5}e$	0.62133493		$\log 5$	1.60943791	A016628	$e^5$	148.41315910	A092511
${\log }_{5}3$	0.68260619	A152914	${\log }_{3}5$	1.46497352	A113209	3 5	243
${\log }_5\pi$	0.71126066		${\log }_{\pi }5$	1.40595430		${\pi }^3$	306.01968478	A092731
${\log }_{5}4$	0.86135311	A153101	${\log }_{4}5$	1.16096404	A153201	4 5	1024
${\log }_{5}5$			1.00000000			5 5	3125
${\log }_{5}6$	1.11328275	A153461	${\log }_{6}5$	0.89824440	A153202	6 5	7776
${\log }_{5}7$	1.20906195	A153616	${\log }_{7}5$	0.82708747	A153203	7 5	16807
${\log }_{5}8$	1.29202967	A153739	${\log }_{8}5$	0.77397603	A153204	8 5	32768
${\log }_{5}9$	1.36521238	A154008	${\log }_{9}5$	0.73248676	A153205	9 5	59049
${\log }_{5}10$	1.43067655	A154156	${\log }_{10}5$	0.69897000	A153268	10 5	100000

(See A000584 for the fifth powers of integers).

Values for number theoretic functions with 5 as an argument

$\mu (5)$	–1
$M(5)$	–2
$\pi (5)$	3
${\sigma }_1(5)$	6
${\sigma }_0(5)$	2
$\varphi (5)$	4
$\mathrm{\Omega }(5)$	1
$\omega (5)$	1
$\lambda (5)$	4	This is the Carmichael lambda function.
$\lambda (5)$	–1	This is the Liouville lambda function.
$\zeta (5)$	1.036927755143369926331... (see A013663).
5!	120
$\mathrm{\Gamma }(5)$	24

Factorization of some small integers in a quadratic integer ring adjoining the square roots of −5, 5

$\mathbb{\mathbb{Z}}[\sqrt{5}]$ has quite a few things in common with $\mathbb{\mathbb{Z}}[\sqrt{-3}]$. Both are actually subdomains because neither is integrally closed. Since $5\equiv 1mod4$ (and likewise for –3), it is not enough to consider algebraic integers of the form $a+b\sqrt{5}$ (with $a,b\in \mathbb{\mathbb{Z}}$); we must also consider algebraic integers of the form $\frac{a}{2}+\frac{b\sqrt{5}}{2}$ (with $ab\equiv 1mod2$).

As it turns out, $\frac{1}{2}+\frac{\sqrt{5}}{2}$ is an algebraic integer in ${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{5})}$. If this number looks familiar, that's probably because it's the golden ratio, $\varphi$. This means that ${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{5})}=\mathbb{\mathbb{Z}}[\varphi ]$, just as ${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-3})}=\mathbb{\mathbb{Z}}[\omega ]$. And furthermore, just as $\omega$ is a unit in $\mathbb{\mathbb{Z}}[\omega ]$, so is $\varphi$ a unit in $\mathbb{\mathbb{Z}}[\varphi ]$, and both are unique factorization domains.

But then we come to a contrast: $\mathbb{\mathbb{Z}}[\omega ]$ has just six units, but all the infinitely many powers of $\varphi$ with integer exponents are units in $\mathbb{\mathbb{Z}}[\varphi ]$ (and that includes ${\varphi }^2=\varphi +1$). So, where a given number may seem to have two distinct factorizations in $\mathbb{\mathbb{Z}}[\varphi ]$, these can be shown to be the same by multiplying or dividing by the appropriate power of $\varphi$.

$\mathbb{\mathbb{Z}}[\varphi ]$ also contrasts with $\mathbb{\mathbb{Z}}[\sqrt{-5}]$, which is not a UFD but has only two units: 1 and –1. This allows us to be very certain when asserting that a given number has two distinct factorizations in $\mathbb{\mathbb{Z}}[\sqrt{-5}]$.

In the table below, some factorizations in $\mathbb{\mathbb{Z}}[\varphi ]$ will also be expressed using $\sqrt{5}$; this does not constitute a distinct factorization since $\mathbb{\mathbb{Z}}[\varphi ]$ has unique factorization and $\sqrt{5}=-1+2\varphi$. This is done for the sake of clarification, to facilitate comparison to other domains not usually expressed in terms of multiples of a unit that has both a rational and an irrational part.

$n$	$\mathbb{\mathbb{Z}}[\sqrt{-5}]$	$\mathbb{\mathbb{Z}}[\varphi ]$
1	Unit
2	Irreducible	Prime
3
4	2 2
5	$(-1)(\sqrt{-5}{)}^2$	$(-1+2\varphi {)}^2$
6	2 × 3 OR $(1-\sqrt{-5})(1+\sqrt{-5})$	2 × 3
7	Irreducible	Prime
8	2 3
9	3 2 OR $(2-\sqrt{-5})(2+\sqrt{-5})$	3 2
10	$(-1)2(\sqrt{-5}{)}^2$	$2(-1+2\varphi {)}^2$
11	Prime	$(4-\varphi )(3+\varphi )$
12	2 2 × 3
13	Prime
14	2 × 7 OR $(3-\sqrt{-5})(3+\sqrt{-5})$	2 × 7
15	$(-1)3(\sqrt{-5}{)}^2$	$3(-1+2\varphi {)}^2$
16	2 4
17	Prime
18	2 × 3 2
19	Prime	$(5-\varphi )(4+\varphi )$
20	$(-1)2^2(\sqrt{-5}{)}^2$	$2^2(-1+2\varphi {)}^2$

Of course nothing actually forbids us from regarding $\mathbb{\mathbb{Z}}[\sqrt{5}]$ as a domain in its own right, even though it's not integrally closed. As it turns out, it does not have unique factorization, since, for example, $4=2^2=(-1)(1-\sqrt{5})(1+\sqrt{5})$. This fact may seem incompatible with $\mathbb{\mathbb{Z}}[\varphi ]$ being a UFD, but there is no conflict: the latter factorization is equivalent to $(-1)(2-2\varphi )(2\varphi )$ which can be rewritten as $(-1)(2^2\varphi -2^2{\varphi }^2)$ which leads to $(-1)2^2\varphi$ before finally boiling down to 2 2 after all the units are stripped away.

It is worth noting that $\mathbb{\mathbb{Z}}[\sqrt{-5}]$ has class number 2. What this means is that a number may have more than one distinct factorization into irreducibles, but in every case each of those factorizations will have the same amount of irreducibles. For example, $21=3\times 7=(4-\sqrt{-5})(4+\sqrt{-5})$, wherein we see that both factorizations consist of two irreducibles each.

Now, the number 30 may seem like a counterexample, given that $(-1)\times 2\times 3\times (\sqrt{-5}{)}^2=(5-\sqrt{-5})(5+\sqrt{-5})=30$. But that's kind of like saying that 5 × 6 is a distinct factorization of 30, because neither 5 nor 6 is irreducible in $\mathbb{\mathbb{Z}}[\sqrt{-5}]$. So, in order to prove that $(5-\sqrt{-5})(5+\sqrt{-5})$ is not a distinct factorization of 30 consisting of only two irreducibles rather than four, we need to find two numbers with a norm of 5 and another two with a norm of 6. Naturally this leads us to find $\sqrt{-5}$ and $(1-\sqrt{-5})$, and we verify that $(\sqrt{-5})(1-\sqrt{-5})=(5+\sqrt{-5})$.

Therefore, the two distinct factorizations of 30 are $(-1)\times 2\times 3\times (\sqrt{-5}{)}^2$ and $(\sqrt{-5}{)}^2(1-\sqrt{-5})(1+\sqrt{-5})$. In one of the factorizations we have felt it necessary to include the unit $-1$, though we could certainly avoid this, if we so wished, by "shopping" the associates. And if in the other factorization we were so inclined, we could prefix "$1\times$". But aside from this fiddling with the units, we essentially have two distinct factorizations each nevertheless consisting of four irreducibles.

It should be quite clear at this point that $\mathbb{\mathbb{Z}}[\sqrt{-5}]$ is not a Euclidean domain, since it's not a unique factorization domain. Of course that doesn't mean that the Euclidean algorithm will always fail to find the greatest common divisor of a given pair of numbers. Presumably if both $a$ and $b$ are purely real integers the Euclidean algorithm will still find $\gcd (a,b)$.

What if $a$ is a purely real integer but $b$ is complex? Let's try $\gcd (2,1+\sqrt{-5})$. Since $N(2)=4$ and $N(1+\sqrt{-5})=6$, perhaps we can find numbers $q$ and $r$ in this domain such that $1+\sqrt{-5}=2q+r$, with $q\ne 0$ and $N(r)<4$.

However, the four multiples of 2 nearest to $1+\sqrt{-5}$ all give $r$ such that $N(r)=6$, as the following table shows:

$2q$	$r$	$N(r)$
2	$-1+\sqrt{-5}$	6
$2+2\sqrt{-5}$	$-1-\sqrt{-5}$	6
$2\sqrt{-5}$	$1-\sqrt{-5}$	6
0	$1+\sqrt{-5}$	6

The intuition here is that as we pick multiples of 2 that are further away from $1+\sqrt{-5}$, the norm of the remainder will be increasingly larger.

But by using the basic property of parity, we need not rely on an intuition. If $2q=m+n\sqrt{-5}$, with $m,n\in \mathbb{\mathbb{Z}}$, it is obvious that both $m$ and $n$ are even. Then we have $r=(1+\sqrt{-5})-2q=(-m+1)+(-n+1)\sqrt{-5}$.

Since $(-m+1)\ne 0$ and $(-n+1)\ne 0$ either, it follows that 6 is the minimum norm of $r$. Hence the Euclidean algorithm can't proceed because it can't even start.

Factorization of 5 in some quadratic integer rings

In $\mathbb{\mathbb{Z}}$, 5 is a prime number. But it has different factorizations in some quadratic integer rings.

$\mathbb{\mathbb{Z}}[i]$	$(2-i)(2+i)$
$\mathbb{\mathbb{Z}}[\sqrt{-2}]$	Prime	$\mathbb{\mathbb{Z}}[\sqrt{2}]$	Prime
$\mathbb{\mathbb{Z}}[\omega ]$		$\mathbb{\mathbb{Z}}[\sqrt{3}]$
$\mathbb{\mathbb{Z}}[\sqrt{-5}]$	$(-1)(\sqrt{-5}{)}^2$	$\mathbb{\mathbb{Z}}[\varphi ]$	$(-1+2\varphi {)}^2$
$\mathbb{\mathbb{Z}}[\sqrt{-6}]$	Irreducible	$\mathbb{\mathbb{Z}}[\sqrt{6}]$	$(-1)(1-\sqrt{6})(1+\sqrt{6})$
${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-7})}$	Prime	$\mathbb{\mathbb{Z}}[\sqrt{7}]$	Prime
$\mathbb{\mathbb{Z}}[\sqrt{-10}]$	Irreducible	$\mathbb{\mathbb{Z}}[\sqrt{10}]$	Irreducible
${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-11})}$	$(\frac{3}{2}-\frac{\sqrt{-11}}{2})(\frac{3}{2}+\frac{\sqrt{-11}}{2})$	$\mathbb{\mathbb{Z}}[\sqrt{11}]$	$(4-\sqrt{11})(4+\sqrt{11})$
$\mathbb{\mathbb{Z}}[\sqrt{-13}]$	Irreducible	${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{13})}$	Prime
$\mathbb{\mathbb{Z}}[\sqrt{-14}]$		$\mathbb{\mathbb{Z}}[\sqrt{14}]$	$(-1)(3-\sqrt{14})(3+\sqrt{14})$
${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-15})}$		$\mathbb{\mathbb{Z}}[\sqrt{15}]$	Irreducible
$\mathbb{\mathbb{Z}}[\sqrt{-17}]$		${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{17})}$	Prime
${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-19})}$	$(\frac{1}{2}-\frac{\sqrt{-19}}{2})(\frac{1}{2}+\frac{\sqrt{-19}}{2})$	$\mathbb{\mathbb{Z}}[\sqrt{19}]$	$(9-2\sqrt{19})(9+2\sqrt{19})$.

We can say with certainty that 5 is prime in ${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-43})}$, ${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-67})}$ and ${{𝒪}}_{\mathbb{\mathbb{Q}}(\sqrt{-163})}$. For any other imaginary quadratic rings, we can only say it is irreducible, at least not without some examination of ideals in a specific ring.

Representation of 5 in various bases

Base	2	3	4	5	6 through 36
Representation	101	12	11	10	5

In the balanced ternary numeral system, 5 is {1, –1, –1}, meaning $3^2-3^1-3^0$. In negabinary, 5 has the same representation as in binary. In quater-imaginary base, 10 is 10301, since $(2i{)}^4+3(2i{)}^2+(2i{)}^0=16+3\times -4+1$. In the factorial numeral system, 5 is 21, since $2\times 2!+1=5$.

See also

Some integers

							$-1$
0	1	2	3	4	5	6	7	8	9
10	11	12	13	14	15	16	17	18	19
20	21	22	23	24	25	26	27	28	29
30	31	32	33	34	35	36	37	38	39
40	41	42	43	44	45	46	47	48	49
					1729