2

This article is about the number. For the years, see 2 BC and AD 2. For other uses, see II (disambiguation) and Number Two (disambiguation).

← 1 2 3 →
−1 0 1 2 3 4 5 6 7 8 9 → List of numbers Integers ← 0 10 20 30 40 50 60 70 80 90 →
Cardinal	two
Ordinal	2nd (second / twoth)
Numeral system	binary
Factorization	prime
Gaussian integer factorization	$(1+i)(1-i)$
Prime	1st
Divisors	1, 2
Greek numeral	Β´
Roman numeral	II, ii
Greek prefix	di-
Latin prefix	duo-/bi-
Old English prefix	twi-
Binary	102
Ternary	23
Senary	26
Octal	28
Duodecimal	212
Hexadecimal	216
Greek numeral	β'
Arabic, Kurdish, Persian, Sindhi, Urdu	٢
Ge'ez	፪
Bengali	২
Chinese numeral	二，弍，貳
Devanāgarī	२
Telugu	౨
Tamil	௨
Kannada	೨
Hebrew	ב
Armenian	Բ
Khmer	២
Maya numerals	••
Thai	๒
Georgian	Ⴁ/ⴁ/ბ(Bani)
Malayalam	൨
Babylonian numeral	𒐖
Egyptian hieroglyph, Aegean numeral, Chinese counting rod	||
Morse code	.._ _ _

2 (two) is a number, numeral and digit. It is the natural number following 1 and preceding 3. It is the smallest and the only even prime number.

Because it forms the basis of a duality, it has religious and spiritual significance in many cultures.

As a word

Two is most commonly a determiner used with plural countable nouns, as in two days or I'll take these two. Two is a noun when it refers to the number two as in two plus two is four.

Etymology of two

The word two is derived from the Old English words twā (feminine), tū (neuter), and twēġen (masculine, which survives today in the form twain).

The pronunciation /tuː/, like that of who is due to the labialization of the vowel by the w, which then disappeared before the related sound. The successive stages of pronunciation for the Old English twā would thus be /twɑː/, /twɔː/, /twoː/, /twuː/, and finally /tuː/.

Characterizations of the number

Parity

An integer is determined to be even if it is divisible by two. For integers written in a numeral system based on an even number such as decimal, divisibility by two is easily tested by merely looking at the last digit. If it is even, then the whole number is even. When written in the decimal system, all multiple of 2 will end in 0, 2, 4, 6, or 8.

1 is neither prime nor composite yet odd. 0, which is an origin to the integers in the real line, especially when considered alongside negative integers, is neither prime nor composite, however it is distinctively even (as a multiple of two) since if it were to be odd, then for some integer $k$ there would be $0=2k+1$ that yields a $k$ of $-{\tfrac {1}{2}}$, which is a contradiction (however, for a function, the zero function $f(x)=0$ is the only function to both be even and odd).

Primality

2 is the smallest, and the only even prime number. As the smallest prime number, two is also the smallest non-zero pronic number, and the only pronic prime.

The divisor function

Every integer greater than 1 will have at least two distinct factors; by definition, a prime number only has two distinct factors (itself and 1). Therefore, the number-of-divisors function $d(n)$ of positive integers $n$ satisfies, $$\liminf _{n\to \infty }d(n)=2,$$ where $\liminf$ represents the limit inferior (since there will always exist a larger prime number with a maximum of two divisors). Aside from square numbers and prime powers raised to an even exponent, or integers that are the product of an even number of prime powers with even exponents, an integer will have a $d(n)$ that is a multiple of $2$. The two smallest natural numbers $(0,1)\in \mathbb {N} _{0}$ have unique properties in this regard: $1$ is the only number with a single divisor (itself), where on the other hand, $0$ is the only number to have an infinite number of divisors, since dividing zero by any strictly positive or negative integer yields $0$ (i.e., aside from division of zero by zero, ${\tfrac {0}{0}}$).

$(0,2)\in \mathbb {N} _{0}$ is the only set of numbers whose distinct divisors (with more than one) are also consecutive integers, when excluding negative integers.

Twin primes

Meanwhile, the numbers two and three are the only two prime numbers that are consecutive integers, where the number two is also adjacent to the unit. Two is the first prime number that does not have a proper twin prime with a difference two, while three is the first such prime number to have a twin prime, five. In consequence, three and five encase four in-between, which is the square of two, $2^{2}$. These are also the two odd prime numbers that lie amongst the only all-Harshad numbers (1, 2, 4, and 6) that are also the first four highly composite numbers, with $2$ the only number that is both a prime number and a "highly composite number".

Twin primes are the smallest type of prime k-tuples, that represent patterns of repeating differences between prime numbers. A difference of two in prime k-tuples exists inside prime quintuplets, and in some types of prime triplets and prime quadruplets (etc.).

Ramanujan prime

$2$ is the first Ramanujan prime satisfying $\pi (x)-\pi \left({\frac {x}{2}}\right)\geq 1,2,3,\ldots {\text{ for all }}x\geq 2,11,17,\ldots$ where $\pi (x)$ is the prime-counting function, equal to the number of primes less than or equal to $x$.

Set theory and topology

A set that is a field has a minimum of two elements. In a set-theoretical construction of the natural numbers $\mathbb {N}$, two is identified with the set $\{\varnothing ,\{\varnothing \}\}$, where $\varnothing$ denotes the empty set. This latter set is important in category theory: it is a subobject classifier in the category of sets. With two identified with $\{0,1\}=\{\varnothing ,\{\varnothing \}\}$, $2^{S}$ can be identified with the power set of set S, and $2^{\kappa }>\kappa$ holds for any cardinal number κ; this is the content of Cantor's theorem.

A Cantor space is a topological space $2^{\mathbb {N} }$ homeomorphic to the Cantor set, whose general set is a closed set consisting purely of boundary points. The countably infinite product topology of the simplest discrete two-point space, $\{0,1\}$, is the traditional elementary example of a Cantor space. Points whose initial conditions remain on a $[0,1]$ boundary in the logistic map $x_{n+1}=rx_{n}(1-x_{n})$ form a Cantor set, where values begin to diverge beyond $r=4.$ Between $r\approx 3.45$ and $3.57$, the population approaches oscillations among $8,16,...,2^{n},\ldots ,2^{\infty }$ values before chaos ensues.

In classes of numbers

Powers of 2

Powers of two are essential in computer science, and important in the constructability of regular polygons using basic tools (e.g., through the use of Fermat or Pierpont primes). $2$ is the only number such that the sum of the reciprocals of its natural powers equals itself. In symbols,

$\sum _{n=0}^{\infty }{\frac {1}{2^{n}}}=1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+\cdots =2.$

Two also has the unique property that $2+2=2\times 2=2^{2}=2\uparrow \uparrow 2=2\uparrow \uparrow \uparrow 2={\text{ }}...$ up through any level of hyperoperation, here denoted in Knuth's up-arrow notation, all equivalent to $4.$

Notably, row sums in Pascal's triangle are in equivalence with successive powers of two, $2^{n}.$ Two is the first Mersenne prime exponent, and it is the difference between the first two Fermat primes (3 and 5).

Perfect numbers

A number is perfect if it is equal to its aliquot sum, or the sum of all of its positive divisors excluding the number itself. This is equivalent to describing a perfect number $n$ as having a sum of divisors $\sigma (n)$ equal to $2n.$ The harmonic mean of the divisors of $6$ — the smallest perfect number, unitary perfect number, and Ore number greater than $1$ — is $2$. Two itself is the smallest primary pseudoperfect number $n$ such that the reciprocal of $n$ plus the sum of reciprocals of prime factors of $n$ is $1.$ There are only two known sublime numbers, which are numbers with a perfect number of factors, whose sum itself yields a perfect number:

• $12=(2^{2})\times (2^{2}-1)$
• $6\;086\;\ldots \;264=(2^{126})\times (2^{61}-1)\times (2^{31}-1)\times (2^{19}-1)\times (2^{7}-1)\times (2^{5}-1)\times (2^{3}-1)$

The latter is a number that is seventy-six digits long (in decimal representation).

Deficient and abundant numbers

Otherwise, a number is deficient when the sum of its divisors is less than twice the number, whereas an abundant number has a sum of its proper divisors that is larger than the number itself. Primitive abundant numbers are abundant numbers whose proper divisors are all deficient.

Transcendental numbers

Euler's number $e$ can be simplified to equal,

$e=\sum \limits _{n=0}^{\infty }{\frac {1}{n!}}=2+{\frac {1}{1\cdot 2}}+{\frac {1}{1\cdot 2\cdot 3}}+\cdots$

A continued fraction for $e=[2;1,2,1,1,4,1,1,8,...]$ repeats a $\{1,2n,1\}$ pattern from the second term onward.

For a simple calculation involving pi, Brouncker's formula using the generalized continued fraction

${\frac {4}{\pi }}=1+{\cfrac {1^{2}}{2+{\cfrac {3^{2}}{2+{\cfrac {5^{2}}{2+{\cfrac {7^{2}}{2+\ddots }}}}}}}}$

contains $2$ as a constant partial denominator, where partial numerators are successive odd squares.

In other sequences

• The sum of the reciprocals of all non-zero triangular numbers converges to 2.
• Numbers also cannot be laid out in a $2\times 2$ magic square that yields a magic constant, and as such they are the only null $n$ by $n$ magic square set.
• Every number $n$ is polygonal by being $2$-gonal (i.e., a natural number), as well as the root of some type of $n$-gonal number. For $n=2$, being $2$-gonal and $n$-gonal is the same, which make two the only number that is polygonal in only one way.
• In John Conway's look-and-say function, which can be represented faithfully with a quaternary numeral system, two consecutive twos (as in "22" for "two twos"), or equivalently "2 - 2", is the only fixed point.

Regarding Bernouilli numbers $B_{2k}$, by convention $2$ has an irregularity of $-1.$ Two is also the first number to return zero for the Mertens function.

Cunningham chains

In the smallest Cunningham chains of nearly doubled primes (of the first and second kind) two is the first member, as part of the sets $\{2,3,5\}$ and $\{2,5,11,23,47\}$.

The first fifteen prime numbers between $2$ and $47$ are also consecutive primes that are part of Bhargava's seventeen-integer quadratic matrix representative of all prime numbers (only two other numbers are part of this set of prime integers, namely the nineteenth and twenty-first prime numbers 67 and 73). The seventh square number, $49=7^{2}$, is in equivalence with the sum of the first and fifteenth primes.

Binary numbers

The binary system has a radix of two, and it is the numeral system with the fewest tokens that allows denoting a natural number substantially more concisely (with $\log _{2}$ $n$ tokens) than a direct representation by the corresponding count of a single token (with $n$ tokens). This number system is used extensively in computing.

Thue-Morse sequence

In the Thue-Morse sequence $T$, that successively adjoins the binary Boolean complement from $\{0\}$ onward (in succession), the critical exponent, or largest number of times an adjoining subsequence repeats, is $2$, where there exist a vast amount of square words of the form $ww.$ Furthermore, in $c$, which counts the instances of $1$ between consecutive occurrences of $0$ in $T$ that is instead square-free, the critical exponent is also $2$, since $c=\{210201210120\ldots \}$ contains factors of exponents close to $2$ due to $T$ containing a large factor of squares. In general, the repetition threshold of an infinite binary-rich word will be $2+{\tfrac {\sqrt {2}}{2}}\approx 2.707\ldots$

In geometry

The Vesica piscis, as the common area between two circles of same radius $r$ through each other's centers. Among its uses, this shape features in the simplest elementary construction of the equilateral triangle, using only a compass and straight-edge, as shown by Euler in his landmark book Elements.

In a Euclidean space of any dimension greater than zero, two distinct points in a plane are always sufficient to define a unique line.

A digon is a polygon with two sides (or edges) and two vertices. On a circle, it is a tessellation with two antipodal points and 180° arc edges.

Regarding regular polygons in two dimensions:

• The equilateral triangle has the smallest ratio of the circumradius $R$ to the inradius $r$ of any triangle by Euler's inequality, with ${\tfrac {R}{r}}=2.$

• The long diagonal of a regular hexagon is of length 2 when its sides are of unit length.

• The span of an octagon is in silver ratio $\delta _{s}$ with its sides, which can be computed with the continued fraction $[2;2,2,...]=2.414\;235\dots$

Whereas a square of unit side length has a diagonal equal to ${\sqrt {2}}$, a space diagonal inside a tesseract measures 2 when its side lengths are of unit length.

For any polyhedron homeomorphic to a sphere, the Euler characteristic is $\chi =V-E+F=2$, where $V$ is the number of vertices, $E$ is the number of edges, and $F$ is the number of faces. A double torus has an Euler characteristic of $-2$, on the other hand, and a non-orientable surface of like genus $k$ has a characteristic $\chi =2-k$.

The simplest tessellation in two-dimensional space, though an improper tessellation, is that of two $\infty$-sided apeirogons joined along all their edges, coincident about a line that divides the plane in two. This order-2 apeirogonal tiling is the arithmetic limit of the family of dihedra $\{p,2\}$. The second dimension is also the only dimension where there are both an infinite number of Euclidean and hyperbolic regular polytopes (as polygons), and an infinite number of regular hyperbolic paracompact tesselations.

List of basic calculations

Multiplication	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	50	100
2 × x	2	4	6	8	10	12	14	16	18	20	22	24	26	28	30	32	34	36	38	40	42	44	46	48	50	100	200

Division	1	2	3	4	5	6	7	8	9	10		11	12	13	14	15	16	17	18	19	20
2 ÷ x	2	1	0.6	0.5	0.4	0.3	0.285714	0.25	0.2	0.2		0.18	0.16	0.153846	0.142857	0.13	0.125	0.1176470588235294	0.1	0.105263157894736842	0.1
x ÷ 2	0.5		1.5	2	2.5	3	3.5	4	4.5	5		5.5	6	6.5	7	7.5	8	8.5	9	9.5	10

Exponentiation	1	2	3	4	5	6	7	8	9	10		11	12	13	14	15	16	17	18	19	20
2x	2	4	8	16	32	64	128	256	512	1024		2048	4096	8192	16384	32768	65536	131072	262144	524288	1048576
x2	1		9		25	36	49	64	81	100		121	144	169	196	225	256	289	324	361	400

Evolution of the Arabic digit

The digit used in the modern Western world to represent the number 2 traces its roots back to the Indic Brahmic script, where "2" was written as two horizontal lines. The modern Chinese and Japanese languages (and Korean Hanja) still use this method. The Gupta script rotated the two lines 45 degrees, making them diagonal. The top line was sometimes also shortened and had its bottom end curve towards the center of the bottom line. In the Nagari script, the top line was written more like a curve connecting to the bottom line. In the Arabic Ghubar writing, the bottom line was completely vertical, and the digit looked like a dotless closing question mark. Restoring the bottom line to its original horizontal position, but keeping the top line as a curve that connects to the bottom line leads to our modern digit.

In fonts with text figures, digit 2 usually is of x-height, for example, .

In science

• The number of polynucleotide strands in a DNA double helix.
• The first magic number.
• The atomic number of helium.

See also

• Binary number

External links

• Prime curiosities: 2