WikiJournal Preprints/The unreasonable effectiveness of the cathetus rule in ancient and modern optics
Article information
Abstract
Kepler notwithstanding, the rule was reaffirmed by Tacquet for plane and spherical mirrors, except for the case in which the rays converge toward a point behind the eye. This became known as the "Barrovian case" because it troubled Barrow, in spite of his modern concept of an image. Barrow demolished the cathetus rule for the tangential image except in the paraxial limit, and Newton salvaged it for the sagittal image. The rule then seems to fade from history.
But the rule is equivalent to the assumption that the image is stigmatic and the cathetus well defined. This narrow assumption is approximately true in the first-order (paraxial, "Gaussian") analysis of lenses and mirrors, and unacknowledged applications of the ancient rule can indeed be discerned in modern expositions of that subject. Moreover, the validity of the rule for the sagittal image fills a critical gap in meridional ray-tracing through spherical surfaces: by tracing the chief ray from an off-axis object-point, then applying the cathetus rule to the successive surfaces, one can locate successive sagittal image-points on the chief ray (produced rectilinearly through surfaces as necessary), and hence assess astigmatism to leading order, without tracing any rays outside the meridional plane.
Introduction: Undeniable implausibility edit
The cathetus rule, as it came to be called, is the ancient optical principle according to which the image of an object-point formed by a reflective or refractive surface lies at the intersection of the line of sight and the cathetus, the latter being the perpendicular let fall from the object-point to the surface. The line of sight and/or the cathetus may be produced rectilinearly through the surface. In the earliest statements of the rule, but not all statements, the surface is assumed to be plane or spherical. If the premise that the image-point lies on the line of sight is taken as tautological, the rule reduces to the proposition that the image-point lies on the cathetus.
The rule is easily distilled to an absurdity, especially if we ditch the assumption that the surface is plane or spherical. Suppose that the image is seen in a part of the surface (which we shall call the active part) far removed from the cathetus. If we now deform the surface in a small neighborhood of the cathetus so that the cathetus moves, does the image also move although the object and the observer and the active part of the surface do not? Or if, while preserving the active part, we damage another part of the surface so that there is no longer any cathetus, does the image disappear? For that matter, does the image disappear—even in a plane or spherical surface—if we merely cover the point on the surface where the cathetus falls?
History edit
Euclid edit
In the oldest surviving source of the cathetus rule, namely the Catoptrics traditionally attributed to Euclid, the last-mentioned absurdity seems to be not only tolerated as an implication, but relied upon as a premise, and even stated among the postulates at the outset: the 4th and 5th postulates, as paraphrased by A. Mark Smith, state that in plane, convex spherical, and concave spherical mirrors, "if a perpendicular (the so-called cathetus) is dropped from an object to the mirror's surface, and if the point at which it meets that surface is covered, the object will no longer be seen."[1] Euclid cites these postulates, together with the premise that the image lies on the line of sight (Postulate 2), to prove the cathetus rule for plane mirrors (Proposition 16), convex spherical mirrors (Proposition 17), and concave spherical mirrors (Proposition 18).[2]
Ken'ichi Takahashi has suggested, in Euclid's defense, that the 4th and 5th postulates refer correctly to the case in which the observer looks along the cathetus, so that the line of sight is blocked by the object,[3] or, I should add, by the observer's head, if it is between the object and the mirror. Under that interpretation, the cathetus rule may seem to express the reasonable premise that the image-point lies at the intersection of two lines of sight. But that does not explain why the cathetus (if it exists) should be one of them, or why all choices of the other should intersect the cathetus at the same point (if at all), or how we can speak of "the" image if they do not. Neither does any "two lines of sight" argument appear in subsequent ancient and medieval efforts to defend the rule (as we shall see). Nevertheless the rule is upheld as often as it is mentioned, for both reflection and refraction, by all optical writers until Benedetti (1585),[4] and by all better-known ones until Kepler.[5]
Johannes Kepler, in the third chapter of his Paralipomena (1604), initially interprets Euclid's premise in the more literal, absurd manner, and duly dismisses it. Supposing that C is the foot of the cathetus from the object-point A, Kepler says of Euclid:
That the place of the image of the object A is on AC he proves thus: "For," he says, "when the position C of the mirror is taken, upon which the perpendicular falls, the visible object A is no longer seen." If by "taken" you understand "occupied" (that is, that the position C is covered), the axiom is false…[6]
Kepler offers Euclid a lifeline but cannot save him:
Let us now grant that Euclid's axiom is to be understood differently, so as to state that if the observer were situated at A and C were covered, then A would not be seen. Then the axiom is perfectly true, but the conclusion does not follow from it, except for perpendicular viewing. The argument does not carry over from a perpendicular to an oblique observer.[7]
Kepler's lifeline is not as general as Takahashi's; but even if it were, the argument would still "not carry over" to an oblique viewer, in as much as it would not explain the distance of the perceived image along a single line of sight.
In Euclid's Postulate 4 and Proposition 16, the Greek káthetos is rendered in Latin as perpendicularis by at least three translators,[8] whereas Postulate 5 and Propositions 17 and 18 refer to the cathetus not by any name, but as the line drawn to the center of the sphere.
Ptolemy edit
When interpreting the authorities on geometrical optics before 1000 CE, we must remember that they believed in visual rays emitted by the eye, so that the "incident" ray is from the eye, not from the object-point; the "cathetus of incidence", if it is mentioned, is therefore the perpendicular from the eye to the surface, while the perpendicular from the object-point to the surface, if it must be distinguished, may be called the cathetus of reflection or refraction. So it is with Ptolemy's Optics, written some years after his Almagest, but known to us only through a 12th-century Latin translation of a now lost, incomplete Arabic translation;[9] even the Latin version was not available to Kepler,[10] and not printed until 1885.[11]
Ptolemy affirms the cathetus rule for reflection in a plane or spherical mirror, on the empirical ground that a thin rod standing perpendicularly on the reflecting surface appears aligned with its reflection[12] when "properly viewed outside the mirror."[13] That premise is certainly true if the rod is viewed with one eye, due to the axial symmetry about the rod (the cathetus), implying a bilateral symmetry ("mirror symmetry") about the plane of the eye and the rod. But it proves only that the reflection is in that plane—not that it is necessarily collinear with the rod. Moving the eye around the rod does not prove anything more, because the said plane moves with the eye, so that the image, if not collinear with the rod, moves with the plane.
Ptolemy then notes that the perpendicular to the surface at the point of reflection is in the plane of the line of sight and the cathetus,[14] which is indeed the case if we retain the symmetry. Thus he makes the cathetus rule the premise of an aspect of the law of reflection—an aspect that seems to have escaped his predecessors[15]— namely that the incident and reflected rays and the normal at the point of reflection are coplanar![16]
Later in his treatise, Ptolemy makes the corresponding aspect of the law of refraction dependent on the cathetus rule. As evidence for the latter, he cites the already old "floating coin" experiment, in which a coin lying on the bottom of a tub and hidden by the rim is seemingly raised into view by filling the tub with water.[17] He does not explain why the image should be raised precisely vertically, as the cathetus rule requires—and as will seem to be confirmed in observations that tacitly exploit the axial symmetry. And although the cited experiment concerns a plane refracting surface, Ptolemy goes on to apply the rule to spherical refracting surfaces without further justification.[18]
In addition to these flawed empirical demonstrations of the rule, Ptolemy attempts a rational explanation, saying that the location of the image must be unique, and that "to any point on a given object there is one and only one cathetus, whereas any other line, being oblique with respect to this cathetus, is subject to numerous variations."[19] There are at least two weaknesses in this argument. First, some qualification must be imposed on the image-point in order to ensure uniqueness; Ptolemy himself shows that for given positions of the object-point and the eye, a concave mirror can give multiple points of reflection, and these, according to the cathetus rule, will give multiple image-points on a common cathetus.[20] Second, and more seriously, if we admit the uniqueness of the image-point and of the cathetus, that does not prove any other connection between the two.
In the Latin text of Ptolemy's Optics, which is already a translation of a translation, the cathetus is again called the perpendicularis.[21]
The early effectiveness of the cathetus rule for reflection, belying its lack of foundation, is thrown into relief by one author who seems unfamiliar with it: the Syrian Christian polymath Qusṭā ibn Lūqā (820?–912? CE). In only one case—that of a plane mirror—does he specify the location of a reflected image. To explain why the image in (e.g.) a convex mirror is diminished,[22] Ibn Lūqā compares the apparent extent of the image on the reflecting surface with that given by a plane mirror—whereas Euclid[23] and Ptolemy,[24] aided by the cathetus rule, have correctly deduced not only that the image is diminished, but also that it is closer to the mirror than the object is, and that convex mirrors make the world look convex.
By the end of the 10th century, however, Ptolemy's Optics has been translated into Arabic,[25] ready to be studied—and surpassed—by "the most significant figure in the history of optics between antiquity and the seventeenth century."[26]
Alhacen edit
For Abū ‘Alī al-Ḥasan ("Alhacen") ibn al-Ḥasan ibn al-Haytham,[a] whose Book of Optics was written circa 1030 CE,[27] the eye is not an emitter of visual rays, but a receiver of light rays.[28][b] Hence, in reflection or refraction, the "incident" ray is not from the eye, but from the object-point, and the "perpendicular of incidence" is dropped from the object-point, while the "line of sight" now coincides with the "line of reflection" or the "line of refraction". This reversal of direction does not affect the geometry and therefore does not of itself furnish any new arguments for the cathetus rule—although Alhacen offers many, some empirical and some rational, for both reflection[29] and refraction,[30] none of which is an exemplar of the rigor for which he is otherwise renowned.
In the empirical category, for a plane mirror,[31] Alhacen recommends putting marks on Ptolemy's rod (but does not name Ptolemy here). Then he tries a cone instead of a rod, and invites us to imagine such a cone extended to the mirror from every point on the object. He notes that the same observations are true for convex spherical mirrors.[32] Conceding that they are not generally true for a convex cylindrical mirror, Alhacen claims that the cathetus rule is observed to hold for such a mirror if we concentrate on a single point on the object.[33] It seems to escape his notice that if the image of a point on a thin rod standing perpendicularly on the mirror does not align with the rod, then the line of reflection, when produced through the mirror, does not intersect the cathetus at all. Obviously, by symmetry, the image will appear to align with the rod if the plane of the eye and the rod contains the axis of the cylinder or is perpendicular thereto; and his experiments confirm these cases.[34] In intermediate cases, if the image of the tip of the rod is to fall on the cathetus, the line of sight and therefore the point of reflection must be in the plane of the eye and the cathetus, so that the point of reflection must be on the elliptical section of that cylinder by the plane—which is precisely what Alhacen claims,[35] without checking the requirement that the normal to the cylinder at this point is in the same plane (that of the incident and reflected rays), as he stipulates in his statement of the law of reflection.[36]
After briefly claiming that the same procedure can be applied to convex conical mirrors, with the same results (!), Alhacen turns to concave spherical mirrors.[37] Fashion a right circular cone whose slant height is equal to the radius of curvature of the mirror, mark a "line of longitude" (generating line) on the cone, and mount the cone on the mirror, so that the apex of the cone is at the center of curvature of the mirror; then, he says, the cone and the line of longitude will appear to extend into the mirror. Next, having placed the apex at the center of curvature, mount a thin rod on the mirror so that its tip is between the apex and the mirror while the image of the tip is in front of the mirror; then the image will be nearer to the eye (note the singular) than the apex is, and you will be able to bring the tip, the apex, and the image into a single line of sight. Finally he claims that the cathetus rule holds for concave cylindrical and conical mirrors, by the same flawed reasoning as for their convex counterparts.
For the concave spherical mirror, modern readers will recognize the apparent continuation of the cone into the mirror as the virtual image of an object inside focus, and will recognize the image of the tip of the rod as the real image of an object-point between the focus and the center of curvature. Otherwise the above observations of Alhacen, in so far as they are correct, are trivial consequences of the axial symmetry of the surface about the cathetus or catheti; and in only one case—that in which we look along the cathetus, through the image of the rod-tip to the tip itself—does he establish that the image is on the cathetus and not merely in the plane of the cathetus and the eye.
For refraction, Alhacen rightly cites the floating-coin experiment as proof that the image is displaced from the object.[38] He then asserts the cathetus rule, and claims to prove it by a variant experiment in which a vertical diameter and a sloping diameter are marked on a vertical disk, which is immersed in water up to a point above the intersection (center of the disk), with the marked surface facing the eye (note the singular), which is best placed just above the water level. The vertical diameter then appears to continue vertically into the water, so that the point of intersection (the object-point) appears to lie on the continuation (the cathetus), while the sloping diameter appears to be kinked at the surface. He further recommends rotating the disk so as to interchange the roles of the two marked diameters.[39] But again he fails to explain why the image is on the cathetus and not merely in the plane of the cathetus and the eye.
This defect is not repaired by the next experiment (using the same disk, but no water), which is intended to interchange the places of the rare and dense media.[40] A rectangular glass block, with its top and bottom faces horizontal, is affixed to the disk near the top, covering a portion of each marked diameter. The observer's eyes are positioned so that one eye is close to the top face of the block and sees both diameters through the block, while the other eye sees the intersection without refraction (bypassing the block). Then the former eye perceives the entire vertical diameter (the cathetus) as vertical and aligned with the portion seen by the other eye without refraction, although the two eyes see the intersection at different points on this diameter. Thus the image of the intersection, as seen by the former eye, appears to be on the cathetus. But again this appearance follows from the weaker condition that each eye perceives the vertical diameter (or the relevant part thereof) to be in the plane of that eye and the vertical diameter: as these planes intersect on the vertical diameter, that diameter must appear in its true alignment, even if the eyes disagree on the positions of its constituent points (only one of which—the intersection—looks different from the others).
In the rational category, for reflection, Alhacen sets out to explain "why visible objects are perceived through reflection where the image is located and why the image lies on the normal from the visible object to the surface of the mirror."[41] On the latter question, he first says that we judge the distance of an image by comparing its angular size with its absolute size.[42] For the purpose of establishing the cathetus rule, by which we propose to locate points on images and thence determine absolute sizes of images, this is a circular argument.
For plane mirrors, says Alhacen, "since the image does not appear on the surface of the mirror but behind it, it is more appropriate and reasonable for it to appear upon rather than outside the normal."[43] Taking that as a premise, he correctly locates the image. He adds that if the image were beyond or in front of the cathetus, then, since the image lies on the line of reflection, it would be further from or nearer to the eye and would therefore subtend a smaller or larger angle.[44] But in fact, according to the law of reflection, it would subtend the same angle because the line of reflection from each point on the object would be unchanged. Kepler raises another objection: Alhacen "says that when an image is perceived on the perpendicular, it has the proper magnitude belonging to the thing itself." But this magnitude, as Kepler notes, cannot be a necessary condition for the correct location of the image, because it does not hold for curved mirrors.[45]
For a convex mirror, Alhacen argues verbosely but validly that the image of the center of the eye (note the singular) must be on the cathetus due to symmetry. But then he extends the argument to the image of any other point on the eye, although the symmetry is broken in that the image is no longer seen along the cathetus; and he briefly claims that the same logic applies to a concave spherical mirror and to a concave or convex conical mirror,[46] although in the conical case, even the surface is not axially symmetrical about the cathetus.
Just before the claim on concave and conical mirrors, Alhacen remarks:
The state of natural things is in accordance with the situation of their principles, and the principles of natural things are hidden.[47]
"By these words he says two things," says Kepler. "First, he repeats the very thing that was proposed to prove (for they say nothing different), and second, he says by way of appending the cause, that it is hidden. But this is not demonstrating."[48] And just after the claim on concave and conical mirrors, Alhacen continues:
And the place of the image will universally be on the perpendicular in any mirror, because there is no place outside the perpendicular in which the form maintains a likeness and identity of position.[49]
Thus he seems to argue from the location of the thing seen to the location of the image; this mode of reasoning will reappear later.
Broadening the attack, Kepler adds: "But this fact further strongly confutes the Optical writers, that they do not give the same cause of this matter in reflection as in refraction."[50] Indeed, in support of the cathetus rule for refraction, Alhacen apparently reasons that the motion of the light ray in the medium containing the object-point can be resolved into a component in the direction of the cathetus, and a component perpendicular thereto.[51] An obvious weakness in that argument, if we credit it with any relevance at all (which Kepler does not, as we shall see), is that we can choose the former direction differently and still perform the resolution. Kepler also argues, somewhat cryptically, that refraction further weakens Alhacen's connection between image size and correct image location, in that the size-distance relation for refraction is different from that for reflection.[52]
On three pillars—the cathetus rule, the correct law of reflection, and an incomplete law of refraction—Alhacen builds a comprehensive and largely correct theory of image location, magnification, and distortion in seven types of mirrors,[53] image location in plane and spherical refracting surfaces,[54] and magnification by spherical refracting surfaces.[55] Taking the first pillar to imply that an object-point is perceived to lie on the cathetus from that point to the outer refracting surface of the eye, he even offers an explanation why the eye perceives the direction of the object-point although light from that point strikes all points of the eye.[56][c] Yet neither he nor anyone before him has offered a firm foundation for that first pillar.
For the case of reflection in a plane mirror, however, the ingredients of a valid proof of the cathetus rule have been unwittingly served up by Ptolemy and Alhacen. From the law of reflection and the cathetus rule, Ptolemy proves that the image-point is as far behind the mirror as the object-point is in front.[57] If the cathetus rule is not assumed a priori, the same geometric argument simply shows that the reflected line of sight to the object-point, when produced from the eye through the mirror, intersects the cathetus as far behind the mirror as the object-point is in front (provided that the line of sight intersects the cathetus at all, as is obvious from the symmetry). By the generality of this line of sight, all such lines of sight intersect the cathetus at the same point, and therefore intersect each other at a common point—a stigmatic image—which is on the cathetus. But Ptolemy does not package the argument that way. Neither does Alhacen, who again shows that the line of sight intersects the cathetus as far behind the mirror as the image-point is in front.[58]
The three friars edit
In the West, as David C. Lindberg explains,
the character of the twelfth-century revival of learning was dramatically transformed by a flood of translations from both Greek and Arabic; what was at first chiefly an intensification of interest in ancient Latin sources became a quest for new knowledge, previously unavailable in the West. … In optics, … it was not until the middle of the thirteenth century that the full corpus of Greek and Arabic works on the subject was at hand in the major European centers of learning, able to shape (and indeed revolutionize) the thought of Western scholars.[59]
Foremost in the "corpus" is Alhacen's Book of Optics, translated into Latin circa 1200 as De Aspectibus. This is the main source, albeit not the only source, for the three leading Western "perspectivist"[60] works, namely
- Roger Bacon's Perspectiva, written circa 1263, and dispatched to the papal court as part 5 of his Opus Majus in 1267 or 1268,
- Witelo's Perspectiva, written at the papal court, probably in the first half of the 1270s, and
- John Pecham's Perspectiva Communis, probably written at the papal court in the late 1270s, just before the author's appointment as Archbishop of Canterbury.[61]
Bacon, according to Lindberg, is the first Western optical writer to cite Ptolemy's Optics, and only the third to use Alhacen's De Aspectibus.[62] He also draws on Euclid's Catoptrics in a circular attempt to establish the cathetus rule, which he then applies in selected cases.[63] Thus he becomes, as far as I have noticed in this brief inquiry, the first author to use the Latin term cathetus in the optical sense—mostly in the phrase cum catheto ("with the cathetus").[64]
Witelo is clearly familiar with Bacon's work, presumably through the patronage of the papal confessor (and prolific translator of ancient Greek treatises), William of Moerbeke.[65] But, whereas Bacon summarizes De Aspectibus, Witelo expands on it, incorporating material from Euclid, Hero of Alexandria, Ptolemy, al-Kindī, Alhacen's treatise on parabolic burning mirrors, and Ibn Mu‘ādh's essay on twilight, rearranging the content with a mathematical introduction and a consistent theorem-and-proof format—suitable for a textbook or reference—and adding a theological prolog for a Roman Catholic readership.[66] And whereas the Latin text of Alhacen's De Aspectibus does not seem to contain the word cathetus or any inflected form thereof (although perpendicularis and perpendiculari are ubiquitous), Witelo's Perspectiva uses that word in some form more than 150 times, including at least 19 occurrences of cum catheto.[67]
Pecham also is clearly familiar with Bacon's work, probably through personal acquaintance, both men having joined the Franciscan order at Oxford in the 1250s and been resident at the Franciscan convent in Paris in the 1260s.[68][d] Pecham, like Bacon, summarizes Alhacen, but follows him more closely,[69] and again uses the expressions cathetus and cum catheto.[70][e]
Bacon's work, although the first of the three to be written, was the last to be printed, in 1614. Pecham's Perspectiva Communis, although the last to be written, spawned the largest number of manuscripts, was printed earliest (1482/3) and most often, and was clearly intended for the widest readership;[71] "if it were published today," says Smith, it "would probably be retitled Perspectiva ad asinos or Optics for Dummies."[72] Witelo's Perspectiva was printed in 1535 and reissued in 1551. In 1572 it was printed for the third time, and Alhacen's De Aspectibus for the first time, in a single weighty volume under the title Opticae Thesaurus, expertly edited—reconstructing diagrams and adding explanatory notes, citations of mathematical sources, proposition numbers and headings for Alhacen's work, and cross-references within and between the two works—by the mathematician Friedrich Risner.[73][f] It was Risner's edition that brought the works of Alhacen and Witelo to the attention of Benedetti and Kepler.[74] And according to Smith, it is Risner's edition that we should blame for changing the spelling of Alhacen to Alhazen and adding Latin endings thereto.[75]
Witelo, in the second of two postulates ("petitiones") in Book 5 of his Perpectiva, says that the location of the object-point with respect to any mirror is taken along the cathetus. He uses this postulate only to establish the cathetus rule in Prop. 36: "In any type of mirror, any visible point is seen on the cathetus of its incidence." For the image must be seen according to the aforesaid location of the object-point, or else it will not be seen "through the mode of image" (per modum imaginis), presumably meaning "as the image of an object" and not, e.g., as an independent apparition.[76]
Kepler rejects Witelo's logic: "First, I say that he does not do well to argue from the location of the thing seen to the location of the image, that is, out of fear that the image might cease to exist if the image should not correspond to the object in position. And indeed, in this way he would easily overturn all of catoptrics. For many things of this sort are different in the image than in the object. Next, for my part, I do not understand the postulate which he repeats from the beginning of the book, except for" the hint given by Alhacen (above) in claiming that the state of natural things is in accordance with the situation of their principles.[77]
In his next proposition, Witelo repeats the cathetus rule for any type of mirror, and tries to prove it by claiming that the image of each point of an extended object must be on the cathetus in order to reproduce the size and shape of the object. But this argument is applicable only to a plane mirror, and the resulting geometric transformation of the object is not the only one that would preserve size and shape; e.g., the geometric reflection could be combined with a translation.[78]
On the cathetus rule for refraction, Witelo faithfully recites Alhacen's argument concerning the components of motion. "It is hard to see the connection," says Kepler, "and even if you admit it, a mathematical deduction of what was proposed to be proved will not be forthcoming."[79] Worse, Euclid's "axiom" reappears, adapted for refraction. As Kepler reports:
To Alhazen's opinion, Witelo appends the view that we had noted above as irrelevant and false in Euclid. He says, "If on the surface of a transparent body a point upon which there falls a perpendicular from the seen object, happens to be hidden by the interposition of something opaque between the seen object and the point, the object will not be seen." I say that this is false. For provided that the point be free, from which the ray from the seen object to the eye is refracted, the image of the radiating object in the depth will perforce be seen.[80]
Thus Witelo, after striving through 400 dense pages to improve on Alhacen, regresses 15 centuries in one sentence for a last-ditch defense of the cathetus rule.
Benedetti: Binocularism reconsidered edit
Giovanni Battista Benedetti's Book of Various Mathematical and Physical Speculations (Turin, 1585) contains five treatises followed by a miscellany of letters. One of the letters, addressed to a certain Conradus Terl, recognizes the role of the retina in vision, and in so doing may have anticipated Felix Platter, although Platter was first to publish.[81] Of interest here, however, is the series of eight undated letters headed "on the reflections of rays" and addressed to "the most excellent philosopher Francesco Vimercato",[82] which, according to Robert Goulding, were probably written in the early 1570s.[83]
The first letter of the series gives several examples showing that Hero's principle of least distance does not necessarily apply to a concave mirror. In the first example,[84] Benedetti shows that if we have a concave spherical mirror, with the object-point n and the observation point q on the spherical surface (extended if necessary), and seek a reflection point b opposite the chord qn, the position of b is that which maximizes the path length,[g] contrary to Hero's teleological principle. Hence Benedetti prefers a mechanistic explanation of the law of reflection, which he offers in the third letter of the series.[85] That explanation is unconvincing by modern standards, but sets a fruitful precedent: in the same letter, Benedetti goes on to seek a similarly mechanistic explanation of the cathetus rule—assuming the use of two eyes.
Benedetti is not the first optician to consider binocular vision; Ptolemy, Alhacen, and Witelo have all confronted it.[86] But, whereas his predecessors have treated it as a problem—how to avoid seeing double—Benedetti treats it as an opportunity: how to perceive depth. Like Alhacen, he understands that if an object-point is to be seen singly and most distinctly, the axes of the two eyes must converge on that point; but, unlike Alhacen, he explicitly associates this convergence of the visual axes with the distance at which an object is seen singly, and he recognizes it as the mechanism of distance perception. Idiosyncratically, he adds that the distance is still perceived when looking with one eye, because (he says) the object is still seen best when the axis of the other eye passes through it.[87]
Armed with this new understanding of binocular vision, Benedetti considers the reflection of an object-point in a plane mirror, viewed with both eyes. Alhacen has used the cathetus rule to locate the image seen by each eye separately, and concluded that the two images coincide so that "there will only be one image… and it will lie at the same place as it would if it were viewed by only one eye."[88] Benedetti inverts this reasoning: because the two lines of sight, produced through the mirror, intersect the cathetus at the same point, they intersect each other at that point, which is therefore the image—and on the cathetus. Thus, for the special case of reflection in a plane mirror, Benedetti gives the first valid proof of the cathetus rule for lines of sight other than the cathetus itself.[89]
For a convex spherical mirror,[90] and (more tersely) for a concave spherical mirror,[91] Alhacen again relies on the cathetus rule to show that each eye sees the image-point at the same location, provided that the eyes are placed symmetrically about a plane containing the cathetus.[h] In the concave case, for which Alhacen does not even offer a diagram, Benedetti gives a detailed original argument, which again avoids using the cathetus rule as a premise. Supposing at first that the object-point and both eyes are on the reflecting sphere, Benedetti shows that both reflected lines of sight must intersect the cathetus. But only if the points of reflection are equidistant from the object-point will the intersections coincide, in which case there is a single image-point on the cathetus; otherwise, he says, the two eyes see separate images. We can see that the same reasoning applies if the eyes are moved forward, closer to the cathetus. But, as Benedetti notes, if they cross to the other side of the cathetus the object-point will be seen double and blurred ("confusè "), wherever the points of reflection may be.[92] Moreover, he says, if the two eyes are in the same plane of reflection (confusingly called the surface of reflection), then
the place of the image will not be on the cathetus of incidence, but outside it, because the intersection of the visual axes will not be on the cathetus but outside it—and in that intersection there takes place the vision of only one image, something that the ancients did not notice.[93]
Thus Benedetti ends the third letter by asserting a counterexample to the cathetus rule. He does not give a proof here. In the sixth letter, however, he shows that a spherical burning mirror with an object-point beyond the center of curvature does not give a single focal point on the cathetus, and concludes:
Whence it follows that the convergence of reflected rays from a concave spherical mirror is not at one and the same point on the cathetus of incidence, when they are reflected from points not equidistant from the same cathetus. From this reasoning it may also be seen that what I wrote to you in the third letter is true, namely that whenever the visual axes or reflected rays are in one and the same plane of reflection, then the image of the object will in no way be seen on the cathetus of incidence in a concave spherical mirror.[94]
Indeed the violation of the cathetus rule in the third letter involves points of reflection that are not equidistant from the cathetus. Concerning the violation in the sixth letter, Benedetti apparently reasons that that if the reflected rays in a common plane of reflection intersect the cathetus at different points, then they must intersect each other at points off the cathetus, as asserted in the third letter.
In the seventh letter (the last that deals with specular reflection), Benedetti gives another counterexample and another salvage, both for a convex spherical mirror. For the counterexample, he considers two rays from the same object-point in the same plane of reflection, and shows that if the reflected rays, when produced, intersect each other on the cathetus, then they cannot both satisfy the law of reflection.[95] For the salvage, he takes an object-point b, from which the foot of the cathetus is g, and shows that if a ray from b is reflected with sufficiently glancing incidence at a point q, the produced reflected ray intersects the cathetus bg in the air outside the sphere.[96] He concludes:
Therefore, if the reflected rays from the object b come to both pupils from two points of such a mirror, as distant from point g as q is, then the common point of convergence of the visual axes will be on the cathetus… where the image will appear for the reasons given above, so that this can happen not only with concave, but also with convex mirrors.[97]
Of course the salvage does not depend on the point of convergence being outside the sphere. It depends only on the axial symmetry about the cathetus, which implies that each produced reflected ray intersects the cathetus somewhere, and that if the points of reflection are equidistant from the foot of the cathetus, so are the points of intersection.[i]
Kepler: Generalized lines of sight edit
So the first disproof-and-salvage of the cathetus rule, with the first explicit counterexamples, is due to Benedetti. But here we have heard from Kepler first, because it is to him that we owe the first rebuttals of traditional arguments for the rule. Having disposed of these arguments, Kepler introduces a series of propositions of his own, "in order to make evident the true cause of the place of the image, ignorance of which is a disgraceful stain in a most beautiful science".[98] For Kepler, as for his predecessors, an image is essentially an illusion:
The Optical writers say it is an image, when the object itself is indeed perceived along with its colors and the parts of its figure, but in a position not its own, and occasionally endowed with quantities not its own, and with an inappropriate ratio of parts of its figure. Briefly, an image is the vision of some object conjoined with an error of the faculties contributing to the sense of vision. Thus, the image is practically nothing in itself, and should rather be called imagination.[99]
But what is the location of this illusory thing? In Proposition 8, Kepler eventually informs us that the distance of the image from the eye(s) is judged by triangulation, "as is more amply discussed below concerning parallaxes", with a baseline given by the distance between the eyes, or motion of the head, by which "a single eye stands in for two that are far apart", or, at worst, the breadth of the pupil, as elaborated in Propositions 9 and 14.[100][j] Thus he follows Benedetti in referring to triangulation, but goes beyond Benedetti by allowing baselines other than the one given by binocular vision.
Also in Proposition 9, we read that Nature intended the edges of the eyelids, and the line connecting the eyes, to be in the plane of the horizon in order to maximize the baseline for triangulation within that plane. For that reason, according to Proposition 10, when you look at an object-point via a convex mirror or "the flat surface of denser media," you try to position your eyes so that the respective lines of sight meet the surface at equal angles. If this condition is not met, says Kepler (again somewhat cryptically), the two lines of sight generally fail to intersect, so that you see two images, unless you strain your eyes so as to look along skew lines.[101] (Recall that Benedetti has noted the double vision for asymmetric placement of the eyes, but only for reflection, and only for a concave mirror.[102])
For cases that meet the "equal angles" condition, Kepler salvages the cathetus rule.[103] In Definition 2, he introduces the plane of reflection or refraction (again confusingly called the surface of reflection or refraction), which earlier writers have defined as the plane containing the observation point ("center of vision"), the object-point, and the point of reflection/refraction. This plane is perpendicular to the reflecting or refracting surface (Prop. 16). Now let an object-point be viewed by both eyes via a plane or spherical reflecting or refracting surface (Prop. 17). For each eye, there is an point of reflection or refraction, and a line of sight ("visual ray") through that point. The image-point, if one exists for the given positions of the eyes, is the point where these lines of sight meet, which must be on the line of intersection of the respective planes of reflection/refraction (since these contain the lines of sight). These planes contain the object-point and are perpendicular to the surface at the respective points of reflection/refraction, and hence, by the symmetry, contain the cathetus, which is therefore their line of intersection, which (as already established) contains the image-point. Thus "all the images of the seen object will be on the perpendicular from the object to the surface, whether refracting or reflecting; and this will happen to such an extent that the distance of the points of the seen object is grasped in the manner described, whether by the two eyes, or by the diameter of the breadth of one eye."[104] And it is grasped in that manner by the two eyes if the two lines of sight make equal angles with the surface (Prop. 10).
Goulding initially describes Kepler's Prop. 17 as a "rapid proof to show that the image seen in a plane mirror would lie on the visible object's cathetus", this proof being "identical to Benedetti's" except in "only two ways": first, Kepler does not repeat Benedetti's claim that monocular depth-perception involves the alignment of the other eye; and second, Kepler extends the argument to plane refraction. But, as Goulding adds on the same page, "Kepler intended this argument to apply to any reflective or refractive surface of any shape," subject to appropriate symmetry in the placement of the eye(s).[105] Indeed Kepler himself allows the surface to be spherical,[106] but in Prop. 17 he does not say whether it is convex or concave; here his reasoning depends solely on axial symmetry about a well-defined cathetus and is otherwise indifferent to the shape of the surface or whether it is reflective or refractive.[k]
Here I should mention a case, not mentioned by Benedetti or Kepler, in which the cathetus rule holds although the "equal angles" condition does not. Recall that Takahashi defends Euclid by noting that if you try to look along the cathetus at the reflection of an extended object, your line of sight is blocked. Now this problem does not arise with refraction. Accordingly, consider a smooth refracting surface with the object-point on one side and your eyes on the other, with one eye (the "first") on the cathetus, so that the line of sight produced from the first eye through the surface is the cathetus. If the surface and media are axially symmetrical about the cathetus, or otherwise bilaterally symmetrical about the plane of the object-point and both eyes, then, by that symmetry, the line of sight produced from the second eye through the surface intersects the cathetus. And the point of intersection is the binocular image-point.
Kepler gives his first counterexample to the cathetus rule in Proposition 18.[107] Unlike Benedetti, he does not consider a concave mirror in this connection. For a convex spherical mirror, like Benedetti, he considers two rays from the same object-point in the same plane of reflection. But, whereas Benedetti supposes that the two (produced) reflected rays meet on the cathetus, and shows that they cannot both satisfy the law of reflection, Kepler supposes the law of reflection and shows by a purely geometric contradiction argument that the (produced) reflected rays meet on the observer's side of the cathetus. Indeed, as he shows more simply, the point at which they meet moves outside the sphere as we approach grazing incidence. He concludes that the cathetus rule is not universally true, "unless this restriction also be added, that the sense of vision be so located with respect to the mirror as nature shows"[108]—that is, unless the lines of sight make equal angles with the surface.[109] But, he adds, the departure from the cathetus is imperceptible if only one eye is used, because the lines of sight are so close together.
Kepler's theory of image location, including his disproof-and-salvage of the cathetus rule, was thought to be novel until 2018, when Benedetti's partial priority was revealed by Goulding. Kepler himself presents his theory as revolutionary, without citing Benedetti's Speculations. Had he known this work, says Goulding, "such an omission would have been out of character for the usually scrupulous Kepler."[110] On that score, I can easily believe that Benedetti and Kepler independently thought of proving the cathetus rule for a plane mirror by inverting Alhacen's binocular argument, because (pardon the anecdote) so did I, before I knew that Alhacen had introduced a second eye or a second line of sight. I can even believe that Benedetti and Kepler (unlike me) independently thought of supporting their argument by citing the same proposition XI.19 of Euclid's Elements, because mathematicians of bygone centuries (unlike me) knew their Euclid and cited him slavishly. Like Benedetti, Kepler gives the counterexample of the convex mirror with the two eyes in the same plane of reflection; but Goulding concedes that Kepler's treatment is "more concise and elegent", and I further submit that it gives more information. Like Benedetti, Kepler rejects Hero's least-distance explanation of the law of reflection (propagated through Alhacen and Witelo), but for different reasons: the variation of the path length is negligible for reflections of stars in ponds, and the argument fails completely for refraction, supporting Kepler's claim that "these operations are not those of a form that acts deliberately or keeps a goal in mind, but of matter bound to its geometrical necessities."[111] There is a letter in which Kepler expresses a high opinion of Benedetti's mathematics—an opinion which, according to Goulding, he could hardly have formed from works other than the Speculations.[112] But if we accept that assessment, the evidence is still leaky because the letter dates from 16 Nov. 1606, two years after the Paralipomena; and even if Kepler encountered the Speculations earlier, there is still a plausible mechanism by which he could have overlooked Benedetti's innovations on the cathetus rule, namely by reading only the systematic treatises in the first part of the book, and not the diverse collection of letters in the second part, which is hard to navigate because Benedetti's book (unlike Kepler's) has no table of contents and no index. On that inconclusive note, I abandon this subplot and return to the Paralipomena.
In Proposition 19 of the third chapter, Kepler gives the first counterexample to the cathetus rule for refraction. He considers a plane refracting surface, with the object-point in the denser medium and the two eyes in a common plane of refraction in the rarer medium, and shows that for sufficiently oblique incidence, the image departs from the cathetus toward the observer. He does this without knowing the exact law of refraction, by first supposing that the angle of deviation is the same for the two angles of incidence, and then showing that the departure from the cathetus is greater if, as in fact, a more oblique incidence causes a greater deviation.[113][l]
Ending Kepler's third chapter, in Proposition 20, is the reductio ad absurdum that begins the present paper: the cathetus rule implies that we can move (e.g.) a reflected image by deforming the reflective surface in the vicinity of the cathetus while preserving it in the vicinity of the point(s) of reflection—whereas in fact, as Kepler says, "it makes no difference to the place of the image, what sort of mirror surface is placed opposite the object, since the proportions of image formation are all taken from that part of the mirror upon which are the two points of reflection of light to the two eyes."[114][m]
The imprecision of the distance of the image as judged by one eye becomes crucial in the fifth chapter of the same work, where Kepler considers a distant object seen through a glass sphere filled with water. He admits that if the eyes are sufficiently far behind the sphere, the image is seen in the air when viewed stereoscopically with two eyes,[115] but is seen on the facing surface of the sphere when viewed with one eye,[116] and may be seen in two places on that surface if both eyes are trained on the surface.[117] As Alan E. Shapiro points out, this case shows that the perceived image and the geometrical image (Shapiro's terms) of the same object-point may have different locations, the former image being located by a pair of rays, and the latter by a pencil of rays (Kepler's term).[118]
Later in the same chapter, Kepler considers refraction of parallel rays by a spherical surface. For deviations less than 10 degrees, using the approximation that the deviations are proportional to the angles of incidence, he shows that the refracted rays cut the axis at very nearly the same point.[119] Then he introduces what we call the real image, which he calls a picture (Latin pictura), and which, by his definition, seems to require a screen upon which it appears:
Since hitherto an Image has been a Being of the reason, now let the figures of objects that really exist on paper or upon another surface be called pictures.[120]
The subsequent Propositions 20 & 23, which concern the picture projected by a water-filled glass sphere, imply that in order to make an intelligible picture, the rays originating from one point on the object need not converge exactly to one point in the picture; near-convergence is enough. In both cases, the "last intersection"— that is, the limit of the intersection of the refracted ray with the axis, as the incident ray deviates less and less from the axis—is recognized as an image, implying that an image need not be perfectly stigmatic.[121]
But, as noted by Antoni Malet—against the view of previous 20th-century scholars—it is not at all clear that Kepler regards a geometrical image as acting on the eye in the same way as an object. In his Paralipomena[122] and in his Dioptrice of 1611, in cases where a real image is formed in the air, Kepler conspicuously fails to invoke it in explaining what is seen by the eye(s) without a screen,[123] although he does invoke it in explaining how an upright picture can be subsequently formed on paper through another lens.[124]
These three points—that the perceived and geometrical images may not coincide, that the convergence of the rays may be approximate, and whether a geometrical image is optically equivalent to an object—are revisited later in the century.
Gregory: Images redefined edit
James Gregory's Optica Promota of 1663—best known for his invention of a reflecting telescope (in the Epilogue), his independent rediscovery of the law of refraction (Proposition 4),[n] and his preface belatedly acknowledging Descartes' prior publication of this law, of which Gregory was unaware until he went to press[o]—does not directly address the cathetus rule, but is pivotal in that it parts company with Kepler at the three points just mentioned. According to Gregory,
An image is a similitude of a radiating body, arising from the divergence or convergence of the rays belonging to individual points of the radiating body, from individual points or to individual points of a single surface.[125]
This definition does not leave room for any distinction between perceived and geometrical image-points, or between binocular and monocular viewing.[126] Nor does it allow the point of divergence or convergence to be an approximation or limiting case. And it attributes the "similitude" to the defining feature of a geometrical image: the convergence or divergence of the rays. Hence, concerning the image of an object-point B seen by reflection, Gregory writes:
From the points of the pupil [A], draw through the points of reflection all the lines of reflection, in whose concourse L (provided they concur) will be the apparent place of the image of the point B. If, however, they do not concur in one point, no distinct and fixed place of the image of the visible point B will exist.[127]
Although the supporting diagram shows the point of concourse as being behind the mirror (giving a virtual image), the wording is equally applicable if the point is in front (giving a real image). Moreover, the initial statement of the problem indicates that the solution should be equally applicable to refraction,[128] which it is. And indeed the initial definition is applicable to both real and virtual images, and to both reflection and refraction.
The unprecedented precision and generality of Gregory's definition lead Malet to the opinion that "no major printed optical text prior to James Gregory's Optica promota (London, 1663) offers the grounding work for the modem mathematical theory of optical images".[129]
Tacquet: Affirmation and exception edit
According to Malet:
By the late sixteenth century it was a well-known fact that [distant] things perceived through convex lenses appear inverted or upright according to the distance from the eye to the lens. Empirical accounts of the properties of convex lenses, such as William Bourne's 'Treatise on the properties and qualities of glasses for optical purposes' (1585),[130] did not fail to mention that (1) when the eye is removed from the lens beyond the 'burnynge beame', or focus, all [distant] things seen through the lens appear inverted, and (2) when the eye lies between the burning focus and the lens all things seen through the lens appear upright and enlarged, and the more so the closer the eye to the focus.[131]
Here we are chiefly interested in Malet's point (2), under which we should also note that when the eye reaches the focus, as Bourne says, "yow shall discerne nothinge thorowe the glasse: But like a myst, or water".[132]
Kepler explains point (2) in his Dioptrice. He shows that when an object-point is viewed through a convex lens at such a distance that the refracted rays converge toward another point, with the eye between that point and the lens, the object is seen upright (Proposition 70) and blurred ("confusa"), the more blurred as the eye is further from the lens, since the convergence is greater (Prop. 71), and most blurred when the eye reaches the point of convergence (Prop. 74). Moreover the image is magnified (Prop. 80), and the more so as the eye recedes from the lens toward the point of convergence (Prop. 82).[133]
Gregory, in the following passage, confirms the blur but is indifferent as to whether the convergence is caused by a lens or a mirror:
Corollary 4.
… [I]f the rays from one point converge toward another point behind the eye [post oculum], no place can be assigned to this point except (if we will) behind the eye at the concourse of the rays: hence the image formed of such points may conveniently be called an image behind the eye.
Prop. 30. Theorem.
With the rays from one point converging toward a point situated behind the eye, it is impossible to make distinct vision.
For every eye is so constructed as to see distinctly either remote [points], which radiate as if in parallel, or near ones, which send out diverging rays; but in no eye is the retina distinctly painted by the converging rays (which originate from artifice and not from nature), because the crystalline humor[p] gathers [congregat] these rays into a point in the vitreous humor, and sends them disgregated to the retina, from which disgregation arises blurred vision—as shown by Kepler.[134]
Kepler and Gregory do not mention the cathetus rule in this context. But the mirror version of the experiment—in which rays converge from a concave mirror toward a point behind the eye—is the only case in which the cathetus rule is not upheld by André Tacquet S.J. in his Catoptrica Tribus Libris Exposita (Catoptrics explained in three books), posthumously published in 1669. At the end of Book 1, Tacquet says of the cathetus rule:
This theorem is the most fruitful of all of catoptrics, whereby nearly all the phenomena of plane and convex mirrors are demonstrated, as will become evident from all of book two and book three. Consequently, its truth is in turn extraordinarily established: for it cannot be false, since it agrees wonderfully with all phenomena without exception.[135]
But he immediately adds:
Whether and when this proposition has a place with concave mirrors will be plain from what is to be said in Book 3.[136]
And in Book 3, just before Proposition 22,[137] he warns that "in concave ones we postulate this only for the moment, until the extent of its truth becomes apparent." In Props. 29 & 30,[138] he comes to the experiment just mentioned, in which the eye intercepts converging rays from a concave mirror. Here the cathetus rule locates the image behind the eye—in agreement with Gregory's terminology—whereas the mind inevitably construes any visible image as being in front of the eye, leading Tacquet to conclude:
Therefore Alhazen, Witello, and other opticians following them err in considering that just as in plane and convex mirrors so in concave ones the image never appears outside the intersection of the reflected ray with the cathetus of incidence.
The quote is translated by Alan E. Shapiro,[139] who further reports that as late as 1735, Samuel Clarke faulted Tacquet for making even that exception to the cathetus rule,[140] while Christian Wolff upheld the rule for two eyes provided that they were not in the same plane of incidence.[141] In allowing the eyes to be asymmetrically placed in different planes of incidence, Wolff's proviso is too permissive—as Benedetti and Kepler knew.
Barrow "destroys" the doctrine edit
The Rev. Isaac Barrow, inaugural Lucasian Professor at Cambridge, in the first of his Lectiones XVIII (Eighteen Lectures) published in 1669, defines images thus:
… Images are clearly nothing other than light from objects so reflected or refracted that it is again collected in one place and in such a situation as it had when it flowed from the original object and proceeded in a direct path to the eye; whereby it happens that images represent objects similarly but as if they were located elsewhere.[142]
In the third lecture he reprises the idea:
Indeed by the term image, I understand nothing but the place from which a number of rays (as many as suffice to affect vision) seem to diverge or spread in the same manner as when they are diffused by primary objects.[143]
As Shapiro explains,[144] Barrow's principle of image location, which was rightly credited to him in the 18th century, was wrongly credited to Kepler in the 20th. In fact Barrow follows Gregory rather than Kepler by strictly equating the perceived and geometrical images, and by recognizing (more explicitly than Gregory) the manner in which an image imitates an object. But, as we shall see, he follows Kepler rather than Gregory by not requiring an image to be strictly stigmatic.
The case of the eye intercepting converging rays, whether from a convex lens as in Kepler's example, or from a concave mirror as in Tacquet's, is known as the "Barrovian case"[145] because it is taken up by Barrow—citing Tacquet but, strangely, not Kepler in this connection—at the end of his lectures; the relevant passage has been translated from the Latin by Berkeley and, independently, by Clarke.[146] Here Barrow notes that because diverging rays appear to come from a finite distance, and parallel rays from an infinite distance, converging rays ought to appear to come from beyond infinity,[147] whereas in fact, in the case in question, the image may seem closer than the object, and certainly seems to come closer as the rays become more convergent[148]—that is, as the eye recedes toward the point of convergence—until "the object appearing extremely near begins to vanish into mere confusion."[149] Indeed the image seems to come closer because (as mentioned by Kepler but not Barrow) the magnification increases, and because (as mentioned by neither, but easily observed) the direction of the image becomes more sensitive to sideways movement of the eye—although the apparent movement of the image is the wrong way for an image in front of the eye. As Barrow notes, the looming of the image offends not only "our Notion" (his principle of image location), but also "that antient and common one" (the cathetus rule):
It seems so much to overthrow that antient and common one, which is more a-kin to ours than any other, that the learned Tacquett was forced by it to renounce that Principle, (upon which alone, almost all his Catoptricks depend) as uncertain, and not to be depended upon, whereby be overthrew his own Doctrine.[150]
After this caricature of Tacquet's position, Barrow immediately concedes:
Which, nevertheless, I do not believe he would have done, had he but considered the whole matter more thoroughly, and examined the difficulty to the bottom.[151]
The concession is startling—the more so for its want of explanation—in that it seems to imply that Tacquet's purported counterexample to the cathetus rule is not a counterexample. That indeed is the position subsequently taken by Clarke, who argues that the cathetus rule is not in play, because the reflected rays, being intercepted by the eye, do not meet the cathetus.[152] In his commentary on the Barrovian passage, Clarke explains the apparent closeness of the image by noting that (i) if the eye is sufficiently close to the point of convergence, we cannot simultaneously train both eyes on the object-point through the glass (however large it may be), and with only one eye the judgment of distance is inferior and influenced by the proximity of the glass, and (ii) as the eye recedes, the increasing magnification (and brightness, in the case of a luminous object) makes the image seem to come closer.[153] Berkeley's explanation,[154] although earlier, is more modern, noting that that the convergence of rays via a lens or mirror is not the only reason why an object may appear blurred; another is that the object is too close!
A late twist in the story of the "Barrovian case"— presumably unknown to all the characters from Bourne in the 16th century to Clarke in the 18th—is that the concave-mirror version, including the application of the cathetus rule, is discussed in Ptolemy's Optics.[155] For a given position of the eye and a given point of reflection, Ptolemy marks three object positions for which the cathetus rule will place the image respectively at the eye, behind the eye, and nowhere (or, as we would say, at infinity), and indicates the range of object positions for which the rule places the image behind the mirror. For the case in which the rule would place the image behind the eye, he claims that the object seems to be in front of the mirror (in violation of the rule) because the visual faculty is biased toward the surface from which the reflection comes. Similarly, when the rule places the image at infinity or at the eye, Ptolemy says it is perceived to be on the mirror. Later, for a single spherical surface, Ptolemy gives what would amount to a refractive version of the experiment, if it were described in the same detail.[156] Less likely to have escaped notice is the related example given by Alhacen,[157] and cited by Bacon.[158] for which the cathetus rule places one of the images behind the eye. Here Alhacen does not comment on the evident impossibility, whereas Bacon, like Ptolemy, blames the limitations of vision:
But in all these diversities of appearances the image is never truly apprehended unless its place is beyond the mirror, or between the sight and the mirror; hence what appears in the center of the eye or behind the head is not perceived there. For vision is not born to apprehend the positions of forms unless they are in front of it.[159]
The point toward which the rays converge in the "Barrovian case" is, in Barrow's words, neither "light… again collected in one place", because the light never gets there, nor a place from which rays "seem to diverge", because they converge. (That is, in modern terms, it is neither a real image nor a virtual image.) Therefore, according to Barrow's criteria, it should not be the perceived image. But what should be? Barrow does not have an answer that passes the test of experiment. So we are forced to admit that in the "Barrovian case", as in all the other cases surveyed by Tacquet (if he is to be believed), the ancient cathetus rule does no worse than Barrow's post-Keplerian principle of image location.[q]
However, Barrow's principle manifestly does better than "that antient and common one" in explaining another case: the location of the image seen by refraction in a plane surface, which Barrow analyzes by some inspired pre-calculus geometry and "the most recently given law or hypothesis of refraction (discovered by the illustrious Descartes, but now, I believe, embraced by most of the better Opticians…)".[160] Given an object-point A in the rarer medium, another point X in that medium, and the constraint that the (produced) refracted ray must pass through X, Barrow seeks the refracted ray and finds that there are two solutions which merge under a certain condition, under which he renames X as Z and supposes that the eye looks along the refracted ray, which thereby becomes what he calls the "principal ray"— the ray through the center of the eye.[161] He then argues that Z is where the eye sees the image, because if two refracted rays from the same object-point A in the same plane of refraction, one on each side of the principal ray, are produced back through the interface, they intersect the principal ray on opposite sides of point Z. And this point, as he has found, is beyond the cathetus with respect to the eye.[162] Whereas "Alhazen and most of the multitude of opticians after him" would place the image at the intersection of the produced principal ray and the cathetus, Barrow notes that only one ray from A is produced back through that intersection unless the eye is on the cathetus,[163] in which case, as he shows in the previous lecture,[164] all refracted rays that enter the pupil will, when produced back through the interface, intersect the cathetus at nearly the same point.
For refraction at a plane surface with the eye off the cathetus, the image-point found by Barrow is what we now call the tangential image because it is the point of tangency between the (produced) refracted ray and the caustic (common tangent curve) of all the (produced) refracted rays originating from the same object-point in the same plane of refraction.[165] This tangency explains his procedure: for the given object-point, there can be two refracted rays produced through the target point X if it is off the caustic, but only one if it is on the caustic.[166] With the eye on the cathetus, the image-point found by Barrow is the cusp of the caustic, which we now call the paraxial image, and which satisfies the cathetus rule in the limiting case.[r] Barrow refers to the tangential image as the "relative" image, which is "mutable" and "less important", and to the paraxial image as the "absolute" image, which is "simple" and "principal".[167] In both cases he applies the term "image" to a point that nearly coincides with all the intersections between rays entering the pupil from the same object-point; in this he follows Kepler rather than Gregory.[168]
Nowadays, of course, we tend to think of the tangential image in contradistinction to the sagittal image. The latter, Barrow ignores;[169] where he says that only one (produced) refracted ray passes through the image-point alleged by the cathetus rule, he implicitly confines his attention to rays in the same plane of refraction on the same side of the cathetus. It is left to his successor and former student, Isaac Newton, to point out that in consequence of the axial symmetry about the cathetus, a whole cone of refracted rays shares this property, giving a second image-point, which we now call the sagittal image, and which exactly satisfies the cathetus rule.[170] Recall, however, that Newton's observation is partly anticipated by Kepler, who considers two rays in the said cone,[171] but subsequently ignores the sagittal image.[172]
Interchanging the dense and rare media, we return to the case considered by Kepler in which (e.g.) one looks into still water from above, with the eyes in a common plane of refraction.[173] Here Barrow offers the following "not inelegant" experiment, which confirms the proposition of Kepler (not cited) and "clearly destroys the doctrine of Alhazen and his followers".[174] Attach a weight F to a string and hang it from a pivot G, with G above the water's surface and F below, adjusting the height and depth so that, when your eyes are level and facing the string, the refracted image of F appears just below the reflected image of G. With your eyes in this natural attitude, the two images indeed appear aligned with the string and its reflected image—that is, on the cathetus. But now tilt your head so that both eyes are in a common plane of reflection/refraction, and the refracted image of F has moved toward you, away from the reflected image of G—that is, away from the cathetus, in defiance of the ancient rule. Seeing is believing.[s]
For oblique reflection in a convex spherical mirror, Barrow's "relative" image, like Kepler's image with the eyes in a common plane of reflection,[175] is on the observer's side of the cathetus. Considering the object-point as a general point on an infinitely long line perpendicular to the mirror, Barrow shows that the image of the line is curved and angled to it, whereas the cathetus rule, "gratuitously assumed and contrary to reason", would have the image in line with the object. But, in an apparent reference to Tacquet—who claims to have verified experimentally "a hundred times" that the image is in line, and backs the claim by appealing to the axial symmetry about the cathetus,[176] although the line of sight violates that symmetry—Barrow concedes that the deviation of this image from the cathetus is harder to observe than the deviation of the refracted image in the aforesaid plumb-line experiment, with the eyes in a common plane of refraction: there the reflected image marks the cathetus, and the refracted image is manifestly not on it.[177]
Newton and the "axiom" of stigmatism edit
Newton's salvage of the cathetus rule for the sagittal image, in the case of axial symmetry about the cathetus, is relegated to his posthumously published Optical Lectures (originally delivered 1670–72). In his better-known Opticks, the first 19 pages consist of eight definitions followed by eight "Axioms and their Explications", by which he then claims to have given "the sum of what hath hitherto been treated of in Opticks" or at least "what hath been generally agreed on".[178]
"Despite his grandiose claim," says Shapiro,[179] "he did do a remarkable job of compressing elementary geometrical optics into nine pages." The compression begins with the following "axiom" on p. 10:
Ax. VI.
Homogeneal Rays which flow from several Points of any Object, and fall perpendicularly or almost perpendicularly on any reflecting or refracting Plane or spherical Surface, shall afterwards diverge from so many other Points, or be parallel to so many other Lines, or converge to so many other Points, either accurately or without any sensible Error. And the same thing will happen, if the Rays be reflected or refracted successively by two or three or more Plane or Spherical Surfaces.
The Point from which Rays diverge or to which they converge may be called their Focus. …
In other words, for reflection or refraction by a plane or spherical surface, if the angles of incidence are not too large, the image of the object-point (although the term image has not yet been introduced) will be near enough to stigmatic, at least for "homogeneal" (monochromatic) rays. This axiom leads to four rules, stated without proof, for locating the focus of the rays reflected or refracted by a plane surface ("Cas. 1"), reflected by a spherical surface ("Cas. 2"), refracted by a spherical surface ("Cas. 3"), and refracted by a lens ("Cas. 4"). Here we should emphasize, although Newton does not, that in the first three cases—those which involve a single surface and a single cathetus—the stated location of the focus is on the cathetus.
In his next "axiom" (p. 14), Newton gives the condition under which a set of foci makes a picture; but, unlike Kepler, he implicitly acknowledges the independent existence of the foci:
Ax. VII.
Wherever the Rays which come from all the Points of any Object meet again in so many Points after they have been made to converge by Reflection or Refraction, there they will make a Picture of the Object upon any white Body on which they fall.
Thence he explains the camera obscura, the eye, long- and short-sightedness, and correcting spectacles.
In the final "axiom" of the set (p. 18), he endorses Barrow's principle of image location without naming Barrow or using the word image:
Ax. VIII.
An Object seen by Reflexion or Refraction, appears in that place from whence the Rays after their last Reflexion or Refraction diverge in falling on the Spectator's Eye.
For a plane mirror, he explains, if that place of divergence is point a, "these Rays do make the same Picture in the bottom of the Eyes as if they had come from the Object really placed at a…" As further examples he cites a prism with refracted rays diverging from d, and a lens with refracted rays diverging from q. Then, without further ado, he refers to q as an image and goes on to use that term routinely, although he has not used it previously. But he has implied, immediately after Ax. VI, that a place of divergence is a "focus", allowing us to interpret that "axiom" as giving sufficient conditions for the approximate stigmatism of the image.
Now let us consider the implications of stigmatism. For brevity, we shall follow Barrow by using the term inflection to mean either reflection or refraction.[180][t]
If the image of an object-point in the inflecting surface is stigmatic, it is the common point of intersection of all the inflected rays (for a real image), or of all the inflected ray-lines produced back through the surface (for a virtual image); in either case, it is a point of intersection of all lines of sight to the object-point via the surface (produced rectilinearly through the surface if necessary). Hence a ray incident along the cathetus, when "inflected" (and produced if necessary), passes through the same image-point. But that ray is undeviated: it is transmitted without refraction or reflected back along itself, so that the "inflected" ray and the resulting line of sight remain on the cathetus. Thus the image-point lies at the intersection of the cathetus and any other line of sight (whether the image is real or virtual). Conversely, if the image-point lies at the intersection of the cathetus and the line of sight, then, if "the" image-point is to be consistent, all such lines of sight must intersect the cathetus at the same point, and therefore must intersect each other at that point, which is therefore a stigmatic image. In short:
- The cathetus rule is equivalent to the proposition that the image of the object-point is stigmatic within the working aperture, which admits the cathetus.
Notice that the derivation of this equivalence does not depend on any law of reflection or refraction except that a normally-incident ray is undeviated. Thus the equivalence, whatever its importance or lack thereof, may be rightly assigned a status that the ancients wrongly assigned to the cathetus rule itself: the status of being as fundamental as the laws of reflection and refraction.
In the case of the sagittal image formed by inflection at a surface axially symmetrical about the cathetus, the image is stigmatic within a working aperture consisting of two infinitesimal areas, one containing the foot of the cathetus and the other containing a circle with its axis on the cathetus.
The cathetus admitted by the working aperture may be notional provided that it is unambiguous, so that we cannot move the cathetus without moving the "active" part of the surface. For example, while the conditions of Newton's "Ax. VI" do not say that the working aperture admits the cathetus, they do say that the inflecting surface is plane or spherical, which implies that it can be uniquely produced (extended) so as to admit a unique undeviated ray—the "notional" cathetus. And under these conditions, according to the "axiom", the image is stigmatic "either accurately or without any sensible Error."
So, after the cathetus rule has been reduced to a peculiarity of the sagittal image and dismissed from the elementary teaching of optics, a proposition implying wider conditions under which the rule holds "either accurately or without any sensible Error" is put up as axiomatic at the beginning of the introductory treatise by the highest authority on the subject!
In the statements and applications of the cathetus rule by ancient and medieval opticians, the assumption of stigmatism is always unrecognized and sometimes patently absurd. Alhacen's retention of the rule for cylindrical and conical mirrors may be consigned to the absurd category, except in cases of bilateral symmetry about the plane of reflection, for which the working aperture may be reduced to an infinitesimally narrow strip straddling that plane; in those cases the assumption of stigmatism may still be inexact, but is at least not absurd. In the unrecognized category, but almost recognized, are the cases which exploit the axial symmetry to claim that the image-point is on the cathetus although it is viewed from off the cathetus; this reasoning tacitly assumes that the image-point stays put as the line of sight moves off the cathetus, which is true if the various lines of sight have a common intersection. For example, Alhacen, having established that the image of the center of the eye in a convex spherical mirror is on the cathetus, extends the argument to another point on the eye, although that point is seen from off the cathetus;[181] and Tacquet argues from the same symmetry that the image of a rod aligned with the cathetus is likewise aligned with the cathetus, although it is best seen from off the cathetus.[182] Apparently the first writer to recognize the necessity of stigmatism is Benedetti, who, in his sixth letter to Vimercato (see above), introduces the counterexample of the spherical burning mirror by saying "I will prove to you that at no point can all the reflected rays meet each other."[183]
But in the useful range of cases that satisfy the conditions of Newton's "Ax. VI"— that the surface is plane or spherical, and that the angles of incidence are not too large—ancient and medieval investigators should indeed have found the cathetus rule to be true "either accurately or without any sensible Error." That range of cases also includes the following:
- When we look nearly vertically into still water, the departure of the image from the cathetus is imperceptible, as conceded by Kepler,[184] confirmed by Barrow,[185] and implied in Newton's "Cas. 1."
- The same applies to looking nearly vertically out of the water (also covered by "Cas. 1"), as shown by Barrow, who further implies that the "absolute" image is the limit of the "relative" (tangential) image as the eye approaches the cathetus,[186] which he calls the "axis" or "radiant axis".[187][u]
- Parallel incident rays refracted by a spherical surface, with small deviations, cut the axis at nearly the same point, as noted by Kepler,[188] and by Barrow,[189] who shows that an object-point at a finite distance gives the same result,[190] in agreement with Newton's "Cas. 3."
These are some of the reasons why Newton's "axiom", together with the case of the sagittal image, will prove useful enough to launch the cathetus rule on a second, incognito career.
A cathetus by any other name… edit
Anon. edit
The equivalence between stigmatism and the cathetus rule is apparent in any diagram that shows a single surface bringing many rays from a single object-point to a focus at a single image-point, with one of the rays perpendicular to the surface. The (actual or assumed) stigmatism of the image is shown by the concurrence of the lines, and the point of concurrence is the point where every refracted or reflected ray (produced if necessary) meets the undeviated perpendicular ray—the cathetus. Such diagrams are offered in the widely-used text by Jenkins & White (1976) on pp. 47, 48, 49, and 100 (Fig. 6B), the first and last being for an object at infinity. In each of these cases, the surface is taken to be spherical (so that the stigmatism is only approximate) and the perpendicular ray is identified only by its passing through the center of curvature.
If the image of an object-point is stigmatic, it is uniquely located by any two rays belonging to that object-point, and we might as well choose those rays for convenience. For a single surface, the most obvious convenience is to let one of the rays be the one along the cathetus, so that it is undeviated. The location of the image then becomes a blatant application of the cathetus rule. This is how (e.g.) Jenkins & White (1976, pp. 56–7) and Monk (1963, pp. 8–9) derive the "Gaussian formula" relating the object and image distances for a spherical refracting surface—without explaining that the generality of the angles implies the stigmatism of the image within the accuracy of the formula.
Axis edit
The convenience of choosing a ray along the cathetus is multiplied if the object-point is on the axis of a system with several coaxial surfaces, so that the axis is perpendicular to all the surfaces. Then the image formed by the first surface is on the axis, which is therefore the cathetus for the second surface, which therefore forms another image on the axis, and so on, so that the axis serves the common cathetus for all the surfaces, and the final image is where the final refracted or reflected ray cuts that common cathetus. Thus Jenkins & White (1976) explain how to locate the image of an object-point on the axis of two thin lenses (pp. 68–9, Fig. 4I), or of one thick lens (pp. 78–9, Fig. 5A),[191] especially for an object-point at infinity (pp. 84–5, Fig. 5G); the intermediate steps need not detain us (yet), except that their purpose is to find where the final refracted ray cuts the axis, because "the axis itself is considered as the second light ray" (p. 69; cf. p. 79). The beginnings of this approach may be discerned in Bonaventura Cavalieri's "Six Geometrical Exercises" of 1647.[192]
But Barrow calls the cathetus the axis where there is only one surface, axially symmetrical about it.[193] Jenkins & White (1976) do likewise in diagrams showing the focal points of a spherical refracting surface (p. 46; four cases)[194] and a spherical reflecting surface (p. 99; two cases)[195]; and in those cases where the image is at a finite distance, its assumed stigmatism is seen from the concurrence of the ray-lines, and its location is seen to be consistent with the cathetus rule.
Jenkins & White (1976, pp. 56–7) and Monk (1963, pp. 8–9) even use the word axis in their derivations of the "Gaussian formula", albeit only in the text. Here Jenkins & White make ad-hoc approximations from the outset, and Monk does so at the second step. For reasons which will become apparent, we shall now re-derive this formula in a more disciplined manner, introducing assumptions only as they are needed, after showing what can be deduced without them.
Let O be an object-point facing a spherical refracting surface (separating two homogeneous isotropic media) whose radius of curvature is r (positive if convex as seen from O) with center C, so that OC is the cathetus (Figure 1). Let V (for vertex) be the foot of the cathetus, at a distance s from O. Let the point of refraction be P. The axial symmetry of the interface and media about the cathetus OC implies a bilateral symmetry about the plane of the cathetus and the incident ray OP, which in turn implies that the refracted ray must remain in that plane.[v] So let the point I, at a distance s′ from V, be the intersection of the refracted ray and the cathetus (if the refracted ray is parallel to the cathetus, we shall consider I to be at infinity). If angle OCP is called α, then, treating α and ϕ (in Figure 1) as exterior angles of triangles, we find that the remote interior angles at I and O are respectively α−ϕ′ and ϕ−α (as labeled).
Now it is clear from the symmetry that s′ is an even function of α−ϕ′. This, together with the smoothness of the function (apart from the removable singularity at α−ϕ′ = 0), implies that the graph of s′ vs. α−ϕ′ passes through the s′ axis with a slope of zero, so that the intersection I is stationary as the observation point (on PI, beyond I ) passes through the cathetus OC. For the given object-point O, this stationarity of I is the limit of the intersection of a refracted ray with the cathetus as α−ϕ′ → 0 (as claimed by Barrow), hence the limit of the intersection of two refracted rays with each other as both approach the cathetus, hence the limit of the tangential image-point as the observation point approaches the cathetus (as shown by Barrow). The limiting position of I, by construction, is on the cathetus, salvaging the cathetus rule as an approximation for small angles; and because the limit is a stationarity, the deviation from the limit, measured along the cathetus, is at worst 2nd-order in the angles (in which case the ray aberration is of 3rd order, as expected). This implies near-stigmatism for sufficiently small angles—justifying Newton's "axiom".
All this has been shown from symmetry and smoothness, without relying on the exact law of refraction—or even the exact sphericity of the surface, provided that it is axially symmetric about the cathetus and sufficiently smooth. But now let us invoke the sphericity with center C, so that the segment CP (in Figure 1) has length r. Let the distances OP and PI be respectively σ and σ′ (as shown). Then, by the sine rule in triangle OCP, we have
or, after expanding the sine of the difference and simplifying,
-
()
-
Similarly, applying the sine rule in triangle ICP (and noting that the exterior angle has the same sine as its supplementary interior angle), we have
i.e.
-
()
-
To eliminate α, we multiply (1) by , and (2) by , and add the results, obtaining
-
()
-
For the purpose of locating I, let us rearrange (3) as
-
()
-
Then, for paraxial rays, the angles ϕ and ϕ′ are small so that the sines may be approximated by their arguments, and σ and σ′ may be approximated by s and s′ respectively, the fractional errors being 2nd-order in the angles. Thus we have
-
()
-
As CP is the radius of the spherical interface (Figure 1), it is the normal to the interface at P, whence ϕ and ϕ′ are the angles of incidence and refraction. Kepler did not know the exact law of refraction (although he had corresponded with Thomas Harriot, who did[196][w]); but he was satisfied that for small angles, the ratios and are approximately constant,[197] in which case, by (5), for given r and s, the length s′ is approximately constant. The same conclusion applies to reflection, for which we put ϕ′ = −ϕ in (5) and write −s′ for s′ (that is, change the positive direction of s′ ), obtaining
-
()
-
Barrow first published this result.[198]
Having seen what can be done without the exact law of refraction, let us now invoke it: if n and n' denote the refractive indices of the two media (Figure 1), then the ratio is the same as . Multiplying the exact equation (3) by this ratio, in the first form for terms in and the second for terms in , we get
-
()
-
For paracathetal/paraxial rays, the cosines may be replaced by 1 while σ and σ′ may be replaced by s and s′ (the fractional errors again being 2nd-order in the angles), to obtain
-
()
-
which is well known as the Gaussian formula for a spherical refracting surface,[199] although Barrow again gives an equivalent result.[200] For reflection, we put ϕ′ = −ϕ and n' = −n in (7) and (8) and change the positive directions of σ′ and s′, obtaining
-
()
-
for the exact result, and (6) again for the paracathetal/paraxial approximation.
For reflection in a plane mirror, we put r → ∞ in the exact equation (9), which then reduces to σ′ = −σ for all ϕ, confirming that the image is stigmatic, on the cathetus, and as far behind the mirror as the object-point is in front. Later we shall find other uses for the exact equations (7) and (9).
Auxiliary axis edit
From an object-point off the axis of a coaxial system, a cathetus dropped to a facing spherical surface is not generally an axis of the whole system. But it is still an axis of that surface—wherefore it may be called an auxiliary axis, while the axis of the system may be called the principal axis—and a ray incident along that cathetus still offers the convenience of being undeviated by that surface. This convenience is exploited by Jenkins & White (1976) to find the image formed by refraction into a denser medium at a convex surface (p. 51, Fig. 3F) or a concave surface (p. 52, Fig. 3G), or by reflection at a concave surface (pp. 100–101, Fig. 6E) or a convex surface (p. 101 & Fig. 6F).[201] In each case, one ray is chosen to pass through the center of curvature—that is, along the cathetus—and there are two candidates for a second ray, either of which (within the accuracy of the method) cuts the cathetus at the image-point.[x]
For refraction at a single surface, as the same authors show (p. 52 & Fig. 3H), we can even use an auxiliary axis to locate the image of an object-point on the principal axis. First we construct the auxiliary axis parallel to the oblique incident ray from the object-point. This axis crosses the focal surface (which must be determined separately) at a point on the refracted oblique ray, fixing the direction of that ray, which then meets the principal axis at the desired image-point. In effect, the cathetus rule is used twice—first to find the image of a hypothetical object-point at infinity, fixing the direction of a refracted ray from the actual object-point, and second to find the image of that point on the cathetus from that point.[y] The extension of the method to multiple surfaces is obvious.
The same authors, in a diagram already mentioned (p. 48), show seven rays diverging from an object-point and refracted by a spherical surface to a real image-point, with one of the rays passing through the center of curvature but not otherwise labeled. In the corresponding diagram for reflection (p. 100, Fig. 6C), the ray through the center of curvature is labeled the auxiliary axis, and all the other rays are shown as cutting this ray at the image-point. Thus the image as drawn is stigmatic and located in accordance with the cathetus rule.
Undeviated ray edit
Wherever the cathetus rule holds—that is, wherever the image is stigmatic within a working aperture that includes the cathetus—the necessary and sufficient property of the cathetus is that a ray incident along the cathetus is undeviated. Thus, if the image of an object-point is approximately stigmatic within a working aperture that admits an approximately undeviated ray, then, subject to those approximations, the image lies at the intersection of the undeviated ray and any other emergent ray (produced if necessary). In short, the approximately undeviated ray plays the role of the cathetus.
A ray through the center of a thin lens—that is, a lens whose thickness is negligible compared with the object and image distances—may be considered undeviated even if it is oblique to the principal axis. This ray plays the same role in Newton's "Cas. 4" that the cathetus plays in his "Cas. 2".[202] It plays the same role in Fig. 4C of Jenkins & White (1976, p. 63) that the ray through the center of curvature plays in their Fig. 3D (p. 48), and (under the name "chief ray") the same role in their Figs. 4B, 4D, & 4E (pp. 62, 63, 64) that the cathetus respectively plays, anonymously in their Fig. 3C (p. 47) and as the "auxiliary axis" in their Figs. 3F & 3H (pp. 51, 53). More constructions reminiscent of the cathetus rule, with the ray through the center of the lens in the role of the cathetus, can be found in their Figs. 4F, 4G, 4H (for each lens), 4I (ditto), and 7B, and in (e.g.) Figs. 5.23, 5.24, and 5.29 of Hecht (2017, pp. 172, 176).
For an object-point on the principal axis of the lens, the ray along that axis is exactly undeviated and serves as the cathetus for the entire lens, so that the cathetus rule applies to the entire lens if the image is stigmatic. Examples of this sort (again not mentioning the cathetus rule) can be discerned in Fig. 4A of Jenkins & White, and in Fig. 5.15 of Hecht (2017, p. 168).
Off-axis astigmatism edit
The foregoing examples from Jenkins & White (1976), as printed, use Gaussian approximations. They can model chromatic aberration if we allow for variation of refractive indices with wavelength. But if they are to model 3rd-order monochromatic aberrations in the meridional plane (spherical aberration, tangential coma, curvature of the tangential focal surface, and distortion), they must be modified—perhaps by resorting to trigonometric ray-tracing in the meridional plane,[203] in which case we still have the problem of assessing aberrations that involve rays outside that plane. For sagittal coma we can use the well-known proportionality (to leading order) between sagittal and tangential coma.[204] For astigmatism, however, we need a sample of rays outside the meridional plane. With spherical surfaces, the easiest way to take such a sample is to exploit the exactness of the cathetus rule for the sagittal image formed by a surface axially symmetrical about the cathetus. And this is where we reap the reward for delaying approximations in the above derivation of the "Gaussian formula".
In our Figure 1, suppose that the line OC is not the principal axis, but only an auxiliary axis. Let O be an off-axis object-point or an intermediate image thereof; and from O, let OPI be the path of the chief ray—that is, the ray through the center of the main aperture (wherever the main aperture stop happens to be). Then the sagittal image formed by the surface VP is I, whose position is given by equation (7) for a refractive surface, or (9) for a reflective surface. Equivalent results are given by Jenkins & White, citing the derivation by Monk,[205] who begins by saying that "if coma is absent, all the rays which have the same inclination… as OP with OC will intersect the line OC… in a point" which we call I. The condition that "coma is absent" is redundant because the conclusion follows from the axial symmetry about OC (which Monk ignores, calling PC the axis). No such condition is assumed in the earlier derivation by Conrady, first published in 1929,[206] which duly invokes the auxiliary axis, and which, in spite of its different sign convention, is the main source for our derivation of (7) above. Conrady's equation (d) corresponds to our (7), and agrees with the result that Born & Wolf obtain by a longer process, involving a "thin pencil" of rays and a Hamiltonian characteristic function.[207] None of these sources uses the word cathetus or refers to the cathetus rule.
Corresponding expressions for the distance of the tangential image along PI are given by the same authors and—most remarkably—by Barrow.[208] In principle, we locate the tangential image by moving P along the arc VP (by an infinitesimal distance if we want an analytical result, or a finite distance if we are tracing rays numerically) and finding the intersection of the new PI with the old. The distance between the tangential and sagittal images along the old PI is a measure of the astigmatism.
By the axial symmetry, as we scan the aperture by rotating the arc VP about the axis OC, the tangential image likewise rotates about that axis, tracing a circular arc; and as we scan the aperture by moving P away from V, the sagittal image can only move along that axis. So the tangential and sagittal focal lines are perpendicular to each other, and lie in planes that intersect perpendicularly along the chief ray PI; but the sagittal focal line is not generally perpendicular to the chief ray. Thus, as Born & Wolf note, it is not generally true that the focal lines are perpendicular to the chief ray "as is often incorrectly asserted in the literature".[209] Indeed I have noticed that the offenders include Jenkins & White (1976), who state that the sagittal focal line, which they call S, is perpendicular to what they call the sagittal plane (p. 169), which contains the chief ray (see their Fig. 9p). They go on to say that on the sagittal focal surface, the images are "parallel to the spokes" (p. 169), whereas in fact the sagittal focal line for a point on a spoke need only be in the plane of the spoke and the axis. Their Fig. 6N (p. 112) is similarly misleading; the sagittal focal line S should be along the auxiliary axis—that is, parallel to the incoming rays (the object-point being at infinity).
In our Figure 1, the sagittal plane after refraction is the plane perpendicular to the plane of the diagram and containing the ray PI. If we leave the sagittal plane fixed and rotate the point of refraction about the axis (cathetus) OC, the circle traced on the refracting surface is not identical to the intersection of that surface with the sagittal plane, but is tangential to that intersection, and the tangency is enough for calculating the astigmatism to leading order.[210] Thus Born & Wolf get the same sagittal equation as Conrady in spite of their radically different method. In a coaxial system, as P traces a circle with axis OC, the path traced by the intersection of the refracted ray PI with the next surface is not generally a circle with its axis on the cathetus from I to that surface, but again is tangential to such a circle. Hence equation (7) or (9) can be used with successive surfaces to find the successive positions of the sagittal image on the chief ray, and assess the final astigmatism, to leading order.
Conclusion: Unreasonable in what sense? edit
It has been shown that there are conditions under which the cathetus rule is true or nearly so. Let it be conceded that under these conditions the rule must be, in some sense, effective, and that this effectiveness, as far as it goes, is by definition reasonable. One might object that these conditions—that the image is stigmatic or nearly so, and the cathetus unambiguous—seem narrow, and that the effectiveness of the rule, by comparison, seems unreasonably wide. In response, one could point out that surfaces forming stigmatic or nearly stigmatic images are useful and therefore likely to be encountered in practice, and likely to encourage propagation of any principle found applicable to them. Moreover, the shapes nominated by Newton as producing nearly stigmatic images—plane or spherical, or, let us add, nearly so—may exist for reasons unrelated to their imaging properties: I may see my face reflected in a teapot, though the teapot is not an optical device. For these reasons, examples of the effectiveness of the rule might reasonably be prevalent, or at least prominent.
When we delve into the history of that "antient and common" principle, however, any semblance of reasonableness evaporates.
The cathetus rule was unanimously upheld for nearly 19 centuries although there was not a single non-tautological case in which the rule had been validly demonstrated. Even the tautological case—that in which the line of sight is along the cathetus—was botched from the beginning (recall Euclid's "postulates"), and eventually put on a secure footing after 13 centuries, when Alhacen posed the examples of the eye lining up a sharp tip with its reflection, and looking at its own reflection. But, after Kepler's attack in 1604 sent the rule into decline, only one more century passed before it was rehabilitated, without acknowledgment, by Newton's widely applicable "axiom" of approximate stigmatism.
Meanwhile the exact application of the rule to the sagittal image, for axial symmetry about the cathetus, languished in Newton's lecture notes, to be published posthumously in Latin, and to reappear in the 20th century—unnamed and unsourced—for the evaluation of 3rd-order astigmatism in coaxial systems with spherical surfaces, yielding the same formula as Hamiltonian theory, with less labor and less conceptual difficulty. More prominent, however, is the ready application of the cathetus to "Gaussian" optics, as the axis or the auxiliary axis or (generalized) as the undeviated ray. These examples amply demonstrate the effectiveness of the rule.
For nearly nineteen centuries, until Benedetti (1585), the cathetus rule was a non-sequitur: the effectiveness of the rule, in so far as it was correctly described, was unreasonably unexplained. For the three centuries since Newton, it has been unreasonably unrecognized.
Additional information edit
Acknowledgments edit
If my analysis of Benedetti (1585) adds any value to Goulding's (2018), much of the credit is due to AI—including not only Google Translate, but also ChatGPT 3.5 (with a few "custom instructions"), which expedited the correction of OCR errors in the plain text from Google Books, and then gave a second opinion on translation.
Competing interests edit
None.
Ethics statement edit
This article does not concern research on human or animal subjects.
Notes edit
- ↑ The original Latin spelling was Alhacen, not the more familiar Alhazen (Lindberg, 1981, pp. 209–10; Smith, 2017, p. 1).
- ↑ Although Alhacen's theory of vision was not the first intromission theory, it was apparently the first such theory incorporating the premise (first stated explicitly by al-Kindī in the 9th century) that each visible spot on a luminous or illuminated body sends out light to be seen from wherever the eye happens to be, and consequently the first such theory that could be reconciled with a geometrical science of optics (Lindberg, 1981, pp. 30, 58–60).
- ↑ But Alhacen does not question the ancient, erroneous doctrine that the glacial humor (lens) is the sensitive part of the eye (Smith, 2001, p. 417, par. 2.1). Nor does he deduce (as he would in any other context) that the image-point lies behind the center of the eye (as it does), because that would give an inverted image (as it does), which apparently would imply that we see upside-down! Instead, he concludes that there must be a diverging refraction at the back surface of the glacial humor, so that the cathetal rays from the various object-points do not cross each other (Smith, 2001, pp. 419–20). Cf. Lindberg, 1981, pp. 76–78, 80–81.
- ↑ Witelo, according to various modern sources, was also a friar; but I have not been able to establish the order to which he belonged, or whether this is known. Moerbeke was a Dominican.
- ↑ Lindberg (1971, pp. 66, 77–83) offers evidence that Pecham was also indebted to Witelo through Moerbeke, but notes that the citations of Witelo in the Perspectiva Communis are spurious, having been introduced by Georg Hartmann, editor of the 1542 reprint.
- ↑ In the Opticae Thesaurus (Risner, 1572), the two major treatises are separately paginated. Appended to Alhacen's treatise, at pp. 283–8, is Ibn Mu‘ādh's essay on twilight—translated into Latin by Gerard of Cremona as De Crepusculis—which was misattributed to Alhacen from the 14th century until 1967 (Sabra, 1967). I have noticed that Risner's summarizing headings in Alhacen's work are also sometimes misattributed to Alhacen himself (e.g. in Shapiro, 1990, p. 169, n. 51, citing Risner, 1572, p. 129, §8).
- ↑ Provided, of course, that the two legs of the path—from the object-point to the reflection point, and from the latter to the observation point—are constrained to be straight; if they are allowed to be curved, the path length is never a local maximum, because it can always be increased by bending the legs (cf. Born & Wolf, 2002, p. 137n). Concerning the Hero/Fermat principle, Goulding (2018, pp. 513–14) makes two errors in passing. First, in his footnote 52, he fails to note that a refracted path may be a path of maximum time (again subject to the constraint that the legs are permissible ray paths) if the surface of the denser medium is sufficiently convex (consider, e.g., the refracted path through a small glass bead in the middle of the line of sight). Second, in his footnote 53, referring to the concave spherical mirror, the length of the reflected path "through the unlabeled end of the diameter bc" is not, as he claims, the "very shortest" from q to n; as the proposed point of reflection approaches q or n, the path length approaches the length of the chord qn, which is clearly shorter than the path via any other point on the sphere.
- ↑ A statement on binocular perception of images is found at the end of Alhacen's discussion of each mirror shape, with the unexplained exception of the convex cylinder (Goulding, 2018, pp. 511–12). For a convex conical mirror, Alhacen says that "the same form and the same location for the form is perceived by each eye…; sometimes they share precisely the same location, sometimes their locations overlap, and sometimes they are separated, but only a little bit" (Smith, 2006, p. 446), where this "little bit" is apparently small enough to allow "a single image according to sense-deduction" (Smith, 2006, p. 431). For a concave cylindrical mirror, he baldly asserts that "when both eyes are looking, one image will actually form two, but they will abut or overlap, so they will appear single" (Smith, 2006, p. 481). And he gives a similar statement on what happens when a second eye is opened to each of the images formed by a concave conical mirror (Smith, 2006, p. 485).
- ↑ Goulding (2018, p. 526) explains Benedetti's conclusion thus: "from his analysis of the concave mirror he extrapolated the general principle that any image location predicted by the traditional theory could be saved by the binocular theory, if the eyes were symmetrically placed on either side of the older theory's plane of reflection". I should add that the symmetry of the surface needs to be axial about the cathetus, and that the lines of sight need to be related by a rotation about the cathetus. If the symmetry were merely bilateral about "the older theory's plane of reflection", it would guarantee only that the image is in that plane—not that it is necessarily on the cathetus.
- ↑ The reference to parallaxes is, I submit, an admission that a small angle of convergence between the eyes may be judged with the aid of background objects rather than by any innate ability to sense the angle.
- ↑ Hence I do not understand how Goulding concludes that Kepler, unlike Benedetti, "did not provide a proof" for non-plane mirrors (Goulding, 2018, p. 531).
- ↑ Of course, in the degenerate case in which one eye is on the cathetus, the binocular image is also on the cathetus; see above.
- ↑ The supporting example (Kepler/Donahue, 2000, pp. 90–91), in which Kepler seems to have invented what we now call the osculating circle, is more sophisticated than it needs to be.
- ↑ Discussed at length by Malet (1990g), who also notes that James preferred to spell his surname "Gregorie"; indeed, he used this Scottish spelling in the dedication of the Optica Promota, although the entire treatise, including its dedication, is in Latin.
- ↑ Gregory's ignorance of Descartes' priority is one of several pieces of evidence suggesting that the propagation of the law of refraction was slow for the first twenty years after its publication by Descartes in 1637; see Dijksterhuis, 2004, p. 173.
- ↑ That is, the lens.
- ↑ In modern terms, the point toward which the rays converge in the "Barrovian case" is a virtual object presented to the front surface of the eye, which refracts the rays toward a nearer point, which in turn becomes a virtual object presented to the interface between the cornea and the aqueous humor, and so on, until a real image is formed in front of the retina. From this image the rays diverge again to form a blurred picture on the retina (as Gregory notes in his Prop. 30, quoted above). What is presented to the observer's retina is thus easily explained and uncontroversial. What the observer makes of it is another matter: "Insofar as I can determine", says Shapiro (1990, p. 178, n. 206), "there is still no generally accepted explanation for the 'Barrovian case.' "
- ↑ Barrow finds the paraxial image before he finds the tangential image. That the former is the limit of the latter follows from the displayed equation on p. 148 of Shapiro, 1990, by letting i and r approach zero, so that their cosines approach 1, yielding the paraxial equation on p. 147. These equations are for a spherical surface, but are easily adapted for a plane surface by putting ρ → ∞.
- ↑ Yes, I did try this at home.
- ↑ Not until 1675 was the term inflection hijacked for diffraction by Hooke and Newton; see Darrigol, 2012, pp. 92–3 & n. 29.
- ↑ Not to be confused with what he calls the "optical axis", which is synonymous with his "principal ray" and passes through the center of the eye (Shapiro, 1990, pp. 137, 141, 171 n. 79).
- ↑ Alternatively we can argue that by the bilateral symmetry, the normal to the surface at P is in the plane of symmetry, which is therefore the plane of the incident ray and the normal, whence, by the law first articulated by Ptolemy, the refracted ray is in that plane. But I submit that the symmetry is enough, and that the law of Ptolemy follows from it.
- ↑ Apropos of our present inquiry, Harriot's rediscovery of the law of refraction, like Snell's later rediscovery, seems to have been ironically assisted by the cathetus rule. See Vollgraff, 1936, pp. 722–4; Lohne, 1959, p. 117; Schuster, 2000, pp. 275–6; Goulding, 2018, p. 543n.
- ↑ The "two candidates", one incident parallel to the principal axis and the other refracted parallel to that axis, would be enough by themselves, especially as the authors (Jenkins & White, 1976) are describing what they call the parallel-ray method; but, idiosyncratically, they mention the undeviated ray before the second parallel ray (p. 51, and again on p. 101).
- ↑ In the corresponding case for a concave mirror (Jenkins & White, 1976, pp. 101–2, Fig. 6G), where the authors say "If in place of ray 4 another ray were drawn through C and parallel to ray 3," they are referring to an auxiliary axis, but they do not actually draw it.
References edit
- ↑ Smith, 2017, p. 56. For the original Greek and the Latin translation by Jean Pena, see Euclid/Pena, 1557, p. 35 in the Greek version, & p. 45 in the Latin version. Smith evidently follows a different edition in numbering the offending postulates as 4 and 5; though I have small Greeke, and lesse Latine, I notice that Pena's edition divides the corresponding postulates into nos. 4, 5, and 6, referring respectively to plane, convex spherical, and concave spherical mirrors.
- ↑ See Euclid/Pena, 1557, p. 42 in the Greek & pp. 55–6 in the Latin.
- ↑ Takahashi, 1992, pp. 20–26, cited by Smith, 2017, pp. 59–61, and by Goulding, 2018, pp. 500–501.
- ↑ Goulding, 2018.
- ↑ Darrigol, 2012, pp. 26–7.
- ↑ Kepler/Donahue, 2000, p. 73. In the quotation, which appears in italics in the original edition (Kepler, 1604, p. 56), Kepler may be translating from Greek, or paraphrasing, rather than quoting from Latin; cf. Euclid/Pena, 1557, p. 42 in the Greek & p. 55 in the Latin.
- ↑ Kepler/Donahue, 2000, p. 74.
- ↑ Euclid/Pena, 1557, pp. 45 & 55 in the Latin; Euclid/Dasypodius, 1557 (unnumbered pages); Euclid/Heiberg, 1895, pp. 286–7, 312–13.
- ↑ Smith, 1996, pp. 1–8; Lindberg, 1981, p. 211.
- ↑ Kepler/Donahue, 2000, p. 84, n. 34; Lohne, 1959, pp. 117-18.
- ↑ Ptolemy/Govi, 1885.
- ↑ Smith, 2017, p. 93.
- ↑ Smith, 1996, pp. 131–2.
- ↑ Smith, 1996, p. 132.
- ↑ Smith, 1996, p. 36.
- ↑ Cf. Goulding, 2018, p. 502.
- ↑ Smith, 1996, pp. 230–31.
- ↑ Smith, 1996, pp. 252–3.
- ↑ Translated by Smith (1996, p. 138); cited by Goulding (2018, p. 503).
- ↑ Smith, 2017, p. 102; Goulding, 2018, p. 505n.
- ↑ Smith, 1996, pp. 287–8, 296. The word cathetus and the expressions cathetus of incidence and cathetus of reflection appear in Smith's English translation, and these terms together with cathetus of refraction appear in his annotations.
- ↑ Smith, 2017, pp. 170–71.
- ↑ Smith, 2017, p. 61.
- ↑ Smith, 1996, pp. 165–9.
- ↑ Smith, 1996, p. 6.
- ↑ Lindberg, 1981, p. 58.
- ↑ Smith, 2017, p. 182.
- ↑ Darrigol, 2012, pp. 17–18; Smith, 2017, pp. 184–6.
- ↑ Smith, 2006, pp. 385–97.
- ↑ Smith, 2010, pp. 275–82.
- ↑ Smith, 2006, pp. 385–7.
- ↑ Smith, 2006, pp. 387–8.
- ↑ Smith, 2006, p. 388.
- ↑ Smith, 2006, pp. 388–9.
- ↑ Smith, 2006, pp. 389–91 (par. 2.15–18) and note 12 (p. 489), referring to figure 5.2 on p. 216 (other volume).
- ↑ Smith, 2006, p. 300.
- ↑ Smith, 2006, pp. 391–4.
- ↑ Smith, 2010, pp. 274–5.
- ↑ Smith, 2010, pp. 275–7.
- ↑ Smith, 2010, pp. 277–80.
- ↑ Smith, 2006, p. 394.
- ↑ Smith, 2006, p. 395.
- ↑ Smith, 2006, p. 395; cf. Goulding, 2018, p. 504.
- ↑ Smith, 2006, p. 396.
- ↑ Kepler/Donahue, 2000, p. 75.
- ↑ Smith, 2006, pp. 396–7.
- ↑ Quoted in translation by Goulding (2018, p. 505); cf. Smith, 2006, p. 397.
- ↑ Kepler/Donahue, 2000, pp. 74–5.
- ↑ Goulding, 2018, p. 505; cf. Smith, 2006, p. 397.
- ↑ Italics in the Latin (Kepler, 1604, p. 58), not quite matching Kepler/Donahue, 2000, p. 75.
- ↑ Smith, 2010, pp. 280–82.
- ↑ Kepler/Donahue, 2000, p. 76.
- ↑ Smith, 2017, pp. 204–5.
- ↑ Smith, 2010, chap. 5, par. 25–90 (p. 282ff).
- ↑ Smith, 2010, chap. 7.
- ↑ Smith, 2010, pp. 303–4, par. 6.22–3. Cf. Lindberg, 1981, pp. 76–78. Remarkably, this is the only context in which Lindberg (1981) mentions the cathetus rule (which he states but does not name). More remarkably, he says that in general the rule "makes perfect sense, for it requires simply that the eye be unaware of the break in the ray… and therefore that it project the image backward along the incident ray" (p. 76). Apart from misidentifying the ray (an obvious and temporary slip), this explanation fails to explain how far the image should be projected back.
- ↑ Smith, 1996, pp. 155–6 (Theorem III.5), summarized in Darrigol, 2012, pp. 13–14.
- ↑ Smith, 2006, p. 399 (pars. 2.47–8 in Prop. 4).
- ↑ Lindberg, 1981, pp. 102–3.
- ↑ The term was coined by Lindberg (1981, p. 251, n. 1) from the late medieval Latin equivalent.
- ↑ Lindberg, 1971, pp. 68–9, 71 (on Bacon), pp. 72–3 (on Witelo), pp. 82–3 (on Pecham).
- ↑ Lindberg, 1981, p. 253, n. 28.
- ↑ Smith, 2017, pp. 267–8.
- ↑ Bacon/Combach, 1614, is digitally searchable.
- ↑ Lindberg, 1971, pp. 72–5.
- ↑ Smith, 2017, pp. 273–5; Unguru, 1972.
- ↑ Risner, 1572, is digitally searchable.
- ↑ Lindberg, 1971, pp. 75–7.
- ↑ Smith, 2017, pp. 273–5.
- ↑ Pecham/Gaurico, 1504, and Pecham/Hartmann, 1542, are digitally searchable.
- ↑ Smith, 2017, p. 328; Lindberg, 1981, pp. 120–21.
- ↑ Smith, 2017, p. 282.
- ↑ Smith, 2017, pp. 328–9. Smith's translation of Alhacen (Smith, 2001, 2006, 2008, 2010) omits Risner's headings and uses a different section-numbering system.
- ↑ Goulding, 2018, pp. 498n, 504; Lindberg, 1981, p. 185; Smith, 2017, pp. 322.
- ↑ Smith, 2001, p. xxi (in the Introduction).
- ↑ Risner, 1572, part 2 (Vitellonis Opticae), pp. 190, 207, cited by Goulding, 2018, p. 506; the translations and the interpretation of per modum imaginis are Goulding's.
- ↑ Kepler/Donahue, 2000, pp. 74–5.
- ↑ Goulding, 2018, p. 507.
- ↑ Kepler/Donahue, 2000, p. 75.
- ↑ Kepler/Donahue, 2000, p. 76. The statement in quotation marks is italicized in the original Latin edition (Kepler, 1604, p. 59), where it is a paraphrase rather than quote from Witelo; cf. Risner, 1572, part 2 (Vitellonis Opticae), p. 415.
- ↑ Benedetti, 1585, pp. 296–7; Goulding, 2018, p. 512.
- ↑ Benedetti, 1585, pp. 331–47.
- ↑ Goulding, 2018, pp. 512–13.
- ↑ Goulding, 2018, pp. 513–14.
- ↑ Goulding, 2018, pp. 514–15, citing Benedetti, 1585, p. 335.
- ↑ Goulding, 2018, pp. 507–9.
- ↑ Benedetti, 1585, pp. 335–6; Goulding, 2018, pp. 515–16.
- ↑ Smith, 2006, pp. 401–3 (Prop. 4), with notes on pp. 492–3, and diagrams on p. 221 (other volume); cf .Goulding, 2018, pp. 509–12 (with diagrams).
- ↑ Benedetti, 1585, p. 336; Goulding, 2018, pp. 516–18.
- ↑ Smith, 2006, pp. 431–2, with notes on pp. 499–500, and diagrams on p. 240 (other volume), pars. 2.217–18.
- ↑ Smith, 2006, p. 475.
- ↑ Benedetti, 1585, pp. 337–9; Goulding, 2018, pp. 518–20.
- ↑ Goulding, 2018, p. 521, quoting Benedetti, 1585, p. 339.
- ↑ Benedetti, 1585, p. 343; cf. Goulding, 2018, p. 521.
- ↑ Benedetti, 1585, pp. 343–4, summarized in Goulding, 2018, pp. 523–5.
- ↑ Goulding, 2018, p. 525 & Fig. 15.
- ↑ Benedetti, 1585, p. 344.
- ↑ Kepler/Donahue, 2000, p. 76.
- ↑ Kepler/Donahue, 2000, p. 77 (Definition 1); cf. Malet 1990k, p. 6.
- ↑ Kepler/Donahue, 2000, pp. 79–83.
- ↑ Kepler/Donahue, 2000, pp. 80–81.
- ↑ Goulding, 2018, pp. 519–20.
- ↑ Kepler/Donahue, 2000, pp. 83–6.
- ↑ Kepler/Donahue, 2000, p. 86; Kepler's emphasis.
- ↑ Goulding, 2018, p. 529.
- ↑ Kepler/Donahue, 2000, p. 86.
- ↑ Kepler/Donahue, 2000, pp. 86–8; cf. Goulding, 2018, pp. 530–31.
- ↑ Kepler/Donahue, 2000, p. 88.
- ↑ Cf. Darrigol, 2012, pp. 27, 74n.
- ↑ Goulding, 2018, p. 531.
- ↑ Kepler/Donahue, 2000, p. 84; cf. Goulding, 2018, pp. 528–9, 531.
- ↑ Goulding, 2018, p. 531.
- ↑ Kepler/Donahue, 2000, pp. 88–9; Goulding, 2018, p. 530 & Fig. 17. In the redrawings of Kepler's diagram by Donahue and Goulding, the incidence is not sufficiently oblique: to support the argument, point D should be to the left of the (vertical) cathetus from E; compare the original in Kepler, 1604, p. 73.
- ↑ Kepler/Donahue, 2000, p. 90.
- ↑ Kepler/Donahue, 2000, pp. 191, 192 (Prop. 1). In modern terms, of course, this image is real.
- ↑ Kepler/Donahue, 2000, pp. 194 (Prop. 6), 208–9 (Prop. 17).
- ↑ Kepler/Donahue, 2000, p. 195, Prop. 7; cf. Malet, 1990k, pp. 10–12 & Fig. 5.
- ↑ Shapiro, 1990, pp. 106–7, 124–5 & n. 58.
- ↑ Kepler/Donahue, 2000, pp. 205–6 (Prop. 15).
- ↑ Kepler/Donahue, 2000, p. 210 ("Definition"); cf. Malet, 1990k, p. 14.
- ↑ Kepler/Donahue, 2000, pp. 211–13.
- ↑ Kepler/Donahue, 2000, p. 192 (Prop. 1).
- ↑ Malet, 1990k, p. 5 (n. 8), 21–23; 2003, pp. 118–20, 134; Darrigol, 2012, p. 35 (Fig. 1.19).
- ↑ Malet, 2003, p. 120 & Figure 7.
- ↑ "Imago est similitudo materiæ radiantis, orta ex divergentiâ, vel convergentiâ radiorum, singulorum materiæ radiantis punctorum, a punctis singulis, vel ad puncta singula unius superficiei." — Gregory, 1663, p. 1 (Definition 9).
- ↑ Gregory/Bruce, 2006, Props. 28, 29, 36; Shapiro, 1990, pp. 128–30.
- ↑ End of Prop. 36, as translated by Shapiro (1990, p. 129).
- ↑ Gregory/Bruce, 2006, Prop. 36.
- ↑ Malet, 1990k, p. 5, n. 8.
- ↑ Printed in Halliwell, 1839, pp. 32–47. "1585" is Van Helden's dating of the treatise, whereas Dupré dates it to 1579/80 (Dupré, 2010, pp. 137–8).
- ↑ Malet, 2003, p. 116; "[distant]" is my addition, for context. Compare Bourne, chapters VI to VIII, in Halliwell, 1839, pp. 42–4. On the contrivance mentioned at the end of chap. VI and elaborated in chap. IX, see Dupré, 2010.
- ↑ Halliwell, 1839, p. 44.
- ↑ Kepler (1859), pp. 542–7. The location of these passages was assisted by Darrigol (2012, pp. 34–5), Malet (2010, pp. 283–6), Shapiro (1990, p. 160 & n. 184), and translate.google.com. On Kepler's explanation of Prop. 82, see Malet, 2003, p. 114 & Figure 4. Props. 80 & 82 are used in Kepler's subsequent explanation of the magnifying power of a Dutch telescope; see Malet, 2003 at p. 122, or 2010 at p. 286.
- ↑ Translated from Gregory, 1663, p. 41, and in some places differing from Gregory/Bruce, 2006.
- ↑ Tacquet, 1669, p. 223, quoted in translation by Shapiro (1990, p. 144).
- ↑ Tacquet, 1669, p. 223, italics in the Latin.
- ↑ Tacquet, 1669, p. 256.
- ↑ Tacquet, 1669, p. 259.
- ↑ Shapiro, 1990, p. 172, n. 107; italics in the Latin.
- ↑ Rohault/Clarke, 1735, p. 278n.
- ↑ Shapiro, 1990, p. 172, n. 108.
- ↑ Lectiones I:5 (Barrow, 1669, p. 4, quoted in translation by Shapiro (1990, p. 107).
- ↑ Lectiones III:16 (Barrow, 1669, p. 30), cited (not translated) by Shapiro (1990, p. 166, n. 6); my italics.
- ↑ Shapiro, 1990, pp. 106–7 (& n. 5), 124–5, 165.
- ↑ Shapiro, 1990, pp. 144, 159–65.
- ↑ Berkeley (1901), pp. 137–40; Rohault/Clarke, 1735, pp. 260–61n. Fay's recent translation of all eighteen lectures (Barrow/Fay, 1987) is apparently out of print.
- ↑ Berkeley (1901), p. 138.
- ↑ Shapiro (1990, p. 160, line 6) erroneously has "divergence" instead of "convergence".
- ↑ Berkeley (1901), p. 139.
- ↑ Rohault/Clarke, 1735, p. 261n.
- ↑ Berkeley (1901), p. 139; this statement is elided in Clarke's translation.
- ↑ Rohault/Clarke, 1735, p. 278n.
- ↑ Rohault/Clarke, 1735, p. 262n.
- ↑ Berkeley (1901), pp. 140–43 (§§ 31, 35–6); cf. Cardona & Gutierrez, 2020.
- ↑ Experiment IV.1, translated in Smith, 1996, pp. 194–5, with further commentary in Smith, 2017, pp. 104–7.
- ↑ Theorem V.9, translated in Smith, 1996, p. 252, with commentary in Smith, 2017, p. 119 & figure 3.15.
- ↑ Smith, 2006, p. 451 (par. 2.331) and figure 5.2.34b on p. 254 (other volume); Risner, 1572, p. 162, reprised by Witelo at his pp. 314–5.
- ↑ Bacon/Combach, 1614, pp. 139–40; Bacon/Burke, 1928, pp. 553–5; Smith, 2017, p. 268.
- ↑ Bacon/Combach, 1614, p. 140; cf. Bacon/Burke, 1928, p. 555.
- ↑ Translated from Barrow, 1669 (introduction); cf. Shapiro, 1990, p. 113.
- ↑ Shapiro, 1990, pp. 130, 132–3.
- ↑ Shapiro, 1990, pp. 133–4.
- ↑ Shapiro, 1990, p. 134 & n. 86, quoting Lectiones V, §21, incorrectly numbered 20 in the original printing (Barrow, 1669, pp. 44–6).
- ↑ Shapiro, 1990, pp. 131–2.
- ↑ Darrigol, 2012, pp. 73–4; Shapiro, 1990, pp. 109, 139. The term caustic—but not the concept—was apparently coined in 1690 by Ehrenfried Walther von Tschirnhaus (Darrigol, 2012, pp. 28, 74–5; Shapiro, 1990, pp. 157–8 & n. 165).
- ↑ Cf. Shapiro, 1990, p. 108, Figure 1.
- ↑ Shapiro, 1990, pp. 109, 136.
- ↑ Shapiro, 1990, pp. 128–30; Kepler/Donahue, 2000, pp. 211–13 (Props. 20, 23); Gregory/Bruce, 2006, Prop. 36.
- ↑ Shapiro, 1990, p. 172, n. 101.
- ↑ Shapiro, 1990, pp. 135–6.
- ↑ Kepler/Donahue, 2000, pp. 85–6 (Prop. 17); cf. Darrigol, 2012, p. 74, and Shapiro, 1990, p. 121.
- ↑ Shapiro, 1990, pp. 123–4.
- ↑ Kepler/Donahue, 2000, pp. 88–9 (Prop. 19).
- ↑ Shapiro, 1990, pp. 134–5 & n. 89, quoting Lectiones V, §22, incorrectly numbered 21 in the original printing (Barrow, 1669, p. 46).
- ↑ Kepler/Donahue, 2000, pp. 86–8 (Prop. 18).
- ↑ Tacquet, 1669, p. 222 (Prop. 19).
- ↑ Shapiro, 1990, pp. 142–3, quoting Barrow, Lectiones XVI.
- ↑ Newton (2010), pp. 19–20.
- ↑ Shapiro, 1990, p. 149.
- ↑ Shapiro, 1990, pp. 130, 136, 171 (n. 78), citing Barrow, 1669, pp. 10 (§ 11), 22, 111.
- ↑ Smith, 2006, pp. 396–7.
- ↑ Tacquet, 1669, p. 222 (Prop. 19).
- ↑ Benedetti, 1585, p. 342.
- ↑ Kepler/Donahue, 2000, p. 89, end of Prop. 19.
- ↑ Shapiro, 1990, pp. 131–2, except that the diagram is upside-down for an air-water surface.
- ↑ Shapiro, 1990, pp. 132–4.
- ↑ Shapiro, 1990, p. 108.
- ↑ Kepler/Donahue, 2000, pp. 205–6 (Prop. 15).
- ↑ Shapiro, 1990, p. 144.
- ↑ Shapiro, 1990, p. 147.
- ↑ Cf. Hecht, 2017, p. 167, Fig. 5.14 (b) & (c).
- ↑ Cavalieri, 1647, p. 464ff; Shapiro, 1990, pp. 127–8.
- ↑ Shapiro, 1990, p. 108.
- ↑ Cases (b) and (d) are respectively equivalent to Figs. 5.11 and 5.10 in Hecht (2017, p. 165), except that Hecht does not name the "axis".
- ↑ Also in Fig. 5.61 in Hecht (2017, p. 196).
- ↑ Lohne, 1959; Shirley, 1951.
- ↑ That he was aware of this fact as early as 1604 is shown in Kepler/Donahue, 2000, pp. 124, 127-9 (Prop. 8), & 205–6 (Prop. 15)—although he made greater use of it in his Dioptrice of 1611, where it is stated up-front as "VII. Axioma" [Kepler (1859), p. 529]. Cf. Darrigol, 2012, pp. 34–5; Dijksterhuis, 1999, p. 29; Malet, 2003, p. 109; Shapiro, 1990, pp. 126–7.
- ↑ Expressed as an equation by Shapiro (1990, p. 140), and matching Jenkins & White, 1976, p. 103, Eq. (6b). On the priority of Barrow (vs. Huygens), see Shapiro, p. 128, and Dijksterhuis, 1999, pp. 39, 86.
- ↑ Jenkins & White, 1976, pp. 48, 56.
- ↑ Shapiro, 1990, p. 147 (for refractive indices 1 and n).
- ↑ The last two examples are also given by Hecht (2017, p. 197, Fig. 5.63), except that he does not use the term auxiliary axis, but explains the concept using "Ray-1" in his Fig. 5.62 (p. 196).
- ↑ Newton (2010), pp. 11–13. More precisely, the nominated center is midway between the front and back focal points.
- ↑ See, e.g., Born & Wolf, 2002, pp. 204–7.
- ↑ Jenkins & White, 1976, p. 164.
- ↑ Jenkins & White, 1976, p. 169, Eqs. (9p), 2nd eq. (for refraction) and p. 111, 2nd eq. (for reflection), citing Monk, 1963, pp. 424–6.
- ↑ Conrady (1992), pp. 409–10.
- ↑ Born & Wolf, 2002, p. 186, Eq. (22).
- ↑ On Barrow, and Newton's deference to him in this matter, see Shapiro, 1990, pp. 135–6, 147–8.
- ↑ Born & Wolf, 2002, p. 182. Earlier on the same page, Born & Wolf themselves may seem to have asserted what they now deny. But the exculpatory words are "To the first order"; for a thin pencil, if the distance between the focal lines measured along the central ray is first-order, then the obliquity of either focal line to the central ray is second-order.
- ↑ Compare the corresponding remarks by Conrady (1992, top of p. 410).
Bibliography edit
- R. Bacon, tr. R.B. Burke, 1928, The Opus Majus of Roger Bacon (2 vols.), University of Pennsylvania Press, vol. 2.
- R. Bacon (ed. J. Combach), 1614, Perspectiva, Frankfurt: Wolfgang Richter for Anton Humm; google.com/books?id=Cn6k7IC-yaMC.
- I. Barrow, 1669, Lectiones XVIII, Cantabrigiæin scholis publicis habitæ; in quibus opticorum phænomenωn genuinæ rationes investigantur, ac exponuntur, London: William Godbid; google.com/books?id=WpB_5y0XcN4C.
- I. Barrow, tr. H.C. Fay, 1987, Isaac Barrow's Optical Lectures (ed. A.G. Bennett & D.F. Edgar), London: Worshipful Company of Spectacle Makers.
- G.B. Benedetti, 1585, Diversarum Speculationum Mathematicarum, et Physicarum, Liber, Turin: Heirs of Niccolò Bevilacqua; google.com/books?id=lhOWpKH6I_MC / google.com/books?id=Ec6bHphLvzMC.
- G. Berkeley (1901), "An essay towards a new theory of vision", 1709–32, in A.C. Fraser (ed.), The Works of George Berkeley D.D. (4 vols.), Oxford, 1901, vol. 1, archive.org/details/worksofberkeley01berkuoft, pp. 121–210.
- M. Born and E. Wolf, 2002, Principles of Optics, 7th Ed., Cambridge, 1999 (reprinted with corrections, 2002).
- C.A. Cardona and J. Gutiérrez, 2020, "On Berkeley's solution to the Barrovian case", Principia: An International Journal of Epistemology, vol. 24, no. 2, pp. 363–89; doi.org/10.5007/1808-1711.2020v24n2p363 (PDF, open access).
- B. Cavalieri, 1647, Exercitationes Geometricae Sex, Bologna: Giacomo Monti; archive.org/details/bub_gb_OXe4dPXGSDMC.
- A.E. Conrady (1992), Applied Optics and Optical Design, Part 1 (first published London: Oxford University Press, 1929), New York: Dover, 1957, 1985, 1992.
- O. Darrigol, 2012, A History of Optics: From Greek Antiquity to the Nineteenth Century, Oxford.
- F.J. Dijksterhuis, 1999, Lenses and Waves: Christiaan Huygens and the Mathematical Science of Optics in the Seventeenth Century (doctoral thesis), University of Twente; doc.utwente.nl/33764. (See also the book with the same author and title, Dordrecht: Kluwer Academic Publishers, 2004.)
- F.J. Dijksterhuis, 2004, "Once Snell breaks down: From geometrical to physical optics in the seventeenth century", Annals of Science, vol. 61, no. 2 (Apr. 2004), pp. 165–85.
- S. Dupré, 2010, "William Bourne's invention. Projecting a telescope and optical speculation in Elizabethan England", in Van Helden et al., 2010, pp. 129–45.
- Euclid (attrib.) and C. Dasypodius (tr.), 1557, Eυκλειδoυ Kατóπτρικα / Euclidis Catoptrica (Greek and Latin, in facing columns, with no page numbers), Strasbourg ("Argentorati"): Rihel; google.com/books?id=r4Y8AAAAcAAJ.
- Euclid (attrib.) and J.L. Heiberg (ed.), 1895, Catoptrica (Greek and Latin, on facing pages), in J.L. Heiberg & H. Menge (eds.), Euclidis Opera Omnia (9 vols.), Leipzig: Teubner, 1883–99, vol. 7, google.com/books?id=0-0XAAAAMAAJ, pp. 285–343.
- Euclid (attrib.) and J. Pena (tr.), 1557, Eυκλείδoυ Oπτικὰ καὶ Kατoπτρικά / Euclidis Optica & Catoptrica (in Greek and Latin), Paris: Andreas Wechelus; google.com/books?id=StJOmA9SOTsC.
- R. Goulding, 2018, "Binocular vision and image location before Kepler", Archive for History of Exact Sciences, vol. 72, no. 5 (Sep. 2018), pp. 497–546; jstor.org/stable/45211958.
- J. Gregory, 1663, Optica Promota, London: J. Hayes; google.com/books?id=7B4PAAAAQAAJ.
- J. Gregory, and I. Bruce (tr. & ed.), 2006, James Gregory's OPTICA PROMOTA (in English and Latin), 17centurymaths.com/contents/contentsGregory.htm.
- J.O. Halliwell (ed.), 1839, Rara Mathematica; or, A collection of treatises on the mathematics and subjects connected with them, from ancient inedited manuscripts, London: John William Parker, archive.org/details/raramathematicao00hallrich.
- E. Hecht, 2017, Optics, 5th (Global) Ed., Pearson Education.
- F.A. Jenkins and H.E. White, 1976, Fundamentals of Optics, 4th Ed., New York: McGraw-Hill.
- J. Kepler, 1604, Ad Vitellionem Paralipomena, quibus Astronomiae Pars Optica traditur, Frankfurt: Claude de Marne & the heirs of Johann Aubry; google.com/books?id=vLUgK23vc90C.
- J. Kepler (1859), Dioptrice (first published Augsburg: Davidus Francus, 1611), in Kepler, Opera Omnia (ed. C. Frisch), vol. 2, Frankfurt & Erlangen: Heyder & Zimmer, 1859, google.com/books?id=KG6qKr4Ln90C, pp. 515–74.
- J. Kepler, tr. W.H. Donahue, 2000, Optics: Paralipomena to Witelo & Optical Part of Astronomy, Santa Fe: Green Lion Press (reprinted 2021).
- D.C. Lindberg, 1971, "Lines of influence in thirteenth-century optics: Bacon, Witelo, and Pecham", Speculum, vol. 46, no. 1 (Jan. 1971), pp. 66–83; jstor.org/stable/2855089.
- D.C. Lindberg, 1981, Theories of vision from al-Kindi to Kepler, University of Chicago Press, 1976 (paperback ed., 1981).
- J. Lohne, 1959, "Thomas Harriott (1560–1621): The Tycho Brahe of optics", Centaurus, vol. 6, no. 2 (June 1959), pp. 113–121.
- A. Malet, 1990g, "Gregorie, Descartes, Kepler, and the law of refraction", Archives Internationales d'Histoire des Sciences, vol. 40 (1990), no. 125, pp. 278–304.
- A. Malet, 1990k, "Keplerian illusions: Geometrical pictures vs optical images in Kepler's visual theory", Studies in History and Philosophy of Science, vol. 21, no. 1 (March 1990), pp. 1–40; doi.org/10.1016/0039-3681(90)90013-X.
- A. Malet, 2003, "Kepler and the telescope", Annals of Science, vol. 60, no. 2, pp. 107–36; doi.org/10.1080/0003379031000080961.
- A. Malet, 2010, "Kepler's legacy: telescopes and geometrical optics, 1611–1669", in Van Helden et al., 2010, pp. 281–300; upf.academia.edu/AntoniMalet.
- G.S. Monk, 1963, Light: Principles and Experiments, 2nd Ed., New York: Dover.
- I. Newton (2010), Opticks: or, a Treatise of the Reflections, Refractions, Inflections, and Colours of Light, 4th Ed. (first published London: William Innys, 1730), Mineola, NY: Dover, 1952, 1979, 2012; Project Gutenberg, 2010, gutenberg.org/ebooks/33504. (Cited page numbers match the Gutenberg HTML editions and the Dover editions.)
- J. Pecham (ed. L. Gaurico), 1504, Perspectiva Communis, Venice: Giovan Battista Sessa; archive.org/details/joarchiepiscopic00peck. (The publisher's mark appears below the frontispiece.)
- J. Pecham (ed. G. Hartmann), 1542, Perspectiva Communis, Nuremberg: Johannes Petreius; archive.org/details/perspectivacommv00peck.
- C. Ptolemy (ed. G. Govi), 1885, L'Ottica di Claudio Tolomeo (text in Latin; introduction in Italian), Turin: Paravia; archive.org/details/lotticadiclaudi00eugegoog.
- F. Risner (ed.), 1572, Opticae Thesaurus. Alhazeni Arabis libri septem, nunc primùm editi… Vitellonis Thuringolopoli libri X (one vol.; two parts, separately paginated), Basel: per Episcopios; google.com/books?id=V27nL0HJd78C.
- J. Rohault (ed. S. Clarke, tr. J. Clarke), 1735, Rohault's System of Natural Philosophy, 3rd Ed., London: Knapton, vol. 1; archive.org/details/b30535578_0001.
- A.I. Sabra, 1967, "The authorship of the Liber de crepusculis, an eleventh-century work on atmospheric refraction", Isis, vol. 58, no. 1 (Spring 1967), pp. 77–85; jstor.org/stable/228388.
- J.A. Schuster, 2000, "Descartes opticien: The construction of the law of refraction and the manufacture of its physical rationales, 1618–29", in S. Gaukroger, J.A. Schuster, & J. Sutton (eds.), Descartes' Natural Philosophy, London: Routledge, pp. 258–312.
- A.E. Shapiro, 1990, "The Optical Lectures and the foundations of the theory of optical imagery", in M. Feingold (ed.), Before Newton: The Life and Times of Isaac Barrow, Cambridge, pp. 105–78.
- J.W. Shirley, 1951, "An early experimental determination of Snell's law", American Journal of Physics, vol. 19, no. 9 (Dec. 1951), pp. 507–8; doi.org/10.1119/1.1933068.
- A.M. Smith (tr.), 1996, "Ptolemy's theory of visual perception: An English translation of the Optics with introduction and commentary", Transactions of the American Philosophical Society, vol. 86, no. 2; jstor.org/stable/3231951.
- A.M. Smith (tr. & ed.), 2001, "Alhacen's theory of visual perception: A critical edition, with English translation and commentary, of the first three books of Alhacen's De Aspectibus, the medieval Latin version of Ibn al-Haytham's Kitāb al-Manāzir", in Transactions of the American Philosophical Society, vol. 91, no. 4, jstor.org/stable/3657358 (vol. 1: Introduction and Latin text), and no. 5 jstor.org/stable/3657357 (vol. 2: English translation).
- A.M. Smith (tr. & ed.), 2006, "Alhacen on the principles of reflection: A critical edition, with English translation and commentary, of Books 4 and 5 of Alhacen's De Aspectibus, the medieval Latin version of Ibn al-Haytham's Kitāb al-Manāzir", in Transactions of the American Philosophical Society, vol. 96, no. 2, jstor.org/stable/20020399 (vol. 1: Introduction and Latin text), and no. 3, jstor.org/stable/20020403 (vol. 2: English translation).
- A.M. Smith (tr. & ed.), 2008, "Alhacen on image-formation and distortion in mirrors: A critical edition, with English translation and commentary, of Book 6 of Alhacen's De Aspectibus, the medieval Latin version of Ibn al-Haytham's Kitāb al-Manāzir" (vol. 2: English translation), Transactions of the American Philosophical Society, vol. 98, no. 1, sec. 2; jstor.org/stable/27757399.
- A.M. Smith (tr. & ed.), 2010, "Alhacen on Refraction: A critical edition, with English translation and commentary, of Book 7 of Alhacen's De Aspectibus, the medieval Latin version of Ibn al-Haytham's Kitāb al-Manāzir" (vol. 2: English translation), Transactions of the American Philosophical Society, vol. 100, no. 3, sec. 2; jstor.org/stable/20787651.
- A.M. Smith, 2017, From Sight to Light: The Passage from Ancient to Modern Optics, University of Chicago Press, 2015 (paperback ed., 2017).
- A. Tacquet, 1669, Catoptrica Tribus Libris Exposita, in Opera Mathematica, Antwerp: Meursius, vol. 2, google.com/books?id=XHK2NgG3UfQC, pp. 213–264ff.
- K. Takahashi, 1992, The Medieval Latin Traditions of Euclid's Catoptrica: A Critical Edition of De speculis with an Introduction, English Translation and Commentary, Kyushu University Press.
- S. Unguru, 1972, "Witelo and thirteenth-century mathematics: An assessment of his contributions", Isis, vol. 63, no. 4 (Dec. 1972), pp. 496–508; jstor.org/stable/229773.
- A. Van Helden, S. Dupré, R. van Gent, & H. Zuidervaart (eds.), 2010, The Origins of the Telescope, Amsterdam: KNAW Press; dspace.library.uu.nl/handle/1874/224188 (open access).
- J.A. Vollgraff, 1936, "Snellius' notes on the reflection and refraction of rays", Osiris, vol. 1 (Jan. 1936), pp. 718–25; jstor.org/stable/301634.
Further reading edit
Of all the authors cited above, Goulding (2018), although his account ends early in the 17th century, has by far the most information on the cathetus rule, and he alone reports Benedetti's priority in disproving and salvaging it. Goulding also describes the modifications of the rule by Johannes Brengger and Simon Stevin, who wrote or published immediately after the appearance of Kepler's Paralipomena; their modifications, although fallacious and uninfluential, constitute further proof that Kepler was not alone in his dissatisfaction with the rule.
For a concise general history of optics over the life of the traditional cathetus rule, see A. Mark Smith, "Optics to the time of Kepler", Encyclopedia of the History of Science (Nov. 2022; rev. Jul. 2023), doi.org/10.34758/v9kd-ad56. For a more expansive version, see Smith, 2017.