Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools

Equal Opposite Sides Make a Parallelogram

How to use
  1. ▶ Play runs the proof, Next → and ← Back step one scene at a time, Reset restores the opening scene and the original figure. Learn more about the controls
  2. Drag AA, BB or DD (CC follows); the readout under the canvas shows the two pairs of alternate angles at the diagonal. Learn more about why it holds
  3. Labels toggles the point names, Measures writes each marked angle's size beside its arc. The Step explanations log keeps every step so far. Learn more about reading a scene
Proof?AB = CD and AD = CB. The diagonal BD cuts the quadrilateral into the triangles ABD and CDB, which have three pairs of equal sides, so they are congruent (SSS). Their equal angles at B and D are alternate angles for AB and DC, and for AD and BC, with the transversal BD; equal alternate angles make the lines parallel, so ABCD is a parallelogram. Drag A, B or D.Parallelogram from equal sides
Display
Drag A, B or D (C keeps the sides equal)
ABDC
∠ABD = 51°, ∠CDB = 51°, ∠ADB = 66°, ∠CBD = 66°
Step 1 / 6

Step explanations

1A quadrilateral with equal opposite sides
Given
ABCD is a convex quadrilateral with AB = CD (one tick) and AD = CB (two ticks). To prove: ABCD is a parallelogram, that is, AB ∥ DC and AD ∥ BC.
Drag A, B or D: C keeps the opposite sides equal. Learn more about the statement




Getting Started with the Visualizer

DemoA run through the proof player
Step 0 of 7
Step through the proof, then drag AA, BB or DD (CC follows so that the opposite sides stay equal) and watch the two pairs of alternate angles in the readout stay equal. The picture below is the player with its parts numbered; the other tabs list what can be dragged, what each control does and what the step log shows.
Opening scene: the controls
1234567
1Proof — the theorem loaded in the player; the ? gives its idea in one line
2Display — Labels shows the point names, Measures writes each marked angle's size beside its arc
3Draggable points — A, B and D move freely; C follows so that CD = AB and CB = AD
4Readout — the line under the figure: the two pairs of alternate angles at the diagonal, live while you drag
5Back, Play, Next, Reset — step through the proof or run it; Reset returns to step 1 and restores the original figure
6Speed and step counter — how fast Play advances, and which of the 6 steps is on screen
7Step explanations — every step reached so far, with its justification tag and a link to the section that explains it; click an entry to jump back to it
Proof complete: step 6 of 6
12345
1The two triangles — ABD and CDB, shaded on either side of the diagonal BD
2The alternate angles — α at B and at D, β at D and at B, matched across the diagonal
3The chevrons — one pair on AB and DC, two on AD and BC: the parallels found
4Justification tags — Given, Construction, SSS, Corresponding parts, Equal alternate angles, Definition
5Replay — at the last step Play becomes Replay and Next is off

The Statement

The parallelogram sides page proves that a parallelogram has equal opposite sides. This page proves the converse: if a convex quadrilateral ABCDABCD has

AB=CD,AD=CBAB = CD, \qquad AD = CB


then it is a parallelogram, that is, AB∥DCAB \parallel DC and AD∥BCAD \parallel BC. Together the two statements say that "opposite sides equal" is a test for a parallelogram, the one most often used in practice: measure the four sides and you know the shape.

The player keeps the hypothesis by construction: CC is placed so that CD=ABCD = AB and CB=ADCB = AD (the only convex quadrilateral with those four sides in that order). Drag AA, BB or DD; the readout shows the two pairs of alternate angles at the diagonal.
ABDC
Opening scene, frozen

AB = CD (one tick) and AD = CB (two ticks).


The Diagonal

Draw the diagonal BDBD. It cuts the quadrilateral into two triangles, ABDABD on one side and CDBCDB on the other, and both of them contain the diagonal as a side. The whole proof is about these two triangles.
ABDC
The diagonal, frozen

BD drawn; the triangles ABD and CDB shaded.


Three Equal Sides

Compare the triangles ABDABD and CDBCDB side by side: AB=CDAB = CD and AD=CBAD = CB are given, and BDBD is a side of both. Three pairs of equal sides, so by SSS congruence

△ABD≅△CDB\triangle ABD \cong \triangle CDB


with the vertices matched A↔CA \leftrightarrow C, B↔DB \leftrightarrow D, D↔BD \leftrightarrow B.
ABDC
Three equal sides, frozen

AB = CD, AD = CB, BD common: ABD ≅ CDB by SSS.


The Alternate Angles

Congruent triangles have equal corresponding angles. The angle at BB in the first triangle, ∠ABD\angle ABD, corresponds to the angle at DD in the second, ∠CDB\angle CDB; both are opposite the equal sides ADAD and CBCB. Likewise ∠ADB\angle ADB corresponds to ∠CBD\angle CBD:

∠ABD=∠CDB=α,∠ADB=∠CBD=β\angle ABD = \angle CDB = \alpha, \qquad \angle ADB = \angle CBD = \beta


Each pair sits on opposite sides of the diagonal BDBD, between two of the sides of the quadrilateral: they are alternate angles for the transversal BDBD.
ααββABDC
The alternate angles, frozen

α at B and D, β at D and B: two pairs of equal alternate angles.


Equal Alternate Angles Give Parallels

The angles α\alpha at BB and at DD are alternate angles between the lines ABAB and DCDC cut by BDBD, and they are equal. Equal alternate angles force the lines to be parallel (Euclid I.27): if ABAB and DCDC met at some point XX on one side of BDBD, the triangle XBDXBD would have at one of BB, DD an exterior angle equal to the interior angle at the other, and the exterior angle theorem says an exterior angle is always larger. So

AB∥DCAB \parallel DC


and the equal angles β\beta give AD∥BCAD \parallel BC in the same way. This is the converse direction of the parallel lines page, which goes from parallels to equal angles.
ααββABDC
Equal alternate angles give parallels, frozen

Chevrons on AB and DC, and on AD and BC.


Why It Holds

Both pairs of opposite sides are parallel, and that is what a parallelogram is:

ABCD is a parallelogramABCD \text{ is a parallelogram}


The end-of-proof mark ∎ in the log closes the argument. The tags name the facts used: the given figure, a construction, SSS, corresponding parts, equal alternate angles, and the definition.

One diagonal, one congruence, two pairs of alternate angles: the same diagonal that proves a parallelogram has equal opposite sides proves the converse, with SSS in place of ASA.
ααββABDC
The conclusion, frozen

Both pairs of opposite sides parallel: a parallelogram.


Dragging the Figure

Drag AA, BB or DD: the quadrilateral changes shape, CC moves so that CD=ABCD = AB and CB=ADCB = AD stay true, the diagonal and the four marked angles follow, and the readout shows the two pairs of alternate angles staying equal. The figure stays a parallelogram throughout, as the theorem says it must.

The player keeps the quadrilateral convex and its sides long enough for the tick marks, and refuses a drag that would carry a vertex out of the frame or flatten the figure.
ααββABDC
After dragging D, frozen

D moved up and to the right: a more slanted figure, still a parallelogram.


Consequences

• Tests for a parallelogram. Equal opposite sides, equal opposite angles, diagonals that bisect each other, or one pair of sides both equal and parallel: each is enough, and each has a proof of this shape.
• Rhombus. Four equal sides are in particular two pairs of equal opposite sides, so every rhombus is a parallelogram; the rhombus diagonals page starts from this.
• Constructing parallels. To draw through a point PP a parallel to a line ABAB with compasses: mark CC with PC=ABPC = AB and BC=APBC = AP on the right side, and PC∥ABPC \parallel AB by this theorem.
• Midsegments. In the midsegment theorem a parallelogram is recognised from two equal and parallel sides, the sister test of this one.
• Vectors. The theorem is why two equal and parallel arrows AB→\overrightarrow{AB} and DC→\overrightarrow{DC} represent the same vector: their endpoints form a parallelogram.