The Distance to Look Your Best
For every object there is a distance at which it looks its best.
In his wonderful book A Mathematician's Apology
At the end of the book, Hardy cites a remark by
Following is the final paragraph of the book.
"Mr. J. M. Lomas put this point more picturesquely when we were passing the Nelson column in Trafalgar Square. If I had a statue on a column in London, would I prefer the column to be so high that the statue was invisible, or low enough for the features to be recognizable? I would choose the first alternative, Dr. Snow, presumably, the second."
This is how it often happens in real life. The one who could ask the right question did not care to. While the one who apparently would care to find out did not know to inquire. I think if it comes to having a statue, the important question is What size of the column the statue looks its best?
While I can't give a definite answer to this question I can assert with complete certainty (disregarding, of course, other people tastes) that, given a statue, there indeed exists a certain distance (perhaps not defined uniquely) from which the statue would look most attractive. This is what is known in mathematics as a proof of pure existence. Its application underlies another Hardy's thesis that Mathematics, a few minor applications aside, is completely useless.
I base my assertion on the idea that any object's attractiveness is a continuous function f(x) of the distance x from which the object is viewed. I would call this Statement A. Statement B claims that f(x) attains its maximum. I'll show that the implication A=>B is a consequence of a certain property of continuous functions. We already had an example how a simple property of continuous functions helps prove a nontrivial result. Here I plan to use another one. But this is to be understood at the outset. Assume A=>B has been established. One obvious way to derive B is to apply modus ponens. Which means first proving A, then proving A=>B. B will then follow.
Now we come to the reason why Hardy considered Mathematics useless. In so far as A is a statement about "real world"
phenomena, Mathematics is helpless to prove it. Mathematics can supply reasons to believe this statement (e.g., small change in the distance results only in a small change in attractiveness) but there is absolutely no way to prove A rigorously. In the words of
First I make two further assertions:
- Placed at infinity, the statue is invisible and, therefore, has attractiveness of 0.
- At the distance 0 too, one can sense the statue, perhaps smell it but definitely not see it. So f(0)=0.
The function f is defined for all x≥0. From 1 we can also say that f()=0. (There is no cheating here believe me. I just cut corners a little to avoid getting carried away.) If we bend now the semiline x≥0 into a circle (topologically this is OK) we get a continuous function defined on what's is called a compact set. The following theorem then applies.
A continuous function defined on a compact set attains on this set its maximum and minimum values.
As one would expect, there are various problems related to viewing a statue placed on a pedestal. Regiomontanus (1436-76) sought the distance from which the statue on the plinth subtended the largest angle.
Compact sets are ubiquitous in Mathematics with a variety of different properties many of which are often equivalent. Thus there is a good deal of various definitions as well. The one which is important here is that a set is compact iff it's both bounded and closed.
Aeschylus (525-456 B.C.)
A Greek tragic dramatist. Wrote 90 plays of which only 7 have survived: The Suppliant Women, The Persians, the Seven Against Thebes, Prometheus Bound, a trilogy Orestia (Agamemmon, Libation Bearers, Eumenides.)
Eudoxus (400-350 B.C.)
A student at Plato's Academy. Known as a mathematician and astronomer who substantially advanced number theory, and gave the first systematic explanation of the motion of the Sun, Moon, and planets.
- G. H. Hardy, A Mathematician's Apology, Cambridge University Press, 1994.
- Encyclopaedia Britannica.
- Littlewood's Miscellany, B. Bollobas (ed), Cambridge University Press, 1990.
- P. J. Nahin, When Least Is Best, Princeton University Press, 2007 (Fifth printing).