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.
Parallelogram
This parallelogram is a rhomboid as it has no right angles and unequal sides.
By comparison, a quadrilateral with at least one pair of parallel sides is a trapezoid in American English or a trapezium in British English.
The three-dimensional counterpart of a parallelogram is a parallelepiped.
The word comes from the Greek παραλληλό-γραμμον, parallēló-grammon, which means a shape "of parallel lines".
Special cases
edit
Rectangle – A parallelogram with four angles of equal size (right angles).
Rhombus – A parallelogram with four sides of equal length. Any parallelogram that is neither a rectangle nor a rhombus was traditionally called a rhomboid but this term is not used in modern mathematics.^{[1]}
Square – A parallelogram with four sides of equal length and angles of equal size (right angles).
Characterizations
edit
A simple (non-self-intersecting) quadrilateral is a parallelogram if and only if any one of the following statements is true:^{[2]}^{[3]}
Two pairs of opposite sides are parallel (by definition).
Two pairs of opposite sides are equal in length.
Two pairs of opposite angles are equal in measure.
The sum of the distances from any interior point to the sides is independent of the location of the point.^{[4]} (This is an extension of Viviani's theorem.)
There is a point X in the plane of the quadrilateral with the property that every straight line through X divides the quadrilateral into two regions of equal area.^{[5]}
Thus all parallelograms have all the properties listed above, and conversely, if just one of these statements is true in a simple quadrilateral, then it is a parallelogram.
Other properties
edit
Opposite sides of a parallelogram are parallel (by definition) and so will never intersect.
The area of a parallelogram is twice the area of a triangle created by one of its diagonals.
Any line through the midpoint of a parallelogram bisects the area.^{[6]}
Any non-degenerate affine transformation takes a parallelogram to another parallelogram.
A parallelogram has rotational symmetry of order 2 (through 180°) (or order 4 if a square). If it also has exactly two lines of reflectional symmetry then it must be a rhombus or an oblong (a non-square rectangle). If it has four lines of reflectional symmetry, it is a square.
The perimeter of a parallelogram is 2(a + b) where a and b are the lengths of adjacent sides.
Unlike any other convex polygon, a parallelogram cannot be inscribed in any triangle with less than twice its area.^{[7]}
The centers of four squares all constructed either internally or externally on the sides of a parallelogram are the vertices of a square.^{[8]}
If two lines parallel to sides of a parallelogram are constructed concurrent to a diagonal, then the parallelograms formed on opposite sides of that diagonal are equal in area.^{[8]}
The diagonals of a parallelogram divide it into four triangles of equal area.
A parallelogram with base b and height h can be divided into a trapezoid and a right triangle, and rearranged into a rectangle, as shown in the figure to the left. This means that the area of a parallelogram is the same as that of a rectangle with the same base and height:
$K=bh.$
The base × height area formula can also be derived using the figure to the right. The area K of the parallelogram to the right (the blue area) is the total area of the rectangle less the area of the two orange triangles. The area of the rectangle is
When the parallelogram is specified from the lengths B and C of two adjacent sides together with the length D_{1} of either diagonal, then the area can be found from Heron's formula. Specifically it is
$K=2{\sqrt {S(S-B)(S-C)(S-D_{1})}}$
where $S=(B+C+D_{1})/2$ and the leading factor 2 comes from the fact that the chosen diagonal divides the parallelogram into two congruent triangles.
From vertex coordinates
edit
Let vectors $\mathbf {a} ,\mathbf {b} \in \mathbb {R} ^{2}$ and let $V={\begin{bmatrix}a_{1}&a_{2}\\b_{1}&b_{2}\end{bmatrix}}\in \mathbb {R} ^{2\times 2}$ denote the matrix with elements of a and b. Then the area of the parallelogram generated by a and b is equal to $|\det(V)|=|a_{1}b_{2}-a_{2}b_{1}|\,$.
Let vectors $\mathbf {a} ,\mathbf {b} \in \mathbb {R} ^{n}$ and let $V={\begin{bmatrix}a_{1}&a_{2}&\dots &a_{n}\\b_{1}&b_{2}&\dots &b_{n}\end{bmatrix}}\in \mathbb {R} ^{2\times n}$. Then the area of the parallelogram generated by a and b is equal to ${\sqrt {\det(VV^{\mathrm {T} })}}$.
Let points $a,b,c\in \mathbb {R} ^{2}$. Then the signed area of the parallelogram with vertices at a, b and c is equivalent to the determinant of a matrix built using a, b and c as rows with the last column padded using ones as follows:
To prove that the diagonals of a parallelogram bisect each other, we will use congruenttriangles:
$\angle ABE\cong \angle CDE$(alternate interior angles are equal in measure)
$\angle BAE\cong \angle DCE$(alternate interior angles are equal in measure).
(since these are angles that a transversal makes with parallel linesAB and DC).
Also, side AB is equal in length to side DC, since opposite sides of a parallelogram are equal in length.
Therefore, triangles ABE and CDE are congruent (ASA postulate, two corresponding angles and the included side).
Therefore,
$AE=CE$
$BE=DE.$
Since the diagonals AC and BD divide each other into segments of equal length, the diagonals bisect each other.
Separately, since the diagonals AC and BD bisect each other at point E, point E is the midpoint of each diagonal.
Lattice of parallelograms
edit
Parallelograms can tile the plane by translation. If edges are equal, or angles are right, the symmetry of the lattice is higher. These represent the four Bravais lattices in 2 dimensions.
An automedian triangle is one whose medians are in the same proportions as its sides (though in a different order). If ABC is an automedian triangle in which vertex A stands opposite the side a, G is the centroid (where the three medians of ABC intersect), and AL is one of the extended medians of ABC with L lying on the circumcircle of ABC, then BGCL is a parallelogram.
Varignon parallelogram
edit
Varignon's theorem holds that the midpoints of the sides of an arbitrary quadrilateral are the vertices of a parallelogram, called its Varignon parallelogram. If the quadrilateral is convex or concave (that is, not self-intersecting), then the area of the Varignon parallelogram is half the area of the quadrilateral.
Bases of similar triangles are parallel to the blue diagonal.
Ditto for the red diagonal.
The base pairs form a parallelogram with half the area of the quadrilateral, A_{q}, as the sum of the areas of the four large triangles, A_{l} is 2 A_{q} (each of the two pairs reconstructs the quadrilateral) while that of the small triangles, A_{s} is a quarter of A_{l} (half linear dimensions yields quarter area), and the area of the parallelogram is A_{q} minus A_{s}.
Tangent parallelogram of an ellipse
edit
For an ellipse, two diameters are said to be conjugate if and only if the tangent line to the ellipse at an endpoint of one diameter is parallel to the other diameter. Each pair of conjugate diameters of an ellipse has a corresponding tangent parallelogram, sometimes called a bounding parallelogram, formed by the tangent lines to the ellipse at the four endpoints of the conjugate diameters. All tangent parallelograms for a given ellipse have the same area.
It is possible to reconstruct an ellipse from any pair of conjugate diameters, or from any tangent parallelogram.
Faces of a parallelepiped
edit
A parallelepiped is a three-dimensional figure whose six faces are parallelograms.