In
Euclidean geometry
Euclidean geometry is a mathematical system attributed to ancient Greek mathematics, Greek mathematician Euclid, which he described in his textbook on geometry: the ''Euclid's Elements, Elements''. Euclid's approach consists in assuming a small ...
, a square is a
regular quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
, which means that it has four equal sides and four equal
angle
In Euclidean geometry, an angle is the figure formed by two Ray (geometry), rays, called the ''Side (plane geometry), sides'' of the angle, sharing a common endpoint, called the ''vertex (geometry), vertex'' of the angle.
Angles formed by two ...
s (90-
degree
Degree may refer to:
As a unit of measurement
* Degree (angle), a unit of angle measurement
** Degree of geographical latitude
** Degree of geographical longitude
* Degree symbol (°), a notation used in science, engineering, and mathematics
...
angles, π/2 radian angles, or
right angles
In geometry and trigonometry, a right angle is an angle of exactly 90 degrees or radians corresponding to a quarter turn. If a ray is placed so that its endpoint is on a line and the adjacent angles are equal, then they are right angles. Th ...
). It can also be defined as a
rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containi ...
with two equal-length adjacent sides. It is the only
regular polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either convex p ...
whose
internal angle
In geometry, an angle of a polygon is formed by two sides of the polygon that share an endpoint. For a simple (non-self-intersecting) polygon, regardless of whether it is convex or non-convex, this angle is called an interior angle (or ) if ...
,
central angle
A central angle is an angle whose apex (vertex) is the center O of a circle and whose legs (sides) are radii intersecting the circle in two distinct points A and B. Central angles are subtended by an arc between those two points, and the arc le ...
, and
external angle
In geometry, an angle of a polygon is formed by two sides of the polygon that share an endpoint. For a simple (non-self-intersecting) polygon, regardless of whether it is convex or non-convex, this angle is called an interior angle (or ) if ...
are all equal (90°), and whose
diagonals
In geometry, a diagonal is a line segment joining two vertices of a polygon or polyhedron, when those vertices are not on the same edge. Informally, any sloping line is called diagonal. The word ''diagonal'' derives from the ancient Greek δ ...
are all equal in length. A square with
vertices ''ABCD'' would be denoted .
Characterizations
A
convex
Convex or convexity may refer to:
Science and technology
* Convex lens, in optics
Mathematics
* Convex set, containing the whole line segment that joins points
** Convex polygon, a polygon which encloses a convex set of points
** Convex polytope ...
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
is a square
if and only if
In logic and related fields such as mathematics and philosophy, "if and only if" (shortened as "iff") is a biconditional logical connective between statements, where either both statements are true or both are false.
The connective is bicondi ...
it is any one of the following:
* A
rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containi ...
with two adjacent equal sides
* A
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The ...
with a right vertex angle
* A
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The ...
with all angles equal
* A
parallelogram
In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
with one right vertex angle and two adjacent equal sides
* A
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
with four equal sides and four
right angle
In geometry and trigonometry, a right angle is an angle of exactly 90 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the ad ...
s
* A quadrilateral where the diagonals are equal, and are the perpendicular bisectors of each other (i.e., a rhombus with equal diagonals)
* A convex quadrilateral with successive sides ''a'', ''b'', ''c'', ''d'' whose area is
[Josefsson, Martin]
"Properties of equidiagonal quadrilaterals"
''Forum Geometricorum'', 14 (2014), 129-144.
Properties
A square is a special case of a
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The ...
(equal sides, opposite equal angles), a
kite
A kite is a tethered heavier than air flight, heavier-than-air or lighter-than-air craft with wing surfaces that react against the air to create Lift (force), lift and Drag (physics), drag forces. A kite consists of wings, tethers and anchors. ...
(two pairs of adjacent equal sides), a
trapezoid
A quadrilateral with at least one pair of parallel sides is called a trapezoid () in American and Canadian English. In British and other forms of English, it is called a trapezium ().
A trapezoid is necessarily a Convex polygon, convex quadri ...
(one pair of opposite sides parallel), a
parallelogram
In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
(all opposite sides parallel), a
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
or tetragon (four-sided polygon), and a
rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containi ...
(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 360°/4 = 90°, a right angle).
* The central angle of a square is equal to 90° (360°/4).
* 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 diagonal of a square bisects its internal angle, forming
adjacent angles
In Euclidean geometry, an angle is the figure formed by two rays, called the '' sides'' of the angle, sharing a common endpoint, called the ''vertex'' of the angle.
Angles formed by two rays lie in the plane that contains the rays. Angles ...
of 45°.
* All four sides of a square are equal.
* Opposite sides of a square are
parallel
Parallel is a geometric term of location which may refer to:
Computing
* Parallel algorithm
* Parallel computing
* Parallel metaheuristic
* Parallel (software), a UNIX utility for running programs in parallel
* Parallel Sysplex, a cluster of ...
.
* The square is the n=2 case of the families of n-
hypercubes
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1-skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, perp ...
and n-
orthoplex
In geometry, a cross-polytope, hyperoctahedron, orthoplex, or cocube is a regular, convex polytope that exists in ''n''- dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensional cross-polytope is a regular octahed ...
es.
* A square has
Schläfli symbol
In geometry, the Schläfli symbol is a notation of the form \ that defines regular polytopes and tessellations.
The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to more ...
. A
truncated square, t, is an
octagon
In geometry, an octagon (from the Greek ὀκτάγωνον ''oktágōnon'', "eight angles") is an eight-sided polygon or 8-gon.
A '' regular octagon'' has Schläfli symbol and can also be constructed as a quasiregular truncated square, t, whi ...
, . An
alternated square, h, is a
digon
In geometry, a digon is a polygon with two sides (edges) and two vertices. Its construction is degenerate in a Euclidean plane because either the two sides would coincide or one or both would have to be curved; however, it can be easily visua ...
, .
Perimeter and area
The
perimeter
A perimeter is a closed path that encompasses, surrounds, or outlines either a two dimensional shape or a one-dimensional length. The perimeter of a circle or an ellipse is called its circumference.
Calculating the perimeter has several pract ...
of a square whose four sides have length
is
:
and the
area
Area is the quantity that expresses the extent of a region on the plane or on a curved surface. The area of a plane region or ''plane area'' refers to the area of a shape
A shape or figure is a graphics, graphical representation of an obje ...
''A'' is
:
Since four squared equals sixteen, a four by four square has an area equal to its perimeter. The only other quadrilateral with such a property is that of a three by six rectangle.
In
classical times
Classical antiquity (also the classical era, classical period or classical age) is the period of cultural history between the 8th century BC and the 5th century AD centred on the Mediterranean Sea, comprising the interlocking civilizations of ...
, 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
In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length adj ...
'' to mean raising to the second power.
The area can also be calculated using the diagonal ''d'' according to
:
In terms of the
circumradius
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.
Not every polyg ...
''R'', the area of a square is
:
since the area of the circle is
the square fills
of its
circumscribed circle
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.
Not every polyg ...
.
In terms of the
inradius
In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter.
...
''r'', the area of the square is
:
hence the area of the
inscribed circle
In geometry, the incircle or inscribed circle of a triangle is the largest circle that can be contained in the triangle; it touches (is tangent to) the three sides. The center of the incircle is a triangle center called the triangle's incenter.
...
is
of that of the square.
Because it is a
regular polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either convex p ...
, 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
In mathematics, the isoperimetric inequality is a geometric inequality involving the perimeter of a set and its volume. In n-dimensional space \R^n the inequality lower bounds the surface area or perimeter \operatorname(S) of a set S\subset\R^n ...
holds:
:
with equality if and only if the quadrilateral is a square.
Other facts
* The diagonals of a square are
(about 1.414) times the length of a side of the square. This value, known as the
square root of 2
The square root of 2 (approximately 1.4142) is a positive real number that, when multiplied by itself, equals the number 2. It may be written in mathematics as \sqrt or 2^, and is an algebraic number. Technically, it should be called the princip ...
or Pythagoras' constant,
was the first number proven to be
irrational
Irrationality is cognition, thinking, talking, or acting without inclusion of rationality. It is more specifically described as an action or opinion given through inadequate use of reason, or through emotional distress or cognitive deficiency. T ...
.
* A square can also be defined as a
parallelogram
In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
with equal diagonals that bisect the angles.
* If a figure is both a rectangle (right angles) and a rhombus (equal edge lengths), then it is a square.
* A square has a larger area than any other quadrilateral with the same perimeter.
* A
square tiling
In geometry, the square tiling, square tessellation or square grid is a regular tiling of the Euclidean plane. It has Schläfli symbol of meaning it has 4 squares around every vertex.
Conway called it a quadrille.
The internal angle of th ...
is one of three
regular tilings
This article lists the regular polytopes and regular polytope compounds in Euclidean geometry, Euclidean, spherical geometry, spherical and hyperbolic geometry, hyperbolic spaces.
The Schläfli symbol describes every regular tessellation of an ' ...
of the plane (the others are the
equilateral triangle
In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each othe ...
and the
regular hexagon
In geometry, a hexagon (from Greek , , meaning "six", and , , meaning "corner, angle") is a six-sided polygon. The total of the internal angles of any simple (non-self-intersecting) hexagon is 720°.
Regular hexagon
A '' regular hexagon'' has ...
).
* The square is in two families of polytopes in two dimensions:
hypercube
In geometry, a hypercube is an ''n''-dimensional analogue of a square () and a cube (). It is a closed, compact, convex figure whose 1- skeleton consists of groups of opposite parallel line segments aligned in each of the space's dimensions, ...
and the
cross-polytope
In geometry, a cross-polytope, hyperoctahedron, orthoplex, or cocube is a regular, convex polytope that exists in ''n''- dimensional Euclidean space. A 2-dimensional cross-polytope is a square, a 3-dimensional cross-polytope is a regular octahed ...
. The
Schläfli symbol
In geometry, the Schläfli symbol is a notation of the form \ that defines regular polytopes and tessellations.
The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, who generalized Euclidean geometry to more ...
for the square is .
* The square is a highly symmetric object. There are four lines of
reflectional symmetry
In mathematics, reflection symmetry, line symmetry, mirror symmetry, or mirror-image symmetry is symmetry with respect to a reflection. That is, a figure which does not change upon undergoing a reflection has reflectional symmetry.
In 2D ther ...
and it has
rotational symmetry
Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which i ...
of order 4 (through 90°, 180° and 270°). Its
symmetry group
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
is the
dihedral group
In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, ge ...
D
4.
* A square can be
inscribed
{{unreferenced, date=August 2012
An inscribed triangle of a circle
In geometry, an inscribed planar shape or solid is one that is enclosed by and "fits snugly" inside another geometric shape or solid. To say that "figure F is inscribed in figu ...
inside any regular polygon. The only other polygon with this property is the
equilateral triangle
In geometry, an equilateral triangle is a triangle in which all three sides have the same length. In the familiar Euclidean geometry, an equilateral triangle is also equiangular; that is, all three internal angles are also congruent to each othe ...
.
* 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,
::
* If
is the distance from an arbitrary point in the plane to the ''i''-th vertex of a square and
is the
circumradius
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.
Not every polyg ...
of the square, then
::
* If
and
are the distances from an arbitrary point in the plane to the centroid of the square and its four vertices respectively, then
::
:and
::
:where
is the circumradius of the square.
Coordinates and equations
![Square equation plot](https://upload.wikimedia.org/wikipedia/commons/2/29/Square_equation_plot.svg)
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 (''x''
i, ''y''
i) with and . The equation
:
specifies the boundary of this square. This equation means "''x''
2 or ''y''
2, whichever is larger, equals 1." The
circumradius
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.
Not every polyg ...
of this square (the radius of a circle drawn through the square's vertices) is half the square's diagonal, and is equal to
Then the
circumcircle
In geometry, the circumscribed circle or circumcircle of a polygon is a circle that passes through all the vertices of the polygon. The center of this circle is called the circumcenter and its radius is called the circumradius.
Not every polyg ...
has the equation
:
Alternatively the equation
:
can also be used to describe the boundary of a square with center
coordinates
In geometry, a coordinate system is a system that uses one or more numbers, or coordinates, to uniquely determine the position of the points or other geometric elements on a manifold such as Euclidean space. The order of the coordinates is sig ...
(''a'', ''b''), and a horizontal or vertical radius of ''r''. The square is therefore the shape of a
topological ball according to the
L1 distance metric.
Construction
The following animations show how to construct a square using a
compass and straightedge
In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an ideali ...
. This is possible as 4 = 2
2, a
power of two
A power of two is a number of the form where is an integer, that is, the result of exponentiation with number two as the base and integer as the exponent.
In a context where only integers are considered, is restricted to non-negative ...
.
Symmetry
![Symmetries of square](https://upload.wikimedia.org/wikipedia/commons/1/14/Symmetries_of_square.svg)
The ''square'' has Dih
4 symmetry,
order 8. There are 2 dihedral subgroups: Dih
2, Dih
1, and 3
cyclic
Cycle, cycles, or cyclic may refer to:
Anthropology and social sciences
* Cyclic history, a theory of history
* Cyclical theory, a theory of American political history associated with Arthur Schlesinger, Sr.
* Social cycle, various cycles in s ...
subgroups: Z
4, Z
2, and Z
1.
A square is a special case of many lower symmetry quadrilaterals:
* A rectangle with two adjacent equal sides
* A quadrilateral with four equal sides and four
right angle
In geometry and trigonometry, a right angle is an angle of exactly 90 Degree (angle), degrees or radians corresponding to a quarter turn (geometry), turn. If a Line (mathematics)#Ray, ray is placed so that its endpoint is on a line and the ad ...
s
* A parallelogram with one right angle and two adjacent equal sides
* A rhombus with a right angle
* A rhombus with all angles equal
* A rhombus with equal diagonals
These 6 symmetries express 8 distinct symmetries on a square.
John Conway
John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many branches ...
labels these by a letter and group order.
Each subgroup symmetry allows one or more degrees of freedom for irregular
quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
s. r8 is full symmetry of the square, and a1 is no symmetry. d4 is the symmetry of a
rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containi ...
, and p4 is the symmetry of a
rhombus
In plane Euclidean geometry, a rhombus (plural rhombi or rhombuses) is a quadrilateral whose four sides all have the same length. Another name is equilateral quadrilateral, since equilateral means that all of its sides are equal in length. The ...
. These two forms are
duals
''Duals'' is a compilation album by the Irish rock band U2. It was released in April 2011 to u2.com subscribers.
Track listing
:* "Where the Streets Have No Name" and "Amazing Grace" are studio mix of U2's performance at the Rose Bowl, Pas ...
of each other, and have half the symmetry order of the square. d2 is the symmetry of an
isosceles trapezoid
In Euclidean geometry, an isosceles trapezoid (isosceles trapezium in British English) is a convex quadrilateral with a line of symmetry bisecting one pair of opposite sides. It is a special case of a trapezoid. Alternatively, it can be defined ...
, and p2 is the symmetry of a
kite
A kite is a tethered heavier than air flight, heavier-than-air or lighter-than-air craft with wing surfaces that react against the air to create Lift (force), lift and Drag (physics), drag forces. A kite consists of wings, tethers and anchors. ...
. g2 defines the geometry of a
parallelogram
In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
.
Only the g4 subgroup has no degrees of freedom, but can seen as a square with
directed edge
In mathematics, and more specifically in graph theory, a directed graph (or digraph) is a graph that is made up of a set of vertices connected by directed edges, often called arcs.
Definition
In formal terms, a directed graph is an ordered pa ...
s.
Squares inscribed in triangles
Every
acute triangle
An acute triangle (or acute-angled triangle) is a triangle with three acute angles (less than 90°). An obtuse triangle (or obtuse-angled triangle) is a triangle with one obtuse angle (greater than 90°) and two acute angles. Since a triangle's ang ...
has three
inscribed
{{unreferenced, date=August 2012
An inscribed triangle of a circle
In geometry, an inscribed planar shape or solid is one that is enclosed by and "fits snugly" inside another geometric shape or solid. To say that "figure F is inscribed in figu ...
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
A right triangle (American English) or right-angled triangle (British), or more formally an orthogonal triangle, formerly called a rectangled triangle ( grc, ὀρθόσγωνία, lit=upright angle), is a triangle in which one angle is a right an ...
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
An acute triangle (or acute-angled triangle) is a triangle with three acute angles (less than 90°). An obtuse triangle (or obtuse-angled triangle) is a triangle with one obtuse angle (greater than 90°) and two acute angles. Since a triangle's ang ...
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
Squaring the circle is a problem in geometry first proposed in Greek mathematics. It is the challenge of constructing a square with the area of a circle by using only a finite number of steps with a compass and straightedge. The difficulty ...
, proposed by
ancient
Ancient history is a time period from the History of writing, beginning of writing and recorded human history to as far as late antiquity. The span of recorded history is roughly 5,000 years, beginning with the Sumerian language, Sumerian c ...
geometers
A geometer is a mathematician whose area of study is geometry.
Some notable geometers and their main fields of work, chronologically listed, are:
1000 BCE to 1 BCE
* Baudhayana (fl. c. 800 BC) – Euclidean geometry, geometric algebra
* M ...
, is the problem of constructing a square with the same area as a given
circle
A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...
, by using only a finite number of steps with
compass and straightedge
In geometry, straightedge-and-compass construction – also known as ruler-and-compass construction, Euclidean construction, or classical construction – is the construction of lengths, angles, and other geometric figures using only an ideali ...
.
In 1882, the task was proven to be impossible as a consequence of the
Lindemann–Weierstrass theorem
In transcendental number theory, the Lindemann–Weierstrass theorem is a result that is very useful in establishing the transcendence of numbers. It states the following:
In other words, the extension field \mathbb(e^, \dots, e^) has transcen ...
, which proves that
pi () is a
transcendental number
In mathematics, a transcendental number is a number that is not algebraic—that is, not the root of a non-zero polynomial of finite degree with rational coefficients. The best known transcendental numbers are and .
Though only a few classes ...
rather than an
algebraic irrational number; that is, it is not the
root
In vascular plants, the roots are the organs of a plant that are modified to provide anchorage for the plant and take in water and nutrients into the plant body, which allows plants to grow taller and faster. They are most often below the sur ...
of any
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
with
rational
Rationality is the quality of being guided by or based on reasons. In this regard, a person acts rationally if they have a good reason for what they do or a belief is rational if it is based on strong evidence. This quality can apply to an abili ...
coefficients.
Non-Euclidean geometry
In non-Euclidean geometry, squares are more generally polygons with 4 equal sides and equal angles.
In
spherical geometry
300px, A sphere with a spherical triangle on it.
Spherical geometry is the geometry of the two-dimensional surface of a sphere. In this context the word "sphere" refers only to the 2-dimensional surface and other terms like "ball" or "solid sp ...
, a square is a polygon whose edges are
great circle
In mathematics, a great circle or orthodrome is the circular intersection of a sphere and a plane passing through the sphere's center point.
Any arc of a great circle is a geodesic of the sphere, so that great circles in spherical geomet ...
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
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or Bolyai– Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:
:For any given line ''R'' and point ''P'' ...
, 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:
Crossed square
![Tetrahemihexahedron vertfig](https://upload.wikimedia.org/wikipedia/commons/a/a7/Tetrahemihexahedron_vertfig.png)
A crossed square is a
faceting
Stella octangula as a faceting of the cube
In geometry, faceting (also spelled facetting) is the process of removing parts of a polygon, polyhedron or polytope, without creating any new Vertex (geometry), vertices.
New edges of a faceted pol ...
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, Dih
2, order 4. It has the same
vertex arrangement
In geometry, a vertex arrangement is a set of points in space described by their relative positions. They can be described by their use in polytopes.
For example, a ''square vertex arrangement'' is understood to mean four points in a plane, equ ...
as the square, and is
vertex-transitive
In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face in ...
. It appears as two
45-45-90 triangle with a common vertex, but the geometric intersection is not considered a vertex.
A crossed square is sometimes likened to a
bow tie
The bow tie is a type of necktie. A modern bow tie is tied using a common shoelace knot, which is also called the bow knot for that reason. It consists of a ribbon of fabric tied around the collar of a shirt in a symmetrical manner so that th ...
or
butterfly
Butterflies are insects in the macrolepidopteran clade Rhopalocera from the Order (biology), order Lepidoptera, which also includes moths. Adult butterflies have large, often brightly coloured wings, and conspicuous, fluttering flight. The ...
. the
crossed rectangle
In Euclidean plane geometry, a rectangle is a quadrilateral with four right angles. It can also be defined as: an equiangular quadrilateral, since equiangular means that all of its angles are equal (360°/4 = 90°); or a parallelogram containin ...
is related, as a faceting of the rectangle, both special cases of
crossed quadrilateral
In geometry a quadrilateral is a four-sided polygon, having four edges (sides) and four corners (vertices). The word is derived from the Latin words ''quadri'', a variant of four, and ''latus'', meaning "side". It is also called a tetragon, ...
s.
The interior of a crossed square can have a
polygon density
In geometry, the density of a star polyhedron is a generalization of the concept of winding number from two dimensions to higher dimensions,
representing the number of windings of the polyhedron around the center of symmetry of the polyhedron. It ...
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:
* Opposite sides are equal in length.
* The two diagonals are equal in length.
* It has two lines of reflectional symmetry and rotational symmetry of order 2 (through 180°).
It exists in the
vertex figure
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off.
Definitions
Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connect ...
of a
uniform star polyhedra
In geometry, a uniform star polyhedron is a self-intersecting uniform polyhedron. They are also sometimes called nonconvex polyhedra to imply self-intersecting. Each polyhedron can contain either star polygon faces, star polygon vertex figures, ...
, the
tetrahemihexahedron
In geometry, the tetrahemihexahedron or hemicuboctahedron is a uniform star polyhedron, indexed as U4. It has 7 faces (4 triangles and 3 squares), 12 edges, and 6 vertices. Its vertex figure is a crossed quadrilateral. Its Coxeter–Dynkin dia ...
.
Graphs
![Tetrahedron petrie](https://upload.wikimedia.org/wikipedia/commons/5/56/Tetrahedron_petrie.png)
The K
4 complete graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices is c ...
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
Orthographic projection (also orthogonal projection and analemma) is a means of representing Three-dimensional space, three-dimensional objects in Two-dimensional space, two dimensions. Orthographic projection is a form of parallel projection in ...
of the 4 vertices and 6 edges of the regular 3-
simplex
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. The simplex is so-named because it represents the simplest possible polytope in any given dimension. ...
(
tetrahedron
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the o ...
).
See also
*
Cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross.
The cube is the only r ...
*
Pythagorean theorem
In mathematics, the Pythagorean theorem or Pythagoras' theorem is a fundamental relation in Euclidean geometry between the three sides of a right triangle. It states that the area of the square whose side is the hypotenuse (the side opposite t ...
*
Square lattice
In mathematics, the square lattice is a type of lattice in a two-dimensional Euclidean space. It is the two-dimensional version of the integer lattice, denoted as . It is one of the five types of two-dimensional lattices as classified by their ...
*
Square number
In mathematics, a square number or perfect square is an integer that is the square (algebra), square of an integer; in other words, it is the multiplication, product of some integer with itself. For example, 9 is a square number, since it equals ...
*
Square root
In mathematics, a square root of a number is a number such that ; in other words, a number whose ''square'' (the result of multiplying the number by itself, or ⋅ ) is . For example, 4 and −4 are square roots of 16, because .
E ...
*
Squaring the square
Squaring the square is the problem of tiling an integral square using only other integral squares. (An integral square is a square whose sides have integer length.) The name was coined in a humorous analogy with squaring the circle. Squaring the sq ...
*
Squircle
A squircle is a shape intermediate between a square and a circle. There are at least two definitions of "squircle" in use, the most common of which is based on the superellipse. The word "squircle" is a portmanteau of the words "square" and "ci ...
*
Unit square
In mathematics, a unit square is a square whose sides have length . Often, ''the'' unit square refers specifically to the square in the Cartesian plane with corners at the four points ), , , and .
Cartesian coordinates
In a Cartesian coordinate ...
References
External links
Animated course (Construction, Circumference, Area)With interactive applet
{{Authority control
Elementary shapes
Types of quadrilaterals
4 (number)
Constructible polygons