# Square

{{#invoke:Hatnote|hatnote}} {{ safesubst:#invoke:Unsubst||$N=Refimprove |date=__DATE__ |$B= {{#invoke:Message box|ambox}} }} Template:Even polygon stat table In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, or right angles). It can also be defined as a rectangle in which two adjacent sides have equal length. A square with vertices ABCD would be denoted $\square$ ABCD.

The square is the n=2 case of the families of n-hypercubes and n-orthoplexes.

A square has Schläfli symbol {4}. A truncated square, t{4} is an octagon, {8}. An alternated square, h{4} is a digon, {2}.

## Characterizations The square has dihedral point symmetry, Dih4, or orbifold (*44), with reflective subsymmetries: *22, *, and rotational subsymmetries: 44, 22, 1. These subsymmetries can be seen in 7 lower symmetry quadrilaterals, depending on whether the mirror lines are on the vertices or edges. The gyration square has the full geometry of the square, but has edge markings that define a rotating orientation of edges.

A convex quadrilateral is a square if and only if it is any one of the following:

• a rectangle with two adjacent equal sides
• a quadrilateral with four equal sides and four right angles
• a parallelogram with one right angle and two adjacent equal sides
• a rhombus with a right angle
• a rhombus with all angles equal
• a quadrilateral where the diagonals are equal and are the perpendicular bisectors of each other, i.e. a rhombus with equal diagonals

## Perimeter and area

The perimeter of a square whose four sides have length $\ell$ is

$P=4\ell$ and the area A is

$A=\ell ^{2}.$ In classical times, the second power was described in terms of the area of a square, as in the above formula. This led to the use of the term square to mean raising to the second power.

The area can also be calculated using the diagonal d according to

$A={\frac {d^{2}}{2}}.$ In terms of the circumradius R, the area of a square is

$A=2R^{2}$ and in terms of the inradius r, its area is

$A=4r^{2}.$ A convex quadrilateral with successive sides a, b, c, d is a square if and only if :Corollary 15

$A={\frac {1}{2}}(a^{2}+c^{2})={\frac {1}{2}}(b^{2}+d^{2}).$ ## Coordinates and equations

The coordinates for the vertices of a square centered at the origin and with side length 2 are (±1, ±1), while the interior of the same consists of all points (xi, yi) with −1 < xi < 1 and −1 < yi < 1.

The equation

$\max(x^{2},y^{2})=1$ describes the boundary of a square of side 2, centered at the origin. This equation means "x2 or y2, whichever is larger, equals 1." The circumradius of this square (the radius of a circle drawn through the square's vertices) is half the square's diagonal, and equals ${\sqrt {2}}$ . Then the circumcircle has the equation

$x^{2}+y^{2}=2.$ Alternatively the equation

$\left|x-a\right|+\left|y-b\right|=r.$ can also be used to describe the boundary of a square with center coordinates (a, b) and a horizontal or vertical radius of r.

## Construction

The animation at the right shows how to construct a square using a compass and straightedge.

## Properties

A square is a special case of a rhombus (equal sides, opposite equal angles), a kite (two pairs of adjacent equal sides), a parallelogram (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:

• The diagonals of a square bisect each other and meet at 90°
• The diagonals of a square bisect its angles.
• Opposite sides of a square are both parallel and equal in length.
• All four angles of a square are equal. (Each is 360°/4 = 90°, so every angle of a square is a right angle.)
• All four sides of a square are equal.
• The diagonals of a square are equal.

## Other facts

$2(PH^{2}-PE^{2})=PD^{2}-PB^{2}.$ ## Squares inscribed in triangles

{{#invoke:main|main}}

Every acute triangle has three inscribed squares (squares in its interior such that all four of a square's vertices lie on a side of the triangle, so two of them lie on the same side and hence one side of the square coincides with part of a side of the triangle). In a right triangle two of the squares coincide and have a vertex at the triangle's right angle, so a right triangle has only two distinct inscribed squares. An obtuse triangle has only one inscribed square, with a side coinciding with part of the triangle's longest side.

The fraction of the triangle's area that is filled by the square is no more than 1/2.

## Squaring the circle

Squaring the circle is the problem, proposed by ancient geometers, of constructing a square with the same area as a given circle by using only a finite number of steps with compass and straightedge.

In 1882, the task was proven to be impossible, as a consequence of the Lindemann–Weierstrass theorem which 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.

## Non-Euclidean geometry

In non-Euclidean geometry, squares are more generally polygons with 4 equal sides and equal angles.

In spherical geometry, a square is a polygon whose edges are great circle arcs of equal distance, which meet at equal angles. Unlike the square of plane geometry, the angles of such a square are larger than a right angle. Larger spherical squares have larger angles.

In hyperbolic geometry, squares with right angles do not exist. Rather, squares in hyperbolic geometry have angles of less than right angles. Larger hyperbolic squares have smaller angles.

Examples: Six squares can tile the sphere with 3 squares around each vertex and 120-degree internal angles. This is called a spherical cube. The Schläfli symbol is {4,3}. Squares can tile the Euclidean plane with 4 around each vertex, with each square having an internal angle of 90°. The Schläfli symbol is {4,4}. Squares can tile the hyperbolic plane with 5 around each vertex, with each square having 72-degree internal angles. The Schläfli symbol is {4,5}. In fact, for any n ≥ 5 there is a hyperbolic tiling with n squares about each vertex.

## Graphs

The K4 complete graph is often drawn as a square with all 6 edges connected. This graph also represents an orthographic projection of the 4 vertices and 6 edges of the regular 3-simplex (tetrahedron).