Pappus's area theorem

File:Pappus area theorem proof2.svg

dark grey area = light grey area

Pappus's area theorem describes the relationship among the areas of three parallelograms attached to three sides of an arbitrary triangle. The theorem, which can also be thought of as a generalization of the Pythagorean theorem, is named after the Greek mathematician Pappus of Alexandria (4th century AD), who discovered it.

Theorem

Given an arbitrary triangle with two arbitrary parallelograms attached to two of its sides the theorem tells how to construct a parallelogram over the third side, such that the area of the third parallelogram equals the sum of the areas of the other two parallelograms.

Let ABC be the arbitrary triangle and ABDE and ACFG the two arbitrary parallelograms attached to the triangle sides AB and AC. The extended parallelogram sides DE and FG intersect in H. The line segment AH now "becomes" the side of the third parallelogram BCLM attached to the triangle side BC, that is one constructs line segments BL and CM over BC, such that BL and CM are a parallel and equal in length to AH. Then the following identity holds for the areas (denoted by A) of the parallelograms:

$A_{ABDE}+A_{ACFG}=A_{BCLM}$

The theorem generalizes the Pythagorean theorem twofold. Firstly it works for arbitrary triangles rather than only for right angled ones and secondly it uses parallelograms rather than squares. For squares over two sides of an arbitrary triangle it yields an parallelograms of equal area over the third side and if the two sides are the legs of a right angle the parallelogram over the third side will be square as well. For a right-angled triangle two parallelogram attached to the legs of the right angle yield a rectangle of equal area over the third side and again if the two parallelograms are squares then the rectangle over the third side will be a square as well.

Proof

Due to having the same base length and height the parallelograms ABDE and ABUH have the same area, the same argument applies to the parallelograms ACFG and ACVH, ABUH and BLRQ, ACVH and RCMQ. This already yields the desired result, as we have:

Failed to parse (Missing <code>texvc</code> executable. Please see math/README to configure.): \begin{align} A_{ABDE}+A_{ACFG}\,{} &=A_{ABUH}+A_{ACVH}\\ &=A_{BLRQ}+A_{RCMQ}\\ &=A_{BCLM} \end{align}

References

• Howard Eves: Pappus's Extension of the Pythagorean Theorem.The Mathematics Teacher, Vol. 51, No. 7 (November 1958), pp. 544–546 (JSTOR)
• Howard Eves: Great Moments in Mathematics (before 1650). Mathematical Association of America, 1983, ISBN 9780883853108, p. 37 (excerpt, p. 37, at Google Books)
• Eli Maor: The Pythagorean Theorem: A 4,000-year History. Princeton University Press, 2007, ISBN 9780691125268, pp. 58–59 (excerpt, p. 58, at Google Books)
• Claudi Alsina, Roger B. Nelsen: Charming Proofs: A Journey Into Elegant Mathematics. MAA, 2010, ISBN 9780883853481, pp. 77–78 (excerpt, p. 77, at Google Books)

External links

• Kimberly Burrell, Brad Simmons, Doug Westmoreland: Pappus area