Conics and Convexity
Conics and Convexity
Conics and Convexity
1. Introduction
In [1], W. D. Munn proved the following result.
o"
C
./
B\PA
D (a) A D (b)
FIGURE 1: (a) A simple convex qudrilateral ABCD. Its diagonal line segments AC
and BD meet at the point O. (b) A simple concave or re-entrant quadrilateral ABCD.
The line segments AC and BD do not meet.
interior angle can be reflex so, by a criterion of the previous section, ABCD
is convex. This is the first of four well-known and easily visualised results:
(l) Any quadrilateral inscribed in a circle is convex.
(2) Any quadrilateral inscribed in an ellipse is convex. (This follows from
(1) because, in a suitable coordinate system, we can map the ellipse
into a circle and back by transformations of the form (x, y) ~ (x, Ay).
These do not affect convexity.)
(3) Any quadrilateral inscribed in a parabola is convex.
(4) Any quadrilateral inscribed in a single branch of a hyperbola is
convex.
Less well known is the following more general result, of which (4) is a
special case:
(5) A quadrilateral inscribed in a hyperbola is convex if, and only if, an
even number of its vertices lie on each branch of the hyperbola.
) ~~ It (a) (b)
HaVRE 2: Qudrilaterals inscribed in a hyperbola.
(c)
FIGURE 3: The three line-pairs and two parabolas through the vertices of a convex
quadrilateral ABeD divide the real projective plane into 20 regions. Each of the
regions 14, 16, 18 and 20 is bounded by an arc of a parabola and a straight line
segment and is too thin to be easily visible in this figure.
The first cycle indicates that any conic of the pencil that passes into
region 1 must go through A into region 2, then through B into 3, via D into 4
and via C back into region 1. Regions 1 and 3 cross the line at infinity.
Moreover, in going from 1 to 3 the conic passes through A and B, whilst in
returning from 3 to 1 it passes through D and C. So if P lies in any of the
four regions of this first cycle, then the conic S (P) is a hyperbola with A and
B on one branch and C and D on the other branch. Readers can use similar
arguments to check that when P lies in a region of the fourth or the fifth
cycle, S (P) is a hyperbola with A, B, C and D on the same branch and that
when P lies in a region of the third cycle, S (P) is a hyperbola with A and D
on one branch and Band C on the other. No region in the second cycle
crosses the line at infinity, although regions 5 and 6 extend to infinity and
each has one infinite point on its boundary. So when P lies in any second
cycle region, S (P) is an ellipse.
In the special case when ABCD is a trapezium, but not a parallelogram,
we may suppose that AB is parallel to CD. One of the two parabolas of the
pencil now degenerates to this parallel line-pair and we lose a complete
cycle of regions (the fifth) from Figure 3.
When ABCD is a parallelogram, there are no parabolas in the pencil and
a further cycle of regions (the fourth in our list) disappears, leaving the 12
regions shown in Figure 4 that constitute the first three of our original 4-
cycles.
AGURE4: The three line-pairs through the vertices of a parallelogram divide the real
projective plane into 12 regions.
5. Concave quadrangles
When the quadrilateral ABCD is concave, it can have no circumscribing
ellipses or parabolas, so every non-degenerate conic through its vertices
must be a hyperbola. Moreover three vertices must lie on one branch whilst
one vertex, which I shall call isolated, lies on the other branch. Since ABCD
is concave, one of its vertices lies inside the triangle formed by the other
three vertices. This interior vertex (denote it by A) cannot be isolated for, by
continuity, the branch through A must cut at least one of the sides (say BC)
of the surrounding triangle BCD, and it must do so at either B or C, for
otherwise BC would meet the hyperbola in three distinct points. The six
lines AB, AC, AD, BC, BD and CD divide the real projective plane into 12
regions. (See Figure 5.)
As in the convex case, these 12 regions fall into 4-cycles:
A C B D
~ 2 ~ 3 ~ 4 ~
A DeB
5~6~7~8~5
A B D C
9 ~ 10 ~ 11 ~ 12 ~ 9
In the first cycle, regions 3 and 4 cross the line at infinity. The point B is
the common boundary of these regions so, if P is a point in any region of the
first cycle, then the conic S (P) is a hyperbola with B isolated on one branch
whilst A, C and D lie on the other branch. Similarly when P lies in a region
of the second cycle, C is isolated and, when P lies in a third cycle region, D
is the isolated vertex.
Figure 6 shows some of the conics of the pencil through A, B, C and D.
All are hyperbolas or line-pairs, as predicted.
FIGURE 6: Three of the hyperbolas that pass through the vertices of a concave
quadrilateral. Each corresponds to one of the the three 4-cycles identified in the text.
Acknowledgements
I am grateful to Professor Peter Giblin for interesting discussions and
for showing me how Cinderella software (see [4]) can be used in visual
exploration of what happens to the unique conic through five points, A, B, C,
D and P when P is dragged around the screen whilst the other four points
remain fixed.
The referee deserves special mention for commenting on earlier
versions of this article so fully and helpfully. As a result, several arguments
have been improved and new ones suggested. In particular, the observation
in §§4 and 5 that regions fall into 4-cycles is due to the referee, who also
unearthed an 1847 article ([5]) containing essentially the same argument as I
used in the first part of §4.
I would also like to thank the Editor for his patience in allowing me so
much time for revising the article.
Dedication
I never knew Douglas Munn but, from what I have read ([6, 7, 8]), he
was a fine teacher. Many readers of the Gazette have been fortunate to have
such teachers. So I would like to dedicate this article to the memory of those
who taught me mathematics at Bradford Grammar School and whose
example led me to become a teacher myself: Margaret Baker, from whom I
first learned about congruent triangles; Walter Thornton, from whom I
learned about pencils of conics; and Keith Turner, who once showed us
seven different solutions to a Cambridge Scholarship geometry problem and
who inspired so many of his pupils.
References
1. W. D. Munn, Ellipses circumscribing convex quadrilaterals, Math. Gaz.
92 (November 2008) pp. 566-568.
2. H. S. M. Coxeter, Introduction to geometry (2nd edn.), John Wiley &
Sons (1969).
3. H. S. M. Coxeter, The real projective plane (2nd edn.), Cambridge
University Press (1955).
4. P. J. Giblin, Review of Cinderella (Version 1.2) interactive geometry
software, Math. Gaz. 85 (July 2001) pp. 364-366.
5. S. Fenwick, On the plane quadrilateral, The Mathematician, Vol.lI,
No.6 (July 1847) pp. 285-295, also available at
http://books.google.co.uklbooks?id=59YLAAAAYAAJ&pg=PA285.
6. Scotsman Newspapers Limited, Douglas Munn (12 November 2008),
available at http://thescotsman.scotsman.com!obituaries!Professor-
Douglas- Munn.468381 O.jp
7. J. M. Howie, Tribute to Douglas Munn, Semigroup Forum 59 (1999)
pp.I-7.
8. N. R. Reilly, Walter Douglas Munn 1929-2008, Semigroup Forum 78
(2009) pp. 1-6.
K. ROBIN McLEAN
Department of Mathematical Sciences, University of Liverpool, Liverpool
L697ZL