Visual Tools
Calculators
Tables
Mathematical Keyboard
Converters
Other Tools

The Diagonals of a Parallelogram Bisect Each Other

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; the fourth vertex CC and the crossing point MM follow, and the readout under the canvas keeps MM at the midpoint of both diagonals. 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?The diagonals AC and BD meet at M. Opposite sides are equal, AB = CD, and each diagonal is a transversal of the parallels AB, DC, so ∠BAC = ∠DCA and ∠ABD = ∠CDB. Triangles ABM and CDM then have the equal sides AB, CD between two equal angles: congruent (ASA), so AM = MC and BM = MD. Drag A, B or D; C and M follow.Parallelogram: diagonals
Display
Drag A, B or D; C and M follow
ABDCM
AM = 2.96, MC = 2.96; BM = 2.18, MD = 2.18
Step 1 / 6

Step explanations

1A parallelogram and its diagonals
Given
ABCD is a parallelogram: AB ∥ DC and AD ∥ BC. Its diagonals AC and BD meet at M. To prove: AM = MC and BM = MD, the diagonals bisect each other.
C and M are built from A, B and D; drag any of them and both follow. 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 the vertices and watch the crossing point of the diagonals stay at the midpoint of both. 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; the hollow C keeps the figure a parallelogram and the hollow M is where the diagonals cross
4Readout — the line under the figure: the four half-diagonals in the frame's units, 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 crossing point M — the midpoint of both diagonals: one tick on each half of AC, two on each half of BD
2The two triangles — ABM below and CDM above, congruent by ASA on the equal bases AB and CD
3Alternate angles — α at A and C on the diagonal AC, β at B and D on the diagonal BD
4Justification tags — Given, Opposite sides, Alternate angles, Alternate angles, ASA congruence, Corresponding parts
5Replay — at the last step Play becomes Replay and Next is off

The Statement

The two diagonals of a parallelogram ABCDABCD are ACAC and BDBD. They cross at a point MM inside the figure, and the theorem says that MM is the midpoint of both:

AM=MC,BM=MDAM = MC, \qquad BM = MD


the diagonals bisect each other. It is the second basic property of a parallelogram, after the equal opposite sides, and the two are proved the same way, with a pair of congruent triangles made by alternate angles on a diagonal.

In the player CC and MM are hollow: CC is computed as the fourth vertex that makes ABCDABCD a parallelogram, and MM as the crossing point of the diagonals, so both follow when AA, BB or DD is dragged. The readout under the canvas shows the four half-diagonals in the frame's own units, live while you drag.
ABDCM
Opening scene, frozen

ABCD with its diagonals AC and BD crossing at the hollow point M.


Opposite Sides Equal

The diagonals cut the parallelogram into four triangles. The proof uses the two that sit on the parallel sides ABAB and DCDC: triangle ABMABM at the bottom and triangle CDMCDM at the top, filled in two colours. They touch only at MM, and they look like reflections of each other through that point; the proof shows that they are congruent.

The first fact needed is a side: AB=CDAB = CD, because opposite sides of a parallelogram are equal, which is the previous page's theorem. Those two sides are the bases of the two triangles, and the congruence will be built on them.
ABDCM
Opposite sides equal, frozen

AB = CD lit; the two triangles ABM and CDM on those sides.


Alternate Angles Once

The diagonal ACAC crosses the parallel sides ABAB and DCDC: it is a transversal of them. The angle ∠BAC\angle BAC at AA and the angle ∠DCA\angle DCA at CC lie on opposite sides of the transversal, between the parallels, so they are alternate angles, and by the parallel lines theorem they are equal:

∠BAC=∠DCA=α\angle BAC = \angle DCA = \alpha


In the triangles, α\alpha is the angle of ABMABM at AA and the angle of CDMCDM at CC; both sit at one end of the base.
ααABDCM
Alternate angles once, frozen

On the transversal AC: ∠BAC = ∠DCA = α.


Alternate Angles Twice

The other diagonal, BDBD, is a transversal of the same two parallels ABAB and DCDC. The angles ∠ABD\angle ABD at BB and ∠CDB\angle CDB at DD are alternate angles on it, so they are equal as well:

∠ABD=∠CDB=β\angle ABD = \angle CDB = \beta


Now β\beta is the angle of triangle ABMABM at BB and the angle of triangle CDMCDM at DD, at the other end of each base. Only the one pair of parallels, AB∥DCAB \parallel DC, has been used; the second pair, AD∥BCAD \parallel BC, was needed on the previous page to get AB=CDAB = CD, and it enters this proof only through that.
ααββABDCM
Alternate angles twice, frozen

On the transversal BD: ∠ABD = ∠CDB = β.


Two Congruent Triangles

Put the three facts together. In triangle ABMABM the base ABAB lies between the angle α\alpha at AA and the angle β\beta at BB. In triangle CDMCDM the base CDCD lies between the angle α\alpha at CC and the angle β\beta at DD. The bases are equal and so are the angles at their ends, so the triangles are congruent by angle-side-angle, with the vertices matched A↔CA \leftrightarrow C, B↔DB \leftrightarrow D, M↔MM \leftrightarrow M.

As on the previous page, angle-side-angle works because two angles fix the third by the angle sum, and a triangle with a given side and the two angles at its ends is determined. The matching of vertices is what makes the next step mechanical.
ααββABDCM
The congruent triangles, frozen

Equal bases between α and β: congruent by ASA.


Why It Holds

Corresponding sides of congruent triangles are equal. With A↔CA \leftrightarrow C and M↔MM \leftrightarrow M, the side AMAM corresponds to CMCM, so AM=MCAM = MC; with B↔DB \leftrightarrow D, the side BMBM corresponds to DMDM, so BM=MDBM = MD. The point MM is the midpoint of ACAC and the midpoint of BDBD at once. The end-of-proof mark ∎ in the log closes the argument. The tags name the facts used: the given parallelogram, equal opposite sides, alternate angles twice, angle-side-angle congruence, and corresponding parts.

A slightly different route uses only one pair of alternate angles together with the vertical angles at MM: ∠AMB=∠CMD\angle AMB = \angle CMD, since they are opposite angles at the crossing, and with α\alpha and AB=CDAB = CD that is angle-angle-side. The picture is the same; the choice is only which equal angles to point at.
ααββABDCM
The conclusion, frozen

AM = MC (one tick each) and BM = MD (two ticks each).


Dragging the Figure

Drag DD sideways: the parallelogram shears, the diagonals change length and tilt, MM slides with them, and the readout keeps AM=MCAM = MC and BM=MDBM = MD to the last digit. Drag DD up or down to change the height, or AA and BB to change the base; CC and MM follow in every case.

Notice that the two diagonals are usually of different lengths, and that they usually cross at an angle other than 90°90°. Both of those are properties of special parallelograms, equal diagonals of a rectangle and perpendicular diagonals of a rhombus, and both have their own pages; bisecting each other is what every parallelogram does. A drag that would flatten the figure, or carry a vertex out of the frame, is refused.
ααββABDCM
After dragging D, frozen

D pushed right: the diagonals are now very different in length, and M still halves both.


Consequences

• The converse. If the diagonals of a quadrilateral bisect each other, it is a parallelogram: the triangles ABMABM and CDMCDM are then congruent by side-angle-side, using the vertical angles at MM, and the equal alternate angles make AB∥DCAB \parallel DC.
• A centre of symmetry. Reflecting the parallelogram through MM sends AA to CC and BB to DD, so the figure maps onto itself; MM is its centre.
• Rectangles and rhombi. A rectangle's diagonals are also equal, and a rhombus's are also perpendicular; a square has both. Each is the parallelogram property plus one more.
• Vectors and coordinates. The midpoint of ACAC is 12(A+C)\tfrac{1}{2}(A + C) and the midpoint of BDBD is 12(B+D)\tfrac{1}{2}(B + D); the theorem says these are the same point, which is the coordinate form of A+C=B+DA + C = B + D, the parallelogram rule.
• Locating the centre. The centre of a parallelogram-shaped region, its balance point, is where the diagonals cross.