Last updated
Edges and vertices 4
Schläfli symbol {4} (for square)
Area various methods;
see below
Internal angle (degrees)90° (for square and rectangle)

In Euclidean plane geometry, a quadrilateral is a polygon with four edges (sides) and four vertices (corners). Other names for quadrilateral include quadrangle (in analogy to triangle), tetragon (in analogy to pentagon, 5-sided polygon, and hexagon, 6-sided polygon), and 4-gon (in analogy to k-gons for arbitrary values of k). A quadrilateral with vertices ${\displaystyle A}$, ${\displaystyle B}$, ${\displaystyle C}$ and ${\displaystyle D}$ is sometimes denoted as ${\displaystyle \square ABCD}$. [1] [2]

Contents

The word "quadrilateral" is derived from the Latin words quadri, a variant of four, and latus, meaning "side".

Quadrilaterals are either simple (not self-intersecting), or complex (self-intersecting, or crossed). Simple quadrilaterals are either convex or concave.

The interior angles of a simple (and planar) quadrilateral ABCD add up to 360 degrees of arc, that is [2]

${\displaystyle \angle A+\angle B+\angle C+\angle D=360^{\circ }.}$

This is a special case of the n-gon interior angle sum formula: (n − 2) × 180°.

All non-self-crossing quadrilaterals tile the plane, by repeated rotation around the midpoints of their edges.

In a convex quadrilateral, all interior angles are less than 180°, and the two diagonals both lie inside the quadrilateral.

• Irregular quadrilateral (British English) or trapezium (North American English): no sides are parallel. (In British English, this was once called a trapezoid. For more, see Trapezoid § Trapezium vs Trapezoid)
• Trapezium (UK) or trapezoid (US): at least one pair of opposite sides are parallel. Trapezia (UK) and trapezoids (US) include parallelograms.
• Isosceles trapezium (UK) or isosceles trapezoid (US): one pair of opposite sides are parallel and the base angles are equal in measure. Alternative definitions are a quadrilateral with an axis of symmetry bisecting one pair of opposite sides, or a trapezoid with diagonals of equal length.
• Parallelogram: a quadrilateral with two pairs of parallel sides. Equivalent conditions are that opposite sides are of equal length; that opposite angles are equal; or that the diagonals bisect each other. Parallelograms include rhombi (including those rectangles called squares) and rhomboids (including those rectangles called oblongs). In other words, parallelograms include all rhombi and all rhomboids, and thus also include all rectangles.
• Rhombus, rhomb [2] : all four sides are of equal length. An equivalent condition is that the diagonals perpendicularly bisect each other. Informally: "a pushed-over square" (but strictly including a square, too).
• Rhomboid: a parallelogram in which adjacent sides are of unequal lengths, and some angles are oblique (equiv., having no right angles). Informally: "a pushed-over oblong". Not all references agree, some define a rhomboid as a parallelogram that is not a rhombus. [3]
• Rectangle: all four angles are right angles. An equivalent condition is that the diagonals bisect each other, and are equal in length. Rectangles include squares and oblongs. Informally: "a box or oblong" (including a square).
• Square (regular quadrilateral): all four sides are of equal length (equilateral), and all four angles are right angles. An equivalent condition is that opposite sides are parallel (a square is a parallelogram), and that the diagonals perpendicularly bisect each other and are of equal length. A quadrilateral is a square if and only if it is both a rhombus and a rectangle (i.e., four equal sides and four equal angles).
• Oblong: a term sometimes used to denote a rectangle that has unequal adjacent sides (i.e., a rectangle that is not a square). [4]
• Kite: two pairs of adjacent sides are of equal length. This implies that one diagonal divides the kite into congruent triangles, and so the angles between the two pairs of equal sides are equal in measure. It also implies that the diagonals are perpendicular. Kites include rhombi.

• Tangential quadrilateral: the four sides are tangents to an inscribed circle. A convex quadrilateral is tangential if and only if opposite sides have equal sums.
• Tangential trapezoid: a trapezoid where the four sides are tangents to an inscribed circle.
• Cyclic quadrilateral: the four vertices lie on a circumscribed circle. A convex quadrilateral is cyclic if and only if opposite angles sum to 180°.
• Right kite: a kite with two opposite right angles. It is a type of cyclic quadrilateral.
• Harmonic quadrilateral: the products of the lengths of the opposing sides are equal. It is a type of cyclic quadrilateral.
• Bicentric quadrilateral: it is both tangential and cyclic.
• Orthodiagonal quadrilateral: the diagonals cross at right angles.
• Equidiagonal quadrilateral: the diagonals are of equal length.
• Ex-tangential quadrilateral: the four extensions of the sides are tangent to an excircle.
• An equilic quadrilateral has two opposite equal sides that when extended, meet at 60°.
• A Watt quadrilateral is a quadrilateral with a pair of opposite sides of equal length. [5]
• A quadric quadrilateral is a convex quadrilateral whose four vertices all lie on the perimeter of a square. [6]
• A diametric quadrilateral is a cyclic quadrilateral having one of its sides as a diameter of the circumcircle. [7]
• A Hjelmslev quadrilateral is a quadrilateral with two right angles at opposite vertices. [8]

In a concave quadrilateral, one interior angle is bigger than 180°, and one of the two diagonals lies outside the quadrilateral.

• A dart (or arrowhead) is a concave quadrilateral with bilateral symmetry like a kite, but where one interior angle is reflex. See Kite.

A self-intersecting quadrilateral is called variously a cross-quadrilateral, crossed quadrilateral, butterfly quadrilateral or bow-tie quadrilateral. In a crossed quadrilateral, the four "interior" angles on either side of the crossing (two acute and two reflex, all on the left or all on the right as the figure is traced out) add up to 720°. [9]

• Crossed trapezoid (US) or trapezium (Commonwealth): [10] a crossed quadrilateral in which one pair of nonadjacent sides is parallel (like a trapezoid)
• Antiparallelogram: a crossed quadrilateral in which each pair of nonadjacent sides have equal lengths (like a parallelogram)
• Crossed rectangle: an antiparallelogram whose sides are two opposite sides and the two diagonals of a rectangle, hence having one pair of parallel opposite sides
• Crossed square: a special case of a crossed rectangle where two of the sides intersect at right angles

Special line segments

The two diagonals of a convex quadrilateral are the line segments that connect opposite vertices.

The two bimedians of a convex quadrilateral are the line segments that connect the midpoints of opposite sides. [11] They intersect at the "vertex centroid" of the quadrilateral (see § Remarkable points and lines in a convex quadrilateral below).

The four maltitudes of a convex quadrilateral are the perpendiculars to a side—through the midpoint of the opposite side. [12]

There are various general formulas for the area K of a convex quadrilateral ABCD with sides a = AB, b = BC, c = CD and d = DA.

Trigonometric formulas

The area can be expressed in trigonometric terms as [13]

${\displaystyle K={\tfrac {1}{2}}pq\cdot \sin \theta ,}$

where the lengths of the diagonals are p and q and the angle between them is θ. [14] In the case of an orthodiagonal quadrilateral (e.g. rhombus, square, and kite), this formula reduces to ${\displaystyle K={\tfrac {1}{2}}pq}$ since θ is 90°.

The area can be also expressed in terms of bimedians as [15]

${\displaystyle K=mn\cdot \sin \varphi ,}$

where the lengths of the bimedians are m and n and the angle between them is φ.

Bretschneider's formula [16] [13] expresses the area in terms of the sides and two opposite angles:

{\displaystyle {\begin{aligned}K&={\sqrt {(s-a)(s-b)(s-c)(s-d)-{\tfrac {1}{2}}abcd\;[1+\cos(A+C)]}}\\&={\sqrt {(s-a)(s-b)(s-c)(s-d)-abcd\left[\cos ^{2}\left({\tfrac {A+C}{2}}\right)\right]}}\end{aligned}}}

where the sides in sequence are a, b, c, d, where s is the semiperimeter, and A and C are two (in fact, any two) opposite angles. This reduces to Brahmagupta's formula for the area of a cyclic quadrilateral—when A + C = 180°.

Another area formula in terms of the sides and angles, with angle C being between sides b and c, and A being between sides a and d, is

${\displaystyle K={\tfrac {1}{2}}ad\cdot \sin {A}+{\tfrac {1}{2}}bc\cdot \sin {C}.}$

In the case of a cyclic quadrilateral, the latter formula becomes ${\displaystyle K={\tfrac {1}{2}}(ad+bc)\sin {A}.}$

In a parallelogram, where both pairs of opposite sides and angles are equal, this formula reduces to ${\displaystyle K=ab\cdot \sin {A}.}$

Alternatively, we can write the area in terms of the sides and the intersection angle θ of the diagonals, as long θ is not 90°: [17]

${\displaystyle K={\frac {|\tan \theta |}{4}}\cdot \left|a^{2}+c^{2}-b^{2}-d^{2}\right|.}$

In the case of a parallelogram, the latter formula becomes ${\displaystyle K={\tfrac {1}{2}}|\tan \theta |\cdot \left|a^{2}-b^{2}\right|.}$

Another area formula including the sides a, b, c, d is [15]

${\displaystyle K={\tfrac {1}{4}}{\sqrt {(2(a^{2}+c^{2})-4x^{2})(2(b^{2}+d^{2})-4x^{2})}}\sin {\varphi }}$

where x is the distance between the midpoints of the diagonals, and φ is the angle between the bimedians.

The last trigonometric area formula including the sides a, b, c, d and the angle α (between a and b) is: [ citation needed ]

${\displaystyle K={\tfrac {1}{2}}ab\cdot \sin {\alpha }+{\tfrac {1}{4}}{\sqrt {4c^{2}d^{2}-(c^{2}+d^{2}-a^{2}-b^{2}+2ab\cdot \cos {\alpha })^{2}}},}$

which can also be used for the area of a concave quadrilateral (having the concave part opposite to angle α), by just changing the first sign + to - .

Non-trigonometric formulas

The following two formulas express the area in terms of the sides a, b, c, d, the semiperimeter s, and the diagonals p, q:

${\displaystyle K={\sqrt {(s-a)(s-b)(s-c)(s-d)-{\tfrac {1}{4}}(ac+bd+pq)(ac+bd-pq)}},}$ [18]
${\displaystyle K={\tfrac {1}{4}}{\sqrt {4p^{2}q^{2}-\left(a^{2}+c^{2}-b^{2}-d^{2}\right)^{2}}}.}$ [19]

The first reduces to Brahmagupta's formula in the cyclic quadrilateral case, since then pq = ac + bd.

The area can also be expressed in terms of the bimedians m, n and the diagonals p, q:

${\displaystyle K={\tfrac {1}{2}}{\sqrt {(m+n+p)(m+n-p)(m+n+q)(m+n-q)}},}$ [20]
${\displaystyle K={\tfrac {1}{2}}{\sqrt {p^{2}q^{2}-(m^{2}-n^{2})^{2}}}.}$ [21] :Thm. 7

In fact, any three of the four values m, n, p, and q suffice for determination of the area, since in any quadrilateral the four values are related by ${\displaystyle p^{2}+q^{2}=2(m^{2}+n^{2}).}$ [22] :p. 126 The corresponding expressions are: [23]

${\displaystyle K={\tfrac {1}{2}}{\sqrt {[(m+n)^{2}-p^{2}]\cdot [p^{2}-(m-n)^{2}]}},}$

if the lengths of two bimedians and one diagonal are given, and [23]

${\displaystyle K={\tfrac {1}{4}}{\sqrt {[(p+q)^{2}-4m^{2}]\cdot [4m^{2}-(p-q)^{2}]}},}$

if the lengths of two diagonals and one bimedian are given.

Vector formulas

The area of a quadrilateral ABCD can be calculated using vectors. Let vectors AC and BD form the diagonals from A to C and from B to D. The area of the quadrilateral is then

${\displaystyle K={\tfrac {1}{2}}|\mathbf {AC} \times \mathbf {BD} |,}$

which is half the magnitude of the cross product of vectors AC and BD. In two-dimensional Euclidean space, expressing vector AC as a free vector in Cartesian space equal to (x1,y1) and BD as (x2,y2), this can be rewritten as:

${\displaystyle K={\tfrac {1}{2}}|x_{1}y_{2}-x_{2}y_{1}|.}$

Diagonals

Properties of the diagonals in some quadrilaterals

In the following table it is listed if the diagonals in some of the most basic quadrilaterals bisect each other, if their diagonals are perpendicular, and if their diagonals have equal length. [24] The list applies to the most general cases, and excludes named subsets.

Trapezoid NoSee note 1No
Isosceles trapezoid NoSee note 1Yes
Parallelogram YesNoNo
Kite See note 2YesSee note 2
Rectangle YesNoYes
Rhombus YesYesNo
Square YesYesYes

Note 1: The most general trapezoids and isosceles trapezoids do not have perpendicular diagonals, but there are infinite numbers of (non-similar) trapezoids and isosceles trapezoids that do have perpendicular diagonals and are not any other named quadrilateral.

Note 2: In a kite, one diagonal bisects the other. The most general kite has unequal diagonals, but there is an infinite number of (non-similar) kites in which the diagonals are equal in length (and the kites are not any other named quadrilateral).

Lengths of the diagonals

The lengths of the diagonals in a convex quadrilateral ABCD can be calculated using the law of cosines on each triangle formed by one diagonal and two sides of the quadrilateral. Thus

${\displaystyle p={\sqrt {a^{2}+b^{2}-2ab\cos {B}}}={\sqrt {c^{2}+d^{2}-2cd\cos {D}}}}$

and

${\displaystyle q={\sqrt {a^{2}+d^{2}-2ad\cos {A}}}={\sqrt {b^{2}+c^{2}-2bc\cos {C}}}.}$

Other, more symmetric formulas for the lengths of the diagonals, are [25]

${\displaystyle p={\sqrt {\frac {(ac+bd)(ad+bc)-2abcd(\cos {B}+\cos {D})}{ab+cd}}}}$

and

${\displaystyle q={\sqrt {\frac {(ab+cd)(ac+bd)-2abcd(\cos {A}+\cos {C})}{ad+bc}}}.}$

Generalizations of the parallelogram law and Ptolemy's theorem

In any convex quadrilateral ABCD, the sum of the squares of the four sides is equal to the sum of the squares of the two diagonals plus four times the square of the line segment connecting the midpoints of the diagonals. Thus

${\displaystyle a^{2}+b^{2}+c^{2}+d^{2}=p^{2}+q^{2}+4x^{2}}$

where x is the distance between the midpoints of the diagonals. [22] :p.126 This is sometimes known as Euler's quadrilateral theorem and is a generalization of the parallelogram law.

The German mathematician Carl Anton Bretschneider derived in 1842 the following generalization of Ptolemy's theorem, regarding the product of the diagonals in a convex quadrilateral [26]

${\displaystyle p^{2}q^{2}=a^{2}c^{2}+b^{2}d^{2}-2abcd\cos {(A+C)}.}$

This relation can be considered to be a law of cosines for a quadrilateral. In a cyclic quadrilateral, where A + C = 180°, it reduces to pq = ac + bd. Since cos (A + C) ≥ 1, it also gives a proof of Ptolemy's inequality.

Other metric relations

If X and Y are the feet of the normals from B and D to the diagonal AC = p in a convex quadrilateral ABCD with sides a = AB, b = BC, c = CD, d = DA, then [27] :p.14

${\displaystyle XY={\frac {|a^{2}+c^{2}-b^{2}-d^{2}|}{2p}}.}$

In a convex quadrilateral ABCD with sides a = AB, b = BC, c = CD, d = DA, and where the diagonals intersect at E,

${\displaystyle efgh(a+c+b+d)(a+c-b-d)=(agh+cef+beh+dfg)(agh+cef-beh-dfg)}$

where e = AE, f = BE, g = CE, and h = DE. [28]

The shape and size of a convex quadrilateral are fully determined by the lengths of its sides in sequence and of one diagonal between two specified vertices. The two diagonals p, q and the four side lengths a, b, c, d of a quadrilateral are related [13] by the Cayley-Menger determinant, as follows:

${\displaystyle \det {\begin{bmatrix}0&a^{2}&p^{2}&d^{2}&1\\a^{2}&0&b^{2}&q^{2}&1\\p^{2}&b^{2}&0&c^{2}&1\\d^{2}&q^{2}&c^{2}&0&1\\1&1&1&1&0\end{bmatrix}}=0.}$

Angle bisectors

The internal angle bisectors of a convex quadrilateral either form a cyclic quadrilateral [22] :p.127 (that is, the four intersection points of adjacent angle bisectors are concyclic) or they are concurrent. In the latter case the quadrilateral is a tangential quadrilateral.

In quadrilateral ABCD, if the angle bisectors of A and C meet on diagonal BD, then the angle bisectors of B and D meet on diagonal AC. [29]

Bimedians

The bimedians of a quadrilateral are the line segments connecting the midpoints of the opposite sides. The intersection of the bimedians is the centroid of the vertices of the quadrilateral. [13]

The midpoints of the sides of any quadrilateral (convex, concave or crossed) are the vertices of a parallelogram called the Varignon parallelogram. It has the following properties:

• Each pair of opposite sides of the Varignon parallelogram are parallel to a diagonal in the original quadrilateral.
• A side of the Varignon parallelogram is half as long as the diagonal in the original quadrilateral it is parallel to.
• The area of the Varignon parallelogram equals half the area of the original quadrilateral. This is true in convex, concave and crossed quadrilaterals provided the area of the latter is defined to be the difference of the areas of the two triangles it is composed of. [30]
• The perimeter of the Varignon parallelogram equals the sum of the diagonals of the original quadrilateral.
• The diagonals of the Varignon parallelogram are the bimedians of the original quadrilateral.

The two bimedians in a quadrilateral and the line segment joining the midpoints of the diagonals in that quadrilateral are concurrent and are all bisected by their point of intersection. [22] :p.125

In a convex quadrilateral with sides a, b, c and d, the length of the bimedian that connects the midpoints of the sides a and c is

${\displaystyle m={\tfrac {1}{2}}{\sqrt {-a^{2}+b^{2}-c^{2}+d^{2}+p^{2}+q^{2}}}}$

where p and q are the length of the diagonals. [31] The length of the bimedian that connects the midpoints of the sides b and d is

${\displaystyle n={\tfrac {1}{2}}{\sqrt {a^{2}-b^{2}+c^{2}-d^{2}+p^{2}+q^{2}}}.}$

Hence [22] :p.126

${\displaystyle \displaystyle p^{2}+q^{2}=2(m^{2}+n^{2}).}$

This is also a corollary to the parallelogram law applied in the Varignon parallelogram.

The lengths of the bimedians can also be expressed in terms of two opposite sides and the distance x between the midpoints of the diagonals. This is possible when using Euler's quadrilateral theorem in the above formulas. Whence [21]

${\displaystyle m={\tfrac {1}{2}}{\sqrt {2(b^{2}+d^{2})-4x^{2}}}}$

and

${\displaystyle n={\tfrac {1}{2}}{\sqrt {2(a^{2}+c^{2})-4x^{2}}}.}$

Note that the two opposite sides in these formulas are not the two that the bimedian connects.

In a convex quadrilateral, there is the following dual connection between the bimedians and the diagonals: [27]

• The two bimedians have equal length if and only if the two diagonals are perpendicular.
• The two bimedians are perpendicular if and only if the two diagonals have equal length.

Trigonometric identities

The four angles of a simple quadrilateral ABCD satisfy the following identities: [32]

${\displaystyle \sin {A}+\sin {B}+\sin {C}+\sin {D}=4\sin {\frac {A+B}{2}}\sin {\frac {A+C}{2}}\sin {\frac {A+D}{2}}}$

and

${\displaystyle {\frac {\tan {A}\tan {B}-\tan {C}\tan {D}}{\tan {A}\tan {C}-\tan {B}\tan {D}}}={\frac {\tan {(A+C)}}{\tan {(A+B)}}}.}$

Also, [33]

${\displaystyle {\frac {\tan {A}+\tan {B}+\tan {C}+\tan {D}}{\cot {A}+\cot {B}+\cot {C}+\cot {D}}}=\tan {A}\tan {B}\tan {C}\tan {D}.}$

In the last two formulas, no angle is allowed to be a right angle, since tan 90° is not defined.

Inequalities

Area

If a convex quadrilateral has the consecutive sides a, b, c, d and the diagonals p, q, then its area K satisfies [34]

${\displaystyle K\leq {\tfrac {1}{4}}(a+c)(b+d)}$ with equality only for a rectangle.
${\displaystyle K\leq {\tfrac {1}{4}}(a^{2}+b^{2}+c^{2}+d^{2})}$ with equality only for a square.
${\displaystyle K\leq {\tfrac {1}{4}}(p^{2}+q^{2})}$ with equality only if the diagonals are perpendicular and equal.
${\displaystyle K\leq {\tfrac {1}{2}}{\sqrt {(a^{2}+c^{2})(b^{2}+d^{2})}}}$ with equality only for a rectangle. [15]

From Bretschneider's formula it directly follows that the area of a quadrilateral satisfies

${\displaystyle K\leq {\sqrt {(s-a)(s-b)(s-c)(s-d)}}}$

with equality if and only if the quadrilateral is cyclic or degenerate such that one side is equal to the sum of the other three (it has collapsed into a line segment, so the area is zero).

The area of any quadrilateral also satisfies the inequality [35]

${\displaystyle \displaystyle K\leq {\tfrac {1}{2}}{\sqrt[{3}]{(ab+cd)(ac+bd)(ad+bc)}}.}$

Denoting the perimeter as L, we have [35] :p.114

${\displaystyle K\leq {\tfrac {1}{16}}L^{2},}$

with equality only in the case of a square.

The area of a convex quadrilateral also satisfies

${\displaystyle K\leq {\tfrac {1}{2}}pq}$

for diagonal lengths p and q, with equality if and only if the diagonals are perpendicular.

Let a, b, c, d be the lengths of the sides of a convex quadrilateral ABCD with the area K and diagonals AC = p, BD = q. Then [36]

${\displaystyle K\leq {\frac {a^{2}+b^{2}+c^{2}+d^{2}+p^{2}+q^{2}+pq-ac-bd}{8}}}$ with equality only for a square.

Let a, b, c, d be the lengths of the sides of a convex quadrilateral ABCD with the area K, then the following inequality holds: [37]

${\displaystyle K\leq {\frac {1}{3+{\sqrt {3}}}}(ab+ac+ad+bc+bd+cd)-{\frac {1}{2(1+{\sqrt {3}})^{2}}}(a^{2}+b^{2}+c^{2}+d^{2})}$ with equality only for a square.

Diagonals and bimedians

A corollary to Euler's quadrilateral theorem is the inequality

${\displaystyle a^{2}+b^{2}+c^{2}+d^{2}\geq p^{2}+q^{2}}$

where equality holds if and only if the quadrilateral is a parallelogram.

Euler also generalized Ptolemy's theorem, which is an equality in a cyclic quadrilateral, into an inequality for a convex quadrilateral. It states that

${\displaystyle pq\leq ac+bd}$

where there is equality if and only if the quadrilateral is cyclic. [22] :p.128–129 This is often called Ptolemy's inequality.

In any convex quadrilateral the bimedians m, n and the diagonals p, q are related by the inequality

${\displaystyle pq\leq m^{2}+n^{2},}$

with equality holding if and only if the diagonals are equal. [38] :Prop.1 This follows directly from the quadrilateral identity ${\displaystyle m^{2}+n^{2}={\tfrac {1}{2}}(p^{2}+q^{2}).}$

Sides

The sides a, b, c, and d of any quadrilateral satisfy [39] :p.228,#275

${\displaystyle a^{2}+b^{2}+c^{2}>{\frac {d^{2}}{3}}}$

and [39] :p.234,#466

${\displaystyle a^{4}+b^{4}+c^{4}\geq {\frac {d^{4}}{27}}.}$

Maximum and minimum properties

Among all quadrilaterals with a given perimeter, the one with the largest area is the square. This is called the isoperimetric theorem for quadrilaterals. It is a direct consequence of the area inequality [35] :p.114

${\displaystyle K\leq {\tfrac {1}{16}}L^{2}}$

where K is the area of a convex quadrilateral with perimeter L. Equality holds if and only if the quadrilateral is a square. The dual theorem states that of all quadrilaterals with a given area, the square has the shortest perimeter.

The quadrilateral with given side lengths that has the maximum area is the cyclic quadrilateral. [40]

Of all convex quadrilaterals with given diagonals, the orthodiagonal quadrilateral has the largest area. [35] :p.119 This is a direct consequence of the fact that the area of a convex quadrilateral satisfies

${\displaystyle K={\tfrac {1}{2}}pq\sin {\theta }\leq {\tfrac {1}{2}}pq,}$

where θ is the angle between the diagonals p and q. Equality holds if and only if θ = 90°.

If P is an interior point in a convex quadrilateral ABCD, then

${\displaystyle AP+BP+CP+DP\geq AC+BD.}$

From this inequality it follows that the point inside a quadrilateral that minimizes the sum of distances to the vertices is the intersection of the diagonals. Hence that point is the Fermat point of a convex quadrilateral. [41] :p.120

Remarkable points and lines in a convex quadrilateral

The centre of a quadrilateral can be defined in several different ways. The "vertex centroid" comes from considering the quadrilateral as being empty but having equal masses at its vertices. The "side centroid" comes from considering the sides to have constant mass per unit length. The usual centre, called just centroid (centre of area) comes from considering the surface of the quadrilateral as having constant density. These three points are in general not all the same point. [42]

The "vertex centroid" is the intersection of the two bimedians. [43] As with any polygon, the x and y coordinates of the vertex centroid are the arithmetic means of the x and y coordinates of the vertices.

The "area centroid" of quadrilateral ABCD can be constructed in the following way. Let Ga, Gb, Gc, Gd be the centroids of triangles BCD, ACD, ABD, ABC respectively. Then the "area centroid" is the intersection of the lines GaGc and GbGd. [44]

In a general convex quadrilateral ABCD, there are no natural analogies to the circumcenter and orthocenter of a triangle. But two such points can be constructed in the following way. Let Oa, Ob, Oc, Od be the circumcenters of triangles BCD, ACD, ABD, ABC respectively; and denote by Ha, Hb, Hc, Hd the orthocenters in the same triangles. Then the intersection of the lines OaOc and ObOd is called the quasicircumcenter, and the intersection of the lines HaHc and HbHd is called the quasiorthocenter of the convex quadrilateral. [44] These points can be used to define an Euler line of a quadrilateral. In a convex quadrilateral, the quasiorthocenter H, the "area centroid" G, and the quasicircumcenter O are collinear in this order, and HG = 2GO. [44]

There can also be defined a quasinine-point centerE as the intersection of the lines EaEc and EbEd, where Ea, Eb, Ec, Ed are the nine-point centers of triangles BCD, ACD, ABD, ABC respectively. Then E is the midpoint of OH. [44]

Another remarkable line in a convex non-parallelogram quadrilateral is the Newton line, which connects the midpoints of the diagonals, the segment connecting these points being bisected by the vertex centroid. One more interesting line (in some sense dual to the Newton's one) is the line connecting the point of intersection of diagonals with the vertex centroid. The line is remarkable by the fact that it contains the (area) centroid. The vertex centroid divides the segment connecting the intersection of diagonals and the (area) centroid in the ratio 3:1. [45]

For any quadrilateral ABCD with points P and Q the intersections of AD and BC and AB and CD, respectively, the circles (PAB), (PCD), (QAD), and (QBC) pass through a common point M, called a Miquel point. [46]

For a convex quadrilateral ABCD in which E is the point of intersection of the diagonals and F is the point of intersection of the extensions of sides BC and AD, let ω be a circle through E and F which meets CB internally at M and DA internally at N. Let CA meet ω again at L and let DB meet ω again at K. Then there holds: the straight lines NK and ML intersect at point P that is located on the side AB; the straight lines NL and KM intersect at point Q that is located on the side CD. Points P and Q are called ”Pascal points” formed by circle ω on sides AB and CD. [47] [48] [49]

• Let exterior squares be drawn on all sides of a quadrilateral. The segments connecting the centers of opposite squares are (a) equal in length, and (b) perpendicular. Thus these centers are the vertices of an orthodiagonal quadrilateral. This is called Van Aubel's theorem.
• For any simple quadrilateral with given edge lengths, there is a cyclic quadrilateral with the same edge lengths. [40]
• The four smaller triangles formed by the diagonals and sides of a convex quadrilateral have the property that the product of the areas of two opposite triangles equals the product of the areas of the other two triangles. [50]

Taxonomy

A hierarchical taxonomy of quadrilaterals is illustrated by the figure to the right. Lower classes are special cases of higher classes they are connected to. Note that "trapezoid" here is referring to the North American definition (the British equivalent is a trapezium). Inclusive definitions are used throughout.

A non-planar quadrilateral is called a skew quadrilateral. Formulas to compute its dihedral angles from the edge lengths and the angle between two adjacent edges were derived for work on the properties of molecules such as cyclobutane that contain a "puckered" ring of four atoms. [51] Historically the term gauche quadrilateral was also used to mean a skew quadrilateral. [52] A skew quadrilateral together with its diagonals form a (possibly non-regular) tetrahedron, and conversely every skew quadrilateral comes from a tetrahedron where a pair of opposite edges is removed.

Related Research Articles

A triangle is a polygon with three edges and three vertices. It is one of the basic shapes in geometry. A triangle with vertices A, B, and C is denoted .

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. It can also be defined as a parallelogram containing a right angle. A rectangle with four sides of equal length is a square. The term oblong is occasionally used to refer to a non-square rectangle. A rectangle with vertices ABCD would be denoted as  ABCD.

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 equal measure. The congruence of opposite sides and opposite angles is a direct consequence of the Euclidean parallel postulate and neither condition can be proven without appealing to the Euclidean parallel postulate or one of its equivalent formulations.

In geometry, bisection is the division of something into two equal or congruent parts, usually by a line, which is then called a bisector. The most often considered types of bisectors are the segment bisector and the angle bisector.

In plane Euclidean geometry, a rhombus 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 rhombus is often called a diamond, after the diamonds suit in playing cards which resembles the projection of an octahedral diamond, or a lozenge, though the former sometimes refers specifically to a rhombus with a 60° angle, and the latter sometimes refers specifically to a rhombus with a 45° angle.

In Euclidean geometry, Brahmagupta's formula is used to find the area of any cyclic quadrilateral given the lengths of the sides.

In Euclidean geometry, a convex quadrilateral with at least one pair of parallel sides is referred to as a trapezium in English outside North America, but as a trapezoid in American and Canadian English. The parallel sides are called the bases of the trapezoid and the other two sides are called the legs or the lateral sides. A scalene trapezoid is a trapezoid with no sides of equal measure, in contrast to the special cases below.

In Euclidean geometry, a regular polygon is a polygon that is equiangular and equilateral. Regular polygons may be either convex or star. In the limit, a sequence of regular polygons with an increasing number of sides approximates a circle, if the perimeter or area is fixed, or a regular apeirogon, if the edge length is fixed.

In Euclidean geometry, an isosceles trapezoid 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 as a trapezoid in which both legs and both base angles are of the same measure. Note that a non-rectangular parallelogram is not an isosceles trapezoid because of the second condition, or because it has no line of symmetry. In any isosceles trapezoid, two opposite sides are parallel, and the two other sides are of equal length. The diagonals are also of equal length. The base angles of an isosceles trapezoid are equal in measure.

In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal 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 ABCD.

In geometry, Bretschneider's formula is the following expression for the area of a general quadrilateral:

Varignon's theorem is a statement in Euclidean geometry, that deals with the construction of a particular parallelogram, the Varignon parallelogram, from an arbitrary quadrilateral (quadrangle). It is named after Pierre Varignon, whose proof was published posthumously in 1731.

In geometry, a pentagon is any five-sided polygon or 5-gon. The sum of the internal angles in a simple pentagon is 540°.

In Euclidean geometry, an orthodiagonal quadrilateral is a quadrilateral in which the diagonals cross at right angles. In other words, it is a four-sided figure in which the line segments between non-adjacent vertices are orthogonal (perpendicular) to each other.

In Euclidean geometry, an ex-tangential quadrilateral is a convex quadrilateral where the extensions of all four sides are tangent to a circle outside the quadrilateral. It has also been called an exscriptible quadrilateral. The circle is called its excircle, its radius the exradius and its center the excenter. The excenter lies at the intersection of six angle bisectors. These are the internal angle bisectors at two opposite vertex angles, the external angle bisectors at the other two vertex angles, and the external angle bisectors at the angles formed where the extensions of opposite sides intersect. The ex-tangential quadrilateral is closely related to the tangential quadrilateral.

In Euclidean geometry, an equidiagonal quadrilateral is a convex quadrilateral whose two diagonals have equal length. Equidiagonal quadrilaterals were important in ancient Indian mathematics, where quadrilaterals were classified first according to whether they were equidiagonal and then into more specialized types.

In Euclidean geometry, a right kite is a kite that can be inscribed in a circle. That is, it is a kite with a circumcircle. Thus the right kite is a convex quadrilateral and has two opposite right angles. If there are exactly two right angles, each must be between sides of different lengths. All right kites are bicentric quadrilaterals, since all kites have an incircle. One of the diagonals divides the right kite into two right triangles and is also a diameter of the circumcircle.

References

1. "List of Geometry and Trigonometry Symbols". Math Vault. 2020-04-17. Retrieved 2020-09-02.
2. "Quadrilaterals - Square, Rectangle, Rhombus, Trapezoid, Parallelogram". www.mathsisfun.com. Retrieved 2020-09-02.
3. "Archived copy" (PDF). Archived from the original (PDF) on May 14, 2014. Retrieved June 20, 2013.CS1 maint: archived copy as title (link)
4. Keady, G.; Scales, P.; Németh, S. Z. (2004). "Watt Linkages and Quadrilaterals". The Mathematical Gazette . 88 (513): 475–492. doi:10.1017/S0025557200176107.
5. Jobbings, A. K. (1997). "Quadric Quadrilaterals". The Mathematical Gazette. 81 (491): 220–224. doi:10.2307/3619199. JSTOR   3619199.
6. Beauregard, R. A. (2009). "Diametric Quadrilaterals with Two Equal Sides". College Mathematics Journal. 40 (1): 17–21. doi:10.1080/07468342.2009.11922331. S2CID   122206817.
7. Hartshorne, R. (2005). Geometry: Euclid and Beyond. Springer. pp. 429–430. ISBN   978-1-4419-3145-0.
8. Butler, David (2016-04-06). "The crossed trapezium". Making Your Own Sense. Retrieved 2017-09-13.
9. E.W. Weisstein. "Bimedian". MathWorld – A Wolfram Web Resource.
10. E.W. Weisstein. "Maltitude". MathWorld – A Wolfram Web Resource.
11. Weisstein, Eric W. "Quadrilateral". mathworld.wolfram.com. Retrieved 2020-09-02.
12. Harries, J. "Area of a quadrilateral," Mathematical Gazette 86, July 2002, 310–311.
13. Josefsson, Martin (2013), "Five Proofs of an Area Characterization of Rectangles" (PDF), Forum Geometricorum, 13: 17–21.
14. R. A. Johnson, Advanced Euclidean Geometry, 2007, Dover Publ., p. 82.
15. Mitchell, Douglas W., "The area of a quadrilateral," Mathematical Gazette 93, July 2009, 306–309.
16. J. L. Coolidge, "A historically interesting formula for the area of a quadrilateral", American Mathematical Monthly, 46 (1939) 345–347.
17. E.W. Weisstein. "Bretschneider's formula". MathWorld – A Wolfram Web Resource.
18. Archibald, R. C., "The Area of a Quadrilateral", American Mathematical Monthly, 29 (1922) pp. 29–36.
19. Josefsson, Martin (2011), "The Area of a Bicentric Quadrilateral" (PDF), Forum Geometricorum, 11: 155–164.
20. Altshiller-Court, Nathan, College Geometry, Dover Publ., 2007.
21. Josefsson, Martin (2016) ‘100.31 Heron-like formulas for quadrilaterals’, The Mathematical Gazette, 100 (549), pp. 505–508.
22. Kahle, Jennifer, Geometry: Basic ideas, , accessed 28 December 2012.
23. Rashid, M. A. & Ajibade, A. O., "Two conditions for a quadrilateral to be cyclic expressed in terms of the lengths of its sides", Int. J. Math. Educ. Sci. Technol., vol. 34 (2003) no. 5, pp. 739–799.
24. Andreescu, Titu & Andrica, Dorian, Complex Numbers from A to...Z, Birkhäuser, 2006, pp. 207–209.
25. Josefsson, Martin (2012), "Characterizations of Orthodiagonal Quadrilaterals" (PDF), Forum Geometricorum, 12: 13–25.
26. Hoehn, Larry (2011), "A New Formula Concerning the Diagonals and Sides of a Quadrilateral" (PDF), Forum Geometricorum, 11: 211–212.
27. Leversha, Gerry, "A property of the diagonals of a cyclic quadrilateral", Mathematical Gazette 93, March 2009, 116–118.
28. H. S. M. Coxeter and S. L. Greitzer, Geometry Revisited, MAA, 1967, pp. 52–53.
29. C. V. Durell & A. Robson, Advanced Trigonometry, Dover, 2003, p. 267.
30. MathPro Press, "Original Problems Proposed by Stanley Rabinowitz 1963–2005", p. 23,
31. O. Bottema, Geometric Inequalities, Wolters–Noordhoff Publishing, The Netherlands, 1969, pp. 129, 132.
32. Alsina, Claudi; Nelsen, Roger (2009), When Less is More: Visualizing Basic Inequalities, Mathematical Association of America, p. 68.
33. Dao Thanh Oai, Leonard Giugiuc, Problem 12033, American Mathematical Monthly, March 2018, p. 277
34. Leonard Mihai Giugiuc, Dao Thanh Oai and Kadir Altintas, An inequality related to the lengths and area of a convex quadrilateral, International Journal of Geometry, Vol. 7 (2018), No. 1, pp. 81 - 86,
35. Josefsson, Martin (2014). "Properties of equidiagonal quadrilaterals". Forum Geometricorum. 14: 129–144.
36. Inequalities proposed in “Crux Mathematicorum, .
37. 1 2 Peter, Thomas, "Maximizing the Area of a Quadrilateral", The College Mathematics Journal, Vol. 34, No. 4 (September 2003), pp. 315–316.
38. Alsina, Claudi; Nelsen, Roger (2010). Charming Proofs : A Journey Into Elegant Mathematics. Mathematical Association of America. pp. 114, 119, 120, 261. ISBN   978-0-88385-348-1.
39. King, James, Two Centers of Mass of a Quadrilateral, , Accessed 2012-04-15.
40. Honsberger, Ross, Episodes in Nineteenth and Twentieth Century Euclidean Geometry, Math. Assoc. Amer., 1995, pp. 35–41.
41. Myakishev, Alexei (2006), "On Two Remarkable Lines Related to a Quadrilateral" (PDF), Forum Geometricorum, 6: 289–295.
42. Chen, Evan (2016). Euclidean Geometry in Mathematical Olympiads. Washington, D.C.: Mathematical Association of America. p. 198. ISBN   9780883858394.
43. David, Fraivert (2019), "Pascal-points quadrilaterals inscribed in a cyclic quadrilateral", The Mathematical Gazette , 103 (557): 233–239, doi:10.1017/mag.2019.54 .
44. David, Fraivert (2019), "A Set of Rectangles Inscribed in an Orthodiagonal Quadrilateral and Defined by Pascal-Points Circles", Journal for Geometry and Graphics , 23: 5–27.
45. David, Fraivert (2017), "Properties of a Pascal points circle in a quadrilateral with perpendicular diagonals" (PDF), Forum Geometricorum , 17: 509–526.
46. Josefsson, Martin, "Characterizations of Trapezoids", Forum Geometricorum 13 (2013) 23–35.
47. Barnett, M. P.; Capitani, J. F. (2006). "Modular chemical geometry and symbolic calculation". International Journal of Quantum Chemistry. 106 (1): 215–227. doi:10.1002/qua.20807.
48. Hamilton, William Rowan (1850). "On Some Results Obtained by the Quaternion Analysis Respecting the Inscription of "Gauche" Polygons in Surfaces of the Second Order" (PDF). Proceedings of the Royal Irish Academy. 4: 380–387.