Apollonius's theorem

{{short description|Relates the length of a median of a triangle to the lengths of its sides}}

{{about|the lengths of the sides of a triangle|his work on circles|Problem of Apollonius}}

File:Apollonius' theorem.svg

File:Appolonius theorem.svg

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.

The theorem is found as proposition VII.122 of Pappus of Alexandria's Collection ({{circa|340 AD}}). It may have been in Apollonius of Perga's lost treatise Plane Loci (c. 200 BC), and was included in Robert Simson's 1749 reconstruction of that work.{{cite book |last1=Ostermann |first1=Alexander |last2=Wanner |first2=Gerhard |year=2012 |chapter=The Theorems of Apollonius–Pappus–Stewart |title=Geometry by Its History |publisher=Springer |doi=10.1007/978-3-642-29163-0_4 |at=§ 4.5, {{pgs|89–91}} }}

Statement and relation to other theorem

In any triangle ABC, if AD is a median (|BD| = |CD|), then

|AB|^2+|AC|^2=2(|BD|^2+|AD|^2).

It is a special case of Stewart's theorem. For an isosceles triangle with |AB| = |AC|, the median AD is perpendicular to BC and the theorem reduces to the Pythagorean theorem for triangle ADB (or triangle ADC). From the fact that the diagonals of a parallelogram bisect each other, the theorem is equivalent to the parallelogram law.

Proof

File:ApolloniusTheoremProof.svg

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.{{cite book |title=Modern Geometry|first1=Charles|last1=Godfrey|first2=Arthur Warry|last2=Siddons

|publisher=University Press|year=1908

|url=https://archive.org/details/bub_gb_LGsLAAAAYAAJ|page=[https://archive.org/details/bub_gb_LGsLAAAAYAAJ/page/n36 20]}}

Let the triangle have sides a, b, c with a median d drawn to side a. Let m be the length of the segments of a formed by the median, so m is half of a. Let the angles formed between a and d be \theta and \theta^{\prime}, where \theta includes b and \theta^{\prime} includes c. Then \theta^{\prime} is the supplement of \theta and \cos \theta^{\prime} = - \cos \theta. The law of cosines for \theta and \theta^{\prime} states that

\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}

Add the first and third equations to obtain

b^2 + c^2 = 2(m^2 + d^2)

as required.

See also

  • {{annotated link|Median (geometry)#Length of a median expressed in terms of lengths of sides|Formulas involving the medians' lengths}}

References

{{reflist}}

Further reading

  • {{cite journal

| last = Allen | first = Frank B.

| year = 1950

| title = Teaching for Generalization in Geometry

| journal = The Mathematics Teacher

| volume = 43 | number =

| pages = 245–251

| jstor = 27953576

}}

  • {{cite book

| last1= Bunt |first1 = Lucas N. H.

| last2 = Jones | first2 = Phillip S.

| last3 = Bedient | first3 = Jack D.

| year = 1976

| place = Englewood Cliffs, New Jersey | publisher = Prentice-Hall

| title = The Historical Roots of Elementary Mathematics

| isbn = 0133890155

| pages = 198–199

| url = https://archive.org/details/historicalrootso0000bunt_a7i6/page/198/mode/2up?q=%22attributed+to+apollonius%22

| url-access = limited

}} Dover reprint, 1988.

  • {{cite journal

| last1 = Dlab | first1 = Vlastimil

| last2 = Williams | first2 = Kenneth S.

| year = 2019

| title = The Many Sides of the Pythagorean Theorem

| journal = The College Mathematics Journal

| volume = 50 | number = 3

| pages = 162–172

| jstor = 48661800

}}

  • {{cite book

| last1 = Godfrey | first1 = Charles

| last2 = Siddons | first2 = Arthur W.

| year = 1908

| title = Modern Geometry

| publisher = Cambridge University Press

| pages = 20–21

| url = https://archive.org/details/moderngeometry00godfrich/page/20/mode/2up

}}

  • {{cite journal

| last1 = Hajja | first1 = Mowaffaq

| last2 = Krasopoulos | first2 = Panagiotis T.

| last3 = Martini | first3 = Horst

| year = 2022

| title = The median triangle theorem as an entrance to certain issues in higher-dimensional geometry

| journal = Mathematische Semesterberichte

| volume = 69

| pages = 19–40

| doi = 10.1007/s00591-021-00308-5

}}

  • {{cite journal

| last = Lawes | first = C. Peter

| year = 2013

| title = Proof Without Words: The Length of a Triangle Median via the Parallelogram

| journal = Mathematics Magazine

| volume = 86 | number = 2

| page = 146

| doi = 10.4169/math.mag.86.2.146

}}

  • {{cite journal

| year = 2024

| last = Lopes | first = André Von Borries

| title = Apollonius’s Theorem via Heron's Formula

| journal = Mathematics Magazine

| volume = 97 | number = 3

| pages = 272–273

| doi = 10.1080/0025570X.2024.2336425

}}

  • {{cite journal

| year = 2024

| last = Nelsen | first = Roger B.

| title = Apollonius’s Theorem via Ptolemy's Theorem

| journal = Mathematics Magazine

| doi = 10.1080/0025570X.2024.2385255

}}

  • {{cite journal

| last = Rose | first = Mike

| year = 2007

| title = 27. Reflections on Apollonius' Theorem

| department = Resource Notes

| journal = Mathematics in School

| volume = 36 | number = 5

| pages = 24–25

| jstor = 30216074

}}

  • {{cite journal

| last = Stokes | first = G. D. C.

| year = 1929

| title = The theorem of Apollonius by dissection

| journal = Mathematical Notes

| volume = 24

| page = xviii

| doi = 10.1017/S1757748900001973

}}

  • {{citation | mode = cs1

| type = lecture notes

| last = Surowski | first = David B.

| year = 2010 | orig-year = 2007

| title = Advanced High-School Mathematics | edition = 9th draft

| publisher = Shanghai American School

| url = https://archive.org/details/david-b-surowski.-advanced-high-school-mathematics/page/27/

| page = 27 }}

{{Ancient Greek mathematics |state=collapsed }}

Category:Euclidean geometry

Category:Articles containing proofs

Category:Theorems about triangles