Midpoint theorem (triangle)

File:Midpoint theorem.svg

$\begin{array}{cc}& \text{D and E midpoints of AC and BC}\\ \Rightarrow & DE\parallel AB\text{ and }2|DE|=|AB|\end{array}$

The midpoint theorem, midsegment theorem, or midline theorem states that if the midpoints of two sides of a triangle are connected, then the resulting line segment will be parallel to the third side and have half of its length. The midpoint theorem generalizes to the intercept theorem, where rather than using midpoints, both sides are partitioned in the same ratio.

The converse of the theorem is true as well. That is if a line is drawn through the midpoint of triangle side parallel to another triangle side then the line will bisect the third side of the triangle.

The triangle formed by the three parallel lines through the three midpoints of sides of a triangle is called its medial triangle.

Proof

Proof by construction

Proof

File:Midpoint Theorem proof.png

Given: In a $\mathrm{△}ABC$ the points M and N are the midpoints of the sides AB and AC respectively.

Construction: MN is extended to D where MN=DN, join C to D.

To Prove:

• $MN\parallel BC$
• $MN=\frac{1}{2}BC$

Proof:

• $AN=CN$ (given)
• $\mathrm{\angle }ANM=\mathrm{\angle }CND$ (vertically opposite angle)
• $MN=DN$ (constructible)

Hence by Side angle side.

$\mathrm{△}AMN\cong \mathrm{△}CDN$

Therefore, the corresponding sides and angles of congruent triangles are equal

• $AM=BM=CD$
• $\mathrm{\angle }MAN=\mathrm{\angle }DCN$

Transversal AC intersects the lines AB and CD and alternate angles ∠MAN and ∠DCN are equal. Therefore

• $AM\parallel CD\parallel BM$

Hence BCDM is a parallelogram. BC and DM are also equal and parallel.

• $MN\parallel BC$
• $MN=\frac{1}{2}MD=\frac{1}{2}BC$,

Q.E.D.

Proof by similar triangles

Proof

File:Midpoint theorem.svg

Let D and E be the midpoints of AC and BC.

To prove:

• $DE\parallel AB$,
• $DE=\frac{1}{2}AB$.

Proof:

$\mathrm{\angle }C$ is the common angle of $\mathrm{△}ABC$ and $\mathrm{△}DEC$.

Since DE connects the midpoints of AC and BC, $AD=DC$, $BE=EC$ and $\frac{AC}{DC}=\frac{BC}{EC}=2.$ As such, $\mathrm{△}ABC$ and $\mathrm{△}DEC$ are similar by the SAS criterion.

Therefore, $\frac{AB}{DE}=\frac{AC}{DC}=\frac{BC}{EC}=2,$ which means that $DE=\frac{1}{2}AB.$

Since $\mathrm{△}ABC$ and $\mathrm{△}DEC$ are similar and $\mathrm{△}DEC\in \mathrm{△}ABC$, $\mathrm{\angle }CDE=\mathrm{\angle }CAB$, which means that $AB\parallel DE$.

Q.E.D.

See also

• Median of the trapezoid theorem

External links

• The midpoint theorem and its converse
• The Mid-Point Theorem
• Midpoint theorem and converse Euclidean explained Grade 10+12 (video, 5:28 mins)
• midpoint theorem at the Proof Wiki