Cut The Knot!by Alex Bogomolny 
Do You Speak Mathematics?
November 2002
Mr Thomas Hobbes told me, that this Mr Cavendish told him, that the Greeks doe sing their Greeke. John Aubrey 
I call on him to explain everything as clearly as if it were in Latin. Epictetus 
Do you speak mathematics? is a very valid question assuming mathematics is a language. Many think it is. Josiah Willard Gibbs gave a speech on that account. Galileo and R. Feynman thought so. Mathematics is even judged to be a universal language, the only one suitable to initiate extraterrestrial communication [Jacobs, p. 1].
Some object. For example, JeanPierre Bourguignon argues [Basis, p. 173] that
I generally accept the above sentiment with reservations concerning mathematics being just the language of quantitative. I believe the author's objection applies to a more general perception of mathematics as a language. Mathematics is a peculiar human enterprise inextricably intertwined with the development and utilization of a language  the language of mathematics. The relationship is not unlike that between, say, English literature and English language, or French literature and French language. Expanding the analogy, I think it is reasonable to think of mathematics as a literary endeavor based on the mathematical language. However, the relationship between mathematics and its language is stronger than that between other kinds of literature and the underlying language. One manifestation of that bond between mathematics and its language is the difficulty, even impossibility, of translation of mathematics into other languages. Hard as it may be to translate from English into French or Japanese into English, good translations exist. Not so with mathematics. There are of course good popularizations that undertake to translate mathematics into more common languages, but there's always a limitation on how far one may go. Some things could only be expressed in the compact language of mathematics.
The potency of the bond between mathematics and its language is such that many mathematicians do indeed identify the two [Spectrum, p. 112]:
Below I describe an example that, in my view, shows the mathematical language at its best. As usual, I tried to prepare a Java applet that illustrates the concepts involved. I am not at all sure that, in this case, the effort paid off. The notations I shall introduce shortly make a wonderful job of keeping all the concepts handy.
Pascal's Configuration
At the age of sixteen B. Pascal proved a remarkable theorem: The three intersections of the pairs of opposite sides of a hexagon inscribed in a conic are collinear. It is said [Bell, p. 78] that from that result (and two other lemmas) Pascal derived all Apollonius' theorems on conics and more, no fewer than 400 propositions in all. Little wonder he called it the Mystic Hexagram (Hexagrammum Mysticum). The original manuscript (that was lost) was examined and praised by Leibniz. Descartes was stunned to learn that the work had been performed by a sixteen years old. A shorter version written a year later has survived, see [Source, p. 326330], but contains no derivation.
The theorem is clearly of projective nature, and in the surviving manuscript Pascal leaves no doubt of his intention to imitate the methods of Projective Geometry that Desargues introduced a short time beforehand. In the 17^{th} century, identification with Desargues' work was certainly detrimental to any discovery. The ridicule with which his concepts and notations were met caused Desargues to give up on mathematical research. Projective Geometry lay abandoned for about two hundred years; and Pascal's result had shared its fate. However, in the 19^{th} century it was rediscovered with vengeance. The configuration has proved to have a rich, if not mystical, structure with numerous coincidences and collinearities that Sylvester called "cat's cradle."
The following is a paraphrase of a part of the Notes at the end of the classical Treatise on Conic Sections by G. Salmon. I found the treatment fascinating. A judicious choice of notations appears to magically deliver a sequence of results "just by looking." It is obvious however that the notations alone do not do the trick; they just help make an efficient use of the concepts they represent.
To be more specific, the vertices of the hexagon are designated abcdef  in that order. Pascal's theorem asserts that the points ab·de, bc·ef, cd·fa lie on a straight line. (ab·de denotes the points of intersection of ab and de, and the other points are treated similarly. I'll use this notation through out.) The line is called the Pascal line, or simply the Pascal, of the hexagon and may be denoted abcdef or, for greater clarity,
(Pascal)    ab  .  cd  .  ef   

  de  .  fa  .  bc   
The six vertices are cumulatively called Ppoints. The Ppoints are being joined by 15 Clines. Each of the Clines is crossed (even if at infinity) by 14 other Clines. Some cross at the Ppoints, others elsewhere. Those intersections that do not necessarily coincide with any of the Ppoints, are called ppoints. Out of 14 cross points on a Cline, 8 (4 at each of the defining Ppoints) are Ppoints, the remaining 6 are ppoints; there are 6 ppoints on every Cline. The total number of ppoints therefore is
Each of the ppoints lies on four Pascals. Indeed, ab·de lies on abcdef, abfdec, abcedf, and abfedc. Each Pascal carries 3 ppoints. The total number of Pascals therefore is
Consider now two triangles with sides
(1)  ab, cd, ef, and 
(2)  de, fa, bc. 
Their vertices are ppoints. Moreover, ab·cd and de·fa lie on the same Pascal
  ab  .  de  .  cf    

  cd  .  fa  .  be   
In other words, the above Pascal is the line joining the pair of the corresponding vertices of triangles (1) and (2). The remaining two pairs of the corresponding vertices are also joined by Pascals:
  cd  .  fa  .  be    and    ef  .  bc  .  ad    

  ef  .  bc  .  ad      ab  .  de  .  cf   
respectively. The triangles (1) and (2) are therefore perspective from the point common to the three Pascals. The point may naturally be denoted as
  ab  .  de  .  cf    

(g)    cd  .  fa  .  be   
  ef  .  bc  .  ad   
This is Steiner's theorem: Pascals intersect three at a time at what we'll call gpoints. In the above notation for a gpoint, each vertex appears only once in every row and every column. So that the notation clearly indicates that there are exactly three Pascals incident to that point. We conclude that there are 20 gpoints.
Next, have a look at the following triangle formed by three Pascals:
(3)    ab  .  ce  .  df      cd  .  bf  .  ae      ef  .  bd  .  ac    

  de  .  bf  .  ac    ,    af  .  ce  .  bd    , and    bc  .  ae  .  df    . 
The first two share the point ce·bf. This is one of the vertices of the triangle. The other two vertices are similarly found to be bd·ae and df·ac.
We may also garner some information considering triangle (3) alongside triangle (1). Their first sides intersect at ab·de. Similarly, the other two pairs of corresponding sides intersect at cd·af and ef·bc. But all three lie on the Pascal
  ab  .  cd  .  ef    

  de  .  af  .  bc   
The triangles (1) and (3) therefore are perspective from a line. By the converse of Desargues' Theorem, the triangles are also perspective from a point: the lines joining their corresponding vertices meet in a point.
But those lines are the three Pascals:
  ab  .  ce  .  df      cd  .  bf  .  ae      ef  .  ac  .  bd    

  cd  .  bf  .  ae    ,    ef  .  ac  .  bd    , and    ab  .  df  .  ce    . 
Note the swap of the ce and df terms. Because of the swap, it seems less natural than before to denote the common point of the three lines as
  ab  .  ce  .  df    

  cd  .  bf  .  ae    
  ef  .  ac  .  bd   
Indeed, as before, all three rows and the first column contain all six vertices each. But in the columns 2 and 3 there are omissions and hence repetitions. The notation therefore should differ from that of gpoints:
(h)  __  

  ab  .  ce  .  df    
  cd  .  bf  .  ae    
  ef  .  ac  .  bd   
The above is an example of hpoint whose existence was established by Kirkman. The notation for hpoints is different from that for gpoints in that a bar indicates the only omission free (repetition free) column. On each Pascal there are 3 hpoints. Namely, on (Pascal), there are the three points

, 

, 

. 
There are 60 Kirkman hpoints in all, three per Pascal.
(The applet below purports to illustrate the results we have derived so far. At the bottom left of the applet, there is a modifiable permutation of the vertices of the hexagon. Individual letters could be changed lexicographically up or down by clicking a little off their central line. Whatever you do, the string is programmed to present a valid permutation of the vertices. As a consequence, getting the desired permutation is a puzzle in its own right. But once you got the desired ordering of the vertices, click the "Push Pascal" button to have the corresponding Pascal displayed. You may also check the boxes "gpoints", "hpoints", and "ppoints on Pascals" to see those points on the selected Pascals. After "pushing" one Pascal, it is possible to modify the permutation and "push" another one. Two Pascals will be drawn, and more, if you continue the process.
Two checkboxes, "ppoints on Clines" and "Pascals through ppoint", behave differently from the rest. If, say, the first is checked, then after you click on a Cline, the Cline will be "pushed" for special treatment: it will be shown together with its six ppoint companions. If you click on a ppoint while the "Pascals through ppoint" is checked, the point will be "pushed" for a special treatment such that you'll see the four Pascals that meet at that point.
Whatever has been pushed for display (Pascals, ppoints, or Clines) could be removed from the special treatment group in the reverse order by clicking on the "Remove last" button.)
The story does not end here. However, by the time I reached the point reflected by the current functionality of the applet, my enthusiasm for programming Java illustrations began to wear out. The mathematical language seemed so much clearer than whatever I managed to do with Java. So, to wrap up this column let me just mention a few additional results from the book [Salmon, p. 381].
Cayley and Salmon have independently showed that, in addition to the above, there are 20 Glines each carrying 3 hpoints and 1 gpoint. Also, the 20 Glines pass four at a time through fifteen ipoints. Finally, another Steiner's theorem claims the existence of fifteen straight lines I with four gpoints on each.
Hesse has noticed that there is a certain reciprocity between the theorems we have obtained. There are 60 Kirkman points h, and 60 Pascal lines H corresponding each to each in a definite order to be explained presently. There are 20 Steiner points g, through each of which passes three Pascals H and one line G; and there are 20 lines G, on each of which lie three Kirkman points h and one Steiner g. And as the twenty lines G pass four by four through fifteen points i, so the twenty points g lie four by four on fifteen lines I.
According to Wells and Honsberger, the nomenclature is as follows. The 20 Glines are known as the Cayley lines. The fifteen Ilines are Plücker's, the fifteen ipoints are Salmon's.
The pleasure of course is his who speaks mathematics.
References
 J. Aubrey, Brief Lives, Penguin Books, 2000
 E. T. Bell, Men of Mathematics, Touchstone Books, Reissue edition (October 1986)
 J.P. Bourguignon, A Basis for a New Relationship Between Mathematics and Society, in Mathematics Unlimited  2001 and Beyond, B. Engquist, W. Schmid (eds), Springer, 2001 (check a review)
 R. Honsberger, Mathematical Chestnuts From Around the World, MAA, 2001
 H. R. Jacobs, Mathematics: A Human Endeavor, 3^{rd} edition, 6^{th} printing, Freeman, 2002
 G. Salmon, Treatise on Conic Sections, Chelsea Pub, 6e, 1960
 R. L. E. Schwarzenberger, The Language of Geometry, in A Mathematical Spectrum Miscellany, Applied Probability Trust, 2000
 D. E. Smith, History of Mathematics v 1, Dover, 1958
 D. E. Smith, A Source Book in Mathematics, Dover, 1959
 D. Wells, Curious and Interesting Geometry, Penguin Books, 1991
Desargues' Theorem
 Desargues' Theorem
 2NWing Butterfly Problem
 Cevian Triangle
 Do You Speak Mathematics?
 Desargues in the Bride's Chair (with Pythagoras)
 Menelaus From Ceva
 Monge from Desargues
 Monge via Desargues
 Nobbs' Points, Gergonne Line
 Soddy Circles and David Eppstein's Centers
 Pascal Lines: Steiner and Kirkman Theorems II
 Pole and Polar with Respect to a Triangle
 Desargues' Hexagon
 The Lepidoptera of the Circles
Contact Front page Contents Geometry
Copyright © 19962018 Alexander Bogomolny
64642027 