Mathematicians

| Short Biography | Early Journey in Mathematics | Work | Bibliography | Back to the front page

Work
Jimmy Iskandar

David Eugene Smith says

Clearly we are indebted to him for the following contributions to the development of calculus:
  1. He invented a convenient symbolism.
  2. He enunciated definite rules of procedure which he called algorithms.
  3. He realized and taught that quadratures constitute only a special case of integration; or, as he then called it, the inverse method of tangents.
  4. He represented transcendental lines by means of differential equations (619).

However, only his first great achievement in mathematics, which coincides with point 3 above, will be discussed here by employing the same ideas but using a modern symbolism, especially the notations for differential and integral that he invented later (note: most of the calculations performed here are adopted from the Ranjan Roy's article, and to know more about this article, please consult the bibliography at the back). His first great achievement was the discovery of the series for tex2html_wrap_inline151 , which took place in Paris in 1674 just after two years of his serious study in mathematics. The series for tex2html_wrap_inline151 was obtained from applying the transmutation theorem to the quadrature of a circle. The idea behind the theorem, which he obtained from the study of Pascal, is that suppose P and Q are areas and they are divided up into indivisibles represented by infinitesimal triangles or rectangles. P and Q have equal areas if the area of the indivisibles of P is equal to the area of the indivisibles of Q, and there is a one-to-one correspondence between the indivisibles of P and the indivisibles of Q [Roy, 293].

He obtained the transformation formula while he divided up an area into triangles.


                                                  FIGURE 1

Let AC be the straight line tangent to y=f(x), OD be the straight line drawn perpendicular to AC, and ABE be an infinitesimal triangle with ds, dx and dy as its sides. He showed that area( tex2html_wrap_inline187 ) = 1/2 area(rectangle PQRS). Noticing that tex2html_wrap_inline191 is similar to tex2html_wrap_inline193 , he showed that

displaymath29

Thus,

equation33

Now, if the point B moves along the curve y=f(x) and let the point P move together with the point B, then the curve z=g(x) is formed. Let the sector tex2html_wrap_inline205 denote the region closed by y=f(x), the straight line tex2html_wrap_inline209 and tex2html_wrap_inline211 . Thus, by (1) Leibniz discovered the transmutation formula.

equation41

As a consequence, the area under y=f(x) can be computed as follow

eqnarray47

Since

equation57

the formula (3) can be rewritten as

eqnarray61

This is the Leibniz's transmutation theorem.

Now if y=f(x) is a circle of radius 1 and center (1,0), tex2html_wrap_inline217 . By equation(4),

equation83

Let the semicircle with equation tex2html_wrap_inline217 be drawn,


                                                  FIGURE 2

Let PR be the diameter and the straight lines PQ and OQ be drawn and meet at the point Q on the 
circumference. If angle(POQ)=2 tex2html_wrap_inline231 , then area(sector POQ)= tex2html_wrap_inline235 .
Further, the area can be expressed as

equation90

The second area can be expressed as

displaymath92

Now, by the transmutation theorem,

equation95

Then,

displaymath99

Since tex2html_wrap_inline237 and by (6) tex2html_wrap_inline239 ,

eqnarray105

Further, he used the method which Nicolaus Mercator had written the infinite series for tex2html_wrap_inline241 to solve the hyperbole quadrature problem. The infinite series for tex2html_wrap_inline241 is

displaymath115

By similar argument to Mercator, he showed that

displaymath118

and

displaymath121

Hence,

displaymath128

This series is the tex2html_wrap_inline245 , since tex2html_wrap_inline247 and tex2html_wrap_inline249 . In particular, if x=y then z=1 and thus Leibniz found the series for tex2html_wrap_inline151 .

displaymath135

| Short Biography | Early Journey in Mathematics | Work | Bibliography | Back to the front page