In geometry, a Bride's Chair is an illustration of the Pythagorean theorem.[1] The figure appears in Proposition 47 of Book I of Euclid's Elements.[2] It is also known by several other names, such as the Franciscan's cowl, peacock's tail, windmill, Pythagorean pants, Figure of the Bride, theorem of the married women, and chase of the little married women.[1][3]
According to Swiss-American historian of mathematics Florian Cajori, the ultimate etymology of the term "Bride's Chair" lies in a Greek homonym: "Some Arabic writers [...] call the Pythagorean theorem 'figure of the bride'." The Greek word νυμφη has two relevant definitions: 'bride', and 'winged insect'. The figure of a right triangle with the three squares has reminded various writers of an insect, so the 'insect' sense of the Greek word came to be applied to right triangles with three squares, and to the Pythagorean theorem. Arabic speakers writing in Greek would often mistakenly assume the other sense of the word was intended, and would translate the phrase back into Arabic using the word for 'bride'.[4]
A nice illustration of the Bride's Chair showing a chair upon which, according to ancient tradition, a bride might have been carried to the marriage ceremony can be seen in Sidney J. Kolpas' The Pythagorean Theorem: Eight Classic Proofs (page 3).[5]
As a proof
editThe Bride's chair proof of the Pythagorean theorem, that is, the proof of the Pythagorean theorem based on the Bride's Chair diagram, is given below. The proof has been severely criticized by the German philosopher Arthur Schopenhauer as being unnecessarily complicated, with construction lines drawn here and there and a long line of deductive steps. According to Schopenhauer, the proof is a "brilliant piece of perversity".[6]
- From A, draw a line parallel to BD and CE. It will perpendicularly intersect BC and DE at K and L, respectively.
- Join CF and AD, to form the triangles BCF and BDA.
- Angles CAB and BAG are both right angles; therefore C, A, and G are collinear.
- Angles CBD and FBA are both right angles; therefore angle ABD equals angle FBC, since both are the sum of a right angle and angle ABC.
- Since AB is equal to FB, BD is equal to BC and angle ABD equals angle FBC, triangle ABD must be congruent to triangle FBC.
- Since A-K-L is a straight line, parallel to BD, then rectangle BDLK has twice the area of triangle ABD because they share the base BD and have the same altitude BK, i.e., a line normal to their common base, connecting the parallel lines BD and AL.
- Since C is collinear with A and G, and this line is parallel to FB, then square BAGF must be twice in area to triangle FBC.
- Therefore, rectangle BDLK must have the same area as square BAGF = AB2.
- By applying steps 3 to 10 to the other side of the figure, it can be similarly shown that rectangle CKLE must have the same area as square ACIH = AC2.
- Adding these two results, AB2 + AC2 = BD × BK + KL × KC
- Since BD = KL, BD × BK + KL × KC = BD(BK + KC) = BD × BC
- Therefore, AB2 + AC2 = BC2, since CBDE is a square.
A different Bride's Chair
edit
The name Bride's Chair is also used to refer to a certain diagram attributed to the twelfth century Indian mathematician Bhaskara II (c. 1114–1185) who used it as an illustration for the proof of the Pythagorean theorem.[7] The description of this diagram appears in verse 129 of Bijaganita of Bhaskara II.[8] There is a legend that Bhaskara's proof of the Pythagorean theorem consisted of only just one word, namely, "Behold!". However, using the notations of the diagram, the theorem follows from the following equation:
See also
editReferences
edit- ^ a b Alex Bogomolny. "Bride's Chair". www.cut-the-knot.org. Retrieved 28 November 2023.
- ^ David Wells (1991). The Pengu'inDictio.nary of Curious and Interesting Geometry. Penguin Books. p. 203.
- ^ Weisstein, Eric W. "Pythagorean Theorem". mathworld.wolfram.com. MathWorld--A Wolfram Web Resource. Retrieved 28 November 2023.
- ^ Florian Cajori (March 1899). "Historical Note". The American Mathematical Monthly. 6 (3): 72–73. doi:10.2307/2969677. JSTOR 2969677.
- ^ Sidney J. Kolpas (1992). The Pythagorean Theorem: Eight Classic Proofs. Pearson Education. Retrieved 30 November 2023.
- ^ Martin Gardner (October 1964). "Simple proofs of the Pythagorean theorem, and sundry other matters". Scientific American. 211 (4): 118–127. JSTOR 24931667.
- ^ Elisha Scan Loomis (1940). The Pythagorean Proposition (2 ed.). Washington DC: National Council of Teachers of Mathematics. p. 109. ISBN 978-0-87353-036-1. Retrieved 28 November 2023. (A collection of 370 different proofs of the Pythagorean theorem.)
- ^ Victor Katz (2007). The mathematics of Egypt, Mesopotamia, China, India, and Islam: a sourcebook. Princeton University Press. p. 477. (Chapter 4 Mathematics in India, Kim Plofker)