Midpoint Theorem
The Midpoint Theorem is one of the most elegant results in Euclidean geometry. It states that the line segment joining the midpoints of any two sides of a triangle is parallel to the third side and exactly half its length. This deceptively simple statement has profound consequences: it connects midpoints, parallelism, and length ratios in a single clean relationship, and it appears repeatedly in proofs about quadrilaterals, coordinate geometry, and beyond. To state it precisely: given triangle ABC, let M be the midpoint of side AB and N be the midpoint of side AC. Then the segment MN is parallel to BC, and MN = ½ · BC. Notice that the theorem makes two separate claims — one about direction (parallelism) and one about magnitude (half the length). Both must be proven, and together they give a complete picture of how the midsegment relates to the base. The Midpoint Theorem is classified under quadrilateral geometry because its converse and extensions are used constantly when analysing parallelograms, trapezoids, and other four-sided figures. For example, joining the midpoints of all four sides of any quadrilateral always produces a parallelogram — a result known as Varignon's Theorem, which follows directly from applying the Midpoint Theorem twice.
- Setting Up the Triangle
- Extending the Midsegment
- Establishing Parallelism
- Proving the Length Relationship
- The Converse
- Application to Quadrilaterals (Varignon's Theorem)
Setting Up the Triangle
Draw triangle ABC. Label the midpoint of AB as M and the midpoint of AC as N. By definition of midpoints: AM = MB = ½·AB and AN = NC = ½·AC. We want to prove MN ∥ BC and MN = ½·BC.
Extending the Midsegment
Produce (extend) the segment MN beyond N to a point P such that NP = MN. Now triangle ANM and triangle CNP share the angle at N (vertical angles: ∠ANM = ∠CNP). Also AN = NC (N is the midpoint of AC) and MN = NP (by construction). By SAS congruence, △ANM ≅ △CNP.
Establishing Parallelism
From the congruence △ANM ≅ △CNP, we get AM = CP and ∠NAM = ∠NCP. The angle pair ∠NAM and ∠NCP are alternate interior angles with transversal AC cutting lines AB and CP. Since they are equal, it follows that AB ∥ CP, meaning MB ∥ CP (since M lies on AB). Also MB = AM = CP (from congruence and midpoint definition). So quadrilateral MBPC has one pair of sides (MB and CP) that are both equal and parallel — therefore MBPC is a parallelogram.
Proving the Length Relationship
Because MBPC is a parallelogram, the opposite sides are equal and parallel: BC ∥ MP and BC = MP. But MP = MN + NP = MN + MN = 2·MN (since NP = MN by construction). Therefore BC = 2·MN, which gives MN = ½·BC. Also, since BC ∥ MP and MN is part of MP, we have MN ∥ BC. Both conclusions of the Midpoint Theorem are now established.
The Converse
The converse is equally important: if a line segment starts at the midpoint of one side of a triangle and is parallel to the second side, then it bisects the third side (i.e., it is the midsegment). This converse is used to locate midpoints and to prove that certain constructions produce midpoints, making it indispensable in quadrilateral proofs.
Application to Quadrilaterals (Varignon's Theorem)
Take any quadrilateral ABCD and join the midpoints of consecutive sides: P (midpoint AB), Q (midpoint BC), R (midpoint CD), S (midpoint DA). Draw diagonal AC. In triangle ABC, PQ is the midsegment, so PQ ∥ AC and PQ = ½·AC. In triangle ACD, SR is the midsegment, so SR ∥ AC and SR = ½·AC. Therefore PQ ∥ SR and PQ = SR — one pair of opposite sides equal and parallel — so PQRS is a parallelogram. This elegant result holds for every quadrilateral, even non-convex ones.
The Key Equation
- MN — Midsegment (length units): The line segment connecting M (midpoint of AB) and N (midpoint of AC).
- BC — Base (length units): The side of the triangle to which the midsegment is parallel; the side whose midpoints are NOT used.
- \tfrac{1}{2} — Scale factor (dimensionless): The midsegment is always exactly one-half the length of the base, regardless of the shape of the triangle.
- \parallel — Parallel (—): The midsegment and the base never meet; they make equal corresponding angles with any transversal.
Worked Example
Problem. In triangle PQR, S is the midpoint of PQ and T is the midpoint of PR. If ST = 3x − 4 and QR = 4x + 6, find the value of x and the length of QR.
Answer. x = 7 and QR = 34 length units.
Origins · 1 minEuclid of Alexandria and how this was discovered
Euclid systematised all of ancient Greek geometry in his thirteen-volume work 'Elements' (c. 300 BCE). Book VI of the Elements contains the theory of similar triangles and proportional lines from which the Midpoint Theorem can be derived. His axiomatic method — starting from definitions, postulates, and common notions and deducing everything by logic — remains the model for mathematical proof to this day. When King Ptolemy I asked Euclid if there was a shorter way to learn geometry than working through all of the Elements, Euclid reportedly replied: 'There is no royal road to geometry.' The phrase 'royal road' has been used ever since to mean an easy shortcut.
Related Concepts
- Properties of Parallelograms — The proof of the Midpoint Theorem constructs a parallelogram (MBPC), so understanding parallel sides and equal opposite sides is essential.
- Similar Triangles — The Midpoint Theorem is a special case of the Basic Proportionality (Side Splitter) Theorem, which is proved using similar triangles with a ratio of 1:2.
- Triangle Congruence (SAS, ASA, SSS) — The standard proof of the Midpoint Theorem relies on SAS congruence to establish that two triangles formed by the extended midsegment are congruent.
- Midpoint Formula in Coordinate Geometry — The Midpoint Theorem can be proved algebraically using the midpoint formula M = ((x₁+x₂)/2, (y₁+y₂)/2), providing a coordinate geometry perspective.
- Varignon's Theorem — Varignon's Theorem — that midpoints of any quadrilateral's sides form a parallelogram — is a direct double application of the Midpoint Theorem.