Square
Generated by GPT-5-miniExpansion Funnel Raw 64 → Dedup 9 → NER 5 → Enqueued 5
| Square | |
|---|---|
 | |
| Name | Square |
| Caption | A regular square |
| Type | Quadrilateral |
| Symmetry | D4 |
Square
A square is a planar regular quadrilateral with four equal sides and four equal angles. It combines properties of Euclidean geometry, plane figures and polygon theory, and appears in studies by figures such as Euclid, René Descartes, and Bernhard Riemann. Squares serve as fundamental units in analyses ranging from Pythagorean theorem proofs to Cartesian coordinate system constructions.
Definition and properties
A square is defined as a quadrilateral that is both a rhombus and a rectangle, possessing equal side lengths and right angles; this definition relates to propositions in Elements (Euclid). Properties include equal diagonals that are perpendicular bisectors, congruent adjacent triangles, and area equal to the square of a side length, a relation used by Pythagoras and discussed in works like Euclid's Elements and Al-Khwarizmi's treatises. The set of interior points satisfies axioms from Euclidean plane geometry while interacting with concepts formalized by David Hilbert.
Geometry and measurements
Metric relationships for a square with side length s include perimeter 4s and area s^2, paralleling formulas in texts by Heron of Alexandria and later expositors such as Isaac Newton. The diagonals have length s√2, connecting to results in Pythagorean theorem demonstrations and to distance formulas in the Cartesian coordinate system. Circumradius and inradius are s/√2 and s/2 respectively, quantities that appear in computations in trigonometry and in constructions by Georg Cantor-era analysts. Measurement and approximation methods for squares were applied in projects like the layout of Roman roads and planning of Hagia Sophia foundations.
Algebraic and coordinate representations
In the Cartesian coordinate system, a square aligned with axes and centered at the origin can be represented by vertex coordinates (±a, ±a), linking to algebraic geometry treatments found in works by René Descartes and Gottfried Wilhelm Leibniz. Linear inequalities |x| ≤ a, |y| ≤ a describe the filled square region, while rotation by θ uses rotation matrix entries cosθ and sinθ as in studies by Joseph-Louis Lagrange. Algebraic curve intersections, lattice point counts, and Ehrhart polynomials for integer dilates of a unit square connect to research by Eugène Ehrhart and Carl Friedrich Gauss's lattice point problem. Coordinate transformations used in Fourier analysis and affine geometry map squares to other parallelograms under linear mappings examined by Élie Cartan and Felix Klein.
Symmetry and transformations
The symmetry group of a square is the dihedral group of order 8, D4, central in group theory discussions by Niels Henrik Abel and Évariste Galois; generators include a 90° rotation and a reflection. Conjugacy classes and subgroup lattices for D4 are standard examples in texts by Arthur Cayley and William Rowan Hamilton. Transformations preserving a square's structure include isometries studied in Bernhard Riemann's analysis and affine maps treated by Sophus Lie, while similarity transformations scale side length and preserve angles, a concept used by Johann Carl Friedrich Gauss in complex analysis contexts.
Applications and occurrences
Squares appear in tiling problems such as the squaring the square problem solved by mathematicians including R.L. Brooks, Charles Tutte, and William T. Tutte, and in tessellations studied by M.C. Escher and Branko Grünbaum. They are used in architecture exemplified by Parthenon plans and Seville Cathedral designs, in urban layouts like Manhattan street grids, and in engineering through finite element method meshes and computer graphics rasterization. In games and puzzles, squares feature in chessboard compositions, magic square studies traced to Sangaku tablets and Albrecht Dürer, and in digital imaging via pixel arrays used by firms such as Adobe Systems and NVIDIA.
History and etymology
The term derives from Old French carre and Latin quadratus, used in medieval scholasticism and in commentaries by Boethius and Thomas Aquinas. Ancient treatments appear in Babylonian mathematics tablets and in Egyptian mathematics of the Rhind Mathematical Papyrus, while classical expositions are found in Euclid's corpus. Renaissance figures including Leonardo da Vinci and Albrecht Dürer reinvigorated square studies in art and proportion, and modern algebraic formalization was influenced by Augustin-Louis Cauchy and David Hilbert.