Square

Quality 0.50 · 15 views · Updated 2 months ago

Shape with four equal sides and angles

title: "Square" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["elementary-shapes", "types-of-quadrilaterals", "4-(number)", "constructible-polygons"] description: "Shape with four equal sides and angles" topic_path: "general/elementary-shapes" source: "https://en.wikipedia.org/wiki/Square" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0

::summary Shape with four equal sides and angles ::

::data[format=table title="Infobox polygon"]

Field	Value
name	Square
image	Square with offset tick marks.svg
caption	A square. The blue ∟ annotations mark equal right angles at its vertices and the red // annotations mark equal side lengths.
type
edges	4
symmetry	order-8 dihedral
area	side2
angle	/2 (90°)
perimeter	4 · side
::

::callout[type=note] the shape ::

| name = Square | image = Square with offset tick marks.svg | caption = A square. The blue ∟ annotations mark equal right angles at its vertices and the red // annotations mark equal side lengths. | type = | edges = 4 | symmetry = order-8 dihedral | area = side2 | angle = /2 (90°) | perimeter = 4 · side In geometry, a square is a regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal sides. As with all rectangles, a square's angles are right angles (90 degrees, or /2 radians), making adjacent sides perpendicular. The area of a square is the side length multiplied by itself, and so in algebra, multiplying a number by itself is called squaring.

Equal squares can tile the plane edge-to-edge in the square tiling. Square tilings are ubiquitous in tiled floors and walls, graph paper, image pixels, and game boards. Square shapes are also often seen in building floor plans, origami paper, food servings, in graphic design and heraldry, and in instant photos and fine art.

The formula for the area of a square forms the basis of the calculation of area and motivates the search for methods for squaring the circle by compass and straightedge, now known to be impossible. Squares can be inscribed in any smooth or convex curve, such as a circle or triangle, but it remains unsolved whether a square can be inscribed in every simple closed curve. Several problems of squaring the square involve subdividing squares into unequal squares. Mathematicians have also studied packing squares as tightly as possible into other shapes.

Squares can be constructed by straightedge and compass, through their Cartesian coordinates, or by repeated multiplication by i in the complex plane. They form the metric balls for taxicab geometry and Chebyshev distance, two forms of non-Euclidean geometry. Although spherical geometry and hyperbolic geometry both lack polygons with four equal sides and right angles, they have square-like regular polygons with four sides and other angles, or with right angles and different numbers of sides.

Definitions and characterizations

::figure[src="https://upload.wikimedia.org/wikipedia/commons/2/28/The_square_among_a_family_of_rectangles_or_rhombuses.png" caption="Among rectangles (top row), the square is the shape with equal sides (blue, middle). Among rhombuses (bottom row), the square is the shape with right angles (blue, middle)."] ::

Squares can be defined or characterized in many equivalent ways. If a polygon in the Euclidean plane satisfies any one of the following criteria, it satisfies all of them:

A square is a polygon with four equal sides and four right angles; that is, it is a quadrilateral that is both a rhombus and a rectangle
A square is a rectangle with four equal sides.
A square is a rhombus with a right angle between a pair of adjacent sides.
A square is a rhombus with all angles equal.
A square is a parallelogram with one right angle and two adjacent equal sides.
A square is a quadrilateral where the diagonals are equal, and are the perpendicular bisectors of each other. That is, it is a rhombus with equal diagonals.
A square is a quadrilateral with successive sides a, b, c, d whose area is A=\frac14(a^2+b^2+c^2+d^2).

Squares are the only regular polygons whose internal angle, central angle, and external angle are all equal (they are all right angles).

Properties

A square is a special case of a rhombus (equal sides, opposite equal angles), a kite (two pairs of adjacent equal sides), a trapezoid (one pair of opposite sides parallel), a parallelogram (all opposite sides parallel), a quadrilateral or tetragon (four-sided polygon), and a rectangle (opposite sides equal, right-angles), and therefore has all the properties of all these shapes, namely:

All four internal angles of a square are equal (each being 90°, a right angle).
The central angle of a square is equal to 90°.
The external angle of a square is equal to 90°.
The diagonals of a square are equal and bisect each other, meeting at 90°.
The diagonals of a square bisect its internal angles, forming adjacent angles of 45°.
All four sides of a square are equal.
Opposite sides of a square are parallel.

All squares are similar to each other, meaning they have the same shape. One parameter (typically the length of a side or diagonal) suffices to specify a square's size. Squares of the same size are congruent.

Measurement

::figure[src="https://upload.wikimedia.org/wikipedia/commons/2/2e/YBC-7289-OBV-labeled.jpg" caption="Babylonian]] calculation of a square's diagonal from between 1800 and 1600 BCE"] ::

::figure[src="https://upload.wikimedia.org/wikipedia/commons/6/60/Five_Squared.svg" caption="The area of a square is the product of the lengths of its sides."] ::

A square whose four sides have length \ell has perimeter P=4\ell and diagonal length d=\sqrt2\ell. The square root of 2, appearing in this formula, is irrational, meaning that it cannot be written exactly as a fraction. It is approximately equal to 1.414, and its approximate value was already known in Babylonian mathematics. A square's area is A=\ell^2=\tfrac12 d^2. This formula for the area of a square as the second power of its side length led to the use of the term squaring to mean raising any number to the second power. Reversing this relation, the side length of a square of a given area is the square root of the area. Squaring an integer, or taking the area of a square with integer sides, results in a square number; these are figurate numbers representing the numbers of points that can be arranged into a square grid.

Since four squared equals sixteen, a four by four square has an area equal to its perimeter. That is, it is an equable shape. The only other equable integer rectangle is a three-by-six rectangle.

Because it is a regular polygon, a square is the quadrilateral of least perimeter enclosing a given area. Dually, a square is the quadrilateral containing the largest area within a given perimeter. Indeed, if A and P are the area and perimeter enclosed by a quadrilateral, then the following isoperimetric inequality holds: 16A\le P^2 with equality if and only if the quadrilateral is a square.

Symmetry

Main article: Symmetry group of a square

The square is the most symmetrical of the quadrilaterals. Eight rigid transformations of the plane take the square to itself:

| width = 180 | perrow = 4 | align = none | image_style=border:none | image1 = Square symmetry – I.png | caption1 = The square's initial position (the identity transformation) | image2 = Square symmetry – R1.png | caption2 = Rotation by 90° anticlockwise | image3 = Square symmetry – R2.png | caption3 = Rotation by 180° | image4 = Square symmetry – R3.png | caption4 = Rotation by 270° | image5 = Square symmetry – D1.png | caption5 = Diagonal NW–SE reflection | image6 = Square symmetry – H.png | caption6 = Horizontal reflection | image7 = Square symmetry – D2.png | caption7 = Diagonal NE–SW reflection | image8 = Square symmetry – V.png | caption8 = Vertical reflection }} }}

::figure[src="https://upload.wikimedia.org/wikipedia/commons/b/bd/Quadrilateral_symmetries.svg" caption="The axes of reflection symmetry and centers of rotation symmetry of a square (top), rectangle and rhombus (center), [[isosceles trapezoid]], kite, and parallelogram (bottom)"] ::

For an axis-parallel square centered at the origin, each symmetry acts by a combination of negating and swapping the Cartesian coordinates of points. The symmetries permute the eight isosceles triangles between the half-edges and the square's center (which stays in place); any of these triangles can be taken as the fundamental region of the transformations. Each two vertices, each two edges, and each two half-edges are mapped one to the other by at least one symmetry (exactly one for half-edges). All regular polygons also have these properties, which are expressed by saying that symmetries of a square and, more generally, a regular polygon act transitively on vertices and edges, and simply transitively on half-edges.

Combining any two of these transformations by performing one after the other continues to take the square to itself, and therefore produces another symmetry. Repeated rotation produces another rotation with the summed rotation angle. Two reflections with the same axis return to the identity transformation, while two reflections with different axes rotate the square. A rotation followed by a reflection, or vice versa, produces a different reflection. This composition operation gives the eight symmetries of a square the mathematical structure of a group, called the group of the square or the dihedral group of order eight. Other quadrilaterals, like the rectangle and rhombus, have only a subgroup of these symmetries.

::figure[src="https://upload.wikimedia.org/wikipedia/commons/a/aa/Perspective-3point.svg" caption="Three-point perspective of a cube, showing perspective transformations of its six square faces into six different quadrilaterals"] ::

The shape of a square, but not its size, is preserved by similarities of the plane. Other kinds of transformations of the plane can take squares to other kinds of quadrilateral. An affine transformation can take a square to any parallelogram, or vice versa; a projective transformation can take a square to any convex quadrilateral, or vice versa. This implies that, when viewed in perspective, a square can look like any convex quadrilateral, or vice versa. A Möbius transformation can take the vertices of a square (but not its edges) to the vertices of a harmonic quadrilateral.

The wallpaper groups are symmetry groups of two-dimensional repeating patterns. For many of these groups the basic unit of repetition (the unit cell of its period lattice) can be a square, and for three of these groups, p4, p4m, and p4g, it must be a square. | align = none | footer = Wallpaper groups of tilings from The Grammar of Ornament | footer_align = center | caption_align = center | image1 = Wallpaper group-p4-1.jpg | caption1 = p4, Egyptian tomb ceiling | image2 = Wallpaper group-p4m-1.jpg | caption2 = p4m, Nineveh & Persia | image3 = Wallpaper group-p4g-2.jpg | caption3 = p4g, China | total_width = 480 }} }}

Inscribed and circumscribed circles

::figure[src="https://upload.wikimedia.org/wikipedia/commons/c/cf/Incircle_and_circumcircle_of_a_square.png" caption="The [[inscribed circle]] (purple) and [[circumscribed circle]] (red) of a square (black)"] ::

The inscribed circle of a square is the largest circle that can fit inside that square. Its center is the center point of the square, and its radius (the inradius of the square) is r=\ell/2. Because this circle touches all four sides of the square (at their midpoints), the square is a tangential quadrilateral. The circumscribed circle of a square passes through all four vertices, making the square a cyclic quadrilateral. Its radius, the circumradius, is R=\ell/\sqrt2. If the inscribed circle of a square ABCD has tangency points E on AB, F on BC, G on CD, and H on DA, then for any point P on the inscribed circle, 2(PH^2-PE^2) = PD^2-PB^2. If d_i is the distance from an arbitrary point in the plane to the ith vertex of a square and R is the circumradius of the square, then\frac{d_1^4+d_2^4+d_3^4+d_4^4}{4} + 3R^4 = \left(\frac{d_1^2+d_2^2+d_3^2+d_4^2}{4} + R^2\right)^2. If L and d_i are the distances from an arbitrary point in the plane to the centroid of the square and its four vertices respectively, then d_1^2 + d_3^2 = d_2^2 + d_4^2 = 2(R^2+L^2) and d_1^2d_3^2 + d_2^2d_4^2 = 2(R^4+L^4), where R is the circumradius of the square.

Applications

| image1 = Artesanal tile industry (15323096610).jpg | caption1 = Square tiles | image2 = Girl with a Pearl Earring (pixelated).jpg | caption2 = Pixelated Girl with a Pearl Earring | total_width = 400 }} Squares are so well-established as the shape of tiles that the Latin word tessera, for a small tile as used in mosaics, comes from an ancient Greek word for the number four, referring to the four corners of a square tile. Graph paper, preprinted with a square tiling, is widely used for data visualization using Cartesian coordinates. The pixels of bitmap images, as recorded by image scanners and digital cameras or displayed on electronic visual displays, conventionally lie at the intersections of a square grid, and are often considered as small squares, arranged in a square tiling. Standard techniques for image compression and video compression, including the JPEG format, are based on the subdivision of images into larger square blocks of pixels. The quadtree data structure used in data compression and computational geometry is based on the recursive subdivision of squares into smaller squares.

::figure[src="https://upload.wikimedia.org/wikipedia/commons/9/96/20240815_Site_of_Luoyang_City_from_Han_to_Wei_Dynasty_-_Site_of_the_Pagoda_of_Yongning_Temple_04.jpg" caption="Site of the [[Yongning Pagoda"] ::

Architectural structures from both ancient and modern cultures have featured a square floor plan, base, or footprint. Ancient examples include the Egyptian pyramids, Mesoamerican pyramids such as those at Teotihuacan, the Chogha Zanbil ziggurat in Iran, the four-fold design of Persian walled gardens, said to model the four rivers of Paradise, and later structures inspired by their design such as the Taj Mahal in India, the square bases of Buddhist stupas, and East Asian pagodas, buildings that symbolically face to the four points of the compass and reach to the heavens. Norman keeps such as the Tower of London often take the form of a low square tower. In modern architecture, a majority of skyscrapers feature a square plan for pragmatic rather than aesthetic or symbolic reasons.

| image1 = Mandalatibet (cropped).jpg | caption1 = A Tibetan mandala | image2 = Theo van Doesburg study for Arithmetic Composition.jpg | caption2 = Study for Arithmetic Composition, Theo van Doesburg | total_width = 360 }} The stylized nested squares of a Tibetan mandala, like the design of a stupa, function as a miniature model of the cosmos. Some formats for film photography use a square aspect ratio, notably Polaroid cameras, medium format cameras, and Instamatic cameras. Painters known for their frequent and prominent use of square forms and frames include Josef Albers, Kazimir Malevich, Piet Mondrian, and Theo van Doesburg.

Baseball diamonds and boxing rings are square despite being named for other shapes. In the quadrille and square dance, four couples form the sides of a square. In Samuel Beckett's minimalist television play Quad, four actors walk along the sides and diagonals of a square.

| image1 = Chess and goose game board MET ES4614.jpg | caption1 = 16th-century Indian chessboard | image2 = Stomachion.JPG | caption2 = Ostomachion | image3 = Horoskop Johannette Maria zu Wied 1615 img01.jpg | caption3 = 1615 horoscope | total_width = 480 }} The square go board is said to represent the earth, with the 361 crossings of its lines representing days of the year. The chessboard inherited its square shape from a pachisi-like Indian race game and in turn passed it on to checkers. In two ancient games from Mesopotamia and Ancient Egypt, the Royal Game of Ur and Senet, the game board itself is not square, but rectangular, subdivided into a grid of squares. The ancient Greek Ostomachion puzzle (according to some interpretations) involves rearranging the pieces of a square cut into smaller polygons, as does the Chinese tangram. Another set of puzzle pieces, the polyominos, are formed from squares glued edge-to-edge; in this context, a single square is called a monomino. Medieval and Renaissance horoscopes were arranged in a square format, across Europe, the Middle East, and China. Other recreational uses of squares include the shape of origami paper, and a common style of quilting involving the use of square quilt blocks. Scrabble players place square lettered tiles onto a grid of 15\times 15 squares on a square board.

| image1 = CHE Vuadens Flag.svg | caption1 = Square flag of the municipality of Vuadens, based on the Swiss flag | image2 = QR code for mobile English Wikipedia.svg | caption2 = QR code for the mobile English Wikipedia | image3 = Waffles (1).jpg | caption3 = Square waffles | total_width = 480 }} Squares are a common element of graphic design, used to give a sense of stability, symmetry, and order. In heraldry, a canton (a design element in the top left of a shield) is normally square, and a square flag is called a banner. The flag of Switzerland is square, as are the flags of the Swiss cantons. QR codes are square and feature prominent nested square alignment marks in three corners. Robertson screws have a square drive socket. Crackers and sliced cheese are often square, as are waffles. Square foods named for their square shapes include caramel squares, date squares, lemon squares, square sausage, and Carré de l'Est cheese.

::figure[src="https://upload.wikimedia.org/wikipedia/commons/5/5c/Orbison_illusion_circle_square.svg" caption="An example of the [[Orbison illusion"] ::

A square can be found in an optical illusion. The Orbison illusion, named after American psychologist William Orbison, consists of a two-dimensional circle and square, superimposed over a background of radial lines or concentric circles.

In stereochemistry, a square planar molecular geometry is a chemical structure with atoms at the corners of a square. An example is xenon tetrafluoride.

Constructions

Coordinates and equations

::figure[src="https://upload.wikimedia.org/wikipedia/commons/2/29/Square_equation_plot.svg" caption="= 2 plotted on Cartesian coordinates"] ::

A unit square is a square of side length one. Often it is represented in Cartesian coordinates as the square enclosing the points (x,y) that have 0\le x\le 1 and 0\le y\le 1. Its vertices are the four points that have 0 or 1 in each of their coordinates.

An axis-parallel square with its center at the point (x_c,y_c) and sides of length 2r (where r is the inradius, half the side length) has vertices at the four points (x_c\pm r,y_c\pm r). Its interior consists of the points (x,y) with \max(|x-x_c|,|y-y_c|) , and its boundary consists of the points with \max(|x-x_c|,|y-y_c|)=r.

A diagonal square with its center at the point (x_c,y_c) and diagonal of length 2R (where R is the circumradius, half the diagonal) has vertices at the four points (x_c\pm R,y_c) and (x_c,y_c\pm R). Its interior consists of the points (x,y) with |x-x_c|+|y-y_c|, and its boundary consists of the points with |x-x_c|+|y-y_c|=R. For instance the illustration shows a diagonal square centered at the origin (0,0) with circumradius 2, given by the equation |x|+|y|=2.

::figure[src="https://upload.wikimedia.org/wikipedia/commons/e/e7/A_square_with_Gaussian_integer_vertices.png" caption="c}}. The background grid shows the [[Gaussian integer]]s."] ::

In the plane of complex numbers, multiplication by the imaginary unit i rotates the other term in the product by 90° around the origin (the number zero). Therefore, if any nonzero complex number p is repeatedly multiplied by i, giving the four numbers p, ip, -p, and -ip, these numbers will form the vertices of a square centered at the origin. If one interprets the real part and imaginary part of these four complex numbers as Cartesian coordinates, with p=x+iy, then these four numbers have the coordinates (x,y), (-y,x), (-x,-y), and (-y,-x). This square can be translated to have any other complex number c is center, using the fact that the translation from the origin to c is represented in complex number arithmetic as addition with c. The Gaussian integers, complex numbers with integer real and imaginary parts, form a square lattice in the complex plane.

Compass and straightedge

The construction of a square with a given side, using a compass and straightedge, is given in Euclid's Elements I.46. The existence of this construction means that squares are constructible polygons. A regular n-gon is constructible exactly when the odd prime factors of n are distinct Fermat primes, and in the case of a square n=4 has no odd prime factors so this condition is vacuously true.

Elements IV.6–7 also give constructions for a square inscribed in a circle and circumscribed about a circle, respectively. Straight Square Inscribed in a Circle 240px.gif|Square with a given circumcircle 01-Quadrat-Seite-gegeben.gif|Square with a given side length, using Thales' theorem 01-Quadrat-Diagonale-gegeben.gif|Square with a given diagonal

Related topics

| image1 = Dual Cube-Octahedron.svg | caption1 = The cube and regular octahedron, next steps in sequences of regular polytopes starting with squares | image2 = Sierpinski carpet 6, white on black.svg | caption2 = The Sierpiński carpet, a square fractal with square holes | image3 = Ising-tartan.png | caption3 = An invariant measure for the baker's map | total_width = 480 }} The Schläfli symbol of a square is {4} . A truncated square is an octagon. The square belongs to a family of regular polytopes that includes the cube in three dimensions and the hypercubes in higher dimensions, and to another family that includes the regular octahedron in three dimensions and the cross-polytopes in higher dimensions. The cube and hypercubes can be given vertex coordinates that are all \pm 1, giving an axis-parallel square in two dimensions, while the octahedron and cross-polytopes have one coordinate \pm 1 and the rest zero, giving a diagonal square in two dimensions. As with squares, the symmetries of these shapes can be obtained by applying a signed permutation to their coordinates.

The Sierpiński carpet is a square fractal, with square holes. Space-filling curves including the Hilbert curve, Peano curve, and Sierpiński curve cover a square as the continuous image of a line segment. The Z-order curve is analogous but not continuous. Other mathematical functions associated with squares include Arnold's cat map and the baker's map, which generate chaotic dynamical systems on a square, and the lemniscate elliptic functions, complex functions periodic on a square grid.

| image1 = Hadwiger finsler theorem.svg | caption1 = Illustration of Finsler–Hadwiger theorem | image2 = Great Britain Box.svg | caption2 = Squares are used for measuring the fractal dimension of the Great Britain's map | total_width = 300 | direction = vertical }} Many theorems involve squares. The Finsler–Hadwiger theorem states that for two squares ABCD and AB'C'D' , the center of both squares and the midpoint of BD' and B'D form a third square. This theorem can be applied repeatedly to prove van Aubel's theorem, that the centers of four squares constructed on the sides of a quadrilateral form a midsquare quadrilateral. A square cannot be dissected into an odd number of equal-area triangles, a result of Monsky's theorem.

Minkowski–Bouligand dimension or box-counting dimension involves squares to determine the fractal dimension of a set in Euclidean space or metric space, the squares are named "boxes". The fractal dimension of a set is attainable by lying on an evenly spaced grid and counting the number of squares required to cover the set. The method of box counting is used when the grid is finer.

Mathematical puzzles that include squares are square arrays that are filled with numbers in Sudoku with generalized symbols in Latin square, and with color or blank in nonogram, as well as paradoxical optical illusions such as the missing square puzzle and the chessboard paradox. The Langton's ant, in cellular automaton, is a two-dimensional square lattice consisting of a black-or-white colored grid wherein an ant assigns the combination of those colors and its current direction of motion.

There are topics pertaining to dissecting squares. A square trisection is a dissection problem of cutting a square into multiple pieces and then reassembling them into three identical squares. Tarski's circle-squaring problem challenges the equidecomposability between a square and a circle; that is, cutting the disc of a circle into finitely many pieces and reassembling them into a square.

Inscribed squares

::figure[src="https://upload.wikimedia.org/wikipedia/commons/f/f5/Calabi_triangle.svg" caption="p=[https://books.google.com/books?id=0--3rcO7dMYC&pg=PA206 206]}} The placement on the long side of the triangle is inscribed; the other two are not."] ::

Main article: Inscribed square problem, Inscribed square in a triangle

A square is inscribed in a curve when all four vertices of the square lie on the curve. The unsolved inscribed square problem asks whether every simple closed curve has an inscribed square. It is true for every smooth curve, and for any closed convex curve. The only other regular polygon that can always be inscribed in every closed convex curve is the equilateral triangle, as there exists a convex curve on which no other regular polygon can be inscribed.

For an inscribed square in a triangle, at least one side of the square lies on a side of the triangle. Every acute triangle has three inscribed squares, one for each of its three sides. A right triangle has two inscribed squares, one touching its right angle and the other lying on its hypotenuse. An obtuse triangle has only one inscribed square, on its longest side. A square inscribed in a triangle can cover at most half the triangle's area.

Area and quadrature

::figure[src="https://upload.wikimedia.org/wikipedia/commons/d/d2/Pythagorean.svg" caption="The [[Pythagorean theorem]]: the two smaller squares on the sides of a right triangle have equal total area to the larger square on the hypotenuse."] ::

::figure[src="https://upload.wikimedia.org/wikipedia/commons/6/6f/Squaring_the_Circle_J.svg" caption="A circle and square with the same area"] ::

Since ancient times, many units for surface area have been defined from squares, typically with a standard unit of length as its side, for example, a square meter or square inch.

In ancient Greek deductive geometry, the area of a planar shape was measured and compared by constructing a square with the same area by using only a finite number of steps with compass and straightedge, a process called quadrature or squaring. Euclid's Elements shows how to do this for rectangles, parallelograms, triangles, and then more generally for simple polygons by breaking them into triangular pieces. Some shapes with curved sides could also be squared, such as the lune of Hippocrates and the parabola.

This use of a square as the defining shape for area measurement also occurs in the Greek formulation of the Pythagorean theorem: squares constructed on the two sides of a right triangle have equal total area to a square constructed on the hypotenuse. Stated in this form, the theorem would be equally valid for other shapes on the sides of the triangle, such as equilateral triangles or semicircles, but the Greeks used squares. In modern mathematics, this formulation of the theorem using areas of squares has been replaced by an algebraic formulation involving squaring numbers: the lengths of the sides and hypotenuse of the right triangle obey the equation a^2+b^2=c^2.

Because of this focus on quadrature as a measure of area, the Greeks and later mathematicians sought unsuccessfully to square the circle, constructing a square with the same area as a given circle, again using finitely many steps with a compass and straightedge. In 1882, the task was proven to be impossible as a consequence of the Lindemann–Weierstrass theorem. This theorem proves that pi () is a transcendental number rather than an algebraic irrational number; that is, it is not the root of any polynomial with rational coefficients. A construction for squaring the circle could be translated into a polynomial formula for , which does not exist. In philosophy, the concept of a "square circle" has been used as an example of an oxymoron since Aristotle, sparking attempts to find contexts such as taxicab geometry (below) in which this phrase is meaningful.

Tiling and packing

Main article: Square tiling, Square packing, Circle packing in a square, Squaring the square

| image1 = Tiling Regular 4-4 Square.svg | caption1 = Square tiling | image2 = Academ Periodic tiling by squares of two different sizes.svg | caption2 = Pythagorean tiling | total-width = 240 }} The square tiling, familiar from flooring and game boards, is one of three regular tilings of the plane. The other two use the equilateral triangle and the regular hexagon. The vertices of a square tiling form a square lattice. Squares of more than one size can also tile the plane, for instance in the Pythagorean tiling, named for its connection to proofs of the Pythagorean theorem.

::figure[src="https://upload.wikimedia.org/wikipedia/commons/4/4d/Packing_11_unit_squares_in_a_square_with_side_length_3.87708359....svg" caption="friedman}}"] ::

Square packing problems seek the smallest square or circle into which a given number of unit squares can fit. A chessboard optimally packs a square number of unit squares into a larger square, but beyond a few special cases such as this, the optimal solutions to these problems remain unsolved; the same is true for circle packing in a square. Packing squares into other shapes can have high computational complexity: testing whether a given number of unit squares can fit into an orthogonally convex rectilinear polygon with half-integer vertex coordinates is NP-complete.

Squaring the square involves subdividing a given square into smaller squares, all having integer side lengths. A subdivision with distinct smaller squares is called a perfect squared square. Another variant of squaring the square called "Mrs. Perkins's quilt" allows repetitions, but uses as few smaller squares as possible in order to make the greatest common divisor of the side lengths be 1. The entire plane can be tiled by squares, with exactly one square of each integer side length.

| image1 = Clifford-torus.gif | caption1 = Stereographic projection into three dimensions of a rotating Clifford torus | image2 = Petrie-1.gif | caption2 = Regular skew apeirohedron with six squares per vertex | image3 = Teabag.jpg | caption3 = Numerical simulation of an inflated square pillow | total_width = 450 }} In higher dimensions, other surfaces than the plane can be tiled by equal squares, meeting edge-to-edge. One of these surfaces is the Clifford torus, the four-dimensional Cartesian product of two congruent circles; it has the same intrinsic geometry as a single square with each pair of opposite edges glued together. Another square-tiled surface, a regular skew apeirohedron in three dimensions, has six squares meeting at each vertex. The paper bag problem seeks the maximum volume that can be enclosed by a surface tiled with two squares glued edge to edge; its exact answer is unknown. Gluing two squares in a different pattern, with the vertex of each square attached to the midpoint of an edge of the other square (or alternatively subdividing these two squares into eight squares glued edge-to-edge) produces a pincushion shape called a biscornu. The surfaces tiled with finitely many squares of the three-dimensional integer lattice are called polyominoids.

Counting

Main article: Square pyramidal number, Dividing a square into similar rectangles, Magic square

::figure[src="https://upload.wikimedia.org/wikipedia/commons/7/74/Two_square_counting_puzzles.svg" caption="4 × 4}} grid of points it has six more off-axis squares (bottom) for a total of 20."] ::

A common mathematical puzzle involves counting the squares of all sizes in a square grid of n\times n squares. For instance, a square grid of nine squares has 14 squares: the nine squares that form the grid, four more 2\times 2 squares, and one 3\times 3 square. The answer to the puzzle is n(n+1)(2n+1)/6, a square pyramidal number. For n=1,2,3,\dots these numbers are:

A variant of the same puzzle asks for the number of squares formed by a grid of n\times n points, allowing squares that are not axis-parallel. For instance, a grid of nine points has five axis-parallel squares as described above, but it also contains one more diagonal square for a total of six. In this case, the answer is given by the 4-dimensional pyramidal numbers n^2(n^2-1)/12. For n=1,2,3,\dots these numbers are:

::figure[src="https://upload.wikimedia.org/wikipedia/commons/4/48/Plastic_square_partitions.svg" caption="Partitions of a square into three similar rectangles"] ::

Another counting problem involving squares asks for the number of different shapes of rectangles that can be used when dividing a square into similar rectangles. A square can be divided into two similar rectangles only in one way, by bisecting it, but when dividing a square into three similar rectangles there are three possible aspect ratios of the rectangles, 3:1, 3:2, and the square of the plastic ratio, approximately 1.755:1. The number of proportions that are possible when dividing into n rectangles is known for small values of n, but not as a general formula. For n=1,2,3,\dots these numbers are:

A magic square is a square array of numbers, where the sums of the positive numbers in each row, each column, and both main diagonals are the same. For n \times n array, the sum can be formulated as n(n^2 + 1)/2 ; the numbers for n = 1, 2, 3, \dots are:

Other geometries

| image1 = Concentric squares on the sphere.png | caption1 = Concentric squares in the sphere (orthographic projection) | image2 = Concentric squares in the hyperbolic plane.png | caption2 = Concentric squares in the hyperbolic plane (conformal disk model) | total_width = 400 }} | image1 = Octant_of_a_sphere.png | caption1= An octant is a regular spherical triangle with right angles. | image2 = H2 tiling 246-1.png | caption2 = Regular hexagons with right angles can tile the hyperbolic plane with four hexagons meeting at each vertex. | total_width = 400 }}

In the familiar Euclidean geometry, space is flat, and every convex quadrilateral has internal angles summing to 360°, so a square (a regular quadrilateral) has four equal sides and four right angles (each 90°). By contrast, in spherical geometry and hyperbolic geometry, space is curved and the internal angles of a convex quadrilateral never sum to 360°, so quadrilaterals with four right angles do not exist. Both of these geometries feature regular quadrilaterals, characterized by four equal sides and four equal angles, often referred to as squares, although some authors prefer to avoid this name because they lack right angles. These geometries also feature regular polygons with right angles, but with the number of sides differing from four.

In spherical geometry, space has uniform positive curvature, and every convex quadrilateral (a polygon with four great-circle arc edges) has angles whose sum exceeds 360° by an amount called the angular excess, proportional to its surface area. Small spherical squares are approximately Euclidean, and the angles of larger squares increase with area. One special case is the face of a spherical cube with four 120° angles, covering one sixth of the sphere's surface. Another is a hemisphere, the face of a spherical square dihedron, with four straight angles; the Peirce quincuncial projection for world maps conformally maps two such faces to Euclidean squares. An octant of a sphere is a regular spherical triangle, with three equal sides and three right angles; eight of them tile the sphere, with four meeting at each vertex, to form a spherical octahedron. A spherical lune is a regular digon, with two semicircular sides and two equal angles at antipodal vertices; a right-angled lune covers one quarter of the sphere, one face of a four-lune hosohedron.

In hyperbolic geometry, space has uniform negative curvature, and every convex quadrilateral has angles whose sum falls short of 360° by an amount called the angular defect, proportional to its surface area. Small hyperbolic squares are approximately Euclidean, and larger squares decrease with increasing area. Special cases include the squares with angles of 360°/n for every value of n larger than 4, each of which can tile the hyperbolic plane. In the infinite limit, an ideal square has four sides of infinite length and four vertices at ideal points outside the hyperbolic plane, with 0° internal angles; an ideal square, like every ideal quadrilateral, has finite area proportional to its angular defect of 360°. It is also possible to make a regular hyperbolic polygon with right angles at every vertex and any number of sides greater than four; such polygons can uniformly tile the hyperbolic plane, dual to the tiling with n squares about each vertex.

::figure[src="https://upload.wikimedia.org/wikipedia/commons/8/8a/Metric_circles.png" caption="Metric circles using Chebyshev, Euclidean, and taxicab distance functions"] ::

The Euclidean plane can be defined in terms of the real coordinate plane by adoption of the Euclidean distance function, according to which the distance between any two points (x_1,y_1) and (x_2,y_2) is \textstyle \sqrt{(x_1-x_2)^2+(y_1-y_2)^2}. Other metric geometries are formed when a different distance function is adopted instead, and in some of these geometries, shapes that would be Euclidean squares become the "circles" (set of points of equal distance from a center point). Squares tilted at 45° to the coordinate axes are the circles in taxicab geometry, based on the L_1 distance |x_1-x_2|+|y_1-y_2|. The points with taxicab distance d from any given point form a diagonal square, centered at the given point, with diagonal length 2d. In the same way, axis-parallel squares are the circles for the L_{\infty} or Chebyshev distance, \max(|x_1-x_2|,|y_1-y_2|). In this metric, the points with distance d from some point form an axis-parallel square, centered at the given point, with side length 2d. Relatedly, a square and circle can become an intermediate shape known as squircle.

References

| last = Battista | first = Michael T. | date = April 1993 | doi = 10.5951/mt.86.4.0336 | issue = 4 | journal = The Mathematics Teacher | jstor = 27968332 | pages = 336–342 | title = Mathematics in Baseball | volume = 86}} See p. 339.

| last = Berendonk | first = Stephan | doi = 10.1007/s00591-016-0173-0 | issue = 1 | journal = Mathematische Semesterberichte | mr = 3629442 | pages = 1–13 | title = Ways to square the parabola—a commented picture gallery | volume = 64 | year = 2017}}

Page 147 of {{cite book | last = Chakerian | first = G. D. | editor-last = Honsberger | editor-first = Ross | editor-link = Ross Honsberger | contribution = A distorted view of geometry | isbn = 0-88385-304-3 | mr = 563059 | pages = 130–150 | publisher = Mathematical Association of America | location = Washington, DC | series = The Dolciani Mathematical Expositions | title = Mathematical Plums | volume = 4 | year = 1979

| last = Chester | first = Alicia | date = September 2018 | doi = 10.1525/aft.2018.45.5.10 | issue = 5 | journal = Afterimage | pages = 10–15 | publisher = University of California Press | title = The outmoded instant: From Instagram to Polaroid | volume = 45}}

| last = Chetwynd | first = Josh | isbn = 9781607748113 | quote = The decision to go oxymoron with a squared "ring" had taken place by the late 1830s ... Despite the geometric shift, the language was set. | page = 122 | publisher = Ten Speed Press | title = The Field Guide to Sports Metaphors: A Compendium of Competitive Words and Idioms | url = https://books.google.com/books?id=xmPhCwAAQBAJ&pg=PA122 | year = 2016

| last1 = Duffin | first1 = Janet | last2 = Patchett | first2 = Mary | last3 = Adamson | first3 = Ann | last4 = Simmons | first4 = Neil | date = November 1984 | issue = 5 | journal = Mathematics in School | jstor = 30216270 | pages = 2–4 | title = Old squares new faces | volume = 13}}

| last1 = Grünbaum | first1 = Branko | author1-link = Branko Grünbaum | last2 = Shephard | first2 = G. C. | author2-link = Geoffrey Colin Shephard | publisher = W. H. Freeman | title = Tilings and Patterns | title-link = Tilings and patterns | year = 1987 | contribution = Figure 1.2.1 | page = 21}}

| last1 = Henle | first1 = Frederick V. | last2 = Henle | first2 = James M. | doi = 10.1080/00029890.2008.11920491 | issue = 1 | journal = The American Mathematical Monthly | jstor = 27642387 | pages = 3–12 | s2cid = 26663945 | title = Squaring the plane | url = http://www.fredhenle.net/stp/monthly003-012.pdf | volume = 115 | year = 2008}}

| last = Miller | first = G. A. | author-link = George Abram Miller | journal = Tohoku Mathematical Journal | pages = 292–295 | title = Graphical methods and the history of mathematics. | url = https://www.jstage.jst.go.jp/article/tmj1911/31/0/31_0_292/_pdf | volume = 31 | year = 1929}}

| last = Nahin | first = Paul | isbn = 9781400833894 | page = 54 | publisher = Princeton University Press | title = An Imaginary Tale: The Story of \sqrt{-1} | year = 2010

| last = Sagan | first = Hans | doi = 10.1007/978-1-4612-0871-6 | isbn = 0-387-94265-3 | mr = 1299533 | publisher = Springer-Verlag | location = New York | series = Universitext | title = Space-Filling Curves | year = 1994}} For the Hilbert curve, see p. 10; for the Peano curve, see p. 35; for the Sierpiński curve, see p. 51.

| last = Scheid | first = Francis | author-link = Francis Scheid | date = May 1961 | doi = 10.5951/mt.54.5.0307 | issue = 5 | journal = The Mathematics Teacher | jstor = 27956386 | pages = 307–312 | title = Square Circles | volume = 54}}

| last = Smith | first = Alvy Ray | author-link = Alvy Ray Smith | year = 1995 | id = Microsoft Computer Graphics, Technical Memo 6 | publisher = Microsoft | title = A Pixel Is Not A Little Square, A Pixel Is Not A Little Square, A Pixel Is Not A Little Square! (And a Voxel is Not a Little Cube) | url = http://alvyray.com/Memos/CG/Microsoft/6_pixel.pdf

| last = Stewart | first = Ian | author-link = Ian Stewart (mathematician) | date = November 1996 | doi = 10.1038/scientificamerican1196-116 | issue = 5 | magazine = Scientific American | jstor = 24993455 | pages = 116–118 | title = A guide to computer dating | volume = 275}}

| last = Stillwell | first = John | author-link = John Stillwell | doi = 10.1007/978-1-4612-0929-4 | isbn = 0-387-97743-0 | mr = 1171453 | page = 68 | publisher = Springer-Verlag | location = New York | series = Universitext | title = Geometry of Surfaces | year = 1992}}

| last = Thorpe | first = John A. | contribution = Chapter 14: Parameterized surfaces, Example 9 | doi = 10.1007/978-1-4612-6153-7 | isbn = 0-387-90357-7 | mr = 528129 | page = 113 | publisher = Springer-Verlag | location = New York & Heidelberg | series = Undergraduate Texts in Mathematics | title = Elementary Topics in Differential Geometry | year = 1979}}

| last = Vafea | first = Flora | issue = 1 | journal = Mediterranean Archaeology and Archaeometry | pages = 111–125 | title = The mathematics of pyramid construction in ancient Egypt | url = https://www.maajournal.com/index.php/maa/article/view/36 | volume = 2 | year = 2002}}

References

Allen, Gary. (2015). "Sausage: A Global History". Reaktion Books.
Beardon, Alan F.. (2012). "What is the most symmetric quadrilateral?". The Mathematical Gazette.
Bonahon, Francis. (2009). "Low-Dimensional Geometry: From Euclidean Surfaces to Hyperbolic Knots". American Mathematical Society.
(1990). "Math and Science for Young Children". Delmar Publishers.
(2008). "The Symmetries of Things". AK Peters.
(1996). "The Book of Numbers". Springer-Verlag.
Croft, Hallard T.. (1991). "Unsolved Problems in Geometry". Springer-Verlag.
[[Euclid's Elements. Euclid's ''Elements'']], Book I, [http://aleph0.clarku.edu/~djoyce/elements/bookI/propI46.html Proposition 46]. Online English version by [[David E. Joyce]].
[[Euclid's Elements. Euclid's ''Elements'']], Book I, [http://aleph0.clarku.edu/~djoyce/elements/bookI/propI47.html Proposition 47]. Online English version by [[David E. Joyce]].
[[Euclid's Elements. Euclid's ''Elements'']], Book II, [http://aleph0.clarku.edu/~djoyce/elements/bookII/propII14.html Proposition 14]. Online English version by [[David E. Joyce]].
[[Euclid's Elements. Euclid's ''Elements'']], Book IV, [http://aleph0.clarku.edu/~djoyce/elements/bookIV/propIV6.html Proposition 6], [http://aleph0.clarku.edu/~djoyce/elements/bookIV/propIV7.html Proposition 7]. Online English version by [[David E. Joyce]].
[[Euclid's Elements. Euclid's ''Elements'']], Book VI, [http://aleph0.clarku.edu/~djoyce/elements/bookVI/propVI31.html Proposition 31]. Online English version by [[David E. Joyce]].
Garg, Anu. "Tessera". A word a day.
Gutierrez, Antonio. "Problem 331. Discovering the Relationship between Distances from a Point on the Inscribed Circle to Tangency Point and Vertices in a Square".
Harbutt, Juliet. (2015). "World Cheese Book". Penguin.
Hart, Melissa. (2006). "A Guide for Using Kira-Kira in the Classroom". Teacher Created Resources.
Jesperson, Ivan F.. (1989). "Fat-Back and Molasses". Breakwater Books.
Johnson, Roger A.. (2007). "Advanced Euclidean Geometry". Dover.
(1997). "Which Way Did the Bicycle Go?: And Other Intriguing Mathematical Mysteries". Cambridge University Press.
(2013). "Street Food around the World: An Encyclopedia of Food and Culture". Bloomsbury Publishing USA.
Lambers, Martin. (2016). "Mappings between sphere, disc, and square". [[Journal of Computer Graphics Techniques]].
Maor, Eli. (2019). "The Pythagorean Theorem: A 4,000-Year History". Princeton University Press.
Martin, George E.. (1998). "Geometric Constructions". Springer-Verlag, New York.
Martin, Gaven J.. (2019). "Random ideal hyperbolic quadrilaterals, the cross ratio distribution and punctured tori". Journal of the London Mathematical Society.
Matschke, Benjamin. (2014). "A survey on the square peg problem". [[Notices of the American Mathematical Society]].
Nelsen, Roger B.. (November 2003). "Paintings, plane tilings, and proofs". [[Math Horizons]].
Nyamweya, Jeff. (2024). "Everything Graphic Design: A Comprehensive Understanding of Visual Communications for Beginners & Creatives". Bogano.
{{cite OEIS. A000330. Square pyramidal numbers
{{cite OEIS. A002415. 4-dimensional pyramidal numbers
{{cite OEIS. A359146. Divide a square into n similar rectangles; a(n) is the number of different proportions that are possible
{{cite OEIS. A006003
Popko, Edward S.. (2012). "Divided Spheres: Geodesics and the Orderly Subdivision of the Sphere". CRC Press.
Postnikov, M. M.. (2000). "The problem of squarable lunes". [[The American Mathematical Monthly]].
Roberts, Siobhan. (February 7, 2023). "The quest to find rectangles in a square". [[The New York Times]].
Roeckelein, Jon E.. (2006). "Elsevier's Dictionary of Psychological Theories". Elsevier.
Seaton, Katherine A.. (2021-10-02). "Textile D-forms and D 4d". [[Journal of Mathematics and the Arts]].
Thomson, James. (1845). "An Elementary Treatise on Algebra: Theoretical and Practical". Longman, Brown, Green, and Longmans.
Wilson, Jim. (Summer 2010). "Problem Set 1.3, problem 10". University of Georgia.
Wylie, C. R.. (1970}} [https://books.google.com/books?id=QoNCAwAAQBAJ&pg=PA17 Reprinted], Dover Books, 2008, {{isbn). "Introduction to Projective Geometry". McGraw-Hill.
Yanagihara, Dawn. (2014). "Waffles: Sweet, Savory, Simple". Chronicle Books.
(2008). "The Classification of Quadrilaterals: A Study of Definition". Information Age Publishing.

::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::