 # Tag

Sort by:

### Lyapunov condition

The Lyapunov condition, sometimes known as Lyapunov's central limit theorem, states that if the th moment (with ) exists for a statistical distribution of independent random variates (which need not necessarily be from same distribution), the means and variances are finite, and(1)then if(2)where(3)the central limit theorem holds.

### Teardrop curve

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)

### Lindeberg condition

A sufficient condition on the Lindeberg-Feller central limit theorem. Given random variates , , ..., let , the variance of be finite, and variance of the distribution consisting of a sum of s(1)be(2)In the terminology of Zabell (1995), let(3)where denotes the expectation value of restricted to outcomes , then the Lindeberg condition is(4)for all (Zabell 1995).In the terminology of Feller (1971), the Lindeberg condition assumed that for each ,(5)or equivalently(6)Then the distribution(7)tends to the normal distribution with zero expectation and unit variance (Feller 1971, p. 256). The Lindeberg condition (5) guarantees that the individual variances are small compared to their sum in the sense that for given for all sufficiently large , for , ..., (Feller 1971, p. 256).

### Right angle

A right angle is an angle equal to half the angle from one end of a line segment to the other. A right angle is radians or . A triangle containing a right angle is called a right triangle. However, a triangle cannot contain more than one right angle, since the sum of the two right angles plus the third angle would exceed the total possessed by a triangle.The patterns of cracks observed in mud that has been dried by the sun form curves that often intersect in right angles (Williams 1979, p. 45; Steinhaus 1999, p. 88; Pearce 1990, p. 12).

### Angle

Given two intersecting lines or line segments, the amount of rotation about the point of intersection (the vertex) required to bring one into correspondence with the other is called the angle between them. The term "plane angle" is sometimes used to distinguish angles in a plane from solid angles measured in space (International Standards Organization 1982, p. 5).The term "angle" can also be applied to the rotational offset between intersecting planes about their common line of intersection, in which case the angle is called the dihedral angle of the planes.Angles are usually measured in degrees (denoted ), radians (denoted rad, or without a unit), or sometimes gradians (denoted grad).The concept of an angle can be generalized from the circle to the sphere, in which case it is known as solid angle. The fraction of a sphere subtended by an object (its solid angle) is measured in steradians, with the entire sphere..

### Crookedness

Let a knot be parameterized by a vector function with , and let be a fixed unit vector in . Count the number of local minima of the projection function . Then the minimum such number over all directions and all of the given type is called the crookedness . Milnor (1950) showed that is the infimum of the total curvature of . For any tame knot in , where is the bridge index.

### Queens problem

What is the maximum number of queens that can be placed on an chessboard such that no two attack one another? The answer is queens for or and queens otherwise, which gives eight queens for the usual board (Madachy 1979; Steinhaus 1999, p. 29). The number of different ways the queens can be placed on an chessboard so that no two queens may attack each other for the first few are 1, 0, 0, 2, 10, 4, 40, 92, ... (OEIS A000170; Madachy 1979; Steinhaus 1999, p. 29). The number of rotationally and reflectively distinct solutions of these are 1, 0, 0, 1, 2, 1, 6, 12, 46, 92, ... (OEIS A002562; Dudeney 1970; p. 96). The 12 distinct solutions for are illustrated above, and the remaining 80 are generated by rotation and reflection (Madachy 1979, Steinhaus 1999).The minimum number of queens needed to occupy or attack all squares of an chessboard (i.e., domination numbers for the queen graphs) are given for , 2, ... by 1, 1, 1, 2, 3, 3, 4, 5, 5, 5, 5, 6, 7, 8, 9,..

### Prince rupert's cube

Prince Rupert's cube is the largest cube that can be made to pass through a given cube. In other words, the cube having a side length equal to the side length of the largest hole of a square cross section that can be cut through a unit cube without splitting it into two pieces.Prince Rupert's cube cuts a hole of the shape indicated in the above illustration (Wells 1991). Curiously, it is slightly larger than the original cube, with side length (OEIS A093577). Any cube this size or smaller can be made to pass through the original cube.

### Salinon

The salinon is the figure illustrated above formed from four connected semicircles. The word salinon is Greek for "salt cellar," which the figure resembles. If the radius of the large enclosing circle is and the radius of the small central circle is , then the radii of the two small side circles are .In his Book of Lemmas, Archimedes proved that the salinon has an area equal to the circle having the line segment joining the top and bottom points as its diameter (Wells 1991), namely

### Vesica piscis

The term "vesica piscis," meaning "fish bladder" in Latin, is used for the particular symmetric lens formed by the intersection of two equal circles whose centers are offset by a distance equal to the circle radii (Pedoe 1995, p. xii). The height of the lens is given by letting in the equation for a circle-circle intersection(1)giving(2)The vesica piscis therefore has two equilateral triangles inscribed in it as illustrated above.The area of the vesica piscis is given by plugging into the circle-circle intersection area equation with ,(3)giving(4)(5)(OEIS A093731). Since each arcof the lens is precisely 1/3 of a circle, perimeter is given by(6)Renaissance artists frequently surrounded images of Jesus with the vesica piscis (Pedoe 1995, p. xii; Rawles 1997).

### Lens

A (general, asymmetric) lens is a lamina formed by the intersection of two offset disks of unequal radii such that the intersection is not empty, one disk does not completely enclose the other, and the centers of curvatures are on opposite sides of the lens. If the centers of curvature are on the same side, a lune results.The area of a general asymmetric lens obtained from circles of radii and and offset can be found from the formula for circle-circle intersection, namely(1)(2)Similarly, the height of such a lens is(3)(4)A symmetric lens is lens formed by the intersection of two equal disk. The area of a symmetric lens obtained from circles with radii and offset is given by(5)and the height by(6)A special type of symmetric lens is the vesica piscis (Latin for "fish bladder"), corresponding to a disk offset which is equal to the disk radii.A lens-shaped region also arises in the study of Bessel functions, is very important in the theory of..

### Honeycomb

The regular tessellation consisting of regular hexagons (i.e., a hexagonal grid).In general, the term honeycomb is used to refer to a tessellation in dimensions for . The only regular honeycomb in three dimensions is , which consists of eight cubes meeting at each polyhedron vertex. The only quasiregular honeycomb (with regular cells and semiregular vertex figures) has each polyhedron vertex surrounded by eight tetrahedra and six octahedra and is denoted .Ball and Coxeter (1987) use the term "sponge" for a solid that can be parameterized by integers , , and that satisfy the equationThe possible sponges are , , , , and .There are many semiregular honeycombs, such as , in which each polyhedron vertex consists of two octahedra and four cuboctahedra .

### Cup

The symbol , used for the union of sets, and, sometimes, also for the logical connective OR instead of the symbol (vee). In fact, for any two sets and and this equivalence demonstrates the connection between the set-theoretical and the logical meaning.

### Snake

A snake is an Eulerian path in the -hypercube that has no chords (i.e., any hypercube edge joining snake vertices is a snake edge). Klee (1970) asked for the maximum length of a -snake. Klee (1970) gave the bounds(1)for (Danzer and Klee 1967, Douglas 1969), as well as numerous references. Abbott and Katchalski (1988) show(2)and Snevily (1994) showed that(3)for , and conjectured(4)for . The first few values for for , 2, ..., are 2, 4, 6, 8, 14, 26, ... (OEIS A000937).

### Pseudotree

A pseudotree is a connected pseudoforest, i.e., an undirected connected graph that contains at most one graph cycle. Connected acyclic graphs (i.e., trees), are therefore pseudotrees.Some care is needed when encountering pseudotrees as some authors use the term to mean "a pseudotree that is not a tree." Such graphs are perhaps better known as connected unicyclic graphs for clarity.The numbers of pseudotrees on 1, 2, 3, ... vertices are 1, 1, 2, 4, 8, 19, 44, 112, ... (OEIS A005703), the first few of which are illustrated above.

### Pseudoforest

A pseudoforest is an undirected graph in which every connected component contains at most one graph cycle. A pseudotree is therefore a connected pseudoforest and a forest (i.e., not-necessarily-connected acyclic graph) is a trivial pseudoforest.Some care is needed when encountering pseudoforests as some authors use the term to mean "a pseudoforest that is not a forest."The numbers of pseudoforests on 1, 2, 3, ... vertices are 1, 2, 4, 9, 19, 46, 108, 273 ... (OEIS A134964), the first few of which are illustrated above.

### Antelope graph

An antelope graph is a graph formed by all possible moves of a hypothetical chess piece called an "antelope" which moves analogously to a knight except that it is restricted to moves that change by three squares along one axis of the board and four squares along the other. To form the graph, each chessboard square is considered a vertex, and vertices connected by allowable antelope moves are considered edges. The plots above show the graphs corresponding to antelope graph on chessboards for to 7.The antelope graph is connected for , Hamiltonian for (trivially) and 14 (but for no odd or other even values ), and traceable for and 21 (with the status for unknown and unknown).Precomputed properties of antelope graphs are implemented in the Wolfram Language as GraphData["Antelope", m, n]...

### Giraffe graph

A giraffe graph is a graph formed by all possible moves of a hypothetical chess piece called a "giraffe" (a.k.a. -leaper) which moves analogously to a knight except that it is restricted to moves that change by one square along one axis of the board and four squares along the other. To form the graph, each chessboard square is considered a vertex, and vertices connected by allowable giraffe moves are considered edges.The smallest board allowing a closed tour for the giraffe (i.e., the giraffe graph is Hamiltonian) is the , first solved by A. H. Frost in 1886.

### Forest

A forest is an acyclic graph (i.e., a graph without any graph cycles). Forests therefore consist only of (possibly disconnected) trees, hence the name "forest."Examples of forests include the singleton graph,empty graphs, and all trees.A forest with components and nodes has graph edges. The numbers of forests on , 2, ... nodes are 1, 2, 3, 6, 10, 20, 37, ... (OEIS A005195).A graph can be tested to determine if it is acyclic (i.e., a forest) in the Wolfram Language using AcylicGraphQ[g]. A collection of acyclic graphs is available as GraphData["Acyclic"] or GraphData["Forest"].The total numbers of trees in all the forests of orders , 2, ... are 1, 3, 6, 13, 24, 49, 93, 190, 381, ... (OEIS A005196). The average numbers of trees are therefore 1, 3/2, 2, 13/6, 12/5, 49/20, 93/37, 5/2, ... (OEIS A095131 and A095132).The triangle of numbers of -node forests containing trees is 1; 1, 1; 1, 1, 1; 2, 2, 1, 1; 3, 3, 2, 1, 1; ... (OEIS..

### Universality

Universality is the property of being able to perform different tasks with the same underlying construction just by being programmed in a different way. Universal systems are effectively capable of emulating any other system. Digital computers are universal, but proving that idealized computational systems are universal can be extremely difficult and technical. Nonetheless, examples have been found in many systems, and any system that can be translated into another system known to be universal must itself be universal. Specific universal Turing machines, universal cellular automata (in both one and two dimensions), and universal cyclic tag systems are known, although the smallest universal example is known only in the case of elementary cellular automata (Wolfram 2002, Cook 2004).

### Rice's theorem

If is a class of recursively enumerable sets, then the set of Gödel numbers of functions whose domains belong to is called its index set. If the index set of is a recursive set, then either is empty or contains all recursively enumerable sets.Rice's theorem is an important result for computer science because it sets up boundaries for research in that area. It basically states that only trivial properties of programs are algorithmically decidable.

### Winkler conditions

Conditions arising in the study of the Robbins axiom and its connection with Boolean algebra. Winkler studied Boolean conditions (such as idempotence or existence of a zero) which would make a Robbins algebra become a Boolean algebra. Winkler showed that each of the conditionswhere denotes OR and denotes NOT, known as the first and second Winkler conditions, suffices. A computer proof demonstrated that every Robbins algebra satisfies the second Winkler condition, from which it follows immediately that all Robbins algebras are Boolean.

### Bishops problem

Find the maximum number of bishops that can be placed on an chessboard such that no two attack each other. The answer is (Dudeney 1970, Madachy 1979), giving the sequence 2, 4, 6, 8, ... (the even numbers) for , 3, .... One maximal solution for is illustrated above. The numbers of distinct maximal arrangements for , 2, ... bishops are 1, 4, 26, 260, 3368, ... (OEIS A002465). The numbers of rotationally and reflectively distinct solutions on an board for is(1)for (Dudeney 1970, p. 96; Madachy 1979, p. 45; Pickover 1995). An equivalent formula also valid for is(2)where is the floor function, giving the sequence for , 2, ... as 1, 1, 2, 3, 6, 10, 20, 36, ... (OEIS A005418).The minimum number of bishops needed to occupy or attack all squares on an chessboard is , arranged as illustrated above...

### Solomon's seal knot

Solomon's seal knot is the prime (5,2)-torus knot with braid word . It is also known as the cinquefoil knot (a name derived from certain herbs and shrubs of the rose family which have five-lobed leaves and five-petaled flowers) or the double overhand knot. It has Arf invariant 1 and is not amphichiral, although it is invertible.The knot group of Solomon's seal knot is(1)(Livingston 1993, p. 127).The Alexander polynomial , BLM/Ho polynomial , Conway polynomial , HOMFLY polynomial , Jones polynomial , and Kauffman polynomial F of the Solomon's seal knot are(2)(3)(4)(5)(6)(7)Surprisingly, the knot 10-132 shares the same Alexander polynomial and Jones polynomial with the Solomon's seal knot. However, no knots on 10 or fewer crossings share the same BLM/Ho polynomial with it.

### Singleton graph

The singleton graph is the graph consisting of a single isolated node with no edges. It is therefore the empty graph on one node. It is commonly denoted (i.e., the complete graph on one node).By convention, the singleton graph is considered to be Hamiltonian(B. McKay, pers. comm., Mar. 22, 2007).

### Transformation

A transformation (a.k.a., map, function) over a domain takes the elements to elements , where the range (a.k.a., image) of is defined asNote that when transformations are specified with respect to a coordinate system, it is important to specify whether the rotation takes place on the coordinate system, with space and objects embedded in it being viewed as fixed (a so-called alias transformation), or on the space itself relative to a fixed coordinate system (a so-called alibi transformation).Examples of transformations are summarized in the following table.TransformationCharacterizationdilationcenter of dilation, scale decrease factorexpansioncenter of expansion, scale increase factorreflectionmirror line or planerotationcenter of rotation, rotation angleshearinvariant line and shear factorstretch (1-way)invariant line and scale factorstretch (2-way)invariant lines and scale factorstranslationdisplacement..

### Gabriel's horn

Gabriel's horn, also called Torricelli's trumpet, is the surface of revolution of the function about the x-axis for . It is therefore given by parametric equations(1)(2)(3)The surprising thing about this surface is that it (taking for convenience here) has finite volume(4)(5)(6)but infinite surface area,since(7)(8)(9)(10)(11)(12)This leads to the paradoxical consequence that while Gabriel's horn can be filled up with cubic units of paint, an infinite number of square units of paint are needed to cover its surface!The coefficients of the first fundamental formare,(13)(14)(15)and of the second fundamental form are(16)(17)(18)The Gaussian and meancurvatures are(19)(20)The Gaussian curvature can be expressed implicitly as(21)

### Tube

A tube of radius of a set is the set of points at a distance from . In particular, if is a regular space curve whose curvature does not vanish, then the normal vector and binormal vector are always perpendicular to , and the circle is perpendicular to at . So as the circle moves around , it traces out a tube, provided the tube radius is small enough so that the tube is not self-intersecting. A formula for the tube around a curve is therefore given byfor over the range of the curve and . The illustrations above show tubes corresponding to a circle, helix, and two torus knots.The surface generated by constructing a tube around a circleis known as a torus.

### Star of lakshmi

The Star of Lakshmi is the star figure , that is used in Hinduism to symbolize Ashtalakshmi, the eight forms of wealth. This symbol appears prominently in the Lugash national museum portrayed in the fictional film The Return of the Pink Panther.The interior of a Star of Lakshmi with edges of length is a regular octagon with side lengths(1)The areas of the intersection and union of the two constituent squares are(2)(3)

### Ear

A principal vertex of a simple polygon is called an ear if the diagonal that bridges lies entirely in . Two ears and are said to overlap ifThe two-ears theorem states that, except for triangles, every simple polygon has at least two nonoverlapping ears.

### Mouth

A principal vertex of a simple polygon is called a mouth if the diagonal is an extremal diagonal (i.e., the interior of lies in the exterior of ).

### Maltese cross

The Maltese cross is a symbol identified with the Christian warrior whose outward points form an octagon (left figure). Another class of cross sometimes (incorrectly) known as the Maltese cross is the cross pattée (from the French word meaning "paw," which each arm of the cross resembles). The TeX macro gives the form of the cross pattée illustrated in the middle figure. Around 1901, Dudeney published a seven-piece dissection of what he termed a "Maltese cross" (but which is actually a variant of the cross pattée) to a square (right figure) due to A. E. Hill (Gardner 1991, p. 46).

### Latin cross

An irregular dodecagonal cross in the shape of a dagger . The six faces of a cube can be cut along seven edges and unfolded into a Latin cross (i.e., the Latin cross is the net of the cube). Similarly, eight hypersurfaces of a hypercube can be cut along 17 squares and unfolded to form a three-dimensional Latin cross.Another cross also called the Latin cross is illustrated above. It is a Greekcross with flared ends, and is also known as the crux immissa or cross patée.

### Set

A set is a finite or infinite collection of objects in which order has no significance, and multiplicity is generally also ignored (unlike a list or multiset). Members of a set are often referred to as elements and the notation is used to denote that is an element of a set . The study of sets and their properties is the object of set theory.Older words for set include aggregate and set class. Russell also uses the unfortunate term manifold to refer to a set.Historically, a single horizontal overbar was used to denote a set stripped of any structure besides order, and hence to represent the order type of the set. A double overbar indicated stripping the order from the set and hence represented the cardinal number of the set. This practice was begun by set theory founder Georg Cantor.Symbols used to operate on sets include (which means "and" or intersection), and (which means "or" or union). The symbol is used to denote the set containing..

### Cayley tree

A tree in which each non-leaf graph vertex has a constant number of branches is called an -Cayley tree. 2-Cayley trees are path graphs. The unique -Cayley tree on nodes is the star graph. The illustration above shows the first few 3-Cayley trees (also called trivalent trees, binary trees, or boron trees). The numbers of binary trees on , 2, ... nodes (i.e., -node trees having vertex degree either 1 or 3; also called 3-Cayley trees, 3-valent trees, or boron trees) are 1, 1, 0, 1, 0, 1, 0, 1, 0, 2, 0, 2, 0 ,4, 0, 6, 0, 11, ... (OEIS A052120).The illustrations above show the first few 4-Cayley and 5-Cayley trees.The percolation threshold for a Cayley tree having branches is

### Taylor's condition

For a given positive integer , does there exist a weighted tree with graph vertices whose paths have weights 1, 2, ..., , where is a binomial coefficient? Taylor showed that no such tree can exist unless it is a perfect square or a perfect square plus 2. No such trees are known except , 3, 4, and 6.Székely et al. showed computationally that there are no such trees with and 11. They also showed that if there is such a tree on vertices then the maximum vertex degree is at most and that there is no path of length larger than . They conjecture that there are only finitely many such trees.

### Caterpillar graph

A caterpillar graph, caterpillar tree, or simply "caterpillar," is a tree in which every graph vertex is on a central stalk or only one graph edge away from the stalk (in other words, removal of its endpoints leaves a path graph; Gallian 2007). A tree is a caterpillar iff all nodes of degree are surrounded by at most two nodes of degree two or greater.Caterpillar graphs are graceful.The number of caterpillar trees on nodes iswhere is the floor function (Harary and Schwenk 1973). For , 2, ... nodes, this gives 1, 1, 1, 2, 3, 6, 10, 20, 36, 72, 136, ... (OEIS A005418). The first few caterpillars are illustrated above.The number of noncaterpillar trees on , 8, ... as 1, 3, 11, 34, 99, ... (OEIS A052471). The noncaterpillar trees on nodes are illustrated above.

### Strongly binary tree

A strongly binary tree is a rooted tree for which the root is adjacent to either zero or two vertices, and all non-root vertices are adjacent to either one or three vertices (Finch 2003, p. 298). The numbers of strongly binary trees on , 2, ... nodes are 1, 0, 1, 0, 1, 0, 2, 0, 3, 0, 6, 0, ... (OEIS A001190). The counts are 0 for even, and for odd , where is the number of weakly binary trees on nodes (Finch 2003, p. 298).

### Labeled tree

A tree with its nodes labeled. The number of labeled trees on nodes is , the first few values of which are 1, 1, 3, 16, 125, 1296, ... (OEIS A000272). Cayley (1889) provided the first proof of the number of labeled trees (Skiena 1990, p. 151), and a constructive proof was subsequently provided by Prüfer (1918). Prüfer's result gives an encoding for labeled trees known as Prüfer code (indicated underneath the trees above, where the trees are depicted using an embedding with root at the node labeled 1).The probability that a random labeled tree is centeredis asymptotically equal to 1/2 (Szekeres 1983; Skiena 1990, p. 167).

### Steiner tree

The Steiner tree of some subset of the vertices of a graph is a minimum-weight connected subgraph of that includes all the vertices. It is always a tree. Steiner trees have practical applications, for example, in the determination of the shortest total length of wires needed to join some number of points (Hoffman 1998, pp. 164-165).The determination of a Steiner tree is NP-complete and hard even to approximate. There is 1.55-approximate algorithm due to Robins and Zelikovski (2000), but approximation within 95/94 is known to be NP-hard (Chlebik and Chlebikova 2002).

### Binary tree

A binary tree is a tree-like structure that is rooted and in which each vertex has at most two children and each child of a vertex is designated as its left or right child (West 2000, p. 101). In other words, unlike a proper tree, the relative positions of the children is significant.Dropping the requirement that left and right children are considered unique gives a true tree known as a weakly binary tree (in which, by convention, the root node is also required to be adjacent to at most one graph vertex).The height of a binary tree is the number of levels within the tree. The numbers of binary trees of height , 2, ... nodes are 1, 3, 21, 651, 457653, ... (OEIS A001699). A recurrence equation giving these counts is(1)with .The number of binary trees with nodes are 1, 2, 5, 14, 42, ... (OEIS A000108), which are the Catalan number .For a binary tree of height with nodes,(2)These extremes correspond to a balanced tree (each node except the tree leaves has a left..

### Cardioid

The curve given by the polar equation(1)sometimes also written(2)where .The cardioid has Cartesian equation(3)and the parametric equations(4)(5)The cardioid is a degenerate case of the limaçon. It is also a 1-cusped epicycloid (with ) and is the catacaustic formed by rays originating at a point on the circumference of a circle and reflected by the circle.The cardioid has a cusp at the origin.The name cardioid was first used by de Castillon in Philosophical Transactions of the Royal Society in 1741. Its arc length was found by la Hire in 1708. There are exactly three parallel tangents to the cardioid with any given gradient. Also, the tangents at the ends of any chord through the cusp point are at right angles. The length of any chord through the cusp point is .The cardioid may also be generated as follows. Draw a circle and fix a point on it. Now draw a set of circles centered on the circumference of and passing through . The envelope of these circles..

### Calculus

In general, "a" calculus is an abstract theory developed in a purely formal way."The" calculus, more properly called analysis (or real analysis or, in older literature, infinitesimal analysis), is the branch of mathematics studying the rate of change of quantities (which can be interpreted as slopes of curves) and the length, area, and volume of objects. The calculus is sometimes divided into differential and integral calculus, concerned with derivativesand integralsrespectively.While ideas related to calculus had been known for some time (Archimedes' method of exhaustion was a form of calculus), it was not until the independent work of Newton and Leibniz that the modern elegant tools and ideas of calculus were developed. Even so, many years elapsed until the subject was put on a mathematically rigorous footing by mathematicians such as Weierstrass...

### Freeth's nephroid

A strophoid of a circle with the pole at the center of the circle and the fixed point on the circumference of the circle. Freeth (1878, pp. 130 and 228) described this and various other strophoids (MacTutor Archive).It has polar equation(1)The area enclosed by the outer boundary of the curve is(2)and the total arc length is(3)(4)(OEIS A138498), where , is a complete elliptic integral of the first kind, is a complete elliptic integral of the second kind, and is a complete elliptic integral of the third kind.If the line through parallel to the y-axis cuts the nephroid at , then angle is , so this curve can be used to construct a regular heptagon.The curvature and tangentialangle are given by(5)(6)where is the floor function.

### Nephroid

The 2-cusped epicycloid is called a nephroid. The name nephroid means "kidney shaped" and was first used for the two-cusped epicycloid by Proctor in 1878 (MacTutor Archive).The nephroid is the catacaustic for rays originating at the cusp of a cardioid and reflected by it. In addition, Huygens showed in 1678 that the nephroid is the catacaustic of a circle when the light source is at infinity, an observation which he published in his Traité de la luminère in 1690 (MacTutor Archive). (Trott 2004, p. 17, mistakenly states that the catacaustic for parallel light falling on any concave mirror is a nephroid.) The shape of the "flat visor curve" produced by a pop-up card dubbed the "knight's visor" is half a nephroid (Jakus and O'Rourke 2012).Since the nephroid has cusps, , and the equation for in terms of the parameter is given by epicycloid equation(1)with ,(2)where(3)This can be written(4)The..

### Napier's bones

Napier's bones, also called Napier's rods, are numbered rods which can be used to perform multiplication of any number by a number 2-9. By placing "bones" corresponding to the multiplier on the left side and the bones corresponding to the digits of the multiplicand next to it to the right, and product can be read off simply by adding pairs of numbers (with appropriate carries as needed) in the row determined by the multiplier. This process was published by Napier in 1617 an a book titled Rabdologia, so the process is also called rabdology.There are ten bones corresponding to the digits 0-9, and a special eleventh bone that is used the represent the multiplier. The multiplier bone is simply a list of the digits 1-9 arranged vertically downward. The remainder of the bones each have a digit written in the top square, with the multiplication table for that digits written downward, with the digits split by a diagonal line going from the lower left..

### Pear curve

For some range of , the Mandelbrot set lemniscate in the iteration towards the Mandelbrot set is a pear-shaped curve. In Cartesian coordinates with a constant , the equation is given byThe plots above show the resulting curve for (left figure) and for a range of between 0 and 2 (right figure).

### Thin plate spline

The thin plate spline is the two-dimensional analog of the cubic spline in one dimension. It is the fundamental solution to the biharmonic equation, and has the formGiven a set of data points, a weighted combination of thin plate splines centered about each data point gives the interpolation function that passes through the points exactly while minimizing the so-called "bending energy." Bending energy is defined here as the integral over of the squares of the second derivatives,Regularization may be used to relax the requirement that the interpolant pass through the data points exactly.The name "thin plate spline" refers to a physical analogy involving the bending of a thin sheet of metal. In the physical setting, the deflection is in the direction, orthogonal to the plane. In order to apply this idea to the problem of coordinate transformation, one interprets the lifting of the plate as a displacement of the or coordinates..

### Sieve of eratosthenes

An algorithm for making tables of primes. Sequentially write down the integers from 2 to the highest number you wish to include in the table. Cross out all numbers which are divisible by 2 (every second number). Find the smallest remaining number . It is 3. So cross out all numbers which are divisible by 3 (every third number). Find the smallest remaining number . It is 5. So cross out all numbers which are divisible by 5 (every fifth number).Continue until you have crossed out all numbers divisible by , where is the floor function. The numbers remaining are prime. This procedure is illustrated in the above diagram which sieves up to 50, and therefore crosses out composite numbers up to . If the procedure is then continued up to , then the number of cross-outs gives the number of distinct prime factors of each number.The sieve of Eratosthenes can be used to compute the primecounting function aswhich is essentially an application of the inclusion-exclusionprinciple..

### Mcnugget number

A McNugget number is a positive integer that can be obtained by adding together orders of McDonald's® Chicken McNuggetsTM (prior to consuming any), which originally came in boxes of 6, 9, and 20 (Vardi 1991, pp. 19-20 and 233-234; Wah and Picciotto 1994, p. 186). All integers are McNugget numbers except 1, 2, 3, 4, 5, 7, 8, 10, 11, 13, 14, 16, 17, 19, 22, 23, 25, 28, 31, 34, 37, and 43. The value 43 therefore corresponds to the Frobenius number of .Since the Happy MealTM-sized nugget box (4 to a box) can now be purchased separately, the modern McNugget numbers are linear combinations of 4, 6, 9, and 20. These new-fangled numbers are much less interesting than before, with only 1, 2, 3, 5, 7, and 11 remaining as non-McNugget numbers. The value 11 therefore corresponds to the Frobenius number of .The greedy algorithm can be used to find a McNugget expansion of a given integer . This can also be done in the Wolfram Language using FrobeniusSolve[6,..

### Rice distribution

where is a modified Bessel function of the first kind and . For a derivation, see Papoulis (1962). For = 0, this reduces to the Rayleigh distribution.

A sieving procedure that can be used in conjunction with Dixon's factorization method to factor large numbers . Pick values of given by(1)where , 2, ... and is the floor function. We are then looking for factors such that(2)which means that only numbers with Legendre symbol (less than for trial divisor , where is the prime counting function) need be considered. The set of primes for which this is true is known as the factor base. Next, the congruences(3)must be solved for each in the factor base. Finally, a sieve is applied to find values of which can be factored completely using only the factor base. Gaussian elimination is then used as in Dixon's factorization method in order to find a product of the s, yielding a perfect square.The method requires about steps, improving on the continued fraction factorization algorithm by removing the 2 under the square root (Pomerance 1996). The use of multiple polynomials gives a better chance of factorization,..

### Flower snark

The flower snarks are a family of snarks discovered by Isaacs (1975) and denoted . is Tietze's graph, which is a "reducible snark" since it contains a cycle of length less than 5. is illustrated above in two embeddings, the second of which appears in Scheinerman and Ullman (2011, p. 96) as an example of a graph with edge chromatic number and fractional edge chromatic number (4 and 3, respectively) both integers but not equal. is maximally nonhamiltonian for odd (Clark and Entringer 1983).

### Wheat and chessboard problem

Let one grain of wheat be placed on the first square of a chessboard, two on the second, four on the third, eight on the fourth, etc. How many grains total are placed on an chessboard? Since this is a geometric series, the answer for squares isa Mersenne number. Plugging in then gives .

### Trefoil curve

The "trefoil" curve is the name given by Cundy and Rollett (1989, p. 72) to the quartic plane curve given by the equation(1)As such, it is a simply a modification of the folium with and (2)obtained by dropping the coefficients 2.The area enclosed by the trefoil curve is(3)the geometric centroid of the enclosed region is(4)(5)and the area moment of inertia elements by(6)(7)(8)(E. Weisstein, Feb 3, 2018).

### Cissoid

Given two curves and and a fixed point , let a line from cut at and at . Then the locus of a point such that is the cissoid. The word cissoid means "ivy shaped."curve 1curve 2polecissoidlineparallel lineany pointlinelinecirclecenter of circleconchoid of Nicomedescirclecircle tangent lineon circumferenceoblique cissoidcirclecircle tangent lineon circumference opposite tangentcissoid of Dioclescircleradial lineon circumferencestrophoidcircleconcentric circlecenter of circlescirclecirclesame circlelemniscate

### Cactus graph

A cactus graph, sometimes also called a cactus tree, a mixed Husimi tree, or a polygonal cactus with bridges, is a connected graph in which any two graph cycles have no edge in common. Equivalently, it is a connected graph in which any two (simple) cycles have at most one vertex in common.The inequalitywhere is the circuit rank and is the total number of undirected graph cycles holds for a connected graph iff it is a cactus graph (Volkmann 1996).Every cycle of a cactus graph is therefore chordless. However, there exist graphs (e.g., the -graph and Pasch graph) whose cycles are all chordless but which are not cactus graphs.Every cactus graph is a unit-distance graph(Erdős et al. 1965).Every pseudotree is a cactus graph.The numbers of cactus graphs on 1, 2, ... nodes are 1, 1, 2, 4, 9, 23, 63, 188, ...(OEIS A000083)...

### Folium of descartes

A plane curve proposed by Descartes to challenge Fermat's extremum-finding techniques. In parametric form,(1)(2)The curve has a discontinuity at . The left wing is generated as runs from to 0, the loop as runs from 0 to , and the right wing as runs from to .In Cartesian coordinates,(3)(MacTutor Archive). The equation of the asymptote is(4)The curvature and tangentialangle of the folium of Descartes are(5)(6)where is the Heaviside step function.Converting the parametric equations to polar coordinates gives(7)(8)so the polar equation is(9)The area enclosed by the curve is(10)(11)(12)The arc length of the loop is given by(13)(14)

### Folium

The folium (meaning leaf-shaped, referring to the lobes present in this curve), also known as Kepler's folium, is the curve with polar equation(1)Its Cartesian equation is(2)If , it is a single folium. If , it is a bifolium. If , it is a three-lobed curve sometimes called a trifolium. A modification of the case , is sometimes called the trefoil curve (Cundy and Rollett 1989, p. 72).The area of the folium is(3)The plots above show families of the folium for between 0 and 4.The simple folium is the pedal curve of the deltoidwhere the pedal point is one of the cusps.

### Rose

A curve which has the shape of a petalled flower. This curve was named rhodonea by the Italian mathematician Guido Grandi between 1723 and 1728 because it resembles a rose (MacTutor Archive). The polar equation of the rose isorIf is odd, the rose is -petalled. If is even, the rose is -petalled.If is a rational number, then the curve closes at a polar angle of , where if is odd and if is even.If is irrational, then there are an infinite number of petals.The following table summarizes special names gives to roses with various values of .curve2quadrifolium3trifolium, paquerette de mélibée

### Cranioid

A curve whose name means skull-like. It is given by the polar equationwhere , , , , and . The top of the curve corresponds to , while the bottom corresponds to .It has area given bywhere is an Appell hypergeometric function.

### Conchoid

A curve whose name means "shell form." Let be a curve and a fixed point. Let and be points on a line from to meeting it at , where , with a given constant. For example, if is a circle and is on , then the conchoid is a limaçon, while in the special case that is the diameter of , then the conchoid is a cardioid. The equation for a parametrically represented curve with is(1)(2)

### Cochleoid inverse curve

The inverse curve of the cochleoid(1)with inversion center at the origin and inversion radius is the quadratrix of Hippias.(2)(3)

### Cochleoid

The cochleoid, whose name means "snail-form" in Latin, was first considered by John Perks as referenced in Wallis et al. (1699). The cochleoid has also been called the oui-ja board curve (Beyer 1987, p. 215). The points of contact of parallel tangents to the cochleoid lie on a strophoid.Smith (1958, p. 327) gives historical references for the cochleoid, but corrections to the name and date mentioned as "discussed by J. Perk Phil. Trans. 1700" (actually John Perks, as mentioned in Wallis et al. 1699 and Pedersen 1963), the separateness of papers by Falkenburg (1844) and Benthem (1844), and the spelling of the latter's name should all be noted.In polar coordinates, the curve is given by(1)For the parametric form(2)(3)the curvature is(4)

### Cardinal function

Let be a function and let , and define the cardinal series of with respect to the interval as the formal serieswhere is the sinc function. If this series converges, it is known as the cardinal function (or Whittaker cardinal function) of , denoted (McNamee et al. 1971).

A surface which a monkey can straddle with both legsand his tail. A simple Cartesian equation for such a surface is(1)which can also be given by the parametric equations(2)(3)(4)The monkey saddle has a single stationary point as summarized in the table below. While the second derivative test is not sufficient to classify this stationary point, it turns out to be a saddle point.point20saddle pointThe coefficients of the first fundamental formof the monkey saddle are(5)(6)(7)and the second fundamental form coefficientsare(8)(9)(10)giving Riemannian metric(11)area element(12)and Gaussian and meancurvatures(13)(14)(Gray 1997). The Gaussian curvature can be written implicitly as(15)so every point of the monkey saddle except the origin has negative Gaussian curvature.

### Lemon surface

A surface of revolution defined by Kepler. It consists of less than half of a circular arc rotated about an axis passing through the endpoints of the arc. The equations of the upper and lower boundaries in the plane are(1)for and . The cross section of a lemon is a lens. The lemon is the inside surface of a spindle torus. The American football is shaped like a lemon.Two other lemon-shaped surfaces are given by the sexticsurface(2)called the "citrus" (or zitrus) surface by Hauser (left figure), and thesextic surface(3)whose upper and lower portions resemble two halves of a lemon, called the limão surface by Hauser (right figure).The citrus surface had bounding box , centroid at , volume(4)and a moment of inertia tensor(5)for a uniform density solid citrus with mass .

### Kiss surface

The kiss surface is the quintic surfaceof revolution given by the equation(1)that is closely related to the ding-dong surface. It is so named because the shape of the lower portion resembles that of a Hershey's Chocolate Kiss.It can be represented parametrically as(2)(3)(4)The coefficients of the first fundamental formare(5)(6)(7)and of the second fundamental form are(8)(9)(10)The Gaussian and meancurvatures are given by(11)(12)The Gaussian curvature can be given implicitlyby(13)The surface area and volumeenclosed of the top teardrop are given by(14)(15)Its centroid is at and the moment of inertia tensor is(16)for a solid kiss with uniform density and mass .

### Cornucopia

The surface given by the parametricequations(1)(2)(3)For , the coefficients of the first fundamental form are(4)(5)(6)and of the second fundamental form are(7)(8)(9)The Gaussian and meancurvatures are given by(10)(11)and the principal curvatures are(12)(13)

### Heart surface

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).

### Apple surface

A surface of revolution defined by Kepler. It consists of more than half of a circular arc rotated about an axis passing through the endpoints of the arc. The equations of the upper and lower boundaries in the - plane are(1)for and . It is the outside surface of a spindle torus.It is also a quartic surface given by Cartesianequation(2)or(3)

### Line

A line is a straight one-dimensional figure having no thickness and extending infinitely in both directions. A line is sometimes called a straight line or, more archaically, a right line (Casey 1893), to emphasize that it has no "wiggles" anywhere along its length. While lines are intrinsically one-dimensional objects, they may be embedded in higher dimensional spaces.Harary (1994) called an edge of a graph a "line."A line is uniquely determined by two points, and the line passing through points and is denoted . Similarly, the length of the finite line segment terminating at these points may be denoted . A line may also be denoted with a single lower-case letter (Jurgensen et al. 1963, p. 22).Euclid defined a line as a "breadthless length," and a straight line as a line that "lies evenly with the points on itself" (Kline 1956, Dunham 1990).Consider first lines in a two-dimensional plane. Two..

### Solomon's seal lines

The 27 real or imaginary lines which lie on the general cubic surface and the 45 triple tangent planes to the surface. All are related to the 28 bitangents of the general quartic curve.Schoute (1910) showed that the 27 lines can be put into a one-to-one correspondence with the vertices of a particular polytope in six-dimensional space in such a manner that all incidence relations between the lines are mirrored in the connectivity of the polytope and conversely (Du Val 1933). A similar correspondence can be made between the 28 bitangents and a seven-dimensional polytope (Coxeter 1928) and between the tritangent planes of the canonical curve of genus four and an eight-dimensional polytope (Du Val 1933).

### Lituus

The lituus is an Archimedean spiral with , having polar equation(1)Lituus means a "crook," in the sense of a bishop's crosier. The lituus curve originated with Cotes in 1722. Maclaurin used the term lituus in his book Harmonia Mensurarum in 1722 (MacTutor Archive). The lituus is the locus of the point moving such that the area of a circular sector remains constant.The arc length, curvature,and tangential angle are given by(2)(3)(4)where the arc length is measured from .

### Phyllotaxis

The beautiful arrangement of leaves in some plants, called phyllotaxis, obeys a number of subtle mathematical relationships. For instance, the florets in the head of a sunflower form two oppositely directed spirals: 55 of them clockwise and 34 counterclockwise. Surprisingly, these numbers are consecutive Fibonacci numbers. The ratios of alternate Fibonacci numbers are given by the convergents to , where is the golden ratio, and are said to measure the fraction of a turn between successive leaves on the stalk of a plant: 1/2 for elm and linden, 1/3 for beech and hazel, 2/5 for oak and apple, 3/8 for poplar and rose, 5/13 for willow and almond, etc. (Coxeter 1969, Ball and Coxeter 1987). A similar phenomenon occurs for daisies, pineapples, pinecones, cauliflowers, and so on.Lilies, irises, and the trillium have three petals; columbines, buttercups, larkspur, and wild rose have five petals; delphiniums, bloodroot, and cosmos have eight petals;..

### Kakeya needle problem

The Kakeya needle problems asks for the plane figure of least area in which a line segment of width 1 can be freely rotated (where translation of the segment is also allowed). Surprisingly, there is no minimum area (Besicovitch 1928). Another iterative construction which tends to as small an area as desired is called a Perron tree (Falconer 1990, Wells 1991).When the figure is restricted to be convex, the smallest region is an equilateral triangle of unit height. Wells (1991) states that Kakeya discovered this, while Falconer (1990) attributes it to Pál.If convexity is replaced by the weaker assumption of simply-connectedness, then the area can still be arbitrarily small, but if the set is required to be star-shaped, then is a known lower bound (Cunningham 1965).The smallest simple convex domain in which one can put a segment of length 1 which will coincide with itself when rotated by has area(OEIS A093823; Le Lionnais 1983). ..

### Butterfly theorem

Given a chord of a circle, draw any other two chords and passing through its midpoint. Call the points where and meet and . Then is also the midpoint of . There are a number of proofs of this theorem, including those by W. G. Horner, Johnson (1929, p. 78), and Coxeter (1987, pp. 78 and 144). The latter concise proof employs projective geometry.The following proof is given by Coxeter and Greitzer (1967, p. 46). In the figure at right, drop perpendiculars and from and to , and and from and to . Write , , and , and then note that by similar triangles(1)(2)(3)so(4)(5)so . Q.E.D.

### Lozenge

An equilateral parallelogram whose acute angles are . Sometimes, the restriction to is dropped, and it is required only that two opposite angles are acute and the other two obtuse. The term rhombus is commonly used for an arbitrary equilateral parallelogram.The area of a lozenge of side length is(1)its diagonals have lengths(2)(3)and it has inradius(4)

### Cardinal number

In common usage, a cardinal number is a number used in counting (a countingnumber), such as 1, 2, 3, ....In formal set theory, a cardinal number (also called "the cardinality") is a type of number defined in such a way that any method of counting sets using it gives the same result. (This is not true for the ordinal numbers.) In fact, the cardinal numbers are obtained by collecting all ordinal numbers which are obtainable by counting a given set. A set has (aleph-0) members if it can be put into a one-to-one correspondence with the finite ordinal numbers. The cardinality of a set is also frequently referred to as the "power" of a set (Moore 1982, Dauben 1990, Suppes 1972).In Georg Cantor's original notation, the symbol for a set annotated with a single overbar indicated stripped of any structure besides order, hence it represented the order type of the set. A double overbar then indicated stripping the order from the set and thus indicated..

### Cardinal multiplication

Let and be any sets. Then the product of and is defined as the Cartesian product(Ciesielski 1997, p. 68; Dauben 1990, p. 173; Moore 1982, p. 37; Rubin 1967, p. 274; Suppes 1972, pp. 114-115).

### Cut

Given a weighted, undirected graph and a graphical partition of into two sets and , the cut of with respect to and is defined aswhere denotes the weight for the edge connecting vertices and . The weight of the cut is the sum of weights of edges crossing the cut.

### Perfectly weighted tree

If is a weighted tree with weights assigned to each vertex , then is perfectly weighted if the matrixwhere is the adjacency matrix of (Butske et al. 1999).

### Sandwich theorem

The Lovász number of a graph satisfieswhere is the clique number, is the chromatic number of , and is the graph complement of . Furthermore, can be computed efficiently despite the fact that the computation of the two numbers it lies between is an NP-hard problem.The squeezing theorem is also sometimes knownas the sandwich theorem.

### Glove problem

Let there be doctors and patients, and let all possible combinations of examinations of patients by doctors take place. Then what is the minimum number of surgical gloves needed so that no doctor must wear a glove contaminated by a patient and no patient is exposed to a glove worn by another doctor (where it is assumed that each doctor wears a glove on a single hand only)? In this problem, the gloves can be turned inside out and even placed on top of one another if necessary, but no "decontamination" of gloves is permitted. The optimal solution is(1)where is the ceiling function (Vardi 1991).The case is straightforward since two gloves have a total of four surfaces, which is the number needed for examinations. With doctors AB, patients ab, and gloves 12, a solution is A12a, A1b, B2a, B21b...

### Branch cut

A branch cut is a curve (with ends possibly open, closed, or half-open) in the complex plane across which an analytic multivalued function is discontinuous. For convenience, branch cuts are often taken as lines or line segments. Branch cuts (even those consisting of curves) are also known as cut lines (Arfken 1985, p. 397), slits (Kahan 1987), or branch lines.For example, consider the function which maps each complex number to a well-defined number . Its inverse function , on the other hand, maps, for example, the value to . While a unique principal value can be chosen for such functions (in this case, the principal square root is the positive one), the choices cannot be made continuous over the whole complex plane. Instead, lines of discontinuity must occur. The most common approach for dealing with these discontinuities is the adoption of so-called branch cuts. In general, branch cuts are not unique, but are instead chosen by convention..

### Branch

In complex analysis, a branch (also called a sheet) is a portion of the range of a multivalued function over which the function is single-valued. Combining all the sheets gives the full structure of the function. It is often convenient to choose a particular branch of a function to work with, and this choice is often designated the "principal branch" (or "principal sheet").In graph theory, a branch at a point in a tree is a maximal subtree containing as an endpoint (Harary 1994, p. 35).

### Blaschke condition

If (with possible repetitions) satisfieswhere is the unit open disk, and no , then there is a bounded analytic function on which has zero set consisting precisely of the s, counted according to their multiplicities. More specifically, the infinite productwhere is a Blaschke factor and is the complex conjugate, converges uniformly on compact subsets of to a bounded analytic function .

### Triskaidekaphobia

Triskaidekaphobia is the fear of 13, a number commonly associated with bad luck in Western culture. While fear of the number 13 can be traced back to medieval times, the word triskaidekaphobia itself is of recent vintage, having been first coined by Coriat (1911; Simpson and Weiner 1992). It seems to have first appeared in the general media in a Nov. 8, 1953 New York Times article covering discussions of a United Nations committee.This superstition leads some people to fear or avoid anything involving the number 13. In particular, this leads to interesting practices such as the numbering of floors as 1, 2, ..., 11, 12, 14, 15, ... (OEIS A011760; the "elevator sequence"), omitting the number 13, in many high-rise American hotels, the numbering of streets avoiding 13th Avenue, and so on.Apparently, 13 hasn't always been considered unlucky. In fact, it appears that in ancient times, 13 was either considered in a positive light or..

### Evil number

A number in which the first decimal digits of the fractional part sum to 666 is known as an evil number (Pegg and Lomont 2004).However, the term "evil" is also used to denote nonnegative integers that have an even number of 1s in their binary expansions, the first few of which are 0, 3, 5, 6, 9, 10, 12, 15, 17, 18, 20, ... (OEIS A001969), illustrated above as a binary plot. Numbers that are not evil are then known as odious numbers.Returning to Pegg's definition of evil, the fact that is evil was noted by Keith, while I. Honig (pers. comm., May 9, 2004) noted that the golden ratio is also evil. The following table gives a list of some common evil numbers (Pegg and Lomont 2004).Ramanujan constant 132hard hexagon entropy constant 137139140Stieltjes constant 142pi 144golden ratio 146146151Glaisher-Kinkelin constant 153cube line picking average length155Delian constant 156The probability of the digits of a given real number summing..

### Number field sieve

An extremely fast factorization method developed by Pollard which was used to factor the RSA-130 number. This method is the most powerful known for factoring general numbers, and has complexity(1)reducing the exponent over the continued fraction factorization algorithm and quadratic sieve. There are three values of relevant to different flavors of the method (Pomerance 1996). For the "special" case of the algorithm applied to numbers near a large power,(2)for the "general" case applicable to any odd positive number which is not a power,(3)and for a version using many polynomials (Coppersmith1993),(4)

### Ass theorem

Specifying two adjacent side lengths and of a triangle (with ) and one acute angle opposite does not, in general, uniquely determine a triangle.If , there are two possible triangles satisfying the given conditions (left figure). If , there is one possible triangle (middle figure). If , there are no possible triangles (right figure).Remember: Don't try to prove congruence with the ASS theorem or you will make an ASS out of yourself.An ASS triangle with sides and and excluded angle with has two possible side lengths ,The SSS or SAS theorems can then be used with either choice of to determine the angles and and triangle area .

### Fermat's sandwich theorem

Fermat's sandwich theorem states that 26 is the only number sandwiched between a perfect square number ( and a perfect cubic number (). According to Singh (1997), after challenging other mathematicians to establish this result while not revealing his own proof, Fermat took particular delight in taunting the English mathematicians Wallis and Digby with their inability to prove the result.

### Archimedes' cattle problem

Archimedes' cattle problem, also called the bovinum problema, or Archimedes' reverse, is stated as follows: "The sun god had a herd of cattle consisting of bulls and cows, one part of which was white, a second black, a third spotted, and a fourth brown. Among the bulls, the number of white ones was one half plus one third the number of the black greater than the brown; the number of the black, one quarter plus one fifth the number of the spotted greater than the brown; the number of the spotted, one sixth and one seventh the number of the white greater than the brown. Among the cows, the number of white ones was one third plus one quarter of the total black cattle; the number of the black, one quarter plus one fifth the total of the spotted cattle; the number of spotted, one fifth plus one sixth the total of the brown cattle; the number of the brown, one sixth plus one seventh the total of the white cattle. What was the composition of the herd?"Solution consists..

### Monkey and coconut problem

A Diophantine problem (i.e., one whose solution must be given in terms of integers) which seeks a solution to the following problem. Given men and a pile of coconuts, each man in sequence takes th of the coconuts left after the previous man removed his (i.e., for the first man, , for the second, ..., for the last) and gives coconuts (specified in the problem to be the same number for each man) which do not divide equally to a monkey. When all men have so divided, they divide the remaining coconuts ways (i.e., taking an additional coconuts each), and give the coconuts which are left over to the monkey. If is the same at each division, then how many coconuts were there originally? The solution is equivalent to solving the Diophantine equations(1)(2)(3)(4)(5)which can be rewritten as(6)(7)(8)(9)(10)(11)Since there are equations in the unknowns , , ..., , , and , the solutions span a one-dimensional space (i.e., there is an infinite family of solution parameterized..

### Minimum spanning tree

The minimum spanning tree of a weighted graph is a set of edges of minimum total weight which form a spanning tree of the graph. When a graph is unweighted, any spanning tree is a minimum spanning tree.The minimum spanning tree can be found in polynomial time. Common algorithms include those due to Prim (1957) and Kruskal's algorithm (Kruskal 1956). The problem can also be formulated using matroids (Papadimitriou and Steiglitz 1982). A minimum spanning tree can be found in the Wolfram Language using the command FindSpanningTree[g].The Season 1 episodes "Vector" and "Man Hunt" (2005) and Season 2 episode "Rampage" (2006) of the television crime drama NUMB3RS feature minimal spanning trees.

### Geodesic

A geodesic is a locally length-minimizing curve. Equivalently, it is a path that a particle which is not accelerating would follow. In the plane, the geodesics are straight lines. On the sphere, the geodesics are great circles (like the equator). The geodesics in a space depend on the Riemannian metric, which affects the notions of distance and acceleration.Geodesics preserve a direction on a surface (Tietze 1965, pp. 26-27) and have many other interesting properties. The normal vector to any point of a geodesic arc lies along the normal to a surface at that point (Weinstock 1974, p. 65).Furthermore, no matter how badly a sphere is distorted, there exist an infinite number of closed geodesics on it. This general result, demonstrated in the early 1990s, extended earlier work by Birkhoff, who proved in 1917 that there exists at least one closed geodesic on a distorted sphere, and Lyusternik and Schnirelmann, who proved in 1923 that..

### Salmon's theorem

There are at least two theorems known as Salmon's theorem. This first states that if and are two points, and are the perpendiculars from and to the polars of and , respectively, with respect to a circle with center , then (Durell 1928; Salmon 1954, §101, p. 93).The second Salmon's theorem states that, given a track bounded by two confocal ellipses, if a ball is rolled so that its trajectory is tangent to the inner ellipse, the ball's trajectory will be tangent to the inner ellipse following all subsequent caroms as well (Salmon 1954, §189, pp. 181-182).

The radical lines of three circles are concurrent in a point known as the radical center (also called the power center). This theorem was originally demonstrated by Monge (Dörrie 1965, p. 153). It is a special case of the three conics theorem (Evelyn et al. 1974, pp. 13 and 15).The point of concurrence of the three radical lines of three circles is the point(Kimberling 1998, p. 225).

### Buffon's needle problem

Buffon's needle problem asks to find the probability that a needle of length will land on a line, given a floor with equally spaced parallel lines a distance apart. The problem was first posed by the French naturalist Buffon in 1733 (Buffon 1733, pp. 43-45), and reproduced with solution by Buffon in 1777 (Buffon 1777, pp. 100-104).Define the size parameter by(1)For a short needle (i.e., one shorter than the distance between two lines, so that ), the probability that the needle falls on a line is(2)(3)(4)(5)For , this therefore becomes(6)(OEIS A060294).For a long needle (i.e., one longer than the distance between two lines so that ), the probability that it intersects at least one line is the slightly more complicated expression(7)where (Uspensky 1937, pp. 252 and 258; Kunkel).Writing(8)then gives the plot illustrated above. The above can be derived by noting that(9)where(10)(11)are the probability functions for the..

### Paterson's worms

Inspired by computer simulations of fossilized worms trails published by Raup and Seilacher (1969), computer scientist Mike Paterson at the University of Warwick and mathematician J. H. Conway created in early 1971 a simple set to rules to study idealized worms traveling along regular grids. Mike Beeler of the MIT Artificial Intelligence Laboratory subsequently published a study Paterson's worms in which he considered paths on a triangular grid (Beeler 1973).The following table summarizes the number of steps required for a number of long-running worms to terminate (Rokicki).patternsteps to terminate10420151042020104202212521211420221infinite14202241450221infinite14502241525115201414221451422454142Paterson's worms are featured in the 2003 Stephen Low IMAX film Volcanoesof the Deep Sea...

### Game of life

The game of life is the best-known two-dimensional cellular automaton, invented by John H. Conway and popularized in Martin Gardner's Scientific American column starting in October 1970. The game of life was originally played (i.e., successive generations were produced) by hand with counters, but implementation on a computer greatly increased the ease of exploring patterns.The life cellular automaton is run by placing a number of filled cells on a two-dimensional grid. Each generation then switches cells on or off depending on the state of the cells that surround it. The rules are defined as follows. All eight of the cells surrounding the current one are checked to see if they are on or not. Any cells that are on are counted, and this count is then used to determine what will happen to the current cell. 1. Death: if the count is less than 2 or greater than 3, the current cell is switched off. 2. Survival: if (a) the count is exactly 2, or (b) the count..

### Measure

The terms "measure," "measurable," etc. have very precise technical definitions (usually involving sigma-algebras) that can make them appear difficult to understand. However, the technical nature of the definitions is extremely important, since it gives a firm footing to concepts that are the basis for much of analysis (including some of the slippery underpinnings of calculus).For example, every definition of an integral is based on a particular measure: the Riemann integral is based on Jordan measure, and the Lebesgue integral is based on Lebesgue measure. The study of measures and their application to integration is known as measure theory.A measure is defined as a nonnegative real function from a delta-ring such that(1)where is the empty set, and(2)for any finite or countable collection of pairwise disjoint sets in such that is also in .If is -finite and is bounded, then can be extended uniquely to a measure defined..

### Descending chain condition

The descending chain condition, commonly abbreviated "D.C.C.," is the dual notion of the ascending chain condition. The descending chain condition for a partially ordered set requires that all decreasing sequences in become eventually constant.A module fulfilling the descending chain condition iscalled Artinian.

### Horseshoe lemma

Given a short exact sequence of modules(1)let(2)(3)be projective resolutions of and , respectively. Then there is a projective resolution of (4)such that the above diagrams are commutative. Here, is the injection of the first summand, whereas is the projection onto the second factor for .The name of this lemma derives from the shape of the diagram formed by the shortexact sequence and the given projective resolutions.

### Snake lemma

A diagram lemma which states that the above commutative diagram of Abelian groups and group homomorphisms with exact rows gives rise to an exact sequenceThis commutative diagram shows how the first commutative diagram (shown here in blue) can be modified to exhibit the long exact sequence (shown here in red) explicitly. The map is called a connecting homomorphism and describes a curve from the end of the upper row () to the beginning of the lower row (), which suggested the name given to this lemma.The snake lemma is explained in the first scene of Claudia Weill's film Itis My Turn (1980), starring Jill Clayburgh and Michael Douglas.

### Ascending chain condition

The ascending chain condition, commonly abbreviated "A.C.C.," for a partially ordered set requires that all increasing sequences in become eventually constant.A module fulfils the ascending chain condition if its set of submodules obeys the condition with respect to inclusion. In this case, is called Noetherian.

### Mice problem

In the mice problem, also called the beetle problem, mice start at the corners of a regular -gon of unit side length, each heading towards its closest neighboring mouse in a counterclockwise direction at constant speed. The mice each trace out a logarithmic spiral, meet in the center of the polygon, and travel a distanceThe first few values for , 3, ..., aregiving the numerical values 0.5, 0.666667, 1, 1.44721, 2, 2.65597, 3.41421, 4.27432, 5.23607, .... The curve formed by connecting the mice at regular intervals of time is an attractive figure called a whirl.The problem is also variously known as the (three, four, etc.) (bug, dog, etc.) problem. It can be generalized to irregular polygons and mice traveling at differing speeds (Bernhart 1959). Miller (1871) considered three mice in general positions with speeds adjusted to keep paths similar and the triangle similar to the original...

### Ideal

An ideal is a subset of elements in a ring that forms an additive group and has the property that, whenever belongs to and belongs to , then and belong to . For example, the set of even integers is an ideal in the ring of integers . Given an ideal , it is possible to define a quotient ring . Ideals are commonly denoted using a Gothic typeface.A finitely generated ideal is generated by a finite list , , ..., and contains all elements of the form , where the coefficients are arbitrary elements of the ring. The list of generators is not unique, for instance in the integers.In a number ring, ideals can be represented as lattices, and can be given a finite basis of algebraic integers which generates the ideal additively. Any two bases for the same lattice are equivalent. Ideals have multiplication, and this is basically the Kronecker product of the two bases. The illustration above shows an ideal in the Gaussian integers generated by 2 and , where elements of the ideal..

### Web graph

Koh et al. (1980) and Gallian (2007) define a web graph as a stacked prism graph with the edges of the outer cycle removed.Web graphs are graceful.Precomputed properties of web graphs are available in the Wolfram Language as GraphData["Web", n].The term "web graph" is also used (e.g., Horvat and Pisanski 2010) to refer to the stacked prism graph itself, where is a cycle graph, is a path graph, and denotes a graph Cartesian product.The bipartite double graph of the web graph for odd is .

### Weighted tree

A tree to whose nodes and/or edges labels (usually number)are assigned.The word "weight" also has a more specific meaning when applied to trees, namely the weight of a tree at a point is the maximum number of edges in any branch at (Harary 1994, p. 35), as illustrated above. A point having minimal weight for the tree is called a centroid point, and the tree centroid is the set of all centroid points.

### Rooted tree

A rooted tree is a tree in which a special ("labeled") node is singled out. This node is called the "root" or (less commonly) "eve" of the tree. Rooted trees are equivalent to oriented trees (Knuth 1997, pp. 385-399). A tree which is not rooted is sometimes called a free tree, although the unqualified term "tree" generally refers to a free tree.A rooted tree in which the root vertex has vertexdegree 1 is known as a planted tree.The numbers of rooted trees on nodes for , 2, ... are 1, 1, 2, 4, 9, 20, 48, 115, 286, 719, 1842, 4766, ... (OEIS A000081). Denote the number of rooted trees with nodes by , then the generating function is(1)(2)This power series satisfies(3)(4)where is the generating function for unrooted trees. A generating function for can be written using a product involving the sequence itself as(5)The number of rooted trees can also be calculated from the recurrencerelation(6)with and ,..

### Weakly binary tree

A weakly binary tree is a planted tree in which all nonroot graph vertices are adjacent to at most three graph vertices.Let(1)be the generating function for the number of weakly binary trees on nodes, where(2)(3)(4)(5)This gives the sequence 1, 1, 1, 2, 3, 6, 11, 23, 46, 98, 207, ... (OEIS A001190),sometimes also known as the Wedderburn-Etherington numbers.Otter (Otter 1948, Harary and Palmer 1973, Knuth 1997) showed that(6)where(7)(OEIS A086317; Knuth 1997, p. 583; Finch 2003, p. 297) is the unique positive root of(8)and(9)(OEIS A086318; Knuth 1997, p. 583). is also given by the rapidly converging limit(10)where is given by(11)(12)the first few terms of which are 6, 38, 1446, 2090918, 4371938082726, ... (OEIS A072191), giving(13)

A tree having four branches at each node. Quadtrees are used in the construction of some multidimensional databases (e.g., cartography, computer graphics, and image processing). For a -dimensional tree, the expected number of comparisons over all pairs of integers for successful and unsuccessful searches are known analytically for and numerically for .

### Trivalent tree

A trivalent tree, also called a 3-valent tree or a 3-Cayley tree, is a tree for which each node has vertex degree . The numbers of trivalent trees on , 2, ... nodes are 1, 1, 1, 1, 2, 2, 4, 6, 11, 18, 37, 66, 135, 265, 552, ... (OEIS A000672).The number of trees with nodes of valency either 1 or 3 for , 2, ... are 1, 1, 0, 1, 0, 1, 0, 1, 0, 2, 0, 2, 0, 4, ... (OEIS A052120). These are sometimes called boron trees, since such a tree with nodes has nodes of valency 3 (corresponding to boron atoms) and nodes of valency (corresponding to hydrogen atoms) for , 4, ....

### Planted tree

A planted tree is a rooted tree whose root vertex has vertex degree 1. The number of planted trees of nodes is , where is the number of rooted trees of vertices (Harary 1994, pp. 188-190), so there are 0, 1, 1, 2, 4, 9, 20, 48, 115, 286, 719, 1842, ... (OEIS A000081) planted trees of , 2, 3, ... vertices.

### Treewidth

The treewidth is a measure of the count of original graph vertices mapped onto any tree vertex in an optimal tree decomposition. Determining the treewidth of an arbitrary graph is an NP-hard problem. However, many NP-hard problems on graphs of bounded treewidth can be solved in polynomial time.Special cases include(1)(2)(3)(4)(5)(6)where denotes any tree, any Halin graph, is a cycle graph, is a complete graph, is a complete bipartite graph, and is an grid graph.

### Planted planar tree

A planted plane tree is defined as a vertex set , edges set , root , and order relation on which satisfies 1. For if , then , where is the length of the path from to , 2. If , , and , then (Klarner 1969, Chorneyko and Mohanty 1975). The Catalannumbers give the number of planar trivalent planted trees.

### Cotree

The cotree of a spanning tree in a connected graph is the spacing subgraph of containing exactly those edges of which are not in (Harary 1994, p. 39).

### Complete ternary tree

A labeled ternary tree containing the labels 1 to with root 1, branches leading to nodes labeled 2, 3, 4, branches from these leading to 5, 6, 7 and 8, 9, 10 respectively, and so on (Knuth 1997, p. 401). The graph corresponding to the complete ternary tree on nodes is implemented in the Wolfram Language as KaryTree[n, 3].

### Tree leaf

A leaf of an unrooted tree is a node of vertex degree 1. Note that for a rooted or planted tree, the root vertex is generally not considered a leaf node, whereas all other nodes of degree 1 are.A function to return the leaves of a tree may be implemented in a future versionof the Wolfram Language as LeafVertex[g].The following tables gives the total numbers of leaves for various classes of graphs on , 2, ... nodes. Note that for rooted and planted trees, the root vertex is generally not counted as a leaf, even if it has vertex degree 1.graph typeOEISleaf count for , 2, ... nodesgraphA0555400, 2, 4, 14, 38, 153, 766, 6259, 88064, ...labeled graphA0953380, 2, 12, 96, 1280, 30720, ...labeled treeA0555410, 2, 6, 36, 320, 3750, ...planted treeA0032270, 1, 1, 3, 8, 22, 58, 160, 434, 1204, 3341, 9363, ...planted tree including root nodesA0953390, 2, 2, 5, 12, 31, 78, 208, 549, 1490, 4060, 11205, ...rooted treeA0032270, 1, 1, 3, 8, 22, 58, 160, 434, 1204, 3341, 9363,..

### Complete binary tree

A labeled binary tree containing the labels 1 to with root 1, branches leading to nodes labeled 2 and 3, branches from these leading to 4, 5 and 6, 7, respectively, and so on (Knuth 1997, p. 401). The graph corresponding to the complete binary tree on nodes is implemented in the Wolfram Language as KaryTree[n, 2].

### Claw graph

The complete bipartite graph is a tree known as the "claw." It is isomorphic to the star graph , and is sometimes known as the Y graph (Horton and Bouwer 1991; Biggs 1993, p. 147).More generally, the star graph is sometimes also known as a "claw" (Hoffmann 1960; Harary 1994, p. 17).The claw graph has chromatic number 2 and chromatic polynomialIts graph spectrum is .A graph that does not contain the claw as an inducedsubgraph is called a claw-free graph.

### Score sequence

The score sequence of a tournament is a monotonic nondecreasing sequence of the outdegrees of the graph vertices of the corresponding tournament graph. Elements of a score sequence of length therefore lie between 0 and , inclusively. Score sequences are so named because they correspond to the set of possible scores obtainable by the members of a group of players in a tournament where each player plays all other players and each game results in a win for one player and a loss for the other. (The score sequence for a given tournament is obtained from the set of outdegrees sorted in nondecreasing order, and so must sum to , where is a binomial coefficient.)For example, the unique possible score sequences for is . For , the two possible sequences are and . And for , the four possible sequences are , , , and (OEIS A068029).Landau (1953) has shown that a sequence of integers () is a score sequence ifffor , ..., , where is a binomial coefficient, and equality for(Harary..

### Magma

Throughout abstract algebra, the term "magma" is most often used as a synonym of the more antiquated term "groupoid," referring to a set equipped with a binary operator. The term is thought to have originated with Bourbaki.Unlike the term "groupoid" which has a number of different uses across algebra, the term "magma" has the benefit of being essentially unused in other contexts. On the other hand, the use of the term "magma" appears to be somewhat less common in literature.

### Knights problem

The problem of determining how many nonattacking knights can be placed on an chessboard. For , the solution is 32 (illustrated above). In general, the solutions are(1)giving the sequence 1, 4, 5, 8, 13, 18, 25, ... (OEIS A030978,Dudeney 1970, p. 96; Madachy 1979).The minimal number of knights needed to occupy or attack every square on an chessboard (i.e., domination numbers for the knight graphs) are given for , 2, ... by 1, 4, 4, 4, 5, 8, 10, 12, 14, ... (OEIS A006075), with corresponding numbers of such solutions given by 1, 1, 2, 3, 8, 22, 3, ... (OEIS A006076).

### Slope

A quantity which gives the inclination of a curve or line with respect to another curve or line. For a line in the -plane making an angle with the x-axis, the slope is a constant given by(1)where and are changes in the two coordinates over some distance.For a plane curve specified as , the slope is(2)for a curve specified parametrically as , the slope is(3)where and , for a curve specified as , the slope is(4)and for a curve given in polar coordinates as , the slope is(5)(Lawrence 1972, pp. 8-9).It is meaningless to talk about the slope of a curve in three-dimensional space unlessthe slope with respect to what is specified.J. Miller has undertaken a detailed study of the origin of the symbol to denote slope. The consensus seems to be that it is not known why the letter was chosen. One high school algebra textbook says the reason for is unknown, but remarks that it is interesting that the French word for "to climb" is "monter."..

### Snake oil method

The expansion of the two sides of a sum equality in terms of polynomials in and , followed by closed form summation in terms of and . For an example of the technique, see Bloom (1995).

### Ekg sequence

The EKG sequence is the integer sequence having 1 as its first term, 2 as its second, and with each succeeding term being the smallest number not already used that shares a factor with the preceding term. This results in the sequence 1, 2, 4, 6, 3, 9, 12, 8, 10, 5, 15, ... (OEIS A064413). When plotted as a connect-the-dots plot (left figure), the sequence looks somewhat like an electrocardiogram (abbreviated "EKG" in medical circles), so this sequence became known as the EKG sequence. Lagarias et al. have computed the first 10 million terms of the sequence (Lagarias et al. 2002, Peterson 2002).Every term appears exactly once in this sequence, and the primes occur in increasing order (Lagarias et al. 2002). The inverse permutation of the integers giving the sequence is 1, 2, 5, 3, 10, 4, 14, 8, 6, 9, 20, 7, 28, ... (OEIS A064664).Lagarias et al. (2002) established the boundsfor the term . For the first terms, whenever a prime occurs, it is immediately..

### Absolutely normal

A real number that is -normal for every base 2, 3, 4, ... is said to be absolutely normal. As proved by Borel (1922, p. 198), almost all real numbers in are absolutely normal (Niven 1956, p. 103; Stoneham 1970; Kuipers and Niederreiter 1974, p. 71; Bailey and Crandall 2002).The first specific construction of an absolutely normal number was by Sierpiński (1917), with another method presented by Schmidt (1962). These results were both obtained by complex constructive devices (Stoneham 1970), and are by no means easy to construct (Stoneham 1970, Sierpiński and Schinzel 1988).

### Bauer's theorem

Let be an integer and letbe an integer polynomial that has at least one real root. Then has infinitely many prime divisors that are not congruent to 1 (mod ) (Nagell 1951, p. 168).

### Bauer's identical congruence

Let denote the set of the numbers less than and relatively prime to , where is the totient function. Define(1)Then a theorem of Lagrange states that(2)for an odd prime (Hardy and Wright 1979, p. 98). Actually, this relationship holds for some composite values as well. Value for which it holds are , 3, 4, 5, 6, 7, 10, 11, 13, 17, 19, 23, 29, ... (OEIS A158008).This can be generalized as follows. Let be an odd prime divisor of and the highest power which divides , then(3)and, in particular,(4)Now, if is even and is the highest power of 2 that divides , then(5)and, in particular,(6)

### Whole number

One of the numbers 1, 2, 3, ... (OEIS A000027), also called the counting numbers or natural numbers. 0 is sometimes included in the list of "whole" numbers (Bourbaki 1968, Halmos 1974), but there seems to be no general agreement. Some authors also interpret "whole number" to mean "a number having fractional part of zero," making the whole numbers equivalent to the integers.Due to lack of standard terminology, the following terms are recommended in preference to "counting number," "natural number," and "whole number."setnamesymbol..., , , 0, 1, 2, ...integersZ1, 2, 3, 4, ...positive integersZ-+0, 1, 2, 3, 4, ...nonnegative integersZ-*0, , , , , ...nonpositive integers, , , , ...negative integersZ--

### Integer

One of the numbers ..., , , 0, 1, 2, .... The set of integers forms a ring that is denoted . A given integer may be negative (), nonnegative (), zero (), or positive (). The set of integers is, not surprisingly, called Integers in the Wolfram Language, and a number can be tested to see if it is a member of the integers using the command Element[x, Integers]. The command IntegerQ[x] returns True if has function head Integer in the Wolfram Language.Numbers that are integers are sometimes described as "integral" (instead of integer-valued), but this practice may lead to unnecessary confusions with the integrals of integral calculus.The ring of integers has cardinal number of aleph0. The generating function for the nonnegative integers isThere are several symbols used to perform operations having to do with conversion between real numbers and integers. The symbol ("floor ") means "the largest integer not greater than ,"..

### Devil's staircase

A plot of the map winding number resulting from mode locking as a function of for the circle map(1)with . (Since the circle map becomes mode-locked, the map winding number is independent of the initial starting argument .) At each value of , the map winding number is some rational number. The result is a monotonic increasing "staircase" for which the simplest rational numbers have the largest steps. The Devil's staircase continuously maps the interval onto , but is constant almost everywhere (i.e., except on a Cantor set).For , the measure of quasiperiodic states ( irrational) on the -axis has become zero, and the measure of mode-locked state has become 1. The dimension of the Devil's staircase .Another type of devil's staircase occurs for the sum(2)for , where is the floor function (Böhmer 1926ab; Kuipers and Niederreiter 1974, p. 10; Danilov 1974; Adams 1977; Davison 1977; Bowman 1988; Borwein and Borwein 1993; Bowman..

### Bishop's inequality

Let be the volume of a ball of radius in a complete -dimensional Riemannian manifold with Ricci curvature tensor . Then , where is the volume of a ball in a space having constant sectional curvature. In addition, if equality holds for some ball, then this ball is isometric to the ball of radius in the space of constant sectional curvature .

### Real line

The term "real line" has a number of different meanings in mathematics.Most commonly, "real line" is used to mean real axis, i.e., a line with a fixed scale so that every real number corresponds to a unique point on the line. The generalization of the real line to two dimensions is called the complex plane.The term "real line" is also used to distinguish an ordinary line from a so-called imaginary line which can arise in algebraic geometry.Renteln and Dundes (2005) give the following (bad) mathematical jokes about the real line:Q: What is green and homeomorphic to the open unit interval?A: The real lime.

### Delian constant

The number (the cube root of 2) which is to be constructed in the cube duplication problem. This number is not a Euclidean number although it is an algebraic number of third degree.It has decimal digits 1.25992104989... (OEIS A002580).Its continued fraction is [1, 3, 1, 5, 1, 1,4, 1, 1, 8, 1, 14, 1, ...] (OEIS A002945).

### Lima&ccedil;on

The limaçon is a polar curve ofthe form(1)also called the limaçon of Pascal. It was first investigated by Dürer, who gave a method for drawing it in Underweysung der Messung (1525). It was rediscovered by Étienne Pascal, father of Blaise Pascal, and named by Gilles-Personne Roberval in 1650 (MacTutor Archive). The word "limaçon" comes from the Latin limax, meaning "snail."If , the limaçon is convex. If , the limaçon is dimpled. If , the limaçon degenerates to a cardioid. If , the limaçon has an inner loop. If , it is a trisectrix (but not the Maclaurin trisectrix).For , the inner loop has area(2)(3)(4)where . Similarly the area enclosed by the outer envelope is(5)(6)(7)Thus, the area between the loops is(8)In the special case of , these simplify to(9)(10)(11)Taking the parametrization(12)(13)gives the arc length as a function of as(14)where is an elliptic..

### Conchoid of nicomedes

A curve with polar coordinates,(1)studied by the Greek mathematician Nicomedes in about 200 BC, also known as the cochloid. It is the locus of points a fixed distance away from a line as measured along a line from the focus point (MacTutor Archive). Nicomedes recognized the three distinct forms seen in this family for , , and . (For , it obviously degenerates to a circle.)The conchoid of Nicomedes was a favorite with 17th century mathematicians and could be used to solve the problems of cube duplication, angle trisection, heptagon construction, and other Neusis constructions (Johnson 1975).In Cartesian coordinates, the conchoid ofNicomedes may be written(2)or(3)The conchoid has as an asymptote, and the area between either branch and the asymptote is infinite.A conchoid with has a loop for , where , giving area(4)(5)(6)The curvature and tangentialangle are given by(7)(8)..

### Ellipsoid packing

Bezdek and Kuperberg (1991) have constructed packings of identical ellipsoidsof densities arbitrarily close to(OEIS A093824), greater than the maximum density of (OEIS A093825) that is possible for sphere packing (Sloane 1998), as established by proof of the Kepler conjecture. Furthermore, J. Wills has modified the ellipsoid packing to yield an even higher density of (Bezdek and Kuperberg 1991).Donev et al. (2004) showed that a maximally random jammed state of M&Ms chocolate candies has a packing density of about 68%, or 4% greater than spheres. Furthermore, Donev et al. (2004) also showed by computer simulations other ellipsoid packings resulted in random packing densities approaching that of the densest sphere packings, i.e., filling nearly 74% of space.

### Sausage conjecture

In dimensions for the arrangement of hyperspheres whose convex hull has minimal content is always a "sausage" (a set of hyperspheres arranged with centers along a line), independent of the number of -spheres. The conjecture was proposed by Fejes Tóth, and solved for dimensions by Betke et al. (1994) and Betke and Henk (1998).

Check the price