In geometry, Apollonius's theorem is a theorem relating the length of a median of a triangle to the lengths of its sides.
It states that "the sum of the squares of any two sides of any triangle equals twice the square on half the third side, together with twice the square on the median bisecting the third side".
Specifically, in any triangle <math>ABC,</math> if <math>AD</math> is a median, then
<math display="block">2(|AB|^2+|AC|^2)=|BC|^2+4|AD|^2.</math>
It is a special case of Stewart's theorem. For an isosceles triangle with <math>|AB| = |AC|,</math> the median <math>AD</math> is perpendicular to <math>BC</math> and the theorem reduces to the Pythagorean theorem for triangle <math>ADB</math> (or triangle <math>ADC</math>). From the fact that the diagonals of a parallelogram bisect each other, the theorem is equivalent to the parallelogram law.
The theorem is named for the ancient Greek mathematician Apollonius of Perga.
The theorem can be proved as a special case of Stewart's theorem, or can be proved using vectors (see parallelogram law). The following is an independent proof using the law of cosines.[1]
Let the triangle have sides <math>a, b, c</math> with a median <math>d</math> drawn to side <math>a.</math> Let <math>m</math> be the length of the segments of <math>a</math> formed by the median, so <math>m</math> is half of <math>a.</math> Let the angles formed between <math>a</math> and <math>d</math> be <math>\theta</math> and <math>\theta^{\prime},</math> where <math>\theta</math> includes <math>b</math> and <math>\theta^{\prime}</math> includes <math>c.</math> Then <math>\theta^{\prime}</math> is the supplement of <math>\theta</math> and <math>\cos \theta^{\prime} = - \cos \theta.</math> The law of cosines for <math>\theta</math> and <math>\theta^{\prime}</math> states that
<math display="block">\begin{align}
b^2 &= m^2 + d^2 - 2dm\cos\theta \\
c^2 &= m^2 + d^2 - 2dm\cos\theta' \\
&= m^2 + d^2 + 2dm\cos\theta.\, \end{align}
</math>
Add the first and third equations to obtain
<math display="block">b^2 + c^2 = 2(m^2 + d^2)</math>
as required.
