3.4 Irrational Numbers

If an operation applied to a rational number (root taking, limit of an infinite sequence of rational numbers) leads to a number that is not a rational number, i.e. if it cannot be written as a ration of 2 integers, which is representable as a finite or periodic decimal fraction, then this number is considered as an irrational number. Here the term irrational has historical reasons, as a demarcation from the rational(numbers that are ratios) and has no secondary meaning irrational = unreasonable or unthinkable.

If one applies the operations mentioned above to irrational numbers, then this does not yield another type of number.

Rational numbers constitute a countable set - they can be ordered in such a way, that they constitute a countable sequence. The irrational numbers however do not constitute a countable set. In this sense there are more irrational as rational numbers.

3.4.1 Algebraic Numbers

The need to introduce numbers that are not rational, the Pythagoreans (Pythagoras, 570 - 510 b.C., mathematician and natural philosopher in the Greek colony metapont in southern Italy ) recognized during their reflections about the calculation of right triangles with the hypotenuse c and the legs a and b.

In the domain of integers there are only few solutions, the Pythagorean triples, that are often used in homework problems (3, 4, 5; 6, 8,10; 5, 12, 13; 8, 15, 17; 7, 24, 25; 9, 12, 15; 10, 24, 26; etc)

     Theorem of Pythagoras: a2 + b2 = c2c = a2 + b2

     Example of an integer solution: c = 32 + 42 = 25 = 5

     Example of a rational solution:3 2 2 + 22 = 25 4 = 5 2

     Example of an irrational solution: c = 12 + 12 = 2

Numbers, that are in general obtained as solutions of polynomial equations with rational coefficients, i.e. that are their roots, are designated as algebraic numbers. The include both rational as well as irrational numbers. Rational numbers are thus rare special cases of irrational numbers

3.4.2 Transcendental Numbers

Irrational numbers, that are not a root of a polynomial with rational coefficients , are called transcendental numbers.

Here transcendental simply means going beyond the rational numbers and does not have any mystical background whatsoever.

The most common transcendental numbers are the circle number π and the Euler number e ( written in blocks of in the following(

π = 3.14159265358979323846264338327950288419716939937510

e = 2.71828182845904523536028747135266249775724709369995 It is a characteristic feature of transcendental numbers, that they are limits of infinitely often repeated operations (additions, multiplications, formation of continued fraction, root taking, etc.) (see below).

3.4.3 π and the Quadrature of the Circle according to Archimedes

Using the example of the number π it will be demonstrated, how this transcendental number of high practical importance can be obtained as the limit of a sequence. We follow the famous train of thought due to Archimedes.

Using the theorem of Pythagoras and the formula for the area of a triangles with baseline a and height h i.e. F = 1 2ah the mathematicians and surveyors of Egypt and antiquity were able to reduce the area of an arbitrary surface that is bounded by straight lines to that of a square of the same area, whose length is given by a square root, i.e mostly an irrational number; even today the unit of surface area for arbitrarily bounded surfaces is still the “square meter”.

The “Quadrature of the circle”, as paradigm of calculating the area of a surface, that is bounded by curved lines, stayed however unsolved for a long time. Archimedes

The famous inventor and mathematician Archimedes (287 - 221 b.C.), who lived in the greek colony Syracuse in Sicily found a royal road to this end, that was only developed further nearly 2000 years later, and that represents the start of working with convergent, infinite sequences and with limits.

His method, which starts with a polygon that is inscribed or circumscribed to a circle (Figure 3.2), will be demonstrated in short due to its historical significance. He uses the theorem of Pythagoras, the formula for the area of a right triangle and symmetry considerations. From the above it follows, that the baselines of the triangles constituting the polygons with n corners are given as a simple function of n when doubling n. The following diagrams visualize the procedure. The first regular polygon, a yellow square, is circumscribed around the circle filled in gray, a second one, without colour is inscribed.


PIC


Figure 3.3: Approximation of the circle via inscribed and circumscribed polygons. Simulation: The simulation shows the approximations from the square to the polygon with 4096 corners

The inscribed polygon has a smaller area then the circumscribed one; The true value for the circle lies between the two. It is immediately evident, that halving the angle of division to obtain an octagon, which is blue filled, will make the differences smaller, and that this goes on with further doubling of N (a polygon with 16 corners also is shown in red). The sketch shows the first steps of the calculation for inscribed polygons with 2N corners, with N > 2.

The square, with which the calculation starts, consists of 4 equal right triangles, whose cathetuses for the unit circle under consideration have length 1. According to the theorem of Pythagoras the hypotenuse of each triangle has the length 2. The height h4 is obtained via the theorem of Pythagoras using s42 and the hypotenuse 1 of the lower triangle. The distance z4 is the difference to the radius 1. The transition to the octagon again proceeds with the theorem of Pythagoras via s42 and z4. As the following calculation shows, this algorithm can be repeated in the same way in factors of 2 towards a subdivision of the surface of the circle into ever smaller triangles. Thus this procedure results in recursion formulas, with which one can obtain the results of the N-th step from those of the N - 1-th step. We give the results for the inscribed polygon with n sides.

radius r  = 1;indexn = 2N,withN = 2,3,4,5,...... s4 = 1 + 1 = 2;;h4 = 1 - s4 2 2;z4 = 1 - h4 = 1 -1 - s4 2 2 s8 = s4 2 2 + z42 = 21 - 1 - s4 2 2;h8 = 1 - (s8 2 )2 = 1 21 + 1 - (s4 2 )2

recursive formula sNi = 21 - 1 - sN-1 i 2 2;hNi = 1 - (sN i 2 )2) = 1 21 + 1 - (sN-1 i 2 )2 circumference U, surface F :  UNi = nsN = 2NsN = 2N21 - 1 - sN-1 2 2 Fni = nsNhN 2 = 2NsNhN 2 = 2N 2 2 - sN-1 2 2

In the following the equations have been written out starting from the inscribed square n = 4 to the polygon with n = 64 corners. On realizes the iterated characters of the repeated root taking of the side length 2 of the triangles making up the inscribed square.

s4 = 2 s8 = 2 - 2 s16 = 2 - 2 + 2 s32 = 2 - 2 + 2 + 2 s64 = 2 - 2 + 2 + 2 + 2 h4 = 1 2 2 h8 = 1 2 2 + 2 h16 = 1 2 2 + 2 + 2 h32 = 1 2 2 + 2 + 2 + 2 h64 = 1 2 2 + 2 + 2 + 2 + 2 F4 = 4 4 2 F8 = 8 4 2 F16 = 16 4 2 - 2 F32 = 32 4 2 - 2 + 2 F64 = 64 4 2 - 2 + 2 + 2 = 2, 0000 = 2, 8284 = 3, 0614 = 3, 1214 = 3, 1365

These formulae fascinate via their aesthetic symmetry!

With a simple spreadsheet this calculation that was rather tedious for Archimedes can be done quite quickly up to a high number of corners.

Then one sees, how quickly the surface areas of the inscribed and circumscribed polygon approximate the number π(3.14159) and the corresponding circumference approximates 2π. In Figure 3.4 they are shown for the square up to the polygon with 8192 corners (corresponding to N = 2 to N = 13). In addition the respective differences of the surface area from π are given (logarithmic right hand scale).


PIC


Figure 3.4: Approximate values for the area of the circle and its circumference resulting from the “quadrature of the circle “ according to Archimedes. The abscissa shows the number of corner of the inscribed or circumscribed polygons. The round points in the upper region of the ordinate are the approximations for the circumference, those in the lower region are those for the surface of the unit circle. The lines in the logarithmic scale show the difference in red for the approximation from the inside, green from the outside and blue for the average

Already for the 10-th approximation (polygon with 1024 corners) the difference is only 10-5. Archimedes himself started with a hexagon and took the calculation up to a polygon with 92 corners and obtained his value for the circular number of 3.141635 (the symbol π for this number was only introduced in the 18th century); we suggest that you retrace the calculation of Archimedes.