A plane curve given by the parametric equations(1)(2)The plots above show curves for values of from 0 to 7.The teardrop curve has area(3)
Min Max Min Max Re Im Let and be periods of a doubly periodic function, with the half-period ratio a number with . Then Klein's absolute invariant (also called Klein's modular function) is defined as(1)where and are the invariants of the Weierstrass elliptic function with modular discriminant(2)(Klein 1877). If , where is the upper half-plane, then(3)is a function of the ratio only, as are , , and . Furthermore, , , , and are analytic in (Apostol 1997, p. 15).Klein's absolute invariant is implemented in the WolframLanguage as KleinInvariantJ[tau].The function is the same as the j-function, modulo a constant multiplicative factor.Every rational function of is a modular function, and every modular function can be expressed as a rational function of (Apostol 1997, p. 40).Klein's invariant can be given explicitly by(4)(5)(Klein 1878-1879, Cohn 1994), where is the elliptic lambda function(6) is a Jacobi theta function, the are..
The least common multiple of two numbers and , variously denoted (this work; Zwillinger 1996, p. 91; Råde and Westergren 2004, p. 54), (Gellert et al. 1989, p. 25; Graham et al. 1990, p. 103; Bressoud and Wagon 2000, p. 7; D'Angelo and West 2000, p. 135; Yan 2002, p. 31; Bronshtein et al. 2007, pp. 324-325; Wolfram Language), l.c.m. (Andrews 1994, p. 22; Guy 2004, pp. 312-313), or , is the smallest positive number for which there exist positive integers and such that(1)The least common multiple of more than two numbers is similarly defined.The least common multiple of , , ... is implemented in the Wolfram Language as LCM[a, b, ...].The least common multiple of two numbers and can be obtained by finding the prime factorization of each(2)(3)where the s are all prime factors of and , and if does not occur in one factorization, then the corresponding exponent is taken as 0. The least..
A bubble is a minimal-energy surface of the type that is formed by soap film. The simplest bubble is a single sphere, illustrated above (courtesy of J. M. Sullivan). More complicated forms occur when multiple bubbles are joined together. The simplest example is the double bubble, and beautiful configurations can form when three or more bubbles are conjoined (Sullivan).An outstanding problem involving bubbles is the determination of the arrangements of bubbles with the smallest surface area which enclose and separate given volumes in space.
Place two solid spheres of radius 1/2 inside a hollow sphere of radius 1 so that the two smaller spheres touch each other at the center of the large sphere and are tangent to the large sphere on the extremities of one of its diameters. This arrangement is called the "bowl of integers" (Soddy 1937) since the bend of each of the infinite chain of spheres that can be packed into it such that each successive sphere is tangent to its neighbors is an integer. The first few bends are then , 2, 5, 6, 9, 11, 14, 15, 18, 21, 23, ... (OEIS A046160). The sizes and positions of the first few rings of spheres are given in the table below.100--220--3546059611071481591801021112312270, 1330143315380Spheres can also be packed along the plane tangent to the two spheres of radius 2 (Soddy 1937). The sequence of integers for can be found using the equation of five tangent spheres. Letting givesFor example, , , , , , and so on, giving the sequence , 2, 3, 11, 15, 27, 35, 47,..
The Reuleaux tetrahedron, sometimes also called the spherical tetrahedron, is the three-dimensional solid common to four spheres of equal radius placed so that the center of each sphere lies on the surface of the other three. The centers of the spheres are therefore located at the vertices of a regular tetrahedron, and the solid consists of an "inflated" tetrahedron with four curved edges.Note that the name, coined here for the first time, is based on the fact that the geometric shape is the three-dimensional analog of the Reuleaux triangle, not the fact that it has constant width. In fact, the Reuleaux tetrahedron is not a solid of constant width. However, Meißner (1911) showed how to modify the Reuleaux tetrahedron to form a surface of constant width by replacing three of its edge arcs by curved patches formed as the surfaces of rotation of a circular arc. Depending on which three edge arcs are replaced (three that have a common..
The term diamond is another word for a rhombus. The term is also used to denote a square tilted at a angle.The diamond shape is a special case of the superellipse with parameter , giving it implicit Cartesian equation(1)Since the diamond is a rhombus with diagonals and , it has inradius(2)(3)Writing as an algebraic curve gives the quartic curve(4)which is a diamond curve with the diamond edges extended to infinity.When considered as a polyomino, the diamond of order can be considered as the set of squares whose centers satisfy the inequality . There are then squares in the order- diamond, which is precisely the centered square number of order . For , 2, ..., the first few values are 1, 5, 13, 25, 41, 61, 85, 113, 145, ... (OEIS A001844).The diamond is also the name given to the unique 2-polyiamond...
The Kaprekar routine is an algorithm discovered in 1949 by D. R. Kaprekar for 4-digit numbers, but which can be generalized to -digit numbers. To apply the Kaprekar routine to a number , arrange the digits in descending () and ascending () order. Now compute (discarding any initial 0s) and iterate, where is sometimes called the Kaprekar function. The algorithm reaches 0 (a degenerate case), a constant, or a cycle, depending on the number of digits in and the value of . The list of values is sometimes called a Kaprekar sequence, and the result is sometimes called a Kaprekar number (Deutsch and Goldman 2004), though this nomenclature should be deprecated because of confusing with the distinct sort of Kaprekar number.In base-10, the numbers for which are given by 495, 6174, 549945, 631764, ... (OEIS A099009). Similarly, the numbers for which iterating gives a cycle of length are given by 53955, 59994, 61974, 62964, 63954, 71973, ... (OEIS..
An irreducible fraction is a fraction for which , i.e., and are relatively prime. For example, in the complex plane, is reducible, while is not.The figure above shows the irreducible fractions plotted in the complex plane (Pickover 1997; Trott 2004, p. 29).
A star polygon , with positive integers, is a figure formed by connecting with straight lines every th point out of regularly spaced points lying on a circumference. The number is called the polygon density of the star polygon. Without loss of generality, take . The star polygons were first systematically studied by Thomas Bradwardine.The circumradius of a star polygon with and unit edge lengths is given by(1)and its characteristic polynomial is a factor of the resultant with respect to of the polynomials(2)(3)where is a Chebyshev polynomial of the first kind (Gerbracht 2008).The usual definition (Coxeter 1969) requires and to be relatively prime. However, the star polygon can also be generalized to the star figure (or "improper" star polygon) when and share a common divisor (Savio and Suryanaroyan 1993). For such a figure, if all points are not connected after the first pass, i.e., if , then start with the first unconnected point..
A star polygon-like figure for which and are not relatively prime. Examples include the hexagram , star of Lakshmi , and nonagram .
A double bubble is pair of bubbles which intersect and are separated by a membrane bounded by the intersection. The usual double bubble is illustrated in the left figure above. A more exotic configuration in which one bubble is torus-shaped and the other is shaped like a dumbbell is illustrated at right (illustrations courtesy of J. M. Sullivan).In the plane, the analog of the double bubble consists of three circular arcs meeting in two points. It has been proved that the configuration of arcs meeting at equal angles) has the minimum perimeter for enclosing two equal areas (Alfaro et al. 1993, Morgan 1995).It had been conjectured that two equal partial spheres sharing a boundary of a flat disk separate two volumes of air using a total surface area that is less than any other boundary. This equal-volume case was proved by Hass et al. (1995), who reduced the problem to a set of integrals which they carried out on an ordinary PC. Frank Morgan,..
The binomial coefficient is the number of ways of picking unordered outcomes from possibilities, also known as a combination or combinatorial number. The symbols and are used to denote a binomial coefficient, and are sometimes read as " choose ." therefore gives the number of k-subsets possible out of a set of distinct items. For example, The 2-subsets of are the six pairs , , , , , and , so . The number of lattice paths from the origin to a point ) is the binomial coefficient (Hilton and Pedersen 1991).The value of the binomial coefficient for nonnegative and is given explicitly by(1)where denotes a factorial. Writing the factorial as a gamma function allows the binomial coefficient to be generalized to noninteger arguments (including complex and ) as(2)For nonnegative integer arguments, the gamma function reduces to factorials, leading to(3)which is Pascal's triangle. Using the symmetryformula(4)for integer , and complex , this..
A regular polygon is an -sided polygon in which the sides are all the same length and are symmetrically placed about a common center (i.e., the polygon is both equiangular and equilateral). Only certain regular polygons are "constructible" using the classical Greek tools of the compass and straightedge.The terms equilateral triangle and square refer to the regular 3- and 4-polygons, respectively. The words for polygons with sides (e.g., pentagon, hexagon, heptagon, etc.) can refer to either regular or non-regular polygons, although the terms generally refer to regular polygons in the absence of specific wording.A regular -gon is implemented in the Wolfram Language as RegularPolygon[n], or more generally as RegularPolygon[r, n], RegularPolygon[x, y, rspec, n], etc.The sum of perpendiculars from any point to the sides of a regular polygon of sides is times the apothem.Let be the side length, be the inradius, and the circumradius..
A hyperboloid is a quadratic surface which may be one- or two-sheeted. The one-sheeted hyperboloid is a surface of revolution obtained by rotating a hyperbola about the perpendicular bisector to the line between the foci, while the two-sheeted hyperboloid is a surface of revolution obtained by rotating a hyperbola about the line joining the foci (Hilbert and Cohn-Vossen 1991, p. 11).
A demiregular tessellation, also called a polymorph tessellation, is a type of tessellation whose definition is somewhat problematical. Some authors define them as orderly compositions of the three regular and eight semiregular tessellations (which is not precise enough to draw any conclusions from), while others defined them as a tessellation having more than one transitivity class of vertices (which leads to an infinite number of possible tilings).The number of demiregular tessellations is commonly given as 14 (Critchlow 1970, pp. 62-67; Ghyka 1977, pp. 78-80; Williams 1979, p. 43; Steinhaus 1999, pp. 79 and 81-82). However, not all sources apparently give the same 14. Caution is therefore needed in attempting to determine what is meant by "demiregular tessellation."A more precise term of demiregular tessellations is 2-uniform tessellations (Grünbaum and Shephard 1986, p. 65)...
Regular tessellations of the plane by two or more convex regular polygons such that the same polygons in the same order surround each polygon vertex are called semiregular tessellations, or sometimes Archimedean tessellations. In the plane, there are eight such tessellations, illustrated above (Ghyka 1977, pp. 76-78; Williams 1979, pp. 37-41; Steinhaus 1999, pp. 78-82; Wells 1991, pp. 226-227). Williams (1979, pp. 37-41) also illustrates the dual tessellations of the semiregular tessellations. The dual tessellation of the tessellation of squares and equilateral triangles is called the Cairo tessellation (Williams 1979, p. 38; Wells 1991, p. 23).
Consider a two-dimensional tessellation with regular -gons at each polygon vertex. In the plane,(1)(2)so(3)(Ball and Coxeter 1987), and the only factorizations are(4)(5)(6)Therefore, there are only three regular tessellations (composed of the hexagon, square, and triangle), illustrated above (Ghyka 1977, p. 76; Williams 1979, p. 36; Wells 1991, p. 213).There do not exist any regular star polygon tessellations in the plane. Regular tessellations of the sphere by spherical triangles are called triangular symmetry groups.
A plane tiling is said to be isohedral if the symmetry group of the tiling acts transitively on the tiles, and -isohedral if the tiles fall into n orbits under the action of the symmetry group of the tiling. A -anisohedral tiling is a tiling which permits no -isohedral tiling with .The numbers of anisohedral polyominoes with , 9, 10, ... are 1, 9, 44, 108, 222, ... (OEIS A075206), the first few of which are illustrated above (Myers).
A generalization to a quartic three-dimensional surface is the quartic surface of revolution(1)illustrated above. With , this surface is termed the "zeck" surface by Hauser. It has volume(2)geometric centroid(3)(4)(5)and inertia tensor(6)for constant density and mass .
Consider the plane quartic curve defined bywhere homogeneous coordinates have been used here so that can be considered a parameter (the plot above shows the curve for a number of values of between and 2), over a field of characteristic 3. Hartshorne (1977, p. 305) terms this "a funny curve" since it is nonsingular, every point is an inflection point, and the dual curve is isomorphic to but the natural map is purely inseparable.The surface in complex projective coordinates (Levy 1999, p. ix; left figure), and with the ideal surface determined by the equation(Thurston 1999, p. 3; right figure) is more properly known as the Klein quarticor Klein curve. It has constant zero Gaussian curvature.Klein (1879; translation reprinted in 1999) discovered that this surface has a number of remarkable properties, including an incredible 336-fold symmetry when mirror reflections are allowed (Levy 1999, p. ix; Thurston..
A dragon curve is a recursive nonintersecting curve whose name derives from its resemblance to a certain mythical creature.The curve can be constructed by representing a left turn by 1 and a right turn by 0. The first-order curve is then denoted 1. For higher order curves, append a 1 to the end, then append the string of preceding digits with its middle digit complemented. For example, the second-order curve is generated as follows: , and the third as .Continuing gives 110110011100100... (OEIS A014577), which is sometimes known as the regular paperfolding sequence and written with s instead of 0s (Allouche and Shallit 2003, p. 155). A recurrence plot of the limiting value of this sequence is illustrated above.Representing the sequence of binary digits 1, 110, 1101100, 110110011100100, ... in octal gives 1, 6, 154, 66344, ...(OEIS A003460; Gardner 1978, p. 216).This procedure is equivalent to drawing a right angle and subsequently..
The curve produced by fixed point on the circumference of a small circle of radius rolling around the inside of a large circle of radius . A hypocycloid is therefore a hypotrochoid with .To derive the equations of the hypocycloid, call the angle by which a point on the small circle rotates about its center , and the angle from the center of the large circle to that of the small circle . Then(1)so(2)Call . If , then the first point is at minimum radius, and the Cartesian parametric equations of the hypocycloid are(3)(4)(5)(6)If instead so the first point is at maximum radius (on the circle), then the equations of the hypocycloid are(7)(8)The curvature, arc length, and tangential angle of a hypocycloid are given by(9)(10)(11)An -cusped hypocycloid has . For an integer and with , the equations of the hypocycloid therefore become(12)(13)and the arc length and area are therefore(14)(15)A 2-cusped hypocycloid is a line segment (Steinhaus 1999, p. 145;..
The path traced out by a point on the edge of a circle of radius rolling on the outside of a circle of radius . An epicycloid is therefore an epitrochoid with . Epicycloids are given by the parametric equations(1)(2)A polar equation can be derived by computing(3)(4)so(5)But(6)so(7)(8)Note that is the parameter here, not the polar angle. The polar angle from the center is(9)To get cusps in the epicycloid, , because then rotations of bring the point on the edge back to its starting position.(10)(11)(12)(13)so(14)(15)An epicycloid with one cusp is called a cardioid, one with two cusps is called a nephroid, and one with five cusps is called a ranunculoid.Epicycloids can also be constructed by beginning with the diameter of a circle and offsetting one end by a series of steps of equal arc length along the circumference while at the same time offsetting the other end along the circumference by steps times as large. After traveling around the circle once,..
The Archimedean solid with faces . It is also uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["TruncatedTetrahedron"].The dual of the truncated tetrahedron is the triakis tetrahedron. The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(1)(2)(3)The distances from the center of the solid to the centroids of the triangular and hexagonal faces are given by(4)(5)The surface area and volumeare(6)(7)
The snub cube, also called the cubus simus (Kepler 1619, Weissbach and Martini 2002) or snub cuboctahedron, is an Archimedean solid having 38 faces (32 triangular and 6 square), 60 edges, and 24 vertices. It is a chiral solid, and hence has two enantiomorphous forms known as laevo (left-handed) and dextro (right-handed).It is Archimedean solid , uniform polyhedron , and Wenninger model . It has Schläfli symbol and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["SnubCube"].Surprisingly, the tribonacci constant is intimately related to the metric properties of the snub cube.It can be constructed by snubification of a unit cube with outward offset(1)(2)and twist angle(3)(4)(5)(6)Here, the notation indicates a polynomial root and is the tribonacci constant.An attractive dual of the two enantiomers superposed on one another is illustrated above.Its dual polyhedron is the pentagonalicositetrahedron.The..
The pentagonal icositetrahedron is the 24-faced dual polyhedron of the snub cube and Wenninger dual . The mineral cuprite () forms in pentagonal icositetrahedral crystals (Steinhaus 1999, pp. 207 and 209).Because it is the dual of the chiral snub cube, the pentagonal icositetrahedron also comes in two enantiomorphous forms, known as laevo (left) and dextro (right). An attractive dual of the two enantiomers superposed on one another is illustrated above.A cube, octahedron, and stella octangula can all be inscribed on the vertices of the pentagonal icositetrahedron (E. Weisstein, Dec. 25, 2009).Surprisingly, the tribonacci constant is intimately related to the metric properties of the pentagonal icositetrahedron cube.Its irregular pentagonal faces have vertex angles of(1)(2)(3)(four times) and(4)(5)(6)(once), where is a polynomial root and is the tribonacci constant.The dual formed from a snub cube with..
The truncated octahedron is the 14-faced Archimedean solid , with faces . It is also uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol . It was called the "mecon" by Buckminster Fuller (Rawles 1997).The dual polyhedron of the truncated octahedron is the tetrakis hexahedron. The truncated octahedron has the octahedral group of symmetries. The form of the fluorite () resembles the truncated octahedron (Steinhaus 1999, pp. 207-208).It is implemented in the Wolfram Languageas PolyhedronData["TruncatedOctahedron"].The solid of edge length can be formed from an octahedron of edge length via truncation by removing six square pyramids, each with edge slant height , base on a side, and height . The height and base area of the square pyramid are then(1)(2)(3)and its volume is(4)(5)The volume of the truncated octahedron is then given bythe volume of the octahedron(6)(7)minus..
In general, a triakis octahedron is a non-regular icositetrahedron that can be constructed as a positive augmentation of regular octahedron. Such a solid is also known as a trisoctahedron, especially to mineralogists (Correns 1949, p. 41; Berry and Mason 1959, p. 127). While the resulting icositetrahedron is not regular, its faces are all identical. The small triakis octahedron, called simply the triakis octahedron by Holden (1971, p. 55), is the 24-faced dual polyhedron of the truncated cube and is Wenninger dual . The addition of the word "small" is necessary to distinguish it from the great triakis octahedron, which is the dual of the stellated truncated hexahedron. The small triakis octahedron It can be constructed by augmentation of a unit edge-length octahedron by a pyramid with height .A small triakis octahedron appears in the middle right as one of the polyhedral "stars" in M. C. Escher's..
The pentagonal hexecontahedron is the 60-faced dual polyhedron of the snub dodecahedron (Holden 1971, p. 55). It is Wenninger dual .A tetrahedron 10-compound, cube 5-compound, icosahedron, and dodecahedron can be inscribed in the vertices of the pentagonal hexecontahedron (E. Weisstein, Dec. 25-27, 2009).Its irregular pentagonal faces have vertex angles of(1)(2)(four times) and(3)(4)(once), where is a polynomial root.Because it is the dual of the chiral snub dodecahedron, the pentagonal hexecontahedron also comes in two enantiomorphous forms, known as laevo (left) and dextro (right). An attractive dual of the two enantiomers superposed on one another is illustrated above.Starting with a snub dodecahedron with unit edge lengths, the edges lengths of the pentagonal hexecontahedron are given by the roots of (5)(6)which have approximate values and .The surface area and volume are both given by the roots of 12th-order..
The small rhombicuboctahedron is the 26-faced Archimedean solid consisting of faces . Although this solid is sometimes also called the truncated icosidodecahedron, this name is inappropriate since true truncation would yield rectangular instead of square faces. It is uniform polyhedron and Wenninger model . It has Schläfli symbol r and Wythoff symbol .The solid may also be called an expanded (or cantellated) cube or octahedron sinceit may be constructed from either of these solids by the process of expansion.A small rhombicuboctahedron appears in the middle right as one of the polyhedral "stars" in M. C. Escher's 1948 wood engraving "Stars" (Forty 2003, Plate 43).It is implemented in the Wolfram Languageas PolyhedronData["SmallRhombicuboctahedron"].Its dual polyhedron is the deltoidal icositetrahedron, also called the trapezoidal icositetrahedron. The inradius of the..
The 32-faced Archimedean solid with faces . It is also uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["TruncatedDodecahedron"].The dual polyhedron is the triakisicosahedron.To construct the truncated dodecahedron by truncation, note that we want the inradius of the truncated pentagon to correspond with that of the original pentagon, , of unit side length . This means that the side lengths of the decagonal faces in the truncated dodecahedron satisfy(1)giving(2)The length of the corner which is chopped off is therefore given by(3)The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(4)(5)(6)The distances from the center of the solid to the centroids of the triangular and decagonal faces are given by(7)(8)The surface area and volumeare(9)(10)..
The 62-faced Archimedean solid with faces . It is uniform polyhedron and Wenninger model . It has Schläfli symbol r and Wythoff symbol . The small dodecicosidodecahedron and small rhombidodecahedron are faceted versions.It is implemented in the Wolfram Languageas PolyhedronData["SmallRhombicosidodecahedron"].Its dual polyhedron is the deltoidal hexecontahedron. The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(1)(2)(3)It has surface area(4)and volume(5)
The 26-faced Archimedean solid consisting of faces . It is sometimes (improperly) called the truncated cuboctahedron (Ball and Coxeter 1987, p. 143), and is also more properly called the rhombitruncated cuboctahedron. It is uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol .The great rhombicuboctahedron is an equilateral zonohedron and the Minkowski sum of three cubes. It can be combined with cubes and truncated octahedra into a regular space-filling pattern.The small cubicuboctahedron is a facetedversion of the great rhombicuboctahedron.Its dual is the disdyakis dodecahedron, also called the hexakis octahedron. The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(1)(2)(3)(4)(5)(6)Additional quantities are(7)(8)(9)(10)(11)The distances between the solid center and centroids of the square and octagonal faces are(12)(13)The surface..
The 14-faced Archimedean solid with faces . It is also uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["TruncatedCube"].The dual polyhedron of the truncated cube is the small triakis octahedron. The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(1)(2)(3)The distances from the center of the solid to the centroids of the triangular and octagonal faces are(4)(5)The surface area and volumeare(6)(7)
The rhombic triacontahedron is a zonohedron which is the dual polyhedron of the icosidodecahedron (Holden 1971, p. 55). It is Wenninger dual . It is composed of 30 golden rhombi joined at 32 vertices. It is a zonohedron and one of the five golden isozonohedra.The intersecting edges of the dodecahedron-icosahedron compound form the diagonals of 30 rhombi which comprise the triacontahedron. The cube 5-compound has the 30 facial planes of the rhombic triacontahedron and its interior is a rhombic triacontahedron (Wenninger 1983, p. 36; Ball and Coxeter 1987).More specifically, a tetrahedron 10-compound, cube 5-compound, icosahedron, and dodecahedron can be inscribed in the vertices of the rhombic triacontahedron (E. Weisstein, Dec. 25-27, 2009).The rhombic triacontahedron is implemented in the WolframLanguage as PolyhedronData["RhombicTriacontahedron"].The short diagonals of the faces..
In general, a triakis tetrahedron is a non-regular dodecahedron that can be constructed as a positive augmentation of a regular tetrahedron. Such a solid is also known as a tristetrahedron, especially to mineralogists (Correns 1949, p. 41; Berry and Mason 1959, p. 127). While the resulting dodecahedron is not regular, its faces are all identical. "The" triakis tetrahedron is the dual polyhedron of the truncated tetrahedron (Holden 1971, p. 55) and Wenninger dual . It can be constructed by augmentation of a unit edge-length tetrahedron by a pyramid with height .Five tetrahedra of unit edge length (corresponding to a central tetrahedron and its regular augmentation) and one tetrahedron of edge length 5/3 can be inscribed in the vertices of the unit triakis tetrahedron, forming the configurations illustrated above.The triakis tetrahedron formed by taking the dual of a truncated tetrahedron with unit edge..
The (first) rhombic dodecahedron is the dual polyhedron of the cuboctahedron (Holden 1971, p. 55) and Wenninger dual . Its sometimes also called the rhomboidal dodecahedron (Cotton 1990), and the "first" may be included when needed to distinguish it from the Bilinski dodecahedron (Bilinski 1960, Chilton and Coxeter 1963).A rhombic dodecahedron appears in the upper right as one of the polyhedral "stars" in M. C. Escher's 1948 wood engraving "Stars" (Forty 2003, Plate 43).The rhombic dodecahedron is implemented in the WolframLanguage as PolyhedronData["RhombicDodecahedron"].The 14 vertices of the rhombic dodecahedron are joined by 12 rhombiof the dimensions shown in the figure below, where(1)(2)(3)(4)(5)The rhombic dodecahedron can be built up by a placing six cubes on the faces of a seventh, in the configuration of a metal "jack" (left figure). Joining..
The disdyakis triacontahedron is the dual polyhedron of the Archimedean great rhombicosidodecahedron . It is also known as the hexakis icosahedron (Holden 1971, p. 55). It is Wenninger dual .A tetrahedron 10-compound, octahedron 5-compound, cube 5-compound, icosahedron, dodecahedron, and icosidodecahedron can be inscribed in the vertices of a disdyakis triacontahedron (E. Weisstein, Dec. 26-27, 2009).Starting with an Archimedean great rhombicosidodecahedron of unit edge lengths, the edge lengths of the corresponding disdyakis triacontahedron are(1)(2)(3)The corresponding midradius is(4)The surface area and volume are(5)(6)
The 60-faced dual polyhedron of the truncated dodecahedron (Holden 1971, p. 55) and Wenninger dual . Wenninger (1989, p. 46) calls the small triambic icosahedron the triakis octahedron.A tetrahedron 10-compound, cube 5-compound, icosahedron, and dodecahedron can be inscribed on the vertices of the triakis icosahedron (E. Weisstein, Dec. 25-27, 2009).Taking the dual of a truncated dodecahedronwith unit edge lengths gives a triakis icosahedron with edge lengths(1)(2)The surface area and volumeare(3)(4)
In general, a tetrakis hexahedron is a non-regular icositetrahedron that can be constructed as a positive augmentation of a cube. Such a solid is also known as a tetrahexahedron, especially to mineralogists (Correns 1949, p. 41; Berry and Mason 1959, p. 127). While the resulting icositetrahedron is not regular, its faces are all identical. "The" tetrakis hexahedron is the 24-faced dual polyhedron of the truncated octahedron (Holden 1971, p. 55) and Wenninger dual . It can be constructed by augmentation of a unit cube by a pyramid with height 1/4.A cube, octahedron, and stella octangula can all be inscribed in the vertices of the tetrakis hexahedron (E. Weisstein, Dec. 25, 2009).The edge lengths for the tetrakis hexahedron constructed as the dual of the truncatedoctahedron with unit edge lengths are(1)(2)Normalizing so that gives a tetrakis hexahedron with surface area and volume(3)(4)..
The deltoidal icositetrahedron is the 24-faced dual polyhedron of the small rhombicuboctahedron and Wenninger dual . It is also called the trapezoidal icositetrahedron (Holden 1971, p. 55).A deltoidal icositetrahedron appears in the middle right as one of the polyhedral "stars" in M. C. Escher's 1948 wood engraving "Stars" (Forty 2003, Plate 43).A stella octangula, attractive octahedron 4-compound (whose dual is an attractive cube 4-compound), and cube can all be inscribed in a deltoidal icositetrahedron (E. Weisstein, Dec. 24, 2009). Superposing all these solids gives the beautiful compound illustrated above.For a small rhombicuboctahedron withunit edge length, the deltoidal icositetrahedron has edge lengths(1)(2)and inradius(3)Normalizing so the smallest edge has unit edge length gives a deltoidal icositetrahedron with surface area and volume(4)(5)..
The square antiprism is the antiprism with square bases whose dual is the tetragonal trapezohedron. The square antiprism has 10 faces.The square antiprism with unit edge lengths has surfacearea and volume(1)(2)
The deltoidal hexecontahedron is the 60-faced dual polyhedron of the small rhombicosidodecahedron . It is sometimes also called the trapezoidal hexecontahedron (Holden 1971, p. 55), strombic hexecontahedron, or dyakis hexecontahedron (Unkelbach 1940). It is Wenninger dual .A tetrahedron 10-compound, octahedron 5-compound, cube 5-compound, icosahedron, dodecahedron, and icosidodecahedron can all be inscribed in the vertices of the deltoidal hexecontahedron (E. W. Weisstein, Dec. 24-27, 2009). The resulting compound of all these inscriptable solids is also illustrated above.Starting from a small rhombicosidodecahedron of unit edge length, the edge lengths of the corresponding deltoidal hexecontahedron are(1)(2)The corresponding midradius is(3)The surface area and volume are(4)(5)..
A cuboctahedron, also called the heptaparallelohedron or dymaxion (the latter according to Buckminster Fuller; Rawles 1997), is Archimedean solid with faces . It is one of the two convex quasiregular polyhedra. It is uniform polyhedron and Wenninger model . It has Schläfli symbol and Wythoff symbol .A cuboctahedron appears in the lower left as one of the polyhedral "stars" in M. C. Escher's 1948 wood engraving "Stars" (Forty 2003, Plate 43), as well is in the mezzotint "Crystal" (Bool et al. 1982, p. 293).It is implemented in the Wolfram Languageas PolyhedronData["Cuboctahedron"].It is shown above in a number of symmetric projections.The dual polyhedron is the rhombic dodecahedron. The cuboctahedron has the octahedral group of symmetries. According to Heron, Archimedes ascribed the cuboctahedron to Plato (Heath 1981; Coxeter 1973, p. 30). The polyhedron..
The snub dodecahedron is an Archimedean solid consisting of 92 faces (80 triangular, 12 pentagonal), 150 edges, and 60 vertices. It is sometimes called the dodecahedron simum (Kepler 1619, Weissbach and Martini 2002) or snub icosidodecahedron. It is a chiral solid, and therefore exists in two enantiomorphous forms, commonly called laevo (left-handed) and dextro (right-handed).It is Archimedean solid , uniform polyhedron and Wenninger model . It has Schläfli symbol s and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["SnubDodecahedron"].An attractive dual of the two enantiomers superposed on one another is illustrated above.The dual polyhedron of the snub dodecahedron isthe pentagonal hexecontahedron.It can be constructed by snubification of a dodecahedron of unit edge length with outward offset(1)and twist angle(2)Here, the notation indicates a polynomial root.The inradius..
The pentakis dodecahedron is the 60-faced dual polyhedron of the truncated icosahedron (Holden 1971, p. 55). It is Wenninger dual . It can be constructed by augmentation of a unit edge-length dodecahedron by a pyramid with height .A tetrahedron 10-compound, cube 5-compound, icosahedron, and dodecahedron can be inscribed in the vertices of the pentakis dodecahedron (E. Weisstein, Dec. 25-27, 2009).Taking the dual of a truncated icosahedronwith unit edge lengths gives a pentakis dodecahedron with edge lengths(1)(2)Normalizing so that , the surface area and volume are(3)(4)
A matrix with elements(1)for , 2, ..., . Hilbert matrices are implemented in the Wolfram Language by HilbertMatrix[m, n]. The figure above shows a plot of the Hilbert matrix with elements colored according to their values.Hilbert matrices whose entries are specified as machine-precision numbers are difficult to invert using numerical techniques.The determinants for the first few values of for , 2, ... are given by one divided by 1, 12, 2160, 6048000, 266716800000, ... (OEIS A005249). The terms of sequence have the closed form(2)(3)(4)where is the Glaisher-Kinkelin constant and is the Barnes G-function. The numerical values are given in the following table.det()1123456The elements of the matrix inverse of the Hilbert matrix are given analytically by(5)(Choi 1983, Richardson 1999).
The truncated icosahedron is the 32-faced Archimedean solid corresponding to the facial arrangement . It is the shape used in the construction of soccer balls, and it was also the configuration of the lenses used for focusing the explosive shock waves of the detonators in the Fat Man atomic bomb (Rhodes 1996, p. 195). The truncated icosahedron has 60 vertices, and is also the structure of pure carbon known as buckyballs (a.k.a. fullerenes).The truncated icosahedron is uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["TruncatedIcosahedron"].Several symmetrical projections of the truncated icosahedron are illustrated above.The dual polyhedron of the truncated icosahedron is the pentakis dodecahedron. The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(1)(2)(3)The distances..
Guilloché patterns are spirograph-like curves that frame a curve within an inner and outer envelope curve. They are used on banknotes, securities, and passports worldwide for added security against counterfeiting. For currency, the precise techniques used by the governments of Russia, the United States, Brazil, the European Union, Madagascar, Egypt, and all other countries are likely quite different. The figures above show the same guilloche pattern plotted in polar and Cartesian coordinates generated by a series of nested additions and multiplications of sinusoids of various periods.Guilloché machines (alternately called geometric lathes, rose machines, engine-turners, and cycloidal engines) were first used for a watch casing dated 1624, and consist of myriad gears and settings that can produce many different patterns. Many goldsmiths, including Fabergè, employed guilloché machines.The..
A superellipse is a curve with Cartesian equation(1)first discussed in 1818 by Lamé. A superellipse may be described parametrically by(2)(3)The restriction to is sometimes made.Superellipses with are also known as Lamé curves or Lamé ovals, and the case with is sometimes known as the squircle. By analogy, the superellipse with and might be termed the rectellipse.A range of superellipses are shown above, with special cases , 1, and 2 illustrated right above. The following table summarizes a few special cases. Piet Hein used with a number of different ratios for various of his projects. For example, he used for Sergels Torg (Sergel's Square) in Stockholm, Sweden (Vestergaard), and for his table.curve(squashed) astroid1(squashed) diamond2ellipsePiet Hein's "superellipse"4rectellipseIf is a rational, then a superellipse is algebraic. However, for irrational , it is transcendental. For even integers..
A hypotrochoid generated by a fixed point on a circle rolling inside a fixed circle. The curves above correspond to values of , 0.2, ..., 1.0.Additional attractive designs such as the one above can also be made by superposing individual spirographs.The Season 1 episode "Counterfeit Reality" (2005) of the television crime drama NUMB3RS features spirographs when discussing Guilloché patterns.
An official chessboard is an board containing squares alternating in color between olive green and buff (where "buff" is a color variously defined as a moderate orange yellow or a light to moderate yellow) on which the game of chess is played. The checkerboard is identical to the chessboard, and in both cases, the squares are referred to as "black" and "white." In chess (as in checkers), the board is oriented so that each player has a black square on his left.It is impossible to cover a chessboard from which two opposite corners have beenremoved with dominoes.The above plot shows a chessboard centered at (0, 0) and its inverse about a small circle also centered at (0, 0) (Gardner 1984, pp. 244-245; Dixon 1991).The illustration above shows an infinite chessboard reflected in a sphere...
Ede (1958) enumerates 13 basic series of stellations of the rhombic triacontahedron, the total number of which is extremely large. Pawley (1973) gave a set of restrictions upon which a complete enumeration of stellations can be achieved (Wenninger 1983, p. 36). Messer (1995) describes 227 stellations (including the original solid in the count as usual), some of which are illustrated above.The Great Stella stellation software reproduces Messer's 227 fully supported stellations. Using Miller's rules gives 358833098 stellations, 84959 of them reflexible and 358748139 of them chiral.The convex hull of the dodecadodecahedron is an icosidodecahedron and the dual of the icosidodecahedron is the rhombic triacontahedron, so the dual of the dodecadodecahedron (the medial rhombic triacontahedron) is one of the rhombic triacontahedron stellations (Wenninger 1983, p. 41). Others include the great rhombic triacontahedron,..
A string figure is any pattern produced when a looped string is spanned between two hands and is twisted and woven in various manners around the fingers and the wrists. The combinations of crossings which can be realized in this way can be studied using knot theory.The string figure above is known as the Apache door (Jayne 1975, pp. 12-15, Fig. 21) or tent flap (Ball 1971, p. 5, Fig. 2).The string figure illustrated above is known as "Jacob's ladder," Osage diamonds (Jayne 1975, pp. 24-27, Fig. 50), the fishing net, or quadruple diamonds (Ball 1971, p. 19, Fig. 7).String figures, which belong to the ancient traditions of many peoples around the world, and are even present in primitive cultures, are nowadays considered as a recreational activity in mathematics education. In English-speaking countries they are also known as the children's game called "cat's cradle."..
A maze, also known as a labyrinth, as is a set of passages (with impermeable walls). The goal of the maze is to start at one given point and find a path through the passages that reaches a second given point.The back of a clay accounting tablet from Pylos, Greece is illustrated above (Wolfram 2002, p. 43). Legend has it that it was the plan for the labyrinth housing the minotaur in the palace at Knossos, Crete, and that it was designed by Daedalus. It is also said that it was a logo for the city of Troy-or perhaps the plan of some of its walls (Wolfram 2002, p. 873).The above pattern (in either its square or rounded form) has appeared with remarkably little variation in a large variety of places all over the world-from Cretan coins, to graffiti at Pompeii, to the floor of the cathedral at Chartres, to carvings in Peru, to logos for aboriginal tribes. For probably three thousand years, it has been the single most common design used for mazes (Wolfram..
One of the Kepler-Poinsot solids whose dual is the great stellated dodecahedron. It is also uniform polyhedron , Wenninger model , and has Schläfli symbol and Wythoff symbol .The great icosahedron can be constructed from an icosahedron with unit edge lengths by taking the 20 sets of vertices that are mutually spaced by a distance , the golden ratio. The solid therefore consists of 20 equilateral triangles. The symmetry of their arrangement is such that the resulting solid contains 12 pentagrams.The great icosahedron can most easily be constructed by building a "squashed" dodecahedron (top right figure) from the corresponding net (top left). Then, using the net shown in the bottom left figure, build 12 pentagrammic pyramids (bottom middle figure) and affix them into the dimples (bottom right). This method of construction is given in Cundy and Rollett (1989, pp. 98-99). If the edge lengths of the dodecahedron are unity,..
"Spikey" is the logo of Wolfram Research, makers of Mathematica and the Wolfram Language. In its original (Version 1) form, it is an augmented icosahedron with an augmentation height of , not to be confused with the great stellated dodecahedron, which is a distinct solid. This gives it 60 equilateral triangular faces, making it a deltahedron. More elaborate forms of Spikey have been used for subsequent versions of Mathematica. In particular, Spikeys for Version 2 and up are based on a hyperbolic dodecahedron with embellishments rather than an augmented icosahedron (Trott 2007, Weisstein 2009).The "classic" (Version 1) Spikey illustrated above is implemented in theWolfram Language as PolyhedronData["MathematicaPolyhedron"].The skeleton of the classic Spikey is the graph of thetriakis icosahedron.A glyph corresponding to the classic Spikey, illustrated above, is available as the character \[MathematicaIcon]..
The regular tetrahedron, often simply called "the" tetrahedron, is the Platonic solid with four polyhedron vertices, six polyhedron edges, and four equivalent equilateral triangular faces, . It is also uniform polyhedron and Wenninger model . It is described by the Schläfli symbol and the Wythoff symbol is . It is an isohedron, and a special case of the general tetrahedron and the isosceles tetrahedron.The regular tetrahedron is implemented in the Wolfram Language as Tetrahedron, and precomputed properties are available as PolyhedronData["Tetrahedron"].The tetrahedron has 7 axes of symmetry: (axes connecting vertices with the centers of the opposite faces) and (the axes connecting the midpoints of opposite sides).There are no other convex polyhedra other than the tetrahedron having four faces.The tetrahedron has two distinct nets (Buekenhout and Parker 1998). Questions of polyhedron coloring..
The regular octahedron, often simply called "the" octahedron, is the Platonic solid with six polyhedron vertices, 12 polyhedron edges, and eight equivalent equilateral triangular faces, denoted . It is also uniform polyhedron and Wenninger model . It is given by the Schläfli symbol and Wythoff symbol . The octahedron of unit side length is the antiprism of sides with height . The octahedron is also a square dipyramid with equal edge lengths.The regular octahedron is implemented in the Wolfram Language as Octahedron, and precomputed properties are available as PolyhedronData["Octahedron"].There are 11 distinct nets for the octahedron, the same as for the cube (Buekenhout and Parker 1998). Questions of polyhedron coloring of the octahedron can be addressed using the Pólya enumeration theorem.The dual polyhedron of an octahedron with unit edge lengths is a cube with edge lengths .The illustration..
The regular icosahedron (often simply called "the" icosahedron) is the regular polyhedron and Platonic solid illustrated above having 12 polyhedron vertices, 30 polyhedron edges, and 20 equivalent equilateral triangle faces, .The regular icosahedron is also uniform polyhedron and Wenninger model . It is described by the Schläfli symbol and Wythoff symbol . Coxeter et al. (1999) have shown that there are 58 icosahedron stellations (giving a total of 59 solids when the icosahedron itself is included).The regular icosahedron is implemented in the Wolfram Language as Icosahedron, and precomputed properties are available as PolyhedronData["Icosahedron"].Two icosahedra constructed in origami are illustrated above (Gurkewitz and Arnstein 1995, p. 53). This construction uses 30 triangle edge modules, each made from a single sheet of origami paper.Two icosahedra appears as polyhedral "stars"..
The regular dodecahedron, often simply called "the" dodecahedron, is the Platonic solid composed of 20 polyhedron vertices, 30 polyhedron edges, and 12 pentagonal faces, . It is also uniform polyhedron and Wenninger model . It is given by the Schläfli symbol and the Wythoff symbol .The regular dodecahedron is implemented in the Wolfram Language as Dodecahedron, and precomputed properties are available as PolyhedronData["Dodecahedron"].There are 43380 distinct nets for the regular dodecahedron, the same number as for the icosahedron (Bouzette and Vandamme, Hippenmeyer 1979, Buekenhout and Parker 1998). Questions of polyhedron coloring of the regular dodecahedron can be addressed using the Pólya enumeration theorem.The image above shows an origami regular dodecahedron constructed using six dodecahedron units, each consisting of a single sheet of paper (Kasahara and Takahama 1987, pp. 86-87).A..
In general, an icosidodecahedron is a 32-faced polyhedron. "The" icosidodecahedron is the 32-faced Archimedean solid with faces . It is one of the two convex quasiregular polyhedra. It is also uniform polyhedron and Wenninger model . It has Schläfli symbol and Wythoff symbol .It is implemented in the Wolfram Languageas PolyhedronData["Icosidodecahedron"].Several symmetric projections of the icosidodecahedron are illustrated above. The dual polyhedron is the rhombic triacontahedron. The polyhedron vertices of an icosidodecahedron of polyhedron edge length are , , , , , . The 30 polyhedron vertices of an octahedron 5-compound form an icosidodecahedron (Ball and Coxeter 1987). Faceted versions include the small icosihemidodecahedron and small dodecahemidodecahedron.The icosidodecahedron constructed in origami is illustrated above (Kasahara and Takahama 1987, pp. 48-49). This construction..
The 62-faced Archimedean solid with faces . It is also known as the rhombitruncated icosidodecahedron, and is sometimes improperly called the truncated icosidodecahedron (Ball and Coxeter 1987, p. 143), a name which is inappropriate since truncation would yield rectangular instead of square. The great rhombicosidodecahedron is also uniform polyhedron and Wenninger model . It has Schläfli symbol t and Wythoff symbol .The great rhombicosidodecahedron is an equilateral zonohedron and is the Minkowski sum of five cubes.Its dual is the disdyakis triacontahedron, also called the hexakis icosahedron. The inradius of the dual, midradius of the solid and dual, and circumradius of the solid for are(1)(2)(3)The great rhombicosidodecahedron has surface area(4)and volume(5)The great rhombicosidodecahedron constructed by E. K. Herrstrom in origami is illustrated above (Kasahara and Takahama 1987, pp. 46-49)...
Togliatti surfaces are quintic surfaces having the maximum possible number of ordinary double points (31).A related surface sometimes known as the dervish can be defined by(1)where(2)(3)(4)(5)(6)(7)(8)and(9)(10)(11)
The Kummer surfaces are a family of quartic surfacesgiven by the algebraic equation(1)where(2), , , and are the tetrahedral coordinates(3)(4)(5)(6)and is a parameter which, in the above plots, is set to .The above plots correspond to (7)(double sphere), 2/3, 1(8)(Roman surface), 2, 3(9)(four planes), and 5. The case corresponds to four real points.The following table gives the number of ordinary double points for various ranges of , corresponding to the preceding illustrations.parameterreal nodescomplex nodes412412160160The Kummer surfaces can be represented parametrically by hyperelliptic theta functions. Most of the Kummer surfaces admit 16 ordinary double points, the maximum possible for a quartic surface. A special case of a Kummer surface is the tetrahedroid.Nordstrand gives the implicit equations as(10)or(11)..
A cubic algebraicsurface given by the equation(1)with the added constraint(2)The implicit equation obtained by taking the plane at infinity as is(3)(Hunt 1996), illustrated above.On Clebsch's diagonal surface, all 27 of the complex lines (Solomon's seal lines) present on a general smooth cubic surface are real. In addition, there are 10 points on the surface where 3 of the 27 lines meet. These points are called Eckardt points (Fischer 1986ab, Hunt 1996), and the Clebsch diagonal surface is the unique cubic surface containing 10 such points (Hunt 1996).If one of the variables describing Clebsch's diagonal surface is dropped, leaving the equations(4)(5)the equations degenerate into two intersecting planes given by the equation(6)
An algebraic surface with affine equation(1)where is a Chebyshev polynomial of the first kind and is a polynomial defined by(2)where the matrices have dimensions . These represent surfaces in with only ordinary double points as singularities. The first few surfaces are given by (3)(4)(5)The th order such surface has(6)singular points (Chmutov 1992), giving the sequence 0, 1, 3, 14, 28, 57, 93, 154, 216, 321, 425, 576, 732, 949, 1155, ... (OEIS A057870) for , 2, .... For a number of orders , Chmutov surfaces have more ordinary double points than any other known equations of the same degree.Based on Chmutov's equations, Banchoff (1991) defined the simpler set of surfaces(7)where is even and is again a Chebyshev polynomial of the first kind. For example, the surfaces illustrated above have orders 2, 4, and 6 and are given by the equations (8)(9)(10)..
A surface with tetrahedral symmetry which looks likean inflatable chair from the 1970s. It is given by the implicit equationThe surface illustrated above has , , and .
The dodecic surface defined by(1)where(2)(3)(4)(5)(6)(7)(8)(9)(10)(11)(12)(13)(14)(15)(16) and are both invariants of order 12. It was discovered by A. Sarti in 1999.The version with arbitrary and has exactly 600 ordinary points (Endraß), and taking gives the surface with 560 real ordinary points illustrated above.The Sarti surface is invariant under the bipolyhedralgroup.
Cayley's cubic surface is the unique cubic surface having four ordinary double points (Hunt), the maximum possible for cubic surface (Endraß). The Cayley cubic is invariant under the tetrahedral group and contains exactly nine lines, six of which connect the four nodes pairwise and the other three of which are coplanar (Endraß).If the ordinary double points in projective three-space are taken as (1, 0, 0, 0), (0, 1, 0, 0), (0, 0, 1, 0), (0, 0, 0, 1), then the equation of the surface in projective coordinates is(1)(Hunt). Defining "affine" coordinates with plane at infinity and(2)(3)(4)then gives the equation(5)plotted in the left figure above (Hunt). The slightly different form(6)is given by Endraß (2003) which, when rewritten in tetrahedralcoordinates, becomes(7)plotted in the right figure above.The Hessian of the Cayley cubic is given by(8)in homogeneous coordinates , , , and . Taking the plane at infinity..
A heart-shaped surface given by the sextic equation(Taubin 1993, 1994). The figures above show a ray-traced rendering (left) and the cross section (right) of the surface.A slight variation of the same surface is given by(Nordstrand, Kuska 2004).
The quartic surface obtained by replacing the constant in the equation of the Cassini ovals with , obtaining(1)As can be seen by letting to obtain(2)(3)the intersection of the surface with the plane is a circle of radius .The Gaussian curvature of the surface is givenimplicitly by(4)Let a torus of tube radius be cut by a plane perpendicular to the plane of the torus's centroid. Call the distance of this plane from the center of the torus hole , let , and consider the intersection of this plane with the torus as is varied. The resulting curves are Cassini ovals, and the surface having these curves as cross sections is the Cassini surface(5)which has a scaled on the right side instead of .
Endraß surfaces are a pair of octic surfaces which have 168 ordinary double points. This is the maximum number known to exist for an octic surface, although the rigorous upper bound is 174. The equations of the surfaces arewhere is a parameter. All ordinary double points of are real, while 24 of those in are complex. The surfaces were discovered in a five-dimensional family of octics with 112 nodes, and are invariant under the group .The surfaces illustrated above take . The first of these has 144 real ordinary double points, and the second of which has 144 complex ordinary double points, 128 of which are real.
The length of the polygonal spiral is found by noting that the ratio of inradius to circumradius of a regular polygon of sides is(1)The total length of the spiral for an -gon with side length is therefore(2)(3)Consider the solid region obtained by filling in subsequent triangles which the spiral encloses. The area of this region, illustrated above for -gons of side length , is(4)The shaded triangular polygonal spiral is a rep-4-tile.
The Borromean rings, also called the Borromean links (Livingston 1993, p. 10) are three mutually interlocked rings (left figure), named after the Italian Renaissance family who used them on their coat of arms. The configuration of rings is also known as a "Ballantine," and a brand of beer (right figure; Falstaff Brewing Corporation) has been brewed under this name. In the Borromean rings, no two rings are linked, so if any one of the rings is cut, all three rings fall apart. Any number of rings can be linked in an analogous manner (Steinhaus 1999, Wells 1991).The Borromean rings are a prime link. They have link symbol 06-0302, braid word , and are also the simplest Brunnian link.It turns out that rigid Borromean rings composed of real (finite thickness) tubes cannot be physically constructed using three circular rings of either equal or differing radii. However, they can be made from three congruent elliptical rings...
The continuous Fourier transform is definedas(1)(2)Now consider generalization to the case of a discrete function, by letting , where , with , ..., . Writing this out gives the discrete Fourier transform as(3)The inverse transform is then(4)Discrete Fourier transforms (DFTs) are extremely useful because they reveal periodicities in input data as well as the relative strengths of any periodic components. There are however a few subtleties in the interpretation of discrete Fourier transforms. In general, the discrete Fourier transform of a real sequence of numbers will be a sequence of complex numbers of the same length. In particular, if are real, then and are related by(5)for , 1, ..., , where denotes the complex conjugate. This means that the component is always real for real data.As a result of the above relation, a periodic function will contain transformed peaks in not one, but two places. This happens because the periods of the input data..
The Jacobi theta functions are the elliptic analogs of the exponential function, and may be used to express the Jacobi elliptic functions. The theta functions are quasi-doubly periodic, and are most commonly denoted in modern texts, although the notations and (Borwein and Borwein 1987) are sometimes also used. Whittaker and Watson (1990, p. 487) gives a table summarizing notations used by various earlier writers.The theta functions are given in the Wolfram Language by EllipticTheta[n, z, q], and their derivatives are given by EllipticThetaPrime[n, z, q].The translational partition function for an ideal gas can be derived using elliptic theta functions (Golden 1961, pp. 119 and 133; Melzak 1973, p. 122; Levine 2002, p. 838).The theta functions may be expressed in terms of the nome , denoted , or the half-period ratio , denoted , where and and are related by(1)Let the multivalued function be interpreted to stand..
The cube is the Platonic solid (also called the regular hexahedron). It is composed of six square faces that meet each other at right angles and has eight vertices and 12 edges. It is also the uniform polyhedron and Wenninger model . It is described by the Schläfli symbol and Wythoff symbol .The cube is illustrated above, together with a wireframe version and a net(top figures). The bottom figures show three symmetric projections of the cube.The cube is implemented in the Wolfram Language as Cube, and precomputed properties are available as PolyhedronData["Cube"].There are a total of 11 distinct nets for the cube (Turney 1984-85, Buekenhout and Parker 1998, Malkevitch), illustrated above, the same number as the octahedron. Questions of polyhedron coloring of the cube can be addressed using the Pólya enumeration theorem.A cube with unit edge lengths is called a unit cube.The surface area and volume of a cube with edge..
A Pythagorean triple is a triple of positive integers , , and such that a right triangle exists with legs and hypotenuse . By the Pythagorean theorem, this is equivalent to finding positive integers , , and satisfying(1)The smallest and best-known Pythagorean triple is . The right triangle having these side lengths is sometimes called the 3, 4, 5 triangle.Plots of points in the -plane such that is a Pythagorean triple are shown above for successively larger bounds. These plots include negative values of and , and are therefore symmetric about both the x- and y-axes.Similarly, plots of points in the -plane such that is a Pythagorean triple are shown above for successively larger bounds.It is usual to consider only primitive Pythagorean triples (also called "reduced"triples) in which and are relatively prime, since other solutions can be generated trivially from the primitive ones. The primitive triples are illustrated above, and..
The Poincaré hyperbolic disk is a two-dimensional space having hyperbolic geometry defined as the disk , with hyperbolic metric(1)The Poincaré disk is a model for hyperbolic geometry in which a line is represented as an arc of a circle whose ends are perpendicular to the disk's boundary (and diameters are also permitted). Two arcs which do not meet correspond to parallel rays, arcs which meet orthogonally correspond to perpendicular lines, and arcs which meet on the boundary are a pair of limits rays. The illustration above shows a hyperbolic tessellation similar to M. C. Escher's Circle Limit IV (Heaven and Hell) (Trott 1999, pp. 10 and 83).The endpoints of any arc can be specified by two angles around the disk and . Define(2)(3)Then trigonometry shows that in the above diagram,(4)(5)so the radius of the circle forming the arc is and its center is located at , where(6)The half-angle subtended by the arc is then(7)so(8)The..
The simplest class of one-dimensional cellular automata. Elementary cellular automata have two possible values for each cell (0 or 1), and rules that depend only on nearest neighbor values. As a result, the evolution of an elementary cellular automaton can completely be described by a table specifying the state a given cell will have in the next generation based on the value of the cell to its left, the value the cell itself, and the value of the cell to its right. Since there are possible binary states for the three cells neighboring a given cell, there are a total of elementary cellular automata, each of which can be indexed with an 8-bit binary number (Wolfram 1983, 2002). For example, the table giving the evolution of rule 30 () is illustrated above. In this diagram, the possible values of the three neighboring cells are shown in the top row of each panel, and the resulting value the central cell takes in the next generation is shown below in the center...
A totalistic cellular automaton is a cellular automata in which the rules depend only on the total (or equivalently, the average) of the values of the cells in a neighborhood. These automata were introduced by Wolfram in 1983. Like an elementary cellular automaton, the evolution of a one-dimensional totalistic cellular automaton can completely be described by a table specifying the state a given cell will have in the next generation based on the average value of the three cells consisting of the cell to its left, the value the cell itself, and the value of the cell to its right.For a -color one-dimensional totalistic automaton, there are possible states for the average of three cells neighboring a given cell, and a total of -color totalistic cellular automata, each of which can be indexed with an -digit -ary number, known as a "code." For example, the table giving the evolution of the 3-color code is illustrated above. In this diagram,..
The Chebyshev polynomials of the first kind are a set of orthogonal polynomials defined as the solutions to the Chebyshev differential equation and denoted . They are used as an approximation to a least squares fit, and are a special case of the Gegenbauer polynomial with . They are also intimately connected with trigonometric multiple-angle formulas. The Chebyshev polynomials of the first kind are denoted , and are implemented in the Wolfram Language as ChebyshevT[n, x]. They are normalized such that . The first few polynomials are illustrated above for and , 2, ..., 5.The Chebyshev polynomial of the first kind can be defined by the contour integral(1)where the contour encloses the origin and is traversed in a counterclockwise direction (Arfken 1985, p. 416).The first few Chebyshev polynomials of the first kind are(2)(3)(4)(5)(6)(7)(8)When ordered from smallest to largest powers, the triangle of nonzero coefficients is 1; 1; , 2;..
The Pochhammer symbol(1)(2)(Abramowitz and Stegun 1972, p. 256; Spanier 1987; Koepf 1998, p. 5) for is an unfortunate notation used in the theory of special functions for the rising factorial, also known as the rising factorial power (Graham et al. 1994, p. 48) or ascending Factorial (Boros and Moll 2004, p. 16). The Pochhammer symbol is implemented in the Wolfram Language as Pochhammer[x, n].In combinatorics, the notation (Roman 1984, p. 5), (Comtet 1974, p. 6), or (Graham et al. 1994, p. 48) is used for the rising factorial, while or denotes the falling factorial (Graham et al. 1994, p. 48). Extreme caution is therefore needed in interpreting the notations and .The first few values of for nonnegative integers are(3)(4)(5)(6)(7)(OEIS A054654).In closed form, can be written(8)where is a Stirling number of the first kind.The Pochhammer symbol satisfies(9)the dimidiation formulas(10)(11)and..
The curlicue fractal is a figure obtained by the following procedure. Let be an irrational number. Begin with a line segment of unit length, which makes an angle to the horizontal. Then define iteratively bywith . To the end of the previous line segment, draw a line segment of unit length which makes an angleto the horizontal (Pickover 1995ab). The result is a fractal, and the above figures correspond to the curlicue fractals with points for the golden ratio , , , , the Euler-Mascheroni constant , , and the Feigenbaum constant .The temperature of these curves is given in the followingtable.constanttemperaturegolden ratio 46515858Euler-Mascheroni constant 6390Feigenbaum constant 92
The above topological structure, composed of a countable union of compact sets, is called Alexander's horned sphere. It is homeomorphic with the ball , and its boundary is therefore a sphere. It is therefore an example of a wild embedding in . The outer complement of the solid is not simply connected, and its fundamental group is not finitely generated. Furthermore, the set of nonlocally flat ("bad") points of Alexander's horned sphere is a Cantor set.The horned sphere as originally drawn by Alexander (1924) is illustrated above.The complement in of the bad points for Alexander's horned sphere is simply connected, making it inequivalent to Antoine's horned sphere. Alexander's horned sphere has an uncountable infinity of wild points, which are the limits of the sequences of the horned sphere's branch points (roughly, the "ends" of the horns), since any neighborhood of a limit contains a horned complex.A humorous drawing..
The necker cube is an illusion in which a two-dimensional drawing of an array of cubes appears to simultaneously protrude from and intrude into the page.A Necker cube appears on the banner shown in Escher's lithographs "Metamorphosis I" (Bool et al. 1982, p. 271; Forty 2003, p. 39), "Cycle" (Bool et al. 1982, p. 274), and "Convex and Concave". It is also the basis for the arcade game Q*bert.Depending on the view point chosen for projection, the cubes may be composed of one,two, or three types of rhombi.The Necker cube is also a tiling that was used in ancient times, including as a mosaic on the floor of one of the houses in Pompeii, as illustrated in the photograph above (courtesy of S. Jaskulowski).The image above shows a Necker cube pattern emblazoned on a quilt created by Janice Ewing using a pattern by Karen Combs. ..
The greatest common divisor, sometimes also called the highest common divisor (Hardy and Wright 1979, p. 20), of two positive integers and is the largest divisor common to and . For example, , , and . The greatest common divisor can also be defined for three or more positive integers as the largest divisor shared by all of them. Two or more positive integers that have greatest common divisor 1 are said to be relatively prime to one another, often simply just referred to as being "relatively prime."Various notational conventions are summarized in the following table.notationsourcethis work, Zwillinger (1996, p. 91), Råde and Westergren (2004, p. 54)Gellert et al. (1989, p. 25), D'Angelo and West (1990, p. 13), Graham et al. (1990, p. 103), Bressoud and Wagon (2000, p. 7), Yan (2002, p. 30), Bronshtein et al. (2007, pp. 323-324), Wolfram Languageg.c.d.Andrews 1994,..
Inversion is the process of transforming points to a corresponding set of points known as their inverse points. Two points and are said to be inverses with respect to an inversion circle having inversion center and inversion radius if is the perpendicular foot of the altitude of , where is a point on the circle such that .The analogous notation of inversion can be performed in three-dimensional space withrespect to an inversion sphere.If and are inverse points, then the line through and perpendicular to is sometimes called a "polar" with respect to point , known as the "inversion pole". In addition, the curve to which a given curve is transformed under inversion is called its inverse curve (or more simply, its "inverse"). This sort of inversion was first systematically investigated by Jakob Steiner.From similar triangles, it immediately follows that the inverse points and obey(1)or(2)(Coxeter 1969, p. 78),..
How can points be distributed on a unit sphere such that they maximize the minimum distance between any pair of points? This maximum distance is called the covering radius, and the configuration is called a spherical code (or spherical packing). In 1943, Fejes Tóth proved that for points, there always exist two points whose distance is(1)and that the limit is exact for , 4, 6, and 12. The problem of spherical packing is therefore sometimes known as the Fejes Tóth's problem. The general problem has not been solved.Spherical codes are similar to the Thomson problem, which seeks the stable equilibrium positions of classical electrons constrained to move on the surface of a sphere and repelling each other by an inverse square law.An approximate spherical code for points may be obtained in the Wolfram Language using the function SpherePoints[n].For two points, the points should be at opposite ends of a diameter. For four points, they..
The number of equivalent hyperspheres in dimensions which can touch an equivalent hypersphere without any intersections, also sometimes called the Newton number, contact number, coordination number, or ligancy. Newton correctly believed that the kissing number in three dimensions was 12, but the first proofs were not produced until the 19th century (Conway and Sloane 1993, p. 21) by Bender (1874), Hoppe (1874), and Günther (1875). More concise proofs were published by Schütte and van der Waerden (1953) and Leech (1956). After packing 12 spheres around the central one (which can be done, for example, by arranging the spheres so that their points of tangency with the central sphere correspond to the vertices of an icosahedron), there is a significant amount of free space left (above figure), although not enough to fit a 13th sphere.Exact values for lattice packings are known for to 9 and (Conway and Sloane 1993, Sloane and..
The wallpaper groups are the 17 possible plane symmetry groups. They are commonly represented using Hermann-Mauguin-like symbols or in orbifold notation (Zwillinger 1995, p. 260).orbifold notationHermann-Mauguin symbolop12222p2**pmxxpg*2222pmm22*pmg22xpggx*cm2*22cmm442p4*442p4m4*2p4g333p3*333p3ml3*3p3lm632p6*632p6mPatterns created with Artlandia SymmetryWorks for each of these groups are illustrated above.Beautiful patterns can be created by repeating geometric and artistic motifs according to the symmetry of the wallpaper groups, as exemplified in works by M. C. Escher and in the patterns created by I. Bakshee in the Wolfram Language using Artlandia, illustrated above.For a description of the symmetry elements present in each space group, see Coxeter (1969, p. 413)...
A modulo multiplication group is a finite group of residue classes prime to under multiplication mod . is Abelian of group order , where is the totient function.A modulo multiplication group can be visualized by constructing its cycle graph. Cycle graphs are illustrated above for some low-order modulo multiplication groups. Such graphs are constructed by drawing labeled nodes, one for each element of the residue class, and connecting cycles obtained by iterating . Each edge of such a graph is bidirected, but they are commonly drawn using undirected edges with double edges used to indicate cycles of length two (Shanks 1993, pp. 85 and 87-92).The following table gives the modulo multiplication groups of small orders, together with their isomorphisms with respect to cyclic groups .groupelements2121, 221, 341, 2, 3, 421, 561, 2, 3, 4, 5, 641, 3, 5, 761, 2, 4, 5, 7, 841, 3, 7, 9101, 2, 3, 4, 5, 6, 7, 8, 9, 1041, 5, 7, 11121, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11,..
A root of a polynomial is a number such that . The fundamental theorem of algebra states that a polynomial of degree has roots, some of which may be degenerate. For example, the roots of the polynomial(1)are , 1, and 2. Finding roots of a polynomial is therefore equivalent to polynomial factorization into factors of degree 1.Any polynomial can be numerically factored, althoughdifferent algorithms have different strengths and weaknesses.The roots of a polynomial equation may be found exactly in the Wolfram Language using Roots[lhs==rhs, var], or numerically using NRoots[lhs==rhs, var]. In general, a given root of a polynomial is represented as Root[#^n+a[n-1]#^(n-1)+...+a&, k], where , 2, ..., is an index identifying the particular root and the pure function polynomial is irreducible. Note that in the Wolfram Language, the ordering of roots is different in each of the commands Roots, NRoots, and Table[Root[p, k], k, n].In the Wolfram..
Solving the nome for the parameter gives(1)(2)where is a Jacobi theta function, is the Dedekind eta function, and is the nome.The inverse nome function is essentially the same as the elliptic lambda function, the difference being that elliptic lambda function is a function of the half-period ratio , while the inverse nome is a function of the nome , where is itself a function of .The inverse nome is implemented as InverseEllipticNomeQ[q]in the Wolfram Language.As a rule, inverse and direct functions satisfy the relation -for example, . The inverse nome is an exception to this rule due to a historical mistake made more a century ago. In particular, the inverse nome and nome itself are connected by the opposite relation .Special values include(3)(4)(5)although strictly speaking, is not defined at 1 because is a modular function, therefore has a dense set of singularities on the unit circle, and is therefore only defined strictly inside the unit..
Let and be real numbers (usually taken as and ). The Dirichlet function is defined by(1)and is discontinuous everywhere. The Dirichletfunction can be written analytically as(2)Because the Dirichlet function cannot be plotted without producing a solid blend of lines, a modified version, sometimes itself known as the Dirichlet function (Bruckner et al. 2008), Thomae function (Beanland et al. 2009), or small Riemann function (Ballone 2010, p. 11), can be defined as(3)(Dixon 1991), illustrated above. This function is continuous at irrational and discontinuous at rational (although a small interval around an irrational point contains infinitely many rational points, these rationals will have very large denominators). When viewed from a corner along the line in normal perspective, a quadrant of Euclid's orchard turns into the modified Dirichlet function (Gosper)...
The Menger sponge is a fractal which is the three-dimensionalanalog of the Sierpiński carpet. The th iteration of the Menger sponge is implemented in the Wolfram Language as MengerMesh[n, 3].Let be the number of filled boxes, the length of a side of a hole, and the fractional volume after the th iteration, then(1)(2)(3)The capacity dimension is therefore(4)(5)(6)(7)(OEIS A102447).The Menger sponge, in addition to being a fractal, is also a super-object for all compact one-dimensional objects, i.e., the topological equivalent of all one-dimensional objects can be found in a Menger sponge (Peitgen et al. 1992).The image above shows a metal print of the Menger sponge created by digital sculptorBathsheba Grossman (https://www.bathsheba.com/).
The tetrix is the three-dimensional analog of the Sierpiński sieve illustrated above, also called the Sierpiński sponge or Sierpiński tetrahedron.The th iteration of the tetrix is implemented in the Wolfram Language as SierpinskiMesh[n, 3].Let be the number of tetrahedra, the length of a side, and the fractional volume of tetrahedra after the th iteration. Then(1)(2)(3)The capacity dimension is therefore(4)(5)so the tetrix has an integer capacity dimension (which is one less than the dimension of the three-dimensional tetrahedra from which it is built), despite the fact that it is a fractal.The following illustrations demonstrate how the dimension of the tetrix can be the same as that of the plane by showing three stages of the rotation of a tetrix, viewed along one of its edges. In the last frame, the tetrix "looks" like the two-dimensional plane. ..
The term Mandelbrot set is used to refer both to a general class of fractal sets and to a particular instance of such a set. In general, a Mandelbrot set marks the set of points in the complex plane such that the corresponding Julia set is connected and not computable."The" Mandelbrot set is the set obtained from the quadraticrecurrence equation(1)with , where points in the complex plane for which the orbit of does not tend to infinity are in the set. Setting equal to any point in the set that is not a periodic point gives the same result. The Mandelbrot set was originally called a molecule by Mandelbrot. J. Hubbard and A. Douady proved that the Mandelbrot set is connected.A plot of the Mandelbrot set is shown above in which values of in the complex plane are colored according to the number of steps required to reach . The kidney bean-shaped portion of the Mandelbrot set turns out to be bordered by a cardioid with equations(2)(3)The..
The impossible fork (Seckel 2002, p. 151), also known as the devil's pitchfork (Singmaster), blivet, or poiuyt, is a classic impossible figure originally due to Schuster (1964). While each prong of the fork (or, in the original work, "clevis") appears normal, attempting to determine their manner of attachment shows that something is seriously out of whack. The second figure above shows three impossible figures: the ambihelical hexnut in the lower left-hand corner, tribox in the middle, and impossible fork in the upper right.About the time of the impossible fork's discovery by Schuster (1964), it was used by Mad Magazine as a recurring theme. Their term for it was "poiuyt," which corresponds to the third row of a standard keyboard typed from right to left. The "poiuyt" was commonly used in Mad throughout the 1960s indicating absurdity or impossibility.Hayward incorporated this figure into a picture..
The tribox, also called the Penrose rectangle or Penrose square, is an impossible figure that is the generalization of the Penrose triangle from a triangle to a square. Similar -gonal figures can also be constructed for (Elber).The figure above shows three impossible figures: the ambihelical hexnut in the lower left-hand corner, tribox in the middle, and impossible fork in the upper right.
The café wall illusion, sometimes also called the Münsterberg illusion (Ashton Raggatt McDougall 2006), is an optical illusion produced by a black and white rectangular tessellation when the tiles are shifted in a zigzag pattern, as illustrated above. While the pattern seems to diverge towards the upper and lower right corners in the upper figure, the gray lines are actually parallel. Interestingly, the illusion greatly diminishes if black lines are used instead of gray.Gregory and Heard (1979) first noticed the illusion on the wall decoration of a café in Bristol, England. The café wall illusion is only one among many visual distortion effects involving parallel lines. The most famous example of this kind is Zöllner's illusion.The image above shows a picture of a building in Melbourne, Australia designed to exhibit this illusion (C. L. Taylor, pers. comm., Aug. 5, 2006). The building,..
The Gauss map is a function from an oriented surface in Euclidean space to the unit sphere in . It associates to every point on the surface its oriented unit normal vector. Since the tangent space at a point on is parallel to the tangent space at its image point on the sphere, the differential can be considered as a map of the tangent space at into itself. The determinant of this map is the Gaussian curvature, and negative one-half of the trace is the mean curvature.Another meaning of the Gauss map is the function(Trott 2004, p. 44), where is the floor function, plotted above on the real line and in the complex plane.The related function is plotted above, where is the fractional part.The plots above show blowups of the absolute values of these functions (a version of the left figure appears in Trott 2004, p. 44)...
Newton's method, also called the Newton-Raphson method, is a root-finding algorithm that uses the first few terms of the Taylor series of a function in the vicinity of a suspected root. Newton's method is sometimes also known as Newton's iteration, although in this work the latter term is reserved to the application of Newton's method for computing square roots.For a polynomial, Newton's method is essentially the same as Horner's method.The Taylor series of about the point is given by(1)Keeping terms only to first order,(2)Equation (2) is the equation of the tangent line to the curve at , so is the place where that tangent line intersects the -axis. A graph can therefore give a good intuitive idea of why Newton's method works at a well-chosen starting point and why it might diverge with a poorly-chosen starting point.This expression above can be used to estimate the amount of offset needed to land closer to the root starting from an initial guess..
The Lorenz attractor is an attractor that arises in a simplified system of equations describing the two-dimensional flow of fluid of uniform depth , with an imposed temperature difference , under gravity , with buoyancy , thermal diffusivity , and kinematic viscosity . The full equations are(1)(2)Here, is a stream function, defined such that the velocity components of the fluid motion are(3)(4)(Tabor 1989, p. 205).In the early 1960s, Lorenz accidentally discovered the chaotic behavior of this system when he found that, for a simplified system, periodic solutions of the form(5)(6)grew for Rayleigh numbers larger than the critical value, . Furthermore, vastly different results were obtained for very small changes in the initial values, representing one of the earliest discoveries of the so-called butterfly effect.Lorenz included the terms(7)(8)(9)where is proportional to convective intensity, to the temperature difference..
There are at least two maps known as the Hénon map.The first is the two-dimensional dissipative quadraticmap given by the coupled equations(1)(2)(Hénon 1976).The strange attractor illustrated above is obtained for and .The illustration above shows two regions of space for the map with and colored according to the number of iterations required to escape (Michelitsch and Rössler 1989).The plots above show evolution of the point for parameters (left) and (right).The Hénon map has correlation exponent (Grassberger and Procaccia 1983) and capacity dimension (Russell et al. 1980). Hitzl and Zele (1985) give conditions for the existence of periods 1 to 6.A second Hénon map is the quadratic area-preserving map(3)(4)(Hénon 1969), which is one of the simplest two-dimensional invertible maps...
Let be a rational function(1)where , is the Riemann sphere , and and are polynomials without common divisors. The "filled-in" Julia set is the set of points which do not approach infinity after is repeatedly applied (corresponding to a strange attractor). The true Julia set is the boundary of the filled-in set (the set of "exceptional points"). There are two types of Julia sets: connected sets (Fatou set) and Cantor sets (Fatou dust).Quadratic Julia sets are generated by the quadratic mapping(2)for fixed . For almost every , this transformation generates a fractal. Examples are shown above for various values of . The resulting object is not a fractal for (Dufner et al. 1998, pp. 224-226) and (Dufner et al. 1998, pp. 125-126), although it does not seem to be known if these two are the only such exceptional values.The special case of on the boundary of the Mandelbrot set is called a dendrite fractal (top left figure),..
Consider the sequence defined by and , where denotes the reverse of a sequence . The first few terms are then 01, 010110, 010110010110011010, .... All words are cubefree (Allouche and Shallit 2003, p. 28, Ex. 1.49). Iterating gives the sequence 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1, ... (OEIS A118006)Plotting (mod 2), where denotes the th digit of the infinitely iterated sequence, gives the beautiful pattern shown above, known as Reverend Back's abbey floor (Wegner 1982; Siromoney and Subramanian 1983; Allouche and Shallit 2003, pp. 410-411). Note that this plot is identical to the recurrence plot (mod 2).
The Haferman carpet is the beautiful fractal constructed using string rewriting beginning with a cell  and iterating the rules(1)(Allouche and Shallit 2003, p. 407).Taking five iterations gives the beautiful pattern illustrated above.This fractal also appears on the cover of Allouche and Shallit (2003).Let be the number of black boxes, the length of a side of a white box, and the fractional area of black boxes after the th iteration. Then(2)(3)The numbers of black cells after , 1, 2, ... iterations are therefore 1, 4, 61, 424, 4441, 36844, ... (OEIS A118005). The capacity dimension is therefore(4)(5)
A Julia set fractal obtainedby iterating the functionwhere is the sign function and is the real part of . The plot above sets and uses a maximum of 50 iterations with escape radius 2.
The pentaflake is a fractal with 5-fold symmetry. As illustrated above, five pentagons can be arranged around an identical pentagon to form the first iteration of the pentaflake. This cluster of six pentagons has the shape of a pentagon with five triangular wedges removed. This construction was first noticed by Albrecht Dürer (Dixon 1991).For a pentagon of side length 1, the first ring of pentagons has centers at radius(1)where is the golden ratio. The inradius and circumradius are related by(2)and these are related to the side length by(3)The height is(4)giving a radius of the second ring as(5)Continuing, the th pentagon ring is located at(6)Now, the length of the side of the first pentagon compound is given by(7)so the ratio of side lengths of the original pentagon to that of the compound is(8)We can now calculate the dimension of the pentaflake fractal. Let be the number of black pentagons and the length of side of a pentagon after the iteration,(9)(10)The..
Consider an arbitrary one-dimensional map(1)(with implicit parameter ) at the onset of chaos. After a suitable rescaling, the Feigenbaum function(2)is obtained. This function satisfies(3)with .Proofs for the existence of an even analytic solution to this equation, sometimes called the Feigenbaum-Cvitanović functional equation, have been given by Campanino and Epstein (1981), Campanino et al. (1982), and Lanford (1982, 1984).The picture above illustrate the Feigenbaum function for the logistic map with ,(4)along the real axis (M. Trott, pers. comm., Sept. 9, 2003).The images above show two views of a sculpture presented by Stephen Wolfram to Mitchell Feigenbaum on the occasion of his 60th birthday that depicts the Feigenbaum function in the complex plane. The sculpture (photos courtesy of A. Young) was designed by M. Trott and laser-etched into a block of glass by Bathsheba Grossman (https://www.bathsheba.com/)...
Two integers are relatively prime if they share no common positive factors (divisors) except 1. Using the notation to denote the greatest common divisor, two integers and are relatively prime if . Relatively prime integers are sometimes also called strangers or coprime and are denoted . The plot above plots and along the two axes and colors a square black if and white otherwise (left figure) and simply colored according to (right figure).Two numbers can be tested to see if they are relatively prime in the Wolfram Language using CoprimeQ[m, n].Two distinct primes and are always relatively prime, , as are any positive integer powers of distinct primes and , .Relative primality is not transitive. For example, and , but .The probability that two integers and picked at random are relatively prime is(1)(OEIS A059956; Cesàro and Sylvester 1883; Lehmer 1900; Sylvester 1909; Nymann 1972; Wells 1986, p. 28; Borwein and Bailey 2003, p. 139;..
Origami is the Japanese art of paper folding. In traditional origami, constructions are done using a single sheet of colored paper that is often, though not always, square. In modular origami, a number of individual "units," each folded from a single sheet of paper, are combined to form a compound structure. Origami is an extremely rich art form, and constructions for thousands of objects, from dragons to buildings to vegetables have been devised. Many mathematical shapes can also be constructed, especially using modular origami. The images above show a number of modular polyhedral origami, together with an animated crane constructed in the Wolfram Language by L. Zamiatina.To distinguish the two directions in which paper can be folded, the notations illustrated above are conventionally used in origami. A "mountain fold" is a fold in which a peak is formed, whereas a "valley fold" is a fold forming..
The Delannoy numbers are the number of lattice paths from to in which only east (1, 0), north (0, 1), and northeast (1, 1) steps are allowed (i.e., , , and ). They are given by the recurrence relation(1)with . The are also given by the sums(2)(3)(4)where is a hypergeometric function.A table for values for the Delannoy numbers is given by(5)(OEIS A008288) for , 1, ... increasing from left to right and , 1, ... increasing from top to bottom.They have the generating function(6)(Comtet 1974, p. 81).Taking gives the central Delannoy numbers , which are the number of "king walks" from the corner of an square to the upper right corner . These are given by(7)where is a Legendre polynomial (Moser 1955; Comtet 1974, p. 81; Vardi 1991). Another expression is(8)(9)(10)where is a binomial coefficient and is a hypergeometric function. These numbers have a surprising connection with the Cantor set (E. W. Weisstein, Apr. 9,..
There are two sorts of transforms known as the fractional Fourier transform.The linear fractional Fourier transform is a discrete Fourier transform in which the exponent is modified by the addition of a factor ,However, such transforms may not be consistent with their inverses unless is an integer relatively prime to so that . Fractional fourier transforms are implemented in the Wolfram Language as Fourier[list, FourierParameters -> a, b], where is an additional scaling parameter. For example, the plots above show 2-dimensional fractional Fourier transforms of the function for parameter ranging from 1 to 6.The quadratic fractional Fourier transform is defined in signal processing and optics. Here, the fractional powers of the ordinary Fourier transform operation correspond to rotation by angles in the time-frequency or space-frequency plane (phase space). So-called fractional Fourier domains correspond to oblique axes in..
A recurrence plot is defined as a plot of the quantitywhere is the Heaviside step function and denotes a norm. A recurrence plot is therefore a binary plot. The figure above shows a recurrence plot for the Lorenz attractor with , , , , , , and .Recurrence plots were initially used to graphically display nonstationarity in time series (Eckmann et al. 1987, Gao and Cai 2000), but are also useful for visualizing functions.A so-called global recurrence plot or unthresholded recurrence plot of a function is a plot of (or ) in the - plane. Recurrence plots for a number of common functions are illustrated above.
A Riemann surface is a surface-like configuration that covers the complex plane with several, and in general infinitely many, "sheets." These sheets can have very complicated structures and interconnections (Knopp 1996, pp. 98-99). Riemann surfaces are one way of representing multiple-valued functions; another is branch cuts. The above plot shows Riemann surfaces for solutions of the equationwith , 3, 4, and 5, where is the Lambert W-function (M. Trott).The Riemann surface of the function field is the set of nontrivial discrete valuations on . Here, the set corresponds to the ideals of the ring of integers of over . ( consists of the elements of that are roots of monic polynomials over .) Riemann surfaces provide a geometric visualization of functions elements and their analytic continuations.Schwarz proved at the end of nineteenth century that the automorphism group of a compact Riemann surface of genus is finite,..
A 4-cusped hypocycloid which is sometimes also called a tetracuspid, cubocycloid, or paracycle. The parametric equations of the astroid can be obtained by plugging in or into the equations for a general hypocycloid, giving parametric equations(1)(2)(3)(4)(5)(6)for .The polar equation can be obtained by computing(7)and plugging in to to obtain(8)for .In Cartesian coordinates,(9)A generalization of the curve to(10)gives "squashed" astroids, which are a special case of the superellipse corresponding to parameter .In pedal coordinates with the pedalpoint at the center, the equation is(11)and the Cesàro equation is(12)A further generalization to an equation of the form(13)is known as a superellipse.The arc length, curvature,and tangential angle are(14)(15)(16)where the formula for holds for .The perimeter of the entire astroid can be computedfrom the general hypocycloid formula(17)with ,(18)For a squashed..
A parabola (plural "parabolas"; Gray 1997, p. 45) is the set of all points in the plane equidistant from a given line (the conic section directrix) and a given point not on the line (the focus). The focal parameter (i.e., the distance between the directrix and focus) is therefore given by , where is the distance from the vertex to the directrix or focus. The surface of revolution obtained by rotating a parabola about its axis of symmetry is called a paraboloid.The parabola was studied by Menaechmus in an attempt to achieve cube duplication. Menaechmus solved the problem by finding the intersection of the two parabolas and . Euclid wrote about the parabola, and it was given its present name by Apollonius. Pascal considered the parabola as a projection of a circle, and Galileo showed that projectiles falling under uniform gravity follow parabolic paths. Gregory and Newton considered the catacaustic properties of a parabola that..