# Huygens' Proof of the Pythagorean Theorem

What if applet does not run? |

A few words and an explanation.

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny### Explanation

The famous Dutch mathematician, astronomer and physicist Christiaan Huygens (1629 - 1695) published in 1657 a proof of the Pythagorean theorem introducing it as "Demonstratio mea Propos^{is}. 47 lib. I Euclidis ". It was included in Loomis' collection as geometric proof #31 and in 1936 brought up in a dedicated note in *The Mathematical Gazette*.

What if applet does not run? |

Start with the Bride's Chair diagram. Extend GA to P such that

The area of ΔABP with base AB and altitude from equal to AC is half that of the square on side AC. The area of ΔANB is half the area of the square on side BC. In ΔAPS,

- AP = AD = AC,
- AS = AB,
- ∠PAS = ∠BAC (as two have perpendicular sides)

implying ΔAPS = ΔABC. In particular,

- PS = BN,
- KS = AB,
- ∠KPS = 90° - ∠ASP = 90° - ∠ABC = ∠ABN

implying ΔKPS = ΔANB and making the area of ΔKPS half that of the square on BC. On the other hand, the area of ΔABP is half the area of rectangle ABML while the area of ΔKPS is half that of rectangle KMLS wherefrom the area of the square on AB is indeed the sum of the areas of the squares on AC and BC.

### References

- E. S. Loomis,
*The Pythagorean Proposition*, NCTM, 1968 - J. P. McCarthy,
__Huygens' Proof of the Theorem of Pythagoras__,*The Mathematical Gazette*, Vol. 20, No. 240. (Oct., 1936), pp. 280-281.

|Contact| |Front page| |Contents| |Geometry|

Copyright © 1996-2018 Alexander Bogomolny