# Butterflies in Quadrilaterals and Elsewhere

The Butterfly Theorem is one of the most popular and appealing in plane geometry. It has several variants and a few curious generalizations. Until very recently, all the known varieties of plane Butterflies were found in circles and their combinations. Then a new variety that inhabits quadrilaterals has been discovered. But, as Eisso Atzema, the author of the subsequent research put it, the later variety is the old one in disguise. The investigation has been supported by *Desargues' Involution Theorem*, see, for example [Dörrie, pp. 265-273]:

The points of intersection of a line with the three pairs of opposite sides of a complete quadrilateral and a conic section circumscribed about the quadrilateral form four pairs of an involution. The lines joining a point with the three pairs of opposite vertices of a complete quadrangle and the tangents drwan fom the point to a conic section inscribed into the quadrangle form four ray pairs of an involution.

Among other sources, see for example [Pedoe's *Geometry* or Coxeter's *Projective Geometry*]. The involution theorem will be discussed elsewhere. The report on the investiguation appears below practically verbatim.

Here we reformulate the Butterfly Theorem in terms of projective geometry. Consider a self-intersecting quadrilateral AB'A'B (the "butterfly") inscribed in a conic section Γ. Let I be the point of intersection of the sides A'B and AB'. Now draw an arbitrary line through I and let C, C' be the points of intersection of the line with the conic section. By Desargues' Involution Theorem, the family of conic sections circumscribing AB'A'B defines an involution on the line CC', with I a fixed point of this involution and C, C' a conjugate pair (i.e. they are each other's images under the involution.) This completely determines the involution: Since the fixed points of an involution are in harmonic position with respect to any conjugate pair of points, we can determine the second fixed point I'. In fact, I' is the point of intersection of CC' with the polar line of I with respect to the conic section Γ. The involution on CC' is the circular inversion with respect to the circle that has II' for a diameter. It is easily verified that for this inversion one has for all conjugate points P, P' the equality

1/IP + 1/IP' = 2/II',

where the quantities IP, IP' and II' are directed distances.

Since C and C' form a conjugate pair while

1/IC + 1/IC' = 1/ID + 1/ID',

with a reference to the above diagram,

1/|IC| - 1/|IC'| = 1/|ID| - 1/|ID'|,

where |.| denotes the "absolute" common distance between two points. This is a generalization of Candy's version of the Butterfly Theorem.

The connection between the two families of butterflies is illustrated below:

For a (convex) quadrilateral ABCD, let I be the point of intersection of the diagonals AC and BD. For any line passing through I, let G and G' the points of intersection with DA and CB, respectively. Now consider the family of conic sections passing through D, B, G and G'. Since five points determine a conic section, there is a unique conic section CH in this family that passes through a given point H on AB. Next draw the line HI. Let H' be the point of intersection of HI with DC and let H_{o} be the second point of intersection of HI with CH. The point H_{o} will be the image of the point H under the involution on HI defined by the family of conic sections through D, B, G and G'. But this involution has I for a fixed point and the points _{o} coincide. Consequently D, B, G, G', H and H' all lie on the same conic. Alternatively, if we wanted to use a slightly more heavy-duty tool of projective geometry, we could have noted that

It's the same butterfly ... under a different light.

### References

- E. J. Atzema,
__Butterflies in Quadrilaterals: A Comment on a Note by Sidney Kung__,*Math Magazine*80, n 1 (Feb. 2007), pp. 70-72 - H. S. M. Coxeter,
*Projective Geometry*, Springer; 2 edition (October 9, 2003) - H. Dörrie,
*100 Great Problems Of Elementary Mathematics*, Dover Publications, NY, 1965 - D. Pedoe,
*Geometry: A Comprehensive Course*, Dover, 1970

### Butterfly Theorem and Variants

- Butterfly theorem
- 2N-Wing Butterfly Theorem
- Better Butterfly Theorem
- Butterflies in Ellipse
- Butterflies in Hyperbola
- Butterflies in Quadrilaterals and Elsewhere
- Pinning Butterfly on Radical Axes
- Shearing Butterflies in Quadrilaterals
- The Plain Butterfly Theorem
- Two Butterflies Theorem
- Two Butterflies Theorem II
- Two Butterflies Theorem III
- Algebraic proof of the theorem of butterflies in quadrilaterals
- William Wallace's Proof of the Butterfly Theorem
- Butterfly theorem, a Projective Proof
- Areal Butterflies
- Butterflies in Similar Co-axial Conics
- Butterfly Trigonometry
- Butterfly in Kite
- Butterfly with Menelaus
- William Wallace's 1803 Statement of the Butterfly Theorem
- Butterfly in Inscriptible Quadrilateral
- Camouflaged Butterfly
- General Butterfly in Pictures
- Butterfly via Ceva
- Butterfly via the Scale Factor of the Wings
- Butterfly by Midline
- Stathis Koutras' Butterfly
- The Lepidoptera of the Circles
- The Lepidoptera of the Quadrilateral
- The Lepidoptera of the Quadrilateral II
- The Lepidoptera of the Triangle
- Two Butterflies Theorem as a Porism of Cyclic Quadrilaterals
- Two Butterfly Theorems by Sidney Kung
- Butterfly in Complex Numbers

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

Copyright © 1996-2018 Alexander Bogomolny

68846004