Trapezoid
A trapezoid is a quadrilateral in Euclidean geometry with exactly one pair of parallel sides, known as the bases, and the non-parallel sides called the legs.[1] The term originates from the Greek word trapeza, meaning "table," reflecting its table-like shape with parallel sides.[2] Definitions vary regionally: in North American English, it typically specifies exactly one pair of parallel sides, excluding parallelograms, while some international contexts use an inclusive definition with at least one pair.[3] Key properties include the midsegment (or median), which connects the midpoints of the legs and is parallel to the bases with a length equal to the average of the base lengths: m = \frac{a + b}{2}, where a and b are the base lengths.[4] The area of a trapezoid is given by A = \frac{1}{2} (a + b) h, where h is the height, the perpendicular distance between the bases.[2] The diagonals intersect at a point that divides each diagonal in the ratio of the lengths of the parallel sides.[3] Trapezoids are classified into types such as the isosceles trapezoid, where the legs are congruent and the base angles are equal, resulting in congruent diagonals and symmetry.[5] A right trapezoid features two adjacent right angles.[2] These shapes appear in architecture, engineering, and natural formations, with historical uses tracing back to ancient Egyptian measurements for land and structures.[6]Definitions and Terminology
Standard Definition
A trapezoid is a convex quadrilateral in the Euclidean plane, defined as a four-sided polygon with exactly one pair of parallel sides.[2][7] The parallel sides are referred to as the bases, while the non-parallel sides are called the legs.[7] This configuration ensures that the trapezoid remains convex, meaning all interior angles are less than 180 degrees and the line segments connecting any two points within the shape lie entirely inside it.[8] In standard illustrations, the two bases are positioned such that one is horizontal, with the longer base typically drawn at the bottom to emphasize the shape's stability and common visual representation in geometry.[9] The legs connect the endpoints of the bases, forming the non-parallel sides that may vary in length and angle. For example, consider a quadrilateral ABCD where side AB is parallel to side CD; here, AB and CD serve as the bases, and sides AD and BC are the legs.[10] This setup distinguishes the trapezoid from other quadrilaterals like parallelograms, which have two pairs of parallel sides. Special cases of the trapezoid, such as the isosceles trapezoid where the legs are congruent, build upon this standard definition but introduce additional symmetry.[2]Regional Variations
In the United States, a trapezoid is defined as a quadrilateral with exactly one pair of parallel sides, an exclusive definition that distinguishes it from parallelograms.[11] This approach is prevalent in American elementary and secondary textbooks, emphasizing precise classification of quadrilaterals.[12] In contrast, British, Commonwealth, and much of the international mathematical community adopt an inclusive definition for trapezoids (often termed "trapezium" in British English), describing them as quadrilaterals with at least one pair of parallel sides, thereby encompassing parallelograms as a special case.[13] Under this view, the shape includes all quadrilaterals with parallel sides, aligning with broader geometric hierarchies in higher mathematics.[3] This terminological and definitional divergence emerged in the 20th century, as U.S. textbooks increasingly favored the exclusive definition for pedagogical clarity in early education, while international standards shifted toward the inclusive one to facilitate theorem generalization.[3] The variation traces back to 19th-century adaptations of European terminology, with American texts reversing traditional labels around 1795 but solidifying the exclusive stance later.[13] The implications of these differences affect shape classifications: the U.S. exclusive definition excludes parallelograms from trapezoids, requiring separate treatment in curricula and potentially complicating hierarchical diagrams, whereas the inclusive international approach streamlines proofs by treating parallelograms as subsets.[11] This can lead to inconsistencies in cross-regional mathematical communication and education.[12]Etymology and History
Etymology
The term "trapezoid" originates from the Late Greek trapezoeidēs, meaning "table-shaped," derived from trapeza (table) combined with the suffix -oeidēs (shaped like).[14] The root trapeza itself stems from tetra- (four) and peza (foot), evoking a four-legged table.[14] The earliest geometric usage appears in the 5th-century AD commentary on Euclid's Elements by the Neoplatonist philosopher Proclus, who applied trapezoeidēs (trapezoid) to a quadrilateral with no parallel sides, distinguishing it from the trapezion (trapezium), which he defined as having exactly two parallel sides.[13] The word entered English in 1706 via Modern Latin trapezoides, initially retaining the ancient sense of a quadrilateral lacking parallel sides, but by the late 18th century, its meaning transposed with "trapezium" in common usage, coming to denote an irregular quadrilateral with exactly one pair of parallel sides.[14] This transposition persists in regional variations: in British English, "trapezium" refers to a quadrilateral with one pair of parallel sides (the American "trapezoid"), while "trapezoid" denotes a quadrilateral with no parallel sides.[14]Historical Development
Preceding Greek developments, ancient Babylonian mathematics (c. 2000–1600 BCE) employed trapezoid-like figures for approximating areas in land measurement, influencing later traditions. The concept of the trapezoid emerged in ancient Greek mathematics as part of broader classifications of quadrilaterals. In Euclid's Elements (c. 300 BC), Book I, Definition 22 describes "trapezia" as quadrilaterals that are neither equilateral and right-angled (squares), right-angled but not equilateral (oblongs), equilateral but not right-angled (rhombi), nor having opposite sides and angles equal (rhomboids), providing a vague catch-all term without specifying parallel sides. This ambiguity was addressed centuries later by the Neoplatonist philosopher Proclus (c. 412–485 AD) in his extensive commentary on Euclid's Elements. Proclus introduced a more structured categorization, attributing to earlier geometers the distinction where a trapezium has exactly two parallel sides and a trapezoid has none, influencing subsequent interpretations of quadrilateral types.[13] During the medieval Islamic Golden Age, Arabic scholars applied geometric figures akin to trapezoids in practical contexts such as surveying and inheritance division, using algebraic methods to resolve real-world land measurement problems encountered in agriculture and taxation. The 19th and 20th centuries saw the trapezoid's definition standardize across educational materials, particularly in the West. Late 19th-century American geometry textbooks adopted an exclusive definition of the trapezoid as a quadrilateral with exactly one pair of parallel sides, contrasting with European conventions where the term often denoted no parallel sides; this U.S.-specific usage solidified around the 1950s in response to growing emphasis on precise terminology in secondary education.[13] Significant milestones in the trapezoid's development include its routine inclusion in school geometry curricula by the mid-19th century, reflecting broader Euclidean influences in public education, and debates over definitional inclusivity during the 1960s "New Math" reforms, where curriculum developers grappled with whether parallelograms should be subsumed under trapezoids to align with axiomatic rigor.Types and Special Cases
Isosceles Trapezoid
An isosceles trapezoid is a trapezoid in which the two non-parallel sides, known as the legs, are congruent in length. This configuration distinguishes it from a general trapezoid, which requires only one pair of parallel sides called the bases. The base angles adjacent to each leg are also equal, with the angles adjacent to the longer base being congruent to each other and those adjacent to the shorter base being congruent to each other.[1][4][15] Due to the equal leg lengths, an isosceles trapezoid possesses a line of symmetry that is perpendicular to both bases and passes through their midpoints, bisecting each base, the two legs, and the four base angles. This symmetry implies that the figure is symmetric across this axis, meaning one half is a mirror image of the other. The diagonals of an isosceles trapezoid are congruent, providing an additional characteristic not necessarily present in non-isosceles trapezoids. Furthermore, each pair of adjacent angles formed by a leg and one of the bases is supplementary, summing to 180 degrees, which follows from the parallel bases and the equal leg lengths.[16][17][18][1][19] To construct an isosceles trapezoid using compass and straightedge, begin by drawing the longer base as a line segment AB. Construct the midpoint M of AB and draw a perpendicular line through M. Select a point P on AB between A and M, then reflect P over the perpendicular to obtain point Q on the other side. Draw perpendiculars to AB at P and Q, and choose a point C on the perpendicular at P such that the distance from the base is the desired height. Draw a line through C parallel to AB, and let it intersect the perpendicular at Q to form point D. Connect A to D and B to C to complete the figure, ensuring the legs AD and BC are equal due to the symmetric construction.[20]Right Trapezoid
A right trapezoid is a trapezoid featuring two adjacent right angles, typically formed when one of the non-parallel sides, or legs, is perpendicular to the pair of parallel sides known as the bases. This perpendicular leg creates 90-degree angles at both ends where it meets the bases.[21][22] Key characteristics of a right trapezoid include the perpendicular leg directly measuring the height of the shape, which simplifies geometric computations compared to general trapezoids where height must be derived separately. The other leg remains oblique, forming acute and obtuse angles with the bases, resulting in an asymmetric form that distinguishes it from more symmetric variants like the isosceles trapezoid.[23][24] If the oblique leg also becomes perpendicular to the bases—such as when the lengths of the two bases are equal—the right trapezoid degenerates into a rectangle, possessing four right angles and opposite sides of equal length.[25] An example of a right trapezoid appears in architectural lintels with one vertical support, where the perpendicular leg aligns with structural columns to span openings efficiently while maintaining stability.[26]Construction and Existence
Conditions for Existence
A trapezoid is fundamentally a convex quadrilateral with exactly one pair of opposite sides parallel, known as the bases, while the other two sides are the legs.[2] This parallelism condition is necessary and sufficient under the exclusive definition, though some conventions use an inclusive definition with at least one such pair.[3] The convexity requirement ensures that the interior angles are less than 180 degrees and the sides do not intersect, preventing crossed or self-intersecting configurations that would violate the simple polygonal structure. No additional constraints on side lengths exist beyond the quadrilateral inequality, which states that the sum of the lengths of any three sides must exceed the length of the remaining side; this guarantees that the figure can form a closed shape without collapsing.[27] For the trapezoid specifically, this applies to the bases and legs collectively, akin to ensuring the triangle inequality holds when dividing the shape along a diagonal into two triangles. Degenerate cases arise when the configuration fails to produce a proper quadrilateral, such as when the two parallel bases coincide in position and length, reducing the shape to a line segment, or when one leg has zero length, degenerating into a triangle.[28] In these instances, the parallelism condition persists but the four-sided nature is lost, excluding them from standard trapezoid classifications.Characterizations
A trapezoid can be characterized in coordinate geometry by positioning its parallel bases along lines of constant y-coordinate, with one base extending from (x_1, 0) to (x_2, 0) and the other from (x_3, h) to (x_4, h), where h > 0 is the height. The non-parallel sides, or legs, then connect (x_1, 0) to (x_3, h) and (x_2, 0) to (x_4, h). This placement ensures the bases are horizontal and parallel, facilitating calculations of properties such as area or diagonals through standard vector or distance formulas.[29] Another characterization uses vectors and midpoints: the line segment connecting the midpoints of the non-parallel sides (legs) is parallel to the bases and has a length equal to the average of the bases' lengths. This serves as an equivalent defining feature, as its parallelism to a pair of opposite sides confirms the trapezoidal structure in a convex quadrilateral.[30] The angle condition provides a further equivalent definition: a convex quadrilateral is a trapezoid if and only if the pairs of adjacent angles formed by each leg and the bases are supplementary, summing to $180^\circ. This arises because the legs act as transversals to the parallel bases, making the adjacent angles same-side interior angles; conversely, such supplementary pairs imply the bases are parallel.[31] In a trapezoid, the sum of the lengths of the projections of the legs onto the line containing one of the bases equals the absolute difference between the lengths of the two bases. This property accounts for the "overhang" created by the legs when the bases are aligned, as seen when dropping perpendiculars from the shorter base to the longer one, where the projections form the overhanging segments.Properties
Midsegment and Height
In a trapezoid, the midsegment is the line segment connecting the midpoints of the two non-parallel sides, known as the legs. The midsegment theorem states that this segment is parallel to the two bases and has a length equal to the average of the lengths of the bases, given by the formula m = \frac{a + b}{2}, where a and b are the lengths of the parallel bases.[2][32] A proof of the midsegment theorem can be outlined using similar triangles formed through height projection. Consider trapezoid ABCD with bases AB and CD (AB shorter than CD) and legs AD and BC. Drop perpendiculars from A and B to CD, meeting at points P and Q, respectively, forming right triangles ADP and BCQ with height h, and a central rectangle APQB. Let M and N be the midpoints of legs AD and BC. The line MN intersects the heights at their midpoints, creating smaller similar triangles at the top half-height similar to the original right triangles ADP and BCQ by AA similarity (sharing angles and proportional heights of h/2). The bases of these smaller triangles are half the overhangs, leading to the midsegment length m = AB + \frac{1}{2}(CD - AB) = \frac{a + b}{2}. Parallelism follows from the corresponding angles being equal due to the similarity.[33][34] The height h of a trapezoid is defined as the perpendicular distance between its two parallel bases. To derive h, drop perpendiculars from the endpoints of the shorter base to the longer base, forming two right triangles adjacent to a central rectangle. The length of each perpendicular segment is h, which can be found using the Pythagorean theorem in these right triangles: for each triangle, h = \sqrt{l^2 - x^2}, where l is the leg length and x is the horizontal overhang (with the total overhang b - a split between the two sides). In the general case, the overhangs may differ, requiring separate calculations for each side and ensuring consistency.[35][36] The midsegment acts as the midline in trapezoid diagrams, providing a reference for dividing the figure into equal-area regions or visualizing properties like symmetry in isosceles cases. It is particularly useful in applications where the average base length simplifies computations, such as deriving the area as midsegment times height.[2]Area Formulas
The area A of a trapezoid with parallel bases of lengths a and b (where a > b) and height h (the perpendicular distance between the bases) is given by the formula A = \frac{a + b}{2} h. [2] This formula arises from the fact that the area represents the average of the base lengths multiplied by the height. One derivation of this formula uses decomposition into a central rectangle and two right triangles. By dropping perpendiculars from the endpoints of the shorter base b to the longer base a, the trapezoid divides into a rectangle of width b and height h, plus two right triangles each with height h and bases totaling a - b (split according to the leg projections). The rectangle area is b h, and the triangles' combined area is \frac{(a - b) h}{2}, yielding A = b h + \frac{(a - b) h}{2} = \frac{(a + b) h}{2}. [37] An equivalent derivation relies on the midsegment theorem, which states that the length m of the midsegment (connecting the midpoints of the non-parallel legs) is the average of the bases, m = \frac{a + b}{2}. The trapezoid's area equals that of a rectangle with base m and height h, so A = m h = \frac{a + b}{2} h. [2] An alternative form expresses the area directly in terms of the midsegment: A = m h.[2] When the leg lengths c and d are known instead of the height, the area can be computed using A = \frac{a + b}{4(b - a)} \sqrt{(-a + b + c + d)(a - b + c + d)(a + b - c + d)(a - b + c - d)}, assuming b > a; this derives from combining the height expression with the trapezoid's side lengths via a quadrilateral area formula adapted for parallel sides.[2] If base angles are known, the height can first be found as h = c \sin \alpha (where \alpha is the angle between leg c and the adjacent base), then substituted into the standard formula; this approach is particularly straightforward for isosceles trapezoids where the base angles are equal.[38] For a trapezoid with vertices at coordinates (x_1, y_1), (x_2, y_2), (x_3, y_3), (x_4, y_4) (listed in clockwise or counterclockwise order), the area can be calculated using the shoelace formula for polygons: A = \frac{1}{2} \left| x_1 y_2 + x_2 y_3 + x_3 y_4 + x_4 y_1 - (y_1 x_2 + y_2 x_3 + y_3 x_4 + y_4 x_1) \right|. This method applies directly since a trapezoid is a simple quadrilateral.[39] The area is measured in square units consistent with the input lengths (e.g., square meters if bases and height are in meters). For example, consider a trapezoid with bases a = 6 units and b = 4 units, and height h = 5 units; the area is A = \frac{6 + 4}{2} \times 5 = 25 square units.[2]Diagonal Properties
In a trapezoid ABCD with parallel bases AB and CD, the diagonals AC and BD intersect at a point E that divides each diagonal in the ratio of the lengths of the bases, such that AE/CE = BE/DE = AB/CD.[3] This property arises from the similarity of triangles ABE and CDE, which share corresponding angles due to the parallel lines and transversals formed by the diagonals.[3] The lengths of the diagonals in a trapezoid depend on the base lengths, leg lengths, and height. In an isosceles trapezoid, where the non-parallel legs are equal, the diagonals are congruent, each with length given byd = \sqrt{h^2 + \left( \frac{|a - b|}{2} \right)^2},
where a and b are the lengths of the parallel bases (a > b) and h is the height; this follows from dropping perpendiculars from the ends of the shorter base, creating right triangles with base \frac{a - b}{2}.[40][41] For a general trapezoid, the diagonals differ in length, and their squares can be expressed as
e^2 = ab + \frac{c^2 a - d^2 b}{a - b}, \quad f^2 = ab + \frac{d^2 a - c^2 b}{a - b},
where a and b are the bases (a > b) and c and d are the legs.[42] A key relation among the sides and diagonals is that the sum of the squares of the legs equals the sum of the squares of the diagonals minus twice the product of the bases:
c^2 + d^2 = e^2 + f^2 - 2ab.
This trapezoid law provides a direct connection between the non-parallel sides and the diagonals, analogous to vector-based identities in Euclidean geometry.[42] In the special case of an isosceles trapezoid, the equality of the diagonals follows from the bilateral symmetry across the line perpendicular to the bases through their midpoints.[41]