This article is based on `lectures’ in simple everyday language that I’ve been giving to mostly non-mathematical visitors on some motifs (as you’ll see in the photographs below) in our house. Hopefully, this written version shall appeal to a wider audience.1
“Perfectly proportioned”
The defining property of a golden rectangle is that if we delete from it a square on a smaller side, then we are left with a similar rectangle, i.e., one having the same length-to-breadth ratio, and this ratio, that is, the common length-to-breadth ratio of all golden rectangles, is called the golden ratio.
The two murals near the front door depict golden rectangles. Thus, deleting the blues gives a smaller golden rectangle, then, by throwing away the bluish greens, another which is still smaller, and after three more deletions, one arrives finally in these murals at the tiny white rectangles. Indeed, the inherent limitations of masonry, or for that matter, any practical form of visual representation, clearly dictate that one would need to stop sooner or later, at some point or the other. However, what the spiralling in these murals is intended to evoke is that, in our God-given unlimited imagination, there is, just as clearly, no need to stop, now or ever. We can continue deleting a square on a smaller side for as long as we wish! And therein, in this evoked idea, as I’ll presently show, lies the real beauty of these depictions, a beauty which transcends by far their mere visuals, and in my humble, but admittedly prejudiced, mathematician’s opinion, is far more fetching than anything the best painter has ever painted, or the best poet has ever written.
In fact, these `mere visuals’ already have–-as you can confirm from an Internet search–-a huge fan following. From Phidias, through Leonardo da Vinci, to Le Corbusier, the architect who planned Chandigarh, the proportions of the golden rectangle have been raved about by all sorts of aesthetes, with Corbusier even opining that the navel divides a perfectly proportioned human body in the golden ratio, and then the two parts, in turn, are divided in the same ratio at the throat and the knees respectively! I’ve nothing to add to all this, but I do have something to say about an assertion that one finds on quite a few websites, and also on a panel in the City Museum in Sector 10, Chandigarh, namely that, “the golden ratio is equal to katex is not defined”. This is simply not true!
The golden ratio is not equal to katex is not defined (recall that katex is not defined is the decimal notation for katex is not defined by katex is not defined). To see this, we note that, if the length-to-breadth ratio of our rectangle were katex is not defined by katex is not defined, we could have subdivided each side of our rectangle into either katex is not defined or katex is not defined appropriately chosen equal units. Then, by drawing parallels through these subdivision points, we could have partitioned the rectangle into katex is not defined equal squares. The deletion of the blues would have entailed throwing away katex is not defined of these small squares, and then, that of the bluish greens, katex is not defined more of these small squares, etc. So, since we have finitely many small squares in all, and are throwing away some at each step, we would have been done (even in our imagination) in finitely many steps. This contradicts the fact that the deletion process can (in our imagination) continue for as long as we wish. So, the length-to-breadth ratio of our rectangle is not katex is not defined by katex is not defined, i.e., the golden ratio is not equal to katex is not defined.
Remarkably, katex is not defined and katex is not defined played no special role in this reasoning, it works just as well with any two whole numbers katex is not defined and katex is not defined! Therefore: the golden ratio is not equal to any fractional number katex is not defined, or equivalently, a golden rectangle cannot be partitioned into finitely many equal squares in the above way! A truly mind-blowing result! For, these squares can be as tiny as we want, even the size of a meson!2 Again, between any two fractional numbers, howsoever close, there is an infinity of fractional numbers, yet, on this already more than overcrowded ruler, there is somehow still some room left for numbers like the golden ratio that are not fractional!
There is much more that can be said about this argument but I’ll move on now to a water feature, located on the other side of the front door, past that garden path, roman aqueduct, overhead water tank, and rockery with a stony brook hurrying down through its bonsai, cacti and whitewashed temple into that small water pond.
“Beesmukhi”
“Beesmukhi” (bees = twenty, mukhi = faced) is what its Bhojpuri-speaking sculptors called the concrete statue in this small water pond. It depicts–-once we have sublimated those concrete rods into zero thickness edges in our boundless imagination and put down a triangle of our own into each triangular boundary–-an icosahedron (icosa = twenty, hedron = faced), that is, a regular solid having katex is not defined equilateral (all katex is not defined sides equal) triangular faces, with katex is not defined faces at each of its katex is not defined vertices. We also see, thanks to the omission of the faces (triangular glass panes were considered briefly), the ‘innards’ of this statue, which reveal the secret of an icosahedron’s existence: its katex is not defined vertices are the vertices of katex is not defined identical rectangles (those concrete slabs) each inserted perpendicularly half-way through a parallel central slit of the next in cyclic order (see the line drawing accompanying this photo, the cyclic order is I, II, III, I)!
To verify this, we note that the katex is not defined vertices are equidistant from the common centre of the katex is not defined rectangles; and each is incident to katex is not defined edges (concrete rods), while each edge has katex is not defined vertices, so there are in all katex is not defined edges. Of these, the katex is not defined which join a vertex to one of the two nearest vertices of the next rectangle have clearly, by symmetry, the same length katex is not defined. Also, the remaining katex is not defined edges, being the shorter sides of the identical rectangles, have the same length katex is not defined. In general, katex is not defined is not equal to katex is not defined, and only katex is not defined of the obtained triangles are equilateral with sides katex is not defined, the remaining katex is not defined are only isosceles (two sides equal) with sides katex is not defined. However, the above construction gives an icosahedron, provided the three identical rectangles have a special length-to-breadth ratio. For, if we keep katex is not defined fixed, then katex is not defined increases or decreases with katex is not defined, the common length of the rectangles, being patently much bigger than katex is not defined when the rectangles are very long, but is lesser than katex is not defined when the rectangles approach `squarehood’ (the angle between the equal sides of the isosceles triangles is then almost a right angle), so there is an optimal katex is not defined at which katex is not defined.
Once again, it is time to move on, so I won’t elaborate further on the above argument, and shall only mention without proof that the above `special’ ratio turns out to be none other than the golden ratio! Which reminds me, we should have (because syntactically correct oxymorons are a dime a dozen) proved the existence of a golden rectangle also, not gullibly accepted its defining prescription at face value (and the missing beauties of the next `lecture’ shall drive home this existential point further)! Luckily, this particular oversight is easily rectified. We note that, the length-to-breadth ratio, of the rectangle obtained by deleting a square on a smaller side from a rectangle with fixed breadth katex is not defined and shrinking length katex is not defined, is equal to katex is not defined when this varying length is katex is not defined, and becomes arbitrarily large as katex is not defined approaches katex is not defined, so there is an optimal length katex is not defined at which the rectangle obtained after deletion has also the same ratio katex is not defined.
Also, here explicitly is the omitted general prescription for a regular solid katex is not defined: its finitely many vertices should be on a sphere, its faces should be equal (regular)–-i.e., with consecutive vertices equally spaced on a circle–-polygons with katex is not defined sides and vertices, and there should be katex is not defined of these faces at each vertex. Clearly, katex is not defined and katex is not defined must be whole numbers katex is not defined or bigger, and there exists a regular polygon with katex is not defined sides for any such katex is not defined, so, from the delicate way in which we settled the case katex is not defined (icosahedron), it is natural to fear that the general existence problem for regular solids must be hard. Surprisingly, this is not the case, but, since it would be best to first meet the Egyptian beauty (no, not Cleopatra!) which inspired this unexpectedly easy solution, let’s move on a bit, past this glorious sextet of golden barrels–-which is almost as old as this fifty-year-old house–-towards that small gate, and look back at the new addition on the roof.
“Pyramid”
The four topmost glass panels suggest a small pyramid with a square base and equilateral triangular sloping faces, but only two of these extend to those much bigger but similar sloping triangular walls of glass, so, more imaginatively, you might like to think in terms of a bigger pyramid of the same kind that has only managed to free itself partially from the confines of the edifice! The remaining walls of this stair-head room, dubbed Kutiya (cottage) by the carpenters, are mostly opaque and plumb, and its interior is ‘ethnic’ and spartan: brick and salvaged (circa 1958) marble-chips flooring, raised sitting area also in brickwork with in-built chessboard, etc.] A quick continuity argument confirms that, if the apex is at a suitable height–-in fact at a height equal to the radius of the base–-above the centre of the square base, then the sloping and obviously isosceles triangular faces of the pyramid shall be equilateral.
More generally, for a variable pyramid, with base a fixed regular polygon katex is not defined with katex is not defined sides, and apex katex is not defined moving up and down on the perpendicular line through the centre katex is not defined of the base, the angle katex is not defined subtended at the apex by a polygonal edge takes all values less than katex is not defined degrees, and only these values. For, the equal edges of this isosceles triangle (see figure) become very long, so their included angle katex is not defined becomes very small, as katex is not defined recedes towards infinity, while katex is not defined increases towards katex is not defined when katex is not defined approaches katex is not defined. (In particular, since katex is not defined is less than katex is not defined, there exists a square pyramid for which katex is not defined is katex is not defined degrees, i.e., one with sloping isosceles faces equilateral.)
This generalization was motivated by the fact that a regular solid katex is not defined can exist only if there exists a pyramid of the above kind with katex is not defined equal to an angle of a regular polygon with katex is not defined sides. Indeed, any pyramid with katex is not defined as a vertex of katex is not defined and vertices of katex is not defined equidistant points on the katex is not defined incident edges shall do the job.
We invoke next the `theorem’ that the sum of the angles of a triangle is a straight angle (180 degrees), which you probably still remember from school. If not, you can safely take it on faith, for it is logically equivalent to Euclid’s fifth postulate, the main unproved `axiom’ of his geometry. Now that Euclid’s name has come up, let me remark that all these beautiful things that I’m telling you about, about golden rectangles and regular solids and pyramids and such, they are all in that great treatise on geometry that was written by this Egyptian, virtually under the shadow of the Great Pyramid, about two to three centuries before the advent of the fair and beauteous Cleopatra! Coming back to our problem, we note that a regular polygon with katex is not defined sides can be cut up into katex is not defined triangles, so the sum of its angles is katex is not defined degrees, so each is katex is not defined degrees. Therefore, a regular solid katex is not defined can exist only if katex is not defined, a very strong constraint indeed, for this inequality can be rewritten
\begin{align*} q(p-2) &< 2p\\ qp – 2q – 2p &< 0\\ qp – 2q – 2p + 4 &< 4, \\ (q-2)(p-2) &< 4, \end{align*} i.e., the product of the whole numbers katex is not defined and katex is not defined must be less than four, i.e., katex is not defined, katex is not defined, katex is not defined, katex is not defined or katex is not defined!
To mop up, note that, given any katex is not defined we can make a katex is not defined as follows: for each vertex of katex is not defined take the regular polygon whose vertices are the katex is not defined centres of the incident faces, the solid enclosed by all these polygons is a katex is not defined. We already know that katex is not defined or an icosahedron exists, and pasting (see figure) together the bases of two equal square pyramids with equilateral sloping faces gives us a katex is not defined or an octahedron (eight equilateral triangular faces, four at each vertex). So by this method, we can also make a katex is not defined or a dodecahedron (twelve regular pentagonal faces, three at each vertex) and a katex is not defined or a hexahedron (six square faces, three at each vertex), respectively. The otherwise so rich English language has, very curiously, a popular synonym, cube, only for the regular solid katex is not defined! Even the simplest regular solid katex is not defined, which can be realized by choosing any four mutually non-adjacent vertices of a cube (see figure) goes only by its rather pedantic name, tetrahedron (four equilateral triangular faces, three at each vertex).
These five beauties are all there in this house! That “white-washed temple” on the rockery was a katex is not defined (did you notice?), and we’ve discussed “Beesmukhi” = katex is not defined at length, and this glass “Pyramid” (believe me!) is really the tip of a big katex is not defined trying to free itself from the confines of this edifice. On the first-floor terrace, there are the Eyes (see photo) or the skylights of that new and skew ground-floor living room. These depict the two pieces of a katex is not defined (cube) that one obtains when it is cut perpendicularly to its main diagonal, and there is much of interest that can be said about these hexagonal sections, as well as the grills showing beneath them. The katex is not defined is also in the house, but as befits its special metaphysical significance, in a different avatar.
To explain this rather cryptic remark, I recall that Aflatoon (i.e. Plato, in Punjabi) had associated katex is not defined with Fire, katex is not defined with Earth, katex is not defined with Air, katex is not defined with Water–-the `Four Elements’–-and katex is not defined with the Universe which contains everything as well as the Quintessence of everything (One is All, All is One). Even as metaphysics, this association looks somewhat arbitrary, for, we saw that katex is not defined and katex is not defined are practically the two sides of the same coin, then why are their associates so different? However, mankind always has, and always shall, try–-with of course varying success–-to find in mathematical certainty the basis for all sorts of beliefs and facts. Indeed, a large number of today’s theoretical physicists seem to be (if not openly declared, then closet) Platonists. For instance, with just a wee bit of poetic license one can say that `the special Lie group katex is not defined,3 in the symmetries of which string theory is currently seeking the truth about quarks4 and practically everything else, is nothing but a higher-dimensional regular solid. Aflatoon would have approved!
“Miss Universe”
That wall-painting with the bevelled frame under my office window depicts a `topologist’s dodecahedron’. Exactly one of the four sides of each cemented panel is subdivided into two by a fifth vertex, so these panels are non-regular pentagons. Further, katex is not defined different colours have been assigned to katex is not defined pairs of panels, but the eleventh panel is left uncoloured, which should alert you to the fact that there is a twelfth face, which is–-of course!–-the obviously uncoloured and missing `glass pane’ in front of this painting. With this understood, you can check that there are, at each of the katex is not defined vertices, exactly katex is not defined of these pentagonal faces, so what we have here is a rather severely squashed katex is not defined. Yet, this distortion is mild enough, and of no import, to a topologist, i.e., `a person who can’t distinguish between his/her coffee-cup and doughnut’.
More seriously, topology is an extreme generalization/ simplification of Euclid’s geometry in which distance and angle become bit players, only continuity matters. Accordingly, two shapes are topologically equivalent if there exists a one-one onto correspondence between them which is continuous in both directions. So a `topologist’s polygon’ with katex is not defined sides may not (unlike the pentagons of this mural) even be planar, and its specified katex is not defined boundary edges, joining one after another of its specified katex is not defined vertices, can be very crooked. This implies that a closed surface bounding any reasonably smooth body admits (infinitely many) polygonal subdivisions into finitely many topologist’s polygons. By choosing one point (these shall be the vertices of the new subdivision) in each face of a polygonal subdivision, and for each pair of faces having a common edge a curve (these shall be the edges of the new subdivision) across this edge between the two points, we get a dual polygonal subdivision of the same surface with each face containing just one vertex of the original subdivision. For example, this construction applied to the mural above would give us a `topologist’s icosahedron’ katex is not defined. More generally a `topologist’s katex is not definedshall be any reasonably smooth body with a polygonal subdivision of its bounding surface into finitely many topologist’s katex is not defined-sided polygons, katex is not defined of them at each vertex.
Topology frees us from the shackles of Euclid’s fifth postulate, which had a decisive say in the last argument, so it seems there can’t be just five possibilities, with katex is not defined and katex is not defined at least three, for which one has a topologist’s katex is not defined on a ball? However the answer remains “yes”, but there are brave new worlds (to wit, pretzels!) on which the remaining lost beauties katex is not defined dwell! We denote by katex is not defined, katex is not defined and katex is not defined the number of vertices, edges and faces of a polygonal subdivision of a surface. If it is a topologist’s katex is not defined, each face has katex is not defined edges and each vertex belongs to katex is not defined edges, while each edge belongs to 2 faces and has 2 vertices, so katex is not defined say katex is not defined, so katex is not defined. Therefore, if katex is not defined is positive, then katex is not defined is negative, which implies (assuming that both katex is not defined and katex is not defined are at least three) as before the same conclusion, viz., katex is not defined, katex is not defined, katex is not defined, katex is not defined or katex is not defined. At first sight, our new hypothesis appears useless, but looks can be deceptive! The number katex is not defined is the same for all polygonal subdivisions of a closed surface, i.e., it is a topological invariant of the surface, and can be easily computed by using any convenient polygonal subdivision of the same.
To get a feel of the proof, subdivide any polygonal subdivision with katex is not defined vertices, katex is not defined edges and katex is not defined faces further by putting a new vertex (a) inside a face with katex is not defined edges and joining it to the vertices of this face, or (b) on an edge and joining it to the vertices of the two, say katex is not defined-sided and katex is not defined-sided, faces to which the edge belongs. In case of (a), the new subdivision has katex is not defined vertices, katex is not defined edges and katex is not defined faces, while in case of (b), it has katex is not defined vertices, katex is not defined edges and katex is not defined faces; so katex is not defined stays put under both operations. The required invariance is then a corollary of the fact that any two polygonal subdivisions katex is not defined and katex is not defined of a surface are related to each other by a finite sequence of polygonal subdivisions katex is not defined, such that at each step, either katex is not defined is such an elementary subdivision of katex is not defined or vice versa.
In particular, katex is not defined for the five regular solids, which are topologically equivalent to a ball, so this formula holds for any polygonal subdivision of its surface. The lost beauties can only be on surfaces whose katex is not defined is non-positive, and one such we’ve already mentioned, viz., the surface of a doughnut or a coffee cup or, if you please, a pretzel with katex is not defined hole. It has katex is not defined and the two figures below depict a katex is not defined and a katex is not defined on it. More generally, the surface of a pretzel, or a block of wood, with katex is not defined holes has katex is not defined, which is a very negative number if katex is not defined is very big, which prompts the query: can all the missing beauties katex is not defined be found on surfaces of pretzels? As we’ll see later, the answer is “yes”, and just like Plato’s five, these katex is not defineds are also geometrically regular, if we are willing to use distances not satisfying Euclid’s fifth postulate!
In the last figure, we used the fact that the surface of a doughnut can be obtained by glueing opposite sides of a square: katex is not defined converts the square into a cylinder, and katex is not defined corresponds to bringing the circular ends of this cylinder together in space. If we alter our glueing slightly to katex is not defined and katex is not defined something very remarkable happens: we obtain (in our imagination) a shape, called Klein’s Bottle, which is locally just like any closed surface, but which cannot possibly exist in three-dimensional space! To see this, note that if we put a circular arrow, on each face of a polygonal subdivision of a closed surface, which is clockwise when seen from the direction of the enclosed body, then each edge occurs with opposite directions with respect to the arrows on its two faces, but Klein’s Bottle does not obey this condition, for example, the choice of arrows depicted in the next figure is bad on the heavy edges. We can hope to find Klein’s Bottle only in a higher-dimensional Euclidean space!
Just so there is no confusion here, let me emphasize once again that geometry is really played out in the mind, it is a logical development of some axioms, and its admittedly helpful, but necessarily imperfect figures are quite dispensable. One goes from two- to three-dimensional space simply by postulating a new direction perpendicular to the old ones, and using this device again and again, we can do Euclid’s geometry in katex is not defined, katex is not defined, or as many finite dimensions, katex is not defined, as we like. We’ll denote this Euclidean katex is not defined-dimensional space by katex is not defined, and connected and closed shapes which topologically are just like katex is not defined locally shall be called katex is not defined-dimensional manifolds. Examples: an katex is not defined-dimensional sphere katex is not defined, i.e., a subset of katex is not defined consisting of all points at a fixed distance from a fixed point; again, any closed surface of Euclidean three-dimensional space is a two-dimensional manifold; but so too is Klein’s Bottle; likewise, by glueing pairs of faces of a subdivision of the surface of a ball one can obtain many three-dimensional manifolds, above all, Poincaré’s manifold katex is not defined, which can be obtained from the body bounded by this bevelled wall-painting and its `glass pane’ by identifying the six like coloured pairs of faces as above.
Whatever one might think of Plato’s katex is not defined Universe/Quintessence–-or its `improvement’ katex is not defined Universe/Quintessence?–-this offspring katex is not defined of katex is not defined has been at the centre of the topological universe for a hundred years and more! It was known that katex is not defined was the only two-dimensional manifold in which every loop was bounded. For some time, Poincaré thought that a like statement was true in dimension katex is not defined, till he found katex is not defined, which has this property but, unlike katex is not defined, is not simply connected: it has loops which cannot be shrunk to a point. Thus was born Poincaré’s Conjecture–-`a simply connected closed katex is not defined-dimensional manifold is topologically equivalent to katex is not defined–-the (erstwhile) holy grail of topology which spawned numerous beautiful results and finally a solution by Perelman so natural that it promises much more. Or, for that matter, take the embeddability of katex is not defined in katex is not defined which (unlike the embeddability of the Klein Bottle in katex is not defined that we disposed off in short order!) turned out to be extremely delicate: the answer is “no” if the embedding is required to be the slightest bit reasonable. Nevertheless, Freedman showed that there is a very crumpled copy of katex is not defined in katex is not defined, and this unexpected “yes” unlocked the door to the complete classification of simply connected katex is not defined-manifolds! I’m sure the last few sentences have gone completely above your head; to be quite frank, I don’t really understand all this myself, all I know is that there is scintillating beauty here, but despite trying off and on, I’ve only caught glimmers of it so far, but enough to keep on trying.
Uncannily enough, this offspring katex is not defined of “Miss Universe” has also been weighed by physicists as the global shape of the spatial universe–-one can almost hear Aflatoon’s “I told you so!”–-as revealed to us by those mysterious radio waves constantly coming to the Earth because of that `Big Bang’ aeons ago. However, I’m sure Plato would have been more impressed by what mathematicians have gotten out of his beloved katex is not defined. To my mind, there is nothing in any other field which is remotely as deep or attractive.
The following is based on tea-time conversations–-for example, in this `new and skew’ room I mentioned before–-with parents of school-going children and others.
A common reaction to these `lectures’ is that they are unlike any my listeners heard in school or college. At which I blurt out that, at least in all of India north of the Narbada (the Narmada river), this is the common reaction to anyone saying anything mathematical in any manner. The unfortunate fact quite simply is that the “mathematics” which is being taught, learnt and done in our schools, colleges and even universities, is as close to mathematics as Johnny Walker’s “chan-chen chin-chon-chun” is to Chinese!5 The tail constantly wags the dog in these parts, and the baby gets thrown out with the bathwater every day: “mathematics” means monotonously memorizing methods for mindlessly doing the stereotypical questions in that looming examination at the tail-end of the year, and reasoning–-such a waste of precious time!–-finds no place in this inane and often panic-stricken drill.
Mathematics is all about formulating and trying to reason out solutions of clearly stated logical problems. Crosswords, chess or bridge problems, and sudokus qualify–-and some fine mathematics is indeed tied closely to games–-but more attention is rightly paid to logical issues and problems that have arisen from our attempts to understand more basic things like space, time, and motion. To my students confused about this word, I always used to say: `proof’ simply means `the reasons why’ and you all know what that means! For example, when someone asks “why are you carrying an umbrella?” you go “because it was raining earlier” if that happens to be your reason, it’s that simple! You have to do exactly the same, no less no more, that is, just clearly give your reasons in simple everyday language, if you want to fully answer any question in this subject; put another way: there are only `proof questions’ in mathematics, none other! Their classification into sums, examples, exercises, problems, propositions, lemmas, theorems and so on, is done in your book only for organizational purposes–-a highlighted theorem is likely to be used again, an exercise probably not–-and does not indicate any basic difference in the way in which their answers have to be penned: the reasons why, that is, a proof, is always a must! And neither is this classification a reliable indicator of difficulty: a prominently displayed theorem may be easy to prove without looking at the argument given in the book–-always a wise policy to adopt till a problem has utterly defeated you!–-while a nondescript exercise might have you running around in circles for many days or even weeks. Also, I used to repeatedly remind my students: mathematical symbols are convenient abbreviations meant to shorten sentences, not a license to murder them! Your argument, whether right or wrong, complete or incomplete, should at least be in grammatically correct sentences. Just like a string, say, e.g. et al. katex is not defined etc. @ katex is not defined op. cit. i.e., of ordinary abbreviations all by themselves, is gibberish (unless you are writing in some code to a fellow-spy) so is almost certainly that extended string of mathematical symbols without any ordinary words between them which you handed in as your answer (unless you and your teacher are two computers who are communicating with each other using a purely symbolic language). If you can’t read out the full form of what you just wrote as an ordinary grammatically sound sentence, then you need to rewrite it. Indeed, in my humble opinion, it is almost always a good policy (especially so for a beginner) to try to use the minimum amount of notation, our mathematics tends to become that much better; anyway, there is certainly no direct correlation between the density per square inch of mathematical symbols and the quality of mathematics!
On the other hand, I am all for a liberal use of another kind of abbreviation–-a picture speaks a thousand words!–-in teaching, learning and doing mathematics. Indeed, via just four motifs and some quickly-drawn related sketches, I’ve conveyed to you, in next to no time and without any jargon, essentially complete proofs of some very famous results of mathematics.6 That I have gone easy on name-dropping was partly because of lack of time, but more out of a fear that you may not confuse the rose with a name, or for that matter a picture, of the rose. Such admonishments are no longer necessary if you have grasped the beauty of the patterns of thought, that is, the mathematics evoked by these motifs. Why, you are smelling the rose now! Your richly deserved reward for the effort that you have put in: mathematics is never a spectator sport, one has to do some mental work of one’s own even to `see’ already-done mathematics. Were my motifs merely making statements, they would have demanded much less, but this was not my intention, and non-trivial effort is sometimes needed to understand even some points of an argument which are labelled `obvious’, `clear’ or `trivial’! These `trivial’ gaps are inevitable in almost any argument of a readable length, and until and unless these missing steps also become clear to you, you obviously have not grasped the argument. Yes, reasoning correctly is the same as redefining things–-if `things’ means finite sets of statements and `redefining’ addition or deletion at each step of a statement which follows trivially from the others–-but mathematics is more: it is the art of redefining things, for example, Euclidean geometry is a never-ending logical thumri7 on just one non self-evident statement, the fifth postulate! Here too, a part of the kick, a great part I think, lies in the suddenness with which yet another lovely and unexpected reformulation arises ever so often out of nowhere, as is exemplified by some gems of this art-form that I have chosen to submit for your consideration via these motifs.
To really appreciate mathematics, one has to `do’ mathematics. If you are game, you can start trying today, and no prerequisites are needed, for, there are all sorts of logical problems, more natural than crosswords and sudokus, so more typical of what mathematicians prefer to think about, which can be found aplenty, and at all levels, from the internet or elsewhere.8 If you are the sort who doesn’t give up easily, then pretty soon will come the day when you’ll be able to tell the world of one which was, oh-so innocent-looking, yet led you such a long and merry dance, before it finally revealed its secret, but not before you had a rather inspired idea of your very own! Then, and only then, shall ye know why, to those who are intensely involved in mathematics, its beauty is palpable! There is no silver bullet, but personally, I try to understand most problems via pictures–-a suitable figure being already the battle half-won!–-and find the same helpful in explaining my solutions. However, I must warn you that a figure not suitable for the task in hand can just as easily lead us astray, and there are times when those underlying patterns of thought can be `seen’ better and more easily without any visual aid.
Obviously, hard work is a must, but don’t do maths `seriously’: it is only a game! A mathematician at his most creative is like a child `in the zone’ with his video-game: as J.L. Synge has suggested, “the human mind is at its best when playing”! So this it’s-only-a-game approach may, just may, increase your chances of solving that problem. Besides, it has the extra bonus of softening the disappointment of failure, which–-let’s face it–-is always a distinct possibility whenever we do anything worth doing. Pertinent too perhaps is the fact that mathematics is a game–-just like say “dots and squares” (which shall occur in a motif below) but with more symbols and moves–-in the precise sense that mathematical statements can be written (though often very cumbersomely) as sentences of a purely symbolic language, and mathematical proofs can be written as finite (but usually extremely long: it would take reams of paper to actually write out some very simple arguments this way!) sequences of these symbolic sentences, each produced from the sentence preceding it by one of a handful of prescribed moves.
As we walk now after our cuppa towards the staircase, I note that walking in the opposite direction towards the skew room–-see the last two pics, right to left–-one has the pleasant feeling that one is in a moving ship turning left! Also, I recall our structural engineer’s “easy method” for calculating the area of this room or any quadrilateral: multiply the average lengths of the two pairs of opposite sides! Easy, but easily seen to be wrong, after which I’d asked–-this is typical of mathematics, one question leads to another–-as to exactly which were the quadrilaterals for which it was correct, which had led in turn to the roof-top motifs that we’ll discuss next.
Emerging out now from the “Pyramid” stair-head on to the roof-top, and looking down over its parapet, we can espy the first-floor sundial “IX to V” and way back, atop that roman aqueduct you saw before, a brand-new little white house which bing has built for himselfkatex is not defined but I’m getting ahead of myself herekatex is not defined let me return to the motifs on the roof-top.
“Four half-turns”
The area of a rectangle is length times breadth, using which one sees that the area of a triangle is half the perpendicular from a vertex to the opposite side times the length of that side. Which in turn shows that, if we deform a quadrilateral by bodily translating a diagonal parallel to itself, respectively parallel to the other diagonal, then the areas of the triangles on either side of this diagonal, respectively the other diagonal, stay put. Therefore, the area of a quadrilateral stays put under a deformation effected by any translation of a diagonal. In particular, a translation katex is not defined to katex is not defined after which katex is not defined and katex is not defined bisect each other, converts any given quadrilateral katex is not defined to a parallelogram katex is not defined (opposite sides parallel and equal) of the same area. By drawing two families of equally spaced parallel lines we now partition the entire plane–-see figure–-into congruent parallelograms, of which katex is not defined is only one, and use katex is not defined and katex is not defined to translate back the entire line containing katex is not defined to the parallel straight line containing katex is not defined, so as to simultaneously deform a whole row of these congruent parallelograms back to the row of congruent orange quadrilaterals, of which katex is not defined is only one. Next, we observe that the two shaded triangles have sides of lengths katex is not defined and katex is not defined. Since any side of a triangle is less than the sum of the other two, it follows that, this deformation increases the average length of a pair of opposite sides of a parallelogram. For a non-rectangular parallelogram, the product of these averages was already bigger than the area, so we conclude that the “easy method” of calculating the area of a quadrilateral is correct only for rectangles, and in all other cases it gives a value which is strictly bigger than the actual area.
Besides, we have stumbled on a striking fact: the plane can be tiled by congruent copies of any given quadrilateral! To see this, we deform all parallelograms having `the same chessboard-colour’ as katex is not defined in the same way: the spaces left between the ensuing orange quadrilaterals will be congruent yellow quadrilaterals, namely, the fusions of the yellow triangles of each strip with those of an adjacent strip. Such a plane tiling is depicted (`building up’, as it were) on an island in the red brick roof-top. I note that, though the quadrilateral used in this motif is convex, i.e., with all angles less than katex is not defined degrees, this was not needed in our proof, a non-convex quadrilateral tiles too.
As does any triangle, because two copies make a parallelogram; but all pentagons do not tile. For example, a regular pentagon does not tile the plane: all its angles are katex is not defined degrees, and katex is not defined does not divide katex is not defined, so no number of these can fit at a vertex. It seems it was Hilbert who suggested, more than a hundred years ago, that it shouldn’t be so hard to classify all convex pentagons which tile the plane, but the progress since then on this problem has been painfully slow and somewhat funny! A longish list of types of convex pentagons that tile the plane has been dressed up, and every 10–15 years or so, someone has claimed that the list was now complete, till someone else came along and cooked the said claim, simply by adding yet one more type, that had previously been overlooked, to the allegedly complete list! The analogous classification of convex hexagons which tile was much easier, and a short and indeed complete list is known since long; and, when the number of sides is more, it is easier still with list really short: the plane cannot be tiled by congruent copies of any convex polygon with more than six sides!
If a tiling has a symmetry relating any pair of tiles, then its symmetries are said to form a crystallographic group. Our quadrilateral tiling is of this type because, when a tile executes a half-turn around the mid-point of one of its edges, one obtains the tile sharing that edge with it, which (is an easy method for laying the tiling, and) shows that the Euclidean motion responsible for the (unique, because our quadrilateral has sides of distinct lengths) congruence T katex is not defined U between any two tiles must, automatically, map tiles to tiles! This symmetry is the composition of any sequence of planar half-turns taking our `dancing quadrilateral’ from T to U, so our group is generated by half-turns around the mid-points of all the edges of the tiling, but we’ll show more: our group is generated by the four half-turns katex is not defined of a single tile! i.e., we’ll show that words in these four letters, interpreted right to left as compositions of the corresponding half-turns, give us all the symmetries of our tiling, it being understood that there is also an empty word katex is not defined with no letters which represents the do-nothing (or identity) motion. However, the same symmetry is given by many words: we have the relations katex is not defined, katex is not defined, katex is not defined, katex is not defined and katex is not defined, and all their obvious consequences.
The first four relations merely say that doing a half-turn twice is the same as doing nothing. More generally, it is easy to check that a half-turn katex is not defined of the plane around katex is not defined, followed by a half-turn katex is not defined around katex is not defined, is the same as translating each point of the plane by an amount equal to, and in the direction parallel to, the directed segment katex is not defined. We’ll also need this pretty proposition–-see figure–-from school geometry: the mid-points katex is not defined of the sides of any quadrilateral T are the vertices of a parallelogram katex is not defined, whose sides are parallel to, and half as long as its diagonals. So katex is not defined , the translation by the directed diagonal katex is not defined; so katex is not defined, the fifth relation; and katex is not defined is the inverse translation by katex is not defined. Likewise, katex is not defined, the translation by katex is not defined, and katex is not defined is the inverse translation by katex is not defined. The required result follows because, starting from this T, we can obviously reach any U by making, if need be, any one of these four half-turns, followed by a suitable number of translations katex is not defined and katex is not defined or their inverses.
It has been known for two hundred years that, up to a composition-preserving bijection, there are exactly katex is not defined more of these crystallographic groups! By 1900, the classification of the analogously defined spatial groups, which are the ones that really matter in the study of crystalline substances, was also essentially complete, there being now, exactly katex is not defined spatial crystallographic groups! This had entailed arguments much more delicate than in the planar case, which led Hilbert to include, in his famous list of problems from that year, the determination of the crystallographic groups of Euclidean katex is not defined-space, as the first part of his Eighteenth Problem. By 1930 or so, it was known that (like our two-dimensional example above) crystallographic groups of katex is not defined-space are finitely generated and have katex is not defined independent translations, and that there are only finitely many of these groups but this number is still unknown for katex is not defined.
The second part of the ‘Eighteenth Problem’ was about not necessarily crystallographic tilings, and had asked, amongst other things, for a particular three-dimensional example. From the fact that Hilbert did not ask for a similar planar example, it is likely that he had expected the answer “yes” to the following question: if congruent copies of a convex polygon tile the plane, then can they also tile it crystallographically? The second motif on this roof-top, that is, “Marjorie’s example”, shows that the answer is “no”!
Since one turns through katex is not defined degrees as one goes around a convex polygon, the five angles of such a pentagon katex is not defined obey katex is not defined degrees, and, in general, they obey no other condition. To make a tiling it is necessary–-otherwise, its copies won’t fit at a vertex–-that some of these angles, possibly with repetitions, should add up to katex is not defined degrees. Again, it is necessary that some of the edges katex is not defined be equal: otherwise, the two tiles across any edge have to be reflections of each other, so we can tile only if the five angles are divisors of katex is not defined adding up to katex is not defined, that is, never. A longish list of fitting conditions, sufficient for tiling, is now available.
The pentagon used here obeys the conditions katex is not defined, katex is not defined and katex is not defined that were shown by Marjorie Rice to be sufficient in 1975, and the fifth edge katex is not defined is shorter. So, in any tiling by congruent copies of this pentagon, one has triads of tiles like the one in the upper left corner. The reflection in katex is not defined is the sole Euclidean motion that throws the white tile of this triad on the one below it. For the tiling to be crystallographic, this reflection must map the third tile of the triad on itself, which is impossible because our pentagon is congruent to itself only via the identity map. So this is a counterexample to a conjecture of Hilbert’s; also, it is an example of what can be achieved by sheer enthusiasm! For Marjorie Rice, you see, was a housewife who had studied maths only till her high school thirty-five long years before, when she chanced one day upon an article on pentagonal tilings in the Scientific American that led her to start making more and more of these tilings on her own.
Footnotes
- Also, I’ll now be able to refer my inquisitors to this article, which policy should, if nothing else, save those of our visitors who pose their queries more out of politeness than curiosity, from being bored to death by my possibly long-winded answers!
- Editor’s note: A short-lived subatomic particle made up of a quark and an antiquark.
- Editor’s note: katex is not defined is a katex is not defined-dimensional exceptional simple Lie group with an katex is not defined-dimensional maximal Torus.
- Editor’s note: Quarks are elementary particles that make up protons and neutrons.
- Bollywood comedians were and are prone to mimicking alien languages to raise laughs. A further note for mathematicians in developed countries: beware of drawing parallels with shortcomings in your own system, believe me, they are all insignificant in comparison! ‘The law of large numbers’ implies a few of us do manage to learn mathematics despite this system, and this tiny percentage then tends to drift to your shores; but in India itself, it is not this handful, but the mainstream of “mathematicians”–-a totally different species really!–-which is very much in control of the whole show from top to bottom.
- For example, the existence of non-fractional or `irrational numbers’ was proved by the Pythagoreans, and is still amongst the three or four deepest things in school mathematics; yet the proof which I’ve given in “Perfectly proportioned” is perfectly easy! Moreover, this pictorial method–-which, much to my bafflement, I’ve not seen used in any textbook!–-is quite general, and repeatedly deleting a square on the smaller side of a rectangle or `Euclid’s algorithm’ also gives us, when it terminates, the `highest common factor’ of the sides, or equivalently, the subdivision of the rectangle into equal squares of the largest size. Again, the theorem that there are five and only five regular solids, was the probable aim of Euclid’s long treatise, and comes at its very end, and is not even taught in schools and most colleges. The informal continuity argument which I used in “Beesmukhi” for the existence of an icosahedron (or golden rectangle) was used by Eudoxus in a more formal guise to define multiplication of lengths, similarity of triangles, to which topic the hardest of Euclid’s books, Book V, was devoted; and much later, in the hands of Dedekind in the nineteenth century, this `completeness property of the line’ led to a complete arithmetization of geometry, and people started calling the points of the number line `real numbers’. And so on.
- Semi classical Indian vocal music in which one typically repeats, virtually fondles, just one sentence, say a declaration of one’s love for Krishna, in wildly different ways.
- For example, the problems from the 2009 International Mathematical Olympiad, a competition for gifted high school students, are posted with my solutions to the same at my website on www.kssarkaria.org/docs/imo2009.pdf.