While it is not a subject that has any place in a school, save perhaps for incidental conversation with some group of enthusiastic students, it may interest the teacher to consider this proposition in connection with the fourth dimension just mentioned. Consider these triangles, where ∠A = ∠A', AB = A'B', AC = A'C'. We prove them congruent by superposition, turning one over and placing it upon the other. But suppose we were beings in Flatland, beings with only two dimensions and without the power to point in any direction except in the plane we lived in. We should then be unable to turn ⧍A'B'C' over so that it could coincide with ⧍ABC, and we should have to prove these triangles equivalent in some other way, probably by dividing them into isosceles triangles that could be superposed.
Now it is the same thing with symmetric spherical triangles; we cannot superpose them. But might it not be possible to do so if we could turn them through the fourth dimension exactly as we turn the Flatlander's triangle through our third dimension? It is interesting to think about this possibility even though we carry it no further, and in these side lights on mathematics lies much of the fascination of the subject.
Theorem. The shortest line that can be drawn on the surface of a sphere between two points is the minor arc of a great circle joining the two points.
It is always interesting to a class to apply this practically. By taking a terrestrial globe and drawing a great circle between the southern point of Ireland and New York City, we represent the shortest route for ships crossing to England. Now if we notice where this great-circle arc cuts the various meridians and mark this on an ordinary Mercator's projection map, such as is found in any schoolroom, we shall find that the path of the ship does not make a straight line. Passengers at sea often do not understand why the ship's course on the map is not a straight line; but the chief reason is that the ship is taking a great-circle arc, and this is not, in general, a straight line on a Mercator projection. The small circles of latitude are straight lines, and so are the meridians and the equator, but other great circles are represented by curved lines.
Theorem. The area of the surface of a sphere is equal to the product of its diameter by the circumference of a great circle.
This leads to the remarkable formula, a = 4πr2. That the area of the sphere, a curved surface, should exactly equal the sum of the areas of four great circles, plane surfaces, is the remarkable feature. This was one of the greatest discoveries of Archimedes (ca. 287-212 B.C.), who gives it as the thirty-fifth proposition of his treatise on the "Sphere and the Cylinder," and who mentions it specially in a letter to his friend Dositheus, a mathematician of some prominence. Archimedes also states that the surface of a sphere is two thirds that of the circumscribed cylinder, or the same as the curved surface of this cylinder. This is evident, since the cylindric surface of the cylinder is 2πr × 2r, or 4πr2, and the two bases have an area πr2 + πr2, making the total area 6πr2.
Theorem. The area of a spherical triangle is equal to the area of a lune whose angle is half the triangle's spherical excess.
This theorem, so important in finding areas on the earth's surface, should be followed by a considerable amount of computation of triangular areas, else it will be rather meaningless. Students tend to memorize a proof of this character, and in order to have the proposition mean what it should to them, they should at once apply it. The same is true of the following proposition on the area of a spherical polygon. It is probable that neither of these propositions is very old; at any rate, they do not seem to have been known to the writers on elementary mathematics among the Greeks.