Mathematics
17 is a Leyland number [3] and Leyland prime, [4] using 2 & 3 (23 + 32) and using 4 and 5
Since seventeen is a Fermat prime, regular heptadecagons can be constructed with a compass and unmarked ruler. This was proven by Carl Friedrich Gauss and ultimately led him to choose mathematics over philology for his studies. [7] [8]
The minimum possible number of givens for a sudoku puzzle with a unique solution is 17. [9] [10]
Geometric properties
Two-dimensions
- There are seventeen crystallographic space groups in two dimensions. [11] These are sometimes called wallpaper groups, as they represent the seventeen possible symmetry types that can be used for wallpaper.
- Also in two dimensions, seventeen is the number of combinations of regular polygons that completely fill a plane vertex. [12] Eleven of these belong to regular and semiregular tilings, while 6 of these (3.7.42, [13] 3.8.24, [14] 3.9.18, [15] 3.10.15, [16] 4.5.20, [17] and 5.5.10) [18] exclusively surround a point in the plane and fill it only when irregular polygons are included. [19]
- Seventeen is the minimum number of vertices on a two-dimensional graph such that, if the edges are colored with three different colors, there is bound to be a monochromatic triangle; see Ramsey's theorem. [20]
- Either 16 or 18 unit squares can be formed into rectangles with perimeter equal to the area; and there are no other natural numbers with this property. The Platonists regarded this as a sign of their peculiar propriety; and Plutarch notes it when writing that the Pythagoreans "utterly abominate" 17, which "bars them off from each other and disjoins them". [21]
17 is the least for the Theodorus Spiral to complete one revolution. [22] This, in the sense of Plato, who questioned why Theodorus (his tutor) stopped at when illustrating adjacent right triangles whose bases are units and heights are successive square roots, starting with . In part due to Theodorus’s work as outlined in Plato’s Theaetetus , it is believed that Theodorus had proved all the square roots of non-square integers from 3 to 17 are irrational by means of this spiral.
Enumeration of icosahedron stellations
In three-dimensional space, there are seventeen distinct fully supported stellations generated by an icosahedron. [23] The seventeenth prime number is 59, which is equal to the total number of stellations of the icosahedron by Miller's rules. [24] [25] Without counting the icosahedron as a zeroth stellation, this total becomes 58, a count equal to the sum of the first seven prime numbers (2 + 3 + 5 + 7 ... + 17). [26] Seventeen distinct fully supported stellations are also produced by truncated cube and truncated octahedron. [23]
Four-dimensional zonotopes
Seventeen is also the number of four-dimensional parallelotopes that are zonotopes. Another 34, or twice 17, are Minkowski sums of zonotopes with the 24-cell, itself the simplest parallelotope that is not a zonotope. [27]
Abstract algebra
Seventeen is the highest dimension for paracompact Vineberg polytopes with rank mirror facets, with the lowest belonging to the third. [28]
17 is a supersingular prime, because it divides the order of the Monster group. [29] If the Tits group is included as a non-strict group of Lie type, then there are seventeen total classes of Lie groups that are simultaneously finite and simple (see classification of finite simple groups). In base ten, (17, 71) form the seventh permutation class of permutable primes. [30]
Other notable properties
- The sequence of residues (mod n) of a googol and googolplex, for , agree up until .[ citation needed ]
- Seventeen is the longest sequence for which a solution exists in the irregularity of distributions problem. [31]
