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:
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:
The coordinates for the vertices of a square with vertical and horizontal sides, centered at the origin and with side length 2 are (±1, ±1), while the interior of this square consists of all points (xi, yi) with −1 < xi < 1 and −1 < yi < 1. The equation
can also be used to describe the boundary of a square with center coordinates (a, b), and a horizontal or vertical radius of r.
Each subgroup symmetry allows one or more degrees of freedom for irregular quadrilaterals. r8 is full symmetry of the square, and a1 is no symmetry. d4 is the symmetry of a rectangle, and p4 is the symmetry of a rhombus. These two forms are duals of each other, and have half the symmetry order of the square. d2 is the symmetry of an isosceles trapezoid, and p2 is the symmetry of a kite. g2 defines the geometry of a parallelogram.
Only the g4 subgroup has no degrees of freedom, but can seen as a square with directed edges.
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.
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.
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.
A crossed square is a faceting of the square, a self-intersecting polygon created by removing two opposite edges of a square and reconnecting by its two diagonals. It has half the symmetry of the square, Dih2, order 4. It has the same vertex arrangement as the square, and is vertex-transitive. It appears as two 45-45-90 triangle with a common vertex, but the geometric intersection is not considered a vertex.
The interior of a crossed square can have a polygon density of ±1 in each triangle, dependent upon the winding orientation as clockwise or counterclockwise.
A square and a crossed square have the following properties in common:
The K4 complete graph is often drawn as a square with all 6 possible edges connected, hence appearing as a square with both diagonals drawn. This graph also represents an orthographic projection of the 4 vertices and 6 edges of the regular 3-simplex (tetrahedron).