540

# Números reais: de Pitágoras à Stevin

História da evolução do conceito de números real - 1ª parte

#### Paulo Bordoni

September 18, 2014

## Transcript

1. ### History topic: The real numbers: Pythagoras to Stevin Before we

begin to discuss the historical development of the real number system it is useful to consider what a number is. Perhaps the reader might think that this is a silly question and that it is "obvious" what a number is. Well the first clear evidence that this is not so is the fact that the concept of number has changed greatly throughout the development of mathematics up to the present day. What is equally clear is that there is no reason, other than conceit, to believe that the present concept of number will not change in the future. Wittgenstein, in Philosophical Investigations writes:- Why do we call something a 'number'? Well, perhaps because it has a direct relationship with several things that have hitherto been called number; and this can be said to give it an indirect relationship to other things we call the same name. And we extend our concept of number as in spinning a thread we twist fibre on fibre. And the strength of the thread does not reside in the fact that some one fibre runs through its whole length, but in the overlapping of many fibres. But if someone wished to say: "There is something common to all these constructions - namely the disjunction of all their common properties" - I should reply: "Now you are only playing with words. One might as well say: 'Something runs through the whole thread - namely the continuous overlapping of those fibres.' " "All right: the concept of number is defined for you as the logical sum of these individual interrelated concepts: cardinal numbers, rational numbers, real numbers etc.; and, in the same way the concept of a game is the logical sum of a corresponding set of sub-concepts." - It need not be so. For I can give the concept 'number' rigid limits in this way, that is, use the word "number" for a rigidly limited concept, but I can also use it so that the extension of the concept is not closed by a frontier. And this is how we use the word "game". For how is the concept of a game bounded? We should begin a discussion of real numbers by looking at the concepts of magnitude and number in ancient Greek times. The first of these might refer to the length of a geometrical line while the second concept, namely number, was thought of as composed of units. Pythagoras seems to have thought that "All is number"; so what was a number to Pythagoras? It seems clear that Pythagoras would have thought of 1, 2, 3, 4, ... (the natural numbers in the terminology of today) in a geometrical way, not as lengths of a line as we do, but rather in the form of discrete points. Addition, subtraction and multiplication of integers are natural concepts with this type of representation
2. ### but there seems to have been no notion of division.

A mathematician of this period, given the number 12, could easily see that 4 is a submultiple of it since 3 times 4 is exactly 12. Although to us this is clearly the same as division, it is important to see the distinction. We have used the word "submultiple" above, so should indicate what the Pythagoreans considered this to be. Nicomachus, following the tradition of Pythagoras, makes the following definition of a submultiple:- The submultiple, which is by its nature the smaller, is the number which when compared with the greater can measure it more times than one so as to fill it out exactly. Magnitudes, being distinct entities from numbers, had to have a separate definition and indeed Nicomachus makes such a parallel definition for magnitudes. The idea of Pythagoras that "all is number" is explained by Aristotle in Metaphysics:- [In the time of Pythagoras] since all other things seemed in their whole nature to be modelled on numbers, and numbers seemed to be the first things in the whole of nature, they supposed the elements of numbers to be the elements of all things, and the whole heaven to be a musical scale and a number. And all the properties of numbers and scales which they could show to agree with the attributes and parts and the whole arrangement of the heavens, they fitted into their scheme ... the Pythagoreans say that things are what they are by intimating numbers ... the Pythagoreans take objects themselves to be numbers and do not treat mathematical objects as distinct from them ... This concept certainly ran into difficulties once various magnitudes were studied. All numbers, essentially by definition, were, as we have seen, (positive integer) multiples of a base unit but ratios of lengths were shown not to have the property of being ratios of numbers (integers). The usual example given of this comes from a right angled triangle whose shorter sides are both of unit length. Such a triangle has as hypotenuse a line of length √2 times the lengths of the shorter sides. There is no length x such that 1 and √2 are both multiples (remember integer multiples) of x. Plato, in Theaetetus, tells of the discovery that √3, √5, ... , √17 were not commensurable with 1:- Theodorus was writing out for us something about roots, such as the sides of squares whose area was 3 or 5 units, showing that the sides are incommensurable with the unit: he took the examples up to 17, but there for some reason he stopped.
3. ### We suppose that the discovery that √2 was not commensurable

with 1 came earlier which is why Theodorus started with √3. Heimonen, in , looks at the views of different historians concerning the discovery of the irrational numbers:- Von Fritz has proposed that the Pythagorean Hippasos first proved the irrationality of the golden ratio by studying the regular pentagon. The proof is based on the fact that the continued fraction expansion of the ratio of its diagonal and size is periodic. The same idea of irrationality proof was expressed by Zeuthen and van der Waerden for the ratio of the diagonal and side of the square also, as well as for the square roots of 3, 5, ... ,17, which according to Plato were proved to be irrational by Theodoros. Knorr set out a new theory, trying especially to explain better why Theodoros stopped just at the square root of 17. His theory is some kind of geometrical version on the irrationality proof of the square root of 2 known from school. Fowler accepted the main ideas of Knorr, but also returned to the continued fractions, maintaining even that also the common fractions were handled as continued fractions in Plato's time. Before continuing to describe advances in ideas concerning numbers, it should be mentioned at this stage that the Egyptians and the Babylonians had a different notion of number to that of the ancient Greeks. The Babylonians looked at reciprocals and also at approximations to irrational numbers, such as √2, long before Greek mathematicians considered approximations. The Egyptians also looked at approximating irrational numbers. Let us now look at the position as it occurs in Euclid's Elements. This is an important stage since it would remain the state of play for nearly the next 2000 years. In Book V Euclid considers magnitudes and the theory of proportion of magnitudes. It is probable (and claimed in a later version of The Elements)that this was the work of Eudoxus. Usually when Euclid wants to illustrate a theorem about magnitudes he gives a diagram representing the magnitude by a line segment. However magnitude is an abstract concept to Euclid and applies to lines, surfaces and solids. Also, more generally, Euclid also knows that his theory applies to time and angles. Given that Euclid is famous for an axiomatic approach to mathematics, one might expect him to begin with a definition of magnitude and state some unproved axioms. However he leaves the concept of magnitude undefined and his first two definitions refer to the part of a magnitude and a multiple of a magnitude:
4. ### Definition V.1 A magnitude is a part of a magnitude,

the less of the greater, when it measures the greater. Again the term "measures" here is undefined but clearly Euclid means that (in modern symbols) the smaller magnitude x is a part of the greater magnitude yif nx = y for some natural number n > 1. Definition V.2 The greater is a multiple of the less when it is measured by the less. Then come the definition of ratio. Definition V.3 A ratio is a sort of relation in respect of size between two magnitudes of the same kind. This is an exceptionally vague definition of ratio which basically fails to define it at all. He then defines when magnitudes have a ratio, which according to the definition is when there is an multiple (by a natural number) of the first which exceeds the second and a multiple of the second which exceeds the first. Then comes the vital definition of when two magnitudes are in the same ratio as a second pair of magnitudes. As it is quite hard to understand in Euclid's language, let us translate it into modern notation. It says that a : b = c : d if given any natural numbers n and m we have na > mb if and only if nc > md na = mb if and only if nc = md na < mb if and only if nc < md. Euclid then goes on to prove theorems which look to a modern mathematician as if magnitudes are vectors, integers are scalars, and he is proving the vector space axioms. For example for magnitudes a and b and natural numbers n and m he proves:- Proposition V.1 n(a + b) = na + nb Proposition V.2 (n + m)a = na + ma Proposition V.3 n(ma) = (nm)a In Book VII Euclid studies numbers. He makes a series of definitions. First he defines a unit, then a number is defined as being composed of a multitude of units, and parts and multiples are defined as for magnitudes. We should note that Euclid, as earlier Greek mathematicians, did not consider 1 as a number. It was a unit and the numbers 2, 3, 4, ... were composed of units. Various properties of numbers are assumed but are not listed as axioms. For example the commutative law for multiplication is assumed without ever being stated as an axiom as are the associative law for addition etc. He then introduces
5. ### proportion for numbers and shows essentially that for numbers a,

b, c, d that a : b = c : d precisely when the least numbers with ratio a : b is equal to the least numbers with ratio c : d. This is logically equivalent to saying in modern terms that the rational a/b and the rational c/d are equal if they become the same when reduced to their lowest terms. An important result in Book VII is the Euclidean algorithm. We should note that Euclid never identified the ratio 2 : 1 with the number 2. These were two quite different concepts. Book X considers commensurable and incommensurable magnitudes. It is a long book, over one quarter of the whole of The Elements. We have: Definition X.1 Those magnitudes are said to be commensurable which are measured by the same measure, and those incommensurable which cannot have any common measure. Euclid then proves results such as:- Proposition X.2 If, when two unequal magnitudes are set out and the lesser is always subtracted in turn from the greater, the remainder never measures the magnitude before it, then the magnitudes will be incommensurable. Proposition X.5 Commensurable magnitudes have to one another the ratio which a number has to a number. Notice that Proposition X.2 says that two magnitudes are incommensurable if the Euclidean algorithm does not terminate. Euclid goes on to prove, among many other results, those of Theodorus, namely that segments of length √3, √5, ... , √17 are incommensurable with a segment of unit length. So where does Euclid's Elements leave us with respect to numbers. Basically numbers were 1, 2, 3, ... and ratios of numbers were used which (although not considered to be numbers) basically allowed manipulation with what we call rationals. Also magnitudes were considered and these were essentially lengths constructible by ruler and compass from a line of unit length. No other magnitudes were considered. Hence mathematicians studied magnitudes which had lengths which, in modern terms, could be formed from positive integers by addition, subtraction, multiplication, division and taking square roots. The Arabic mathematicians went further with constructible magnitudes for they used geometric methods to solve cubic equations which meant that they could construct magnitudes whose ratio to a unit length involved cube roots. For example Omar Khayyam showed how to solve all cubic equations by geometric methods. Fibonacci, using skills learnt from the Arabs, solved a