Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to The American Mathematical Monthly.

Similar documents
Part I, Number Systems. CS131 Mathematics for Computer Scientists II Note 1 INTEGERS

THE INTRODUCTION OF COMPLEX NUMBERS*

REVIEW Chapter 1 The Real Number System

Grade 7/8 Math Circles Winter March 20/21/22 Types of Numbers

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Solving Polynomial Equations

Once they had completed their conquests, the Arabs settled down to build a civilization and a culture. They became interested in the arts and

Final Exam Extra Credit Opportunity

Grade 8 Chapter 7: Rational and Irrational Numbers

The Periodogram and its Optical Analogy.

CHAPTER 2 INTRODUCTION TO CLASSICAL PROPOSITIONAL LOGIC

Arab Mathematics Bridges the Dark Ages. early fourth century and the European Giants in the seventeenth and eighteenth

Industrial revolution and reform of mathematics

Algebra SEMESTER ONE. K12.com { Pg. 1 } Course Overview. Unit 1: Algebra Basics. Unit 2: Properties of Real Numbers

Descartes s Logarithm Machine

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at

CHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction

MTH122: Algebra I. Course length: Two semesters. Materials: Algebra I: A Reference Guide and Problem Sets. Prerequisites: MTH112: Pre-Algebra

SEVENTH EDITION and EXPANDED SEVENTH EDITION

CHAPTER 1 NUMBER SYSTEMS. 1.1 Introduction

CHAPTER 1 REVIEW Section 1 - Algebraic Expressions

WARM-UP. Compare using >, <, or =. 254 a 204 a m 63 m 36 c + d d + c b 287 b n n 440 k 540 k

9. Mathematics in the sixteenth century

EXERCISES IN QUATERNIONS. William Rowan Hamilton. (The Cambridge and Dublin Mathematical Journal, 4 (1849), pp ) Edited by David R.

Extending The Natural Numbers. Whole Numbers. Integer Number Set. History of Zero

Foundations of Basic Geometry

Expressions and Formulas 1.1. Please Excuse My Dear Aunt Sally

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Variables and Expressions

MTH 05. Basic Concepts of Mathematics I

GLOSSARY TERM DEFINITIONS

CLASS-IX MATHEMATICS. For. Pre-Foundation Course CAREER POINT

Fundamentals. Introduction. 1.1 Sets, inequalities, absolute value and properties of real numbers

Mathematics Foundation for College. Lesson Number 8a. Lesson Number 8a Page 1

Anticipations of Calculus - Archimedes

Module 3: Cartesian Coordinates and Vectors

MthEd/Math 300 Williams Fall 2011 Midterm Exam 2

Shi Feng Sheng Danny Wong

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics. College Algebra for STEM

The Mathematics of Renaissance Europe

than meets the eye. Without the concept of zero, math as we know it would be far less

Pell s Equation Claire Larkin

Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to The American Mathematical Monthly.

4 Arithmetic of Segments Hilbert s Road from Geometry

UNIT 4 NOTES: PROPERTIES & EXPRESSIONS

Classical Text in Translation An Example of Statistical Investigation of the Text Eugene Onegin Concerning the Connection of Samples in Chains

Math Conventions. for the Quantitative Reasoning measure of the GRE General Test.

The analysis method for construction problems in the dynamic geometry

The term natural philosophy evolved into physical sciences and physics. 17. Euclid s Elements, Book I, Definition 2. 18

Dr. Relja Vulanovic Professor of Mathematics Kent State University at Stark c 2008

A FRAGMENT OF BOOLE S ALGEBRAIC LOGIC SUITABLE FOR TRADITIONAL SYLLOGISTIC LOGIC

PREFACE. Synergy for Success in Mathematics 7 is designed for Grade 7 students. The textbook

ALGEBRAIC EXPRESSIONS AND POLYNOMIALS

= 5 2 and = 13 2 and = (1) = 10 2 and = 15 2 and = 25 2

Accelerated Math. Class work 3. Algebra.

Mini Lecture 1.1 Introduction to Algebra: Variables and Mathematical Models

Arithmetic with Whole Numbers and Money Variables and Evaluation (page 6)

SERIES

Adding and Subtracting Terms

TRIGONOMETRY REVIEW (PART 1)

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Expressions, Equations and Inequalities Guided Notes

Ecological Society of America is collaborating with JSTOR to digitize, preserve and extend access to Ecology.

THE FIVE GROUPS OF AXIOMS.

Annals of Mathematics

Algebra SECTION 1: THE MEANING AND USE OF SIGNED NUMBERS; THE SET OF INTEGERS

Complex numbers. Learning objectives

Mind Association. Oxford University Press and Mind Association are collaborating with JSTOR to digitize, preserve and extend access to Mind.

Symbolic Analytic Geometry and the Origins of Symbolic Algebra

Course: Algebra 1-A Direct link to this page:

Module 3 : Differentiation and Mean Value Theorems. Lecture 7 : Differentiation. Objectives. In this section you will learn the following :

Chapter 12: Ruler and compass constructions

How to Express Counting Numbers as a Product of Primes Beginning Abstract Algebra at Elementary School Diego Pareja-Heredia. Universidad del Quindío

The mighty zero. Abstract

Review Notes for IB Standard Level Math

An Algebraic Characterization of the Halting Probability

The Econometric Society is collaborating with JSTOR to digitize, preserve and extend access to Econometrica.

Playing with Numbers. introduction. numbers in general FOrM. remarks (i) The number ab does not mean a b. (ii) The number abc does not mean a b c.

To use the Math round questions in Powerpoint format, you must have access to MathType:

E. DROR, W. G. DWYER AND D. M. KAN

Euclidean Geometry Proofs

Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at

LESSON ASSIGNMENT. After completing this lesson, you should be able to:

History of Mathematics. Victor J. Katz Third Edition

Course Learning Outcomes for Unit III. Reading Assignment. Unit Lesson. UNIT III STUDY GUIDE Number Theory and the Real Number System

Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission.

Math Precalculus I University of Hawai i at Mānoa Spring

FACTORIZATION AND THE PRIMES

Menelaus Theorem, Weil Reciprocity, and a Generalisation to Algebraic Curves. School of Mathematics, Trinity College, University of Dublin

Algebra Review. Terrametra Resources. Lynn Patten

CONTENTS NUMBER SYSTEMS. Number Systems

Jennifer Duong Daniel Szara October 9, 2009

Calculus Differential Integral

4.4. Closure Property. Commutative Property. Associative Property The system is associative if TABLE 10

2012 Assessment Report. Mathematics with Calculus Level 3 Statistics and Modelling Level 3

From Hipparchus to a Helix Ruler

Origin of the Fundamental Theorem of Calculus Math 121 Calculus II Spring 2015

Math 1120 Calculus, section 2 Test 1

1 Introduction. 2 Solving Linear Equations. Charlotte Teacher Institute, Modular Arithmetic

Transcription:

The Literal Calculus of Viete and escartes Author(s): I. G. Bashmakova, G. S. Smirnova and Abe Shenitzer Reviewed work(s): Source: The American Mathematical Monthly, Vol. 106, No. 3 (Mar., 1999), pp. 260-263 Published by: Mathematical Association of America Stable URL: http://www.jstor.org/stable/2589684. Accessed: 12/06/2012 18:16 Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at. http://www.jstor.org/page/info/about/policies/terms.jsp JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. For more information about JSTOR, please contact support@jstor.org. Mathematical Association of America is collaborating with JSTOR to digitize, preserve and extend access to The American Mathematical Monthly. http://www.jstor.org

THE EVOLUTION OF... Edited by Abe Shenitzer Mathematics, York University, North York, Ontario M3J1P3, Canada The Literal Calculus of Viete and escartes I. G. Bashmakova and G. S. Smirnova Translated from the Russian by Abe Shenitzert 1. The contribution of Fransois Viete (1540-1603). Viete tried to create a new science (he called it ars analytica, or analytic art) that would combine the rigor of the geometry of the ancients with the operativeness of algebra. This analytic art was to be powerful enough to leave no problem unsolved: nullum non problema solvere. Viete set down the foundations of this new science in his An introduction to the art of analysis (In artem analyticem isagoge) of 1591. In this treatise he created a literal calculus. In other words, he introduced the language of formulas into mathematics. Before him, literal notations were restricted to the unknown and its powers. Such notations were first introduced by iophantus and were somewhat improved by mathematicians of the 15th and 16th centuries. The first fundamentally new step after iophantus was taken by Viete, who used literal notations for parameters as well as for the unknown. This enabled him to write equations and identities in general form. It is difficulto overestimate the importance of this step. Mathematical formulas are not just a compact language for recording theorems. After all, theorems can also be stated by means of words; for example, the formula (a + b)2 = a2 + 2ab + b2 (1) can be expressed by means of the phrase "the square of the sum of two quantities is equal to the square of the first quantity, plus the square of the second quantity, plus twice their product." Shorthand also has the virtue of brevity. What counts is that we can carry out operations on formulas in a purely mechanical manner and obtain in this way new formulas and relations. To do this we must observe three rules: 1) the rule of substitution; 2) the rule for removing parentheses; and 3) the rule for reduction of similar terms. For example, from formula (1) one can obtain in a purely mechanical manner, without reasoning, formulas for (a + b + C)2, for (a + b)3, and so on. In other words, literal calculus replaces some reasoning by mechanical computations. In Leibniz' words, literal calculus "relieves the imagination". ttranslator's note. The process of creating a literal algebra was begun by iophantus and was completed by Viete and escartes. The contribution of iophantus was described in "The Birth of Literal Algebra", this MONTHLY 106 (1999) 260-271. Viete and escartes, created the literal calculus we use today. This article is practically all of Section 4, Chapter V, and Section 1, Chapter VI of [1]. 260 THE EVOLUTION OF... [MarCh

We can hardly imagine mathematics without formulas, without a calculus. But it was such up until Viete's time. The importance of the step taken by Viete is so fundamental that we consider his reasoning in detail. Viete adopted the basic principle of Greek geometry, according to which only homogeneous magnitudes can be added, subtracted, and can be in a ratio to one another. As he put it: "Homogena homogenei comparare." As a result of this principle, he divides magnitudes into "species": the 1st species consists of "lengths", i.e., of one-dimensional magnitudes. The product of two magnitudes of the 1st species belongs to the 2nd species, which consists of "plane magnitudes", or "squares", and so on. In modern terms, the domain V of magnitudes considered by Viete can be described as follows: V = R(1) U R(2) U.. U R(k) U... where R(k) is the domain of k-dimensional magnitudes, k e N,. In each of the domains R(k) we can carry out the operations of addition and of subtraction of a smaller magnitude from a larger one, and can form ratios of magnitudes. If a e R and,b e R(Q), then there is a magnitude y = a,3 and y E R+ If k > 1, then there exists a magnitude 8 = a : /3, and 8 e R(k-1) After constructing this "ladder", Viete proposes to denote unknown magnitudes by vowels A, E, I, 0... and known ones by consonants B, C,,... Furthermore, to the right of the letter denoting a magnitude he places a symbol denoting its species. Thus if B e R (2) then he writes B plan (i.e., planum-plane), and if an unknown A e R(2), then he writes A quad (square). Similarly, magnitudes in R(3) get the indices solid or cub and those in R(4) get the indices plano-planum or quadrato-quadratum, and so on. For addition and subtraction Viete adopts the cossist symbols + and - and introduces the symbol = for the absolute value of the difference of two numbers, thus B = is the same as I B- 1. For multiplication he uses the word "in", A in B, and for division the word "applicare". Next he introduces the rules B-(C +) =B-C +; B in(c +) =B in C +B in, as well as operations on fractions, written by means of letters, e.g., Bpl Bpl+Z in Viete's next treatise was Ad logisticam speciosam notae priores, which appeared only in 1646 as part of his collected works. In it he set down some of the most important algebraic formulas, such as: (A + B)1 =-An + nan-1b + + B n n = 2,3,4,5; An +Bn = (A +B)(A n -An-2B + + Bn-1) n = 3,5; An - Bn = (A-B)(An-1 + An-2B + *+Bn-1 n= 2 3 4 5. Viete's literal calculus was perfected by Rene escartes (1596-1650), who dispensed with the principle of homogeneity and gave the literal calculus its modern form. 2. The contribution of Rene escartes (1596-1650). The 16th century was marked by remarkable achievements in algebra and was followed by a period of relative calm in this area. Most of the energy of 17th-century mathematicians was absorbed by infinitesimal analysis, which was created at that time. Nevertheless, while 1999] THE EVOLUTION OF... 261

inconspicuous at first sight, profound changes were taking place in algebra that can be characterized by one word-arithmetization. The first steps in this direction were taken by the famous philosopher and mathematician Rene escartes (1596-1650). In his Geometty (the fourth part of his 1637 iscourse on method), whose essential content was the reduction of geometry to algebra or, in other words, the creation of analytic geometry, he first of all transformed Viete's calculus of magnitudes (logistica speciosa). escartes represented all magnitudes by segments, and constructed a calculus of segments that differed essentially from the one that was used in antiquity and that formed the basis of Viete's construction. escartes' idea was that the operations on segments should be a faithful replica of (we would say "should be isomorphic to") the operations on rational numbers. Whereas the ancients and Viete regarded the product of two segment magnitudes as an area, i.e., as a magnitude of dimension 2, escartes stipulated that it was to be a segment. To this end, he introduced a unit segment-which we will denote by e-and defined the product of segments a and b as the segment c that was the fourth proportional to the segments e, a, and b. Specifically (see Figure 1), he constructed an arbitrary angle ABC, and laid off the F B A Figure 1 segments AB = e, B = b and BC = a. Then he joined A to C, drew FIIAC, and obtained the segment BF = c = ab. This meant that the product belonged to the same domain of magnitudes (segments) as the factors. ivision was defined analogously: to divide BF = c by B = b we lay off from the vertex B of the angle the segment BA = e, join F to, and draw AC parallel to F. The segment BC is the required quotient. In this way, escartes made the domain of segments into a replica of the semifield R+. Later he also introduced negative segments (with directions opposite to those of the positive segments) but did not go into the details of operations with negative numbers. Finally, escartes showed that the operation of extraction of roots (of positive magnitudes) does not take us outside the domain of segments. (We interpolate a comment. Long before escartes, Bombelli introduced similar rules of operation with segments. Until recently it was thought that he did this in the fourth part of his manuscript published only in the 20th century. However, G. S. Smirnova showed recently that such operations on segments occur also in the parts of Bombelli's Algebra published in 1572, i.e., during his lifetime.) To extract the root of c = BF, escartes extended this segment, laid off FA = e on the extension, drew a semicircle with diameter BA, and erected at F the perpendicular to BA. If I is its intersection with the semicircle, then FI = V. escartes' calculus was of tremendou significance for the subsequent development of algebra. It not only brought segments closer to numbers but also lent to algebra the simplicity and operativeness that we take advantage of to this day. Another convention introduced by escartes and used to this day is denoting 262 THE EVOLUTION OF... [March

unknowns by the last letters of the alphabet: x, y, z, and knowns by the first letters: a, b, c. The only difference between escartes' symbolism and modern symbolism his equality sign: n. Essentially, it was escartes who established the isomorphism between the domain of segments and the semifield R+ of real numbers. However, he gave no general definition of number. This was done by Newton in his UniversalArithmetic in which the construction of algebra on the basis of arithmetic reached its completion. He wrote: "Computation is conducted either by means of numbers, as in ordinary arithmetic, or through general variables, as is the habit of analytical mathematicians." And further: "Yet arithmetic is so instrumental to algebra in all its operations that they seem jointly to constitute but a single, complete computing science, and for that reason I shall explain both together." Newton immediately gives a general definition of number. We recall that in antiquity number denoted a collection of units (i.e., natural numbers), and that ratios of numbers (rational numbers) and ratios of like quantities (real numbers) were not regarded as numbers. Claudius Ptolemy (2nd century A) and Arab mathematicians did identify ratios with numbers, but in 16th- and 17th-century Europe the Euclidean tradition was still very strong. Newton was the firsto break with it openly. He wrote: By a 'number' we understand not so much a multitude of units as the abstract ratio of any quantity to another quantity which is considered to be unity. It is threefold: integral, fractional, and surd. An integer is measured by unity, a fraction by a submultiple part of unity, while a surd is incommensurable with unity. With characteristic brevity, Newton goes on to define negative numbers: Quantities are either positive, that is, greater than zero, or negative, that is, less than zero... in geometry, if a line drawn with advancing motion in some direction be considered as positive, then its negative is one drawn retreating the opposite direction. To denote a negative quantity... the sign - is usually prefixed, to a positive one the sign +. Then Newton formulates rules of operation with relative numbers. We quote his multiplication rule: "A product is positive if both factors are positive or both negative and it is negative otherwise." He provides no "justifications" for these rules. (Translator's note. The preceding quotations are taken from. T. Whiteside's English translation of Newton's Arithmetica universalis.) Thus Viete's elaborate domain of magnitudes was replaced in the 17th century by the field of real numbers and arithmetic formed the foundation of algebra. REFERENCES 1. I. G. Bashmakova and G. S. Smirnova, The rise and evolution of algebra. In: Essays on the history of mathematics, Moscow State University, Moscow, 1997. (Russian) 2. H. L. L. Busard, Fran4ois Viete. ictionary of Scientific Biography, Vol. 14, pp. 18-25. New York, Scribners, 1970-1990. 3. Theodore M. Brown, Rene' escartes. ictionary of Scientific Biography, Vol. 4, pp. 51-65. New York, Scribners, 1970-1990. 4. Rene escartes, iscourse on method and meditations. Translated, with an introduction by L. J. Lafleur. New York, Macmillan, 1986. 5. Rene escartes, Geometry. Translated by. E. Smith and M. L. Latham. New York, over, 1954. 1999] THE EVOLUTION OF... 263