## Cut The Knot!An interactive column using Java applets
by Alex Bogomolny |

# Bride's Chair

August 2003

Given its unmatched importance in mathematics and applications, it is wonderful that the Pythagorean theorem (*Elements* I.47) is apparently not as widely known as one could expect:

In right-angled triangles the square on the side subtending the right angle is equal to the squares on the sides containing the right angle.

The pictorial representation of the theorem is known in mathematical folklore under many names, the *bride's chair*, being probably the most popular, but also as the *Franciscan's cowl*, the *peacock's tail* and the *windmill*. In Russia the common name, I believe, is rather pragmatic: *Pythagorean pants*. According to D. E. Smith [Smith, p. 289], the Arabs call it the *Figure of the Bride*. He also mentions [Smith, p. 290], with a reference to E. Lucas' *Récréations Mathématiques*, that the Greeks call it the *theorem of the married women*, while Bhãskara is said to have spoken of it as the *chase of the little married women*.

(Florian Cajori ascribes (*Am Math Monthly*, f 6, no 3, 1899, p. 72) the source of the *Bride's Chair* designation to a mistranslation of the Greek word numfh "applied to the theorem by a Byzantine writer of the 13^{th} century. This Greek word admits of two meanings, 'bride' and 'winged insect.' The figure of the right triangle with the three squares suggests an insect but Behâ Eddîn apparently translated the word as 'bride'." Probably out of respect of the famous mathematician and his theorem.)

In a book of philosophical (!) notes and essays, R. Smullyan tells (pp. 21-22) of an episode in his teaching career. After drawing the diagram, he requested the class to choose the larger of the sum of the small squares and the large square. "Interestingly enough, about half the class opted for the one large square and half for the two small ones. ... Both groups were equally amazed when told that it would make no difference."

Euclid himself generalized the diagram (*Elements* VI.31) by replacing squares with other shapes. Pappus replaced (*Mathematical Collection*, Book IV) the squares with arbitrary parallelograms drawn on the sides of an arbitrary triangle.

A different kind of generalization kept the squares on the sides with a relaxed requirement on the angles of the triangle. Euclid himself considered an arbitrary triangle with squares on its sides in Prop. 63 of his surviving work *The Data*. In the 19^{th} century (1817), Vecten also studied arbitrary triangles with squares on their sides.

We may immediately observe several simple properties of *Vecten's configuration*. First of all, the "add-on" triangles AB_{a}C_{a}, A_{b}BC_{b}, A_{c}B_{c}C have the same area as ΔABC [*Exercices*, p. 736, Five Hundred, #295]. To see this, rotate (drag the slider), e.g., ΔAB_{a}C_{a} through 90° clockwise till B_{a} coincides with C. Then CA will serve as a median of ΔBCC'_{a} that splits the triangle into two of equal area. (More recently, the fact was observed by R. Webster.) Also, after the rotation, the median AM_{a} will become a midline in ΔBCC'_{a}, parallel to its side BC, which implies the second property, viz., the same line serves as a median in ΔAB_{a}C_{a} and an altitude in ΔABC. It also has been observed that AM_{a} = BC/2 and similarly for the other medians.

The triangles AB_{a}C_{a}, A_{b}BC_{b}, A_{c}B_{c}C are known as *flanks* of ΔABC. The relationship is symmetric: a triangle is a flank of its own flanks. Thus, for example, we can also claim that the same line serves as an altitude in ΔAB_{a}C_{a} and a median in ΔABC. We may restate this as follows.

Let, for a triangle center P of ΔABC, P_{a}, P_{b}, and P_{c} denote its namesakes in triangles AB_{a}C_{a}, A_{b}BC_{b}, A_{c}B_{c}C. Thus, for example, G_{a} stands for the centroid (the meeting point of the medians) of triangle AB_{a}C_{a}. We then have two facts.

(1) | AG_{a}, BG_{b}, and CG_{c} concur in H, and |

(2) | AH_{a}, BH_{b}, and CH_{c} concur in G, |

where G and H are the centroid and the orthocenter of ΔABC.

Following are additional properties of *Vecten's configuration*, see [*Exercices*, pp. 860-861]:

Lines AA

_{b}and BB_{a}meet on the C-altitude of ΔABC [*Exercices*, p. 225].Lines AA

_{b}and CC_{b}are perpendicular and equal. (This follows from the congruence of triangles ABA_{b}and C_{b}BC.) Assume AA_{b}and CC_{b}meet at point S_{b}and introduce similarly S_{a}and S_{c}.Line A

_{c}C_{a}passes through S_{b}and bisects a pair of angles at that point. (Quadrilateral AC_{a}C_{b}S_{b}is cyclic as having opposite angles at C_{a}and S_{b}both 90°. In the circumcircle, angles AS_{b}C_{a}and AC_{b}C_{a}, the latter being 45°, are subtended by the same chord AC_{a}. Hence angle AS_{b}C_{a}is also 45°.)Lines AS

_{a}, BS_{b}, and CS_{c}are concurrent and each passes through the center of one of*Vecten's squares*.Let T

_{a}, T_{b}, and T_{c}denote the centers of Vecten's squares BCA_{c}A_{b}, etc. Then AT_{a}is equal and perpendicular to T_{b}T_{c}.A

_{c}B_{c}^{2}+ B_{a}C_{a}^{2}+ A_{b}C_{b}^{2}= 3(AB^{2}+ BC^{2}+ AC^{2}) [*Exercices*, p. 736].

(Several additional properties of the configuration are listed on a separate page.)

Ernst Wilhelm Grebe was the first to call the common point of AT_{a}, BT_{b}, and CT_{c} the *Vecten point*. There are actually two of them depending on whether the squares have been drawn outwardly (the *first Vecten point*) or inwardly (the *second Vecten point*) with regard to ΔABC.

Further results were obtained by Ernst Wilhelm Grebe in 1847 and expanded by F. van Lamoen in 2001.

Grebe has shown [*Exercices*, p. 1181] that if the outer sides of Vecten's squares have been extended to form ΔA'B'C', then the latter is similar, in fact homothetic, to ΔABC. The center of homothety is known as *Lemoine's point* or (in Germany) as *Grebe's point*. More neutrally, being the point of intersection of the symmedians in ΔABC, it is also called the *symmedian point* K. For K the distances to the sides of ΔABC are proportional to the sides themselves [Honsberger, p. 59], and this is the reason for the validity of Grebe's theorem.

For the same reason, another triangle, viz., the triangle O_{a}O_{b}O_{c} formed by the circumcenters of the flanks is also homothetic to ΔABC at K. The points O and K thus stand in a certain relationship, which F. van Lamoen termed *friendship*.

In general, centers P and Q are *friends* if ΔABC is perspective to ΔP_{a}P_{b}P_{c} at Q. Because of the symmetry of the *flank* relationship, friendship is also symmetric: if ΔABC and ΔP_{a}P_{b}P_{c} are perspective at Q, then ΔABC and ΔQ_{a}Q_{b}Q_{c} are perspective at P.

What has been shown so far is that O and K are friends, as are G and H (1-2). Quite obviously, the incenter I befriends itself. It's not the only point with that property.

O. Bottema has noticed (see a reference in F. van Lamoen's) that the midpoint M of A_{b}B_{a} does not depend on C.

Furthermore, he proved that triangles AMB and A_{c}MB_{c} are both right (at M) and isosceles. Point M therefore serves as the center of the square constructed on AB inwardly to ΔABC and of another, constructed on A_{c}B_{c} inwardly to the flank A_{c}B_{c}C. CM is the C-cevian in ΔABC and ΔA_{c}B_{c}C playing the same role in both. We conclude that the second Vecten point that lies at the intersection of such cevians is its own friend.

Similar isosceles triangles on the sides of a given triangle ABC are the subject of Kiepert's theorem that asserts that the outer apexes of the Kiepert triangles form a triangle perspective to ΔABC. The Kiepert triangles are completely defined by the base angle f (mod p) of the isosceles triangles, and the above perspector is known as the *Kiepert perspector* K(f). Naturally, the second Vecten point is K(-p/4), where the sign minus indicates that the triangles have been constructed inwardly.

F. van Lamoen's proves a more general fact, viz., that the Kiepert perspectors K(f) and

Also, since the first Vecten point is none other than K(p/4), it follows that the first, like the second, Vecten point befriends itself as well.

A fitting redress for the old diagram.

(Further results could be found in the already quoted paper by F. van Lamoen and at this site .)

### References

- E. J. Barbeau, M. S. Klamkin, W. O. J. Moser,
*Five Hundred Mathematical Challenges*, MAA, 1995. - C. M. Taisbak,
*Euclid's Data: The Importance of Being Given*, Museum Tusculanum (June 2003). - F. G.-M.,
*Exercices de Géométrie*, Éditions Jacques Gabay, sixiéme édition, 1991 - R. Honsberger,
*Episodes in Nineteenth and Twentieth Century Euclidean Geometry*, MAA, 1995. - C. Pritchard,
__General Introduction__, in*The Changing Shape of Geometry*, edited by C. Pritchard, Cambridge University Press, 2003 - D. E. Smith,
*History of Mathematics*, v. II, Dover, 1958 - R. Smullyan,
*5000 B.C. and Other Philosophical Fantasies*, St. Martin's Press, 1983 - F. van Lamoen,
__Friendship Among Triangle Centers__,*Forum Geometricorum***1**(2001), pp. 1-6. - R. Webster,
__Bride's Chair Revisited__,*Mathematical Gazette***78**(November 1994), pp. 345-346. (Reprinted in Pritchard, pp. 246-247.) - I. Warburton,
__Bride's Chair Revisited Again!__,*Mathematical Gazette***80**(November 1996), pp. 557-558. (Reprinted in Pritchard, pp. 248-250.)

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

Copyright © 1996-2018 Alexander Bogomolny