James Gregory (born 1638) was the third son of the Rev. John Gregory, minister of Drumoak, a small parish near Aberdeen. His mother was the daughter of David Anderson of Finzeach in Aberdeenshire, and related to the Alexander Anderson, just mentioned as a teacher in Paris. Gregory is said to have received his first lessons in mathematics from his mother, but in due course he passed on, first to the Grammar School and then to Marischal College, Aberdeen, where he graduated. In 1663 his Optica Promota was published in London and he spent some time in that city after the publication of his book in the hope of securing facilities for constructing a telescope on the principles he had laid down in the Optica. His efforts were, however, unsuccessful and he went to Italy where he continued his mathematical studies. After a residence of about three years in Padua he returned, in 1668, to Scotland. In 1669 he was appointed to the Chair of Mathematics at St Andrews; in that position be had a busy and, as the years passed, a rather troubled life so that he was glad to accept a call in 1674 to be Professor of Mathematics at Edinburgh where, as he says in a letter to a friend in Paris, "my salary is double and my encouragements much greater." (Acad. Greg. p. 49). His Edinburgh professorship was, however, very brief as he died in October 1675.
The mathematical writings of Gregory that were published under his own supervision, in addition to the Optica Promota, are :-
2. A reprint of the Quadratura with an important addition, Geometriae Pars Universalis, inserviens quantitatum curvarum transmutationi et mensurae: Patavii, 1668.
3. Exercitationes Geometricae: London, 1668.
The Quadratura and the Geometriae Pars Universalis are not altogether easy to read but the difficulty is due not so much to any obscurity in the reasoning as to the cumbrous phraseology of the geometrical form in which the demonstrations are carried out. If the books were re-written and the symbolism of modern mathematics employed throughout very much of the difficulty would disappear.
Quadratura. If OAB is a sector of a circle (or ellipse or hyperbola), O being the centre and AC, BC the tangents at A and B let the triangle OAB be called an inscribed triangle and the quadrilateral OACB a circumscribed quadrilateral.
Let EDF be the tangent to the arc at D where OC cuts it; then the quadrilateral OADB is a second inscribed quadrilateral and the polygon OAEFB a second circumscribed figure.
Proceeding in this way Gregory constructs pairs of inscribed and circumscribed figures, thus forming two sets (S)
v1 , v2 , v3 , ... , vn circumscribed polygons.
vn = 2( un vn-1)/( un + vn-1),
lim (vn - un) = 0 (lim as n → ∞).
In the course of the work Gregory shows great skill in carrying through complicated calculations in spite of very inadequate symbolism but the main interest now-a-days does not lie in the calculations. The important point is that he seeks to prove that t, the termination of the converging series, can not be an algebraic function of any pair of the terms un , vn . To find the termination he says we must find a function such that f(un , vn) = f(un+1 , vn+1) and then if t is the termination t = f(un , vn) = f(u1 , v1). Here un , vn are any pair, i.e. are variables and if such a function can be found it will give t. Now Gregory tries to prove, and believes he does prove, that f is not an algebraic function and that therefore circular (and also logarithmic) functions are not algebraic. His method of defining the degree of his algebraic function is not at all clear or satisfactory and would need fuller development, but, whatever decision we come to on that matter, it is a very remarkable attempt and is a striking proof of Gregory's philosophic acumen. His work applies to the hyperbola as well as to the circle so that logarithms come within its scope.
Geometriae Pars Universalis. - The aim of the Geometriae Pars Universalis is wider. It may be briefly described as an attempt to reduce to a coherent system the various methods ' that had been applied in the investigation of the rectification and quadrature of curves, the cubature of solids, the determination of centres of gravity and problems of maxima and, minima. He says that in the more obvious propositions he uses the methods of Cavalieri, but that his chief object is to establish his propositions with geometric rigour. He shows wide reading but the methods adopted in the principal propositions seem to me to indicate a specially close affinity with Fermat's work of which he might have obtained a knowledge through Herigone's Supplementum Cursus Mathematici (vol. 6 of the Cursus) which was published in 1644.
The subtangent is an essential element in his work and in the 7th Proposition he shows how to find it or (what is the same thing) how to find
His fundamental theorem in quadrature is, curiously enough, that which determines the surface of that part of a cylinder of height h with generators perpendicular to the xy-plane and the are of the curve y = f(x) between the points for which x has the values a and b as guiding curve. In modern symbols, if s represents the arc, the surface is
Again if (a, a') and (b, b') are the end-points of the graph of y he establishes the theorem
In a series of propositions he discusses the mensuration of the surface of paraboloids and hyperboloids of revolution and of spheroids and rectifies parabolic arcs. He works out in detail the rectification of the curve ay2n = x2n+1 for the case n = 2 and states that his method applies for every positive integral value of n,; the proof was, I think, well within his competence.
Gregory's developments in the Geometria and the Exercitationes show plainly that what we now call the Differential and Integral Calculus was near at hand, but while the great range of results and the ingenuity of the demonstrations are worthy of recognition the vital connection between differentiation and integration is not yet stated as is necessary for the advance that followed from Barrow's developments (Lect. Geom., X, x.)
Gregory's name is usually attached to a series for tan-1 x and except in this connection and in relation to the phrase "convergent series" it is rarely mentioned. But the source from which the series issued sent forth many more theorems of great importance which seem to have been unnoticed. I may refer to my paper in the Proc. Edinb. Math. Soc. for an account of these phases of Gregory's work. I would like, however, to emphasise the fact - for I think it is a fact - that the assertion, so often repeated in the Commercium Epistolicum, of Gregory's indebtedness to Newton is simply not true; it is very little to the credit of the compilers of that volume that they misrepresented and deliberately concealed the great number of quite independent results that Gregory had attained. From the paper referred to it will be seen that Gregory had worked out for himself
(ii) the general expression for f(x) in terms of f(b) and of the finite differences Df(b), Df(b) ... and
(iii) general series for the sines and cosines of multiple angles, with a large variety of series for the mensuration of the circle.