Mathematics & Music,
after Pythagoras

Nämlich ein vollkommen reines harmonisches System der Töne ist nicht nur physisch, sondern sogar schon arithmetisch unmöglich. Die Zahlen selbst, durch welche die Töne sich ausdrücken lassen, haben unauflösbare Irrationalitäten...

...thus a perfectly pure harmonious system of tones is impossible not only physically but even arithmetically. The numbers themselves, by which the tones can be expressed, have insoluable irrationalities.

Arthur Schopenhauer, The World as Will and Representation, Volume I, §52 [Dover Publications, 1966, E.F.J. Payne translation, p.266]

One of the most famous discoveries of Pythagoras of Samos, Πυθαγόρας ὁ Σάμιος, or of the Pythagorean School (it is often difficult to tell the difference), is, according to G.S. Kirk & J.E. Raven, "that the chief musical intervals are expressible in simple mathematical ratios between the first four integers" [The Presocratic Philosophers, Cambridge University Press, 1964, p.229].
Laurent de La Hyre (1606-1656), Allegory of Arithmetic, 1650, Walters Art Museum, Baltimore, Maryland;
figure holding book entitled Pythagoras;
one of the seven Liberal Arts

Pythagoras was celebrated among Greek philosophers for his, or his School's, discoveries in mathematics, and for the theory that the universe is fundamentally mathematical, which was an inspiration to Plato and to modern mathematicians and physicists like Johannes Kepler, Issac Newton, and, for that matter, Kurt Gödel. He is the eponym for the Pythagorean Theorem, which I examine here in the phenomenon of Pythagorean Triples. Pythagoras also figures in the political history of Greece, because around 531 BC he went into exile, to Italy, to escape the rule of the tyrant Polycrates of Samos. There he became, briefly, a tyrant himself.

In the Pythagorean theory of numbers and music, the "Octave=2:1, fifth=3:2, fourth=4:3" [p.230]. These ratios harmonize, not only mathematically but musically -- they are pleasing both to the mind and to the ear. This impressed the hell out of the Pythagoreans, who also honored the "first four integers" because those add up to ten, the perfect number, and can be displayed in a triangle (like all "triangular" numbers), the "Tetractys of the Decade":  . The Pythagoreans are supposed to have sworn their oaths by this device. In music, adding a fifth to a four, which requires multiplying the ratios, results in the octave:  3/2 x 4/3 = 12/6 = 2. Unfortunately, as with some other Pythagorean mathematical inquiries, the simplicity, or even the truth, of this result disappears on further investigation.

Calling intervals the "fourth," "fifth," or "octave" (i.e. "eighth"), when they are part of a system of seven tones, is a little confusing. Adding four to five doesn't even equal eight, much less seven, but nine. What is going on, however, is the device of the "inclusive" counting of ordinal numbers, where we start a new cycle of numbering (the first) with the end of the previous cycle (octava, the eighth). This form of counting is discussed elsewhere in relation to calendars. The fourth and fifth thus reduce to three and four as numbers, which then do add up to seven.

The seven note scale of the Greeks is the diatonic or heptatonic scale, to which have been assigned the letters A through G,
CDEFGABC
1/19/85/44/33/25/315/82/1
firstsecondthirdfourthfifthsixthseventhoctave
although the convention as shown in the table is to run a standard octave (now meaning a sequence of notes up to a doubled ratio) from C to C. "Middle C" is the reference point for all the keys on a piano, and for the musical scale in general. "A above Middle C" is the benchmark note for which there is a definition in terms of physics, with a sound frequently now set at exactly 440 Hz (Hertz). The table then fills out the "simple mathematical ratios" that have traditionally been assigned to all the intervals. This already creates some problems. While the fourth and the fifth add up to the octave, if we try to do the same with the third (5/4) and sixth (5/3), or the second (9/8) and seventh (15/8), the ratios do not multiply out to 2, but to 25/12 and 135/64, or to 2.08 and 2.11, respectively. This may not be what Pythagoras would have expected.

One response might be that not every interval is equal. We hear that it is only a "half step" from E to F and from B to C, while it is a "whole step" between the other notes. What this is supposed to mean we can see on a piano, where there are black keys between the white keys, but no black keys between E and F or between B and C. This may muddle the mathematics of the ratios. However, we can check.
CDEFGABC
24/2427/2430/2432/2436/2440/2445/2448/24
        3/24    3/24  2/24  4/244/245/24  3/24 
In the table all the ratios have been given the common denominator of 24, and the actual interval between them, in 24ths, is indicated. The pattern looks irregular. Between E and F there are only two 24ths, and this is half of the following two intervals, but it is more then half of the previous ones, and the interval between B and C is actually equal (at three) to that between C and D. There are no "simple mathematical ratios" here.

I might ask then what the scale would look like if we wanted the scale to evenly divide the octave, with equal intervals between the notes. Since the problem of the musical scale is, as John Stillwell says, "multiplication perceived as addition" [Yearning for the Impossible, The Surprising Truths of Mathematics, A.K. Peters, Ltd., 2006, p.4], what we need to do is reduce multiples to sums. This can simply be done with logarithms, which by addition give us the products of multiplication (through the "law of exponents"). The logarithm of 2 is 0.301029996. If we divide this by 7 we get 0.043004285. Adding this in successive sums through six, taking the anti-log (i.e. raised to the power of ten),
CDEFGABC
1/19/85/44/33/25/315/82/1
24/2427/2430/2432/2436/2440/2445/2448/24
24/2426.5/2429.3/2432.3/2435.7/2439.4/2443.5/2448/24
and multiplying by 24, we get the values in the accompanying table, compared to the traditional ratios and our previous scale of 24ths. As it happens, every value is within a unit of the traditional values, except for the sixth (B), which is more than a unit out of step. The interval between these values does rise steadily up the scale, but we can excuse this as an artifact of the underlying multiplication. This explains the similar general trend in the traditional values. The result makes it look like the original ratios for the intervals were an attempt to evenly divide the scale. But it is irregular because the "simple mathematical ratios" actually don't work. We are particularly embarrassed with the anomaly of the sixth. Pythagoras would be mortified.

As it happens, most of the traditional ratios are not used. Why this is so we can see from the following table, where we take the interval of the fifth (3/2) and begin adding it successively -- where this is now done on the twelve note scale, the "chromatic" scale, where the black piano keys are added to the white ones (distinguished as "sharps," #, or "flats," , or the "natural," , notes). We can compare the result with a baseline principle of the octave, that the ratio of any interval will be doubled in the following octave.
CC#
D𝄬
DD#
E𝄬
EFF#
G𝄬
GG#
A𝄬
AA#
B𝄬
BC
1/19/85/44/33/25/315/82/1
2/19/45/28/3310/315/44/1
27/8

Thus, 3/2 times 3/2 equals 9/4, which is then the value for D in the second octave. Indeed, this value is the origin of the ratio 9/8 in the first octave, which is simply divided by two from 9/4. So far, so good. But we get in touble by adding the next fifth. This brings us up to 27/8 for A. However, we can already derive a value for A by doubling the ratio in the first octave, which was 5/3. So we end up with both 27/8 (3.375) and 10/3 (3.333) for the same interval. These are close, but not the same thing. Now, if we keep multiplying fifths, we actually get a ratio for every note in the scale, each of which then can be divided by two until we are down in the first octave. This means that all of the other traditional ratios can be discarded, and the whole system gets reconstructed on the basis of just two ratios, those of the octave, 2:1, and of the fifth, 3:2.

The following table works out this process. The blue ratios are our reference values for the octaves (the firsts and the eighths, "inclusively" counted). In red we follow the additions (by multiplication) of the fifths. Once we get a red value for any key, then we divide it down octave by octave to the first one. This gives us values for all the intervals and all the notes, although most are now very far from being "simple mathematical ratios." But, unfortunately, the problem of inconsitency found in the previous table occurs again.

CC#
D𝄬
DD#
E𝄬
EFF#
G𝄬
GG#
A𝄬
AA#
B𝄬
BC
1/12187
2048
9/819683
16384
81/64177147
131072
729
512
3/26561
4096
27/1659049
32768
243/1282/1
2/12187
1024
9/419683
8192
81/32177147
65536
729
256
36561
2048
27/859049
16384
243/644/1
4/12187
512
19683
4098
81/16177147
32768
729
128
6561
1024
59049
8192
243/328/1
8/12187
256
19683
2048
177147
16384
729
64
6561
512
59049
4096
16/1
16/12187
128
19683
1024
177147
8192
6561
256
59049
2048
32/1
32/119683
512
177147
4096
59049
1024
64/1
64/1 177147
2048
 128/1
531441
4096

After seven octaves, adding twelve fifths brings us to a value for C, 531441/4096, which is different from the value we get, 128/1, derived directly from our original value of the eighth, at 2/1. The ratio between these two values is 1.013643265 (531441/524288, or 312/219), which gets called the "Pythagorean comma" [cf. Stillwell, p.4] -- it is the dislocation between the sytem of octaves and the system of fifths.

This means that the whole Pythagorean probject is now in shambles -- although, as Stillwell says, "the Pythagoreans may never have noticed" [p.20]. These scales cannot be constructed with "simple mathematical ratios." Schopenhauer, one of the surpreme philosophers of music, was aware of this, as we find him saying:

...thus, a perfectly pure harmonious system of tones is impossible not only physically, but even arithmetically. The numbers themselves, by which the tones can be expressed, have insoluable irrationalities. [The World as Will and Representation, Volume I, §52, E.F.J. Payne translation, Dover Publications, 1966, p.266]

This creates a dilemma for real musicians, which is how the scales are to be constructed at all. To be sure, music can be played using the intervals derived from adding fifths, or even using the original ratios, and the ear may not object -- despite using notes created by systems that are ultimately inconsistent. The differences are, after all, rather small, even for the original and traditional ratios. But it is annoying. There is a sort of Pythagorean itch that keeps us thinking that there should be a proper mathematical solution to the matter. This is not going to be as simple as what Pythagoras expected, but the belief continues that the fundamental ratio, the octave, 2:1, can be reconciled with the division of the scale into other intervals.

Although Schopenhauer, with his characteristic pessimism, does not seem to have appreciated it, something can be done about the problem. The solution, or at least one solution, is to adjust the ratio of the fifth so that it is commensurable with seven octaves. Seven octaves is 128:1, or 27. We can derive a value for the fifth from this simply by taking the 12th root, 27/12, or 1.498307077. This is certainly (really) close to 3/2 (1.5), but it is not exactly the same number. Stillwell says that this approach, "equal semitones" or "equal temperament" [p.21], was developed almost simultaneously in Europe and in China, by the Dutchman Simon Steven in 1585 and by Zhu Zaiyu (Chu Tsai-yü) in 1584 (during the Ming Dynasty). The Chinese cannot be said to exactly be following the Pythagorean project, but obviously they encountered similar paradoxes and were looking for an equally satisfying solution. That a solution was found simultaneously in both East and West is remarkable and rather wonderful.

There is some solace for Pythagoras here. The intervals are mostly no longer simple ratios of integers. The fifth is not 3:2. But now it is 27/12. That is a notation unfamiliar to the Greeks, who didn't get all that far thinking about powers and roots, but we can be sure that Pythagoras would have eaten it up. The red ratios in the table above thus can be reconstructed with successive powers of 27/12. Not as simple as the original idea, but certainly just as mathematical. The following table works this out, and it does give us a simpler looking system than with the integer ratios.

CC#
D𝄬
DD#
E𝄬
EFF#
G𝄬
GG#
A𝄬
AA#
B𝄬
BC
2021/1221/621/421/325/1221/227/1222/323/425/6211/1221
21213/1227/625/424/3217/1223/225/327/4211/6223/1222
22225/1229/427/3229/1225/228/3217/6235/1223
23237/12213/4241/1227/2211/3223/624
24249/12217/4253/12214/3229/625
25221/4265/12235/626
26277/1227

It is now evident from this table that the interval between successive values is always 21/12. This is the perfect marriage of addition and multiplication. By adding the exponent 1/12, we increase the ratio by the multiple 21/12. In the end, we do actually get "simple mathematical ratios" of integers, but as exponents rather than as the final values themselves. We also get a nice display of the fractions of duodecimal counting.

Finally, we can calculate the actual frequencies of sound for the octave above Middle C. This is based on the standard of exactly 440.0 Hz for A above Middle C. We multiply that by the reciprocal of 23/4 to get the frequency of Middle C. That can then be multiplied in turn with each given ratio to derive all the values. The frequencies are given rounded off to the first decimal place.

CC#
D𝄬
DD#
E𝄬
EFF#
G𝄬
GG#
A𝄬
AA#
B𝄬
BC
2021/1221/621/421/325/1221/227/1222/323/425/6211/1221
261.6277.2293.7311.1329.6349.2370.0392.0415.3440.0466.2493.9523.3

These values sometimes differ by one or two tenths of a Hertz in comparison to the values I originally copied from Isaac Asimov and that I cite in the section on the Electromagnetic Spectrum. These small differences are insignificant but I am not aware why they would occur --Asimov's values may have been rounded off in a different way.

Kant and Schopenhauer on Music

Triangular Numbers

Pythagorean Triplets

Philosophy of Science, Mathematics

History of Philosophy, Greek

Home Page

Copyright (c) 2009, 2011, 2014, 2017, 2018, 2019 Kelley L. Ross, Ph.D. All Rights Reserved

Triangular Numbers

One of the most intriguing areas of mathematics that drew the interest of the Pythagoreans was in number series (where series in Latin is both the singular and the plural). Our practice today of speaking of "squares" and "cubes" for numbers that are multiplied by themselves two or three times is an artifact of the way that the Pythagoreans liked to visualize their numbers as patterns of little dots. Beginning with 4, square numbers can always be represented by little squares:    The Pythagoreans then discovered that the addition of successive odd numbers produces successive squares.

integers123456789101112131415
odds1357911131517192123252729
squares1
4
9
16
25
36496481100121144169196225

The favorite series of the Pythagoreans, however, were the triangular () numbers. As we might imagine, these are the numbers with which we can construct little triangles of dots, beginning with 3:    The rule for the construction of this series is very simple:  add all the successive integers up to the desired point. Three is 1+2, 15 = 1+2+3+4+5, etc. A formula to calculate any triangular in the series directly, without adding all the previous numbers, was discovered by Carl Friedrich Gauss (1777–1855):  n = (n(n+1))/2. Here 0 =(0(0+1))/2 = 0/2 = 0, 1 =(1(1+1))/2 = 2/2 = 1, 2 =(2(2+1))/2 = 2*3/2 = 6/2 = 3, 3 =(3(3+1))/2 = 3*4/2 = 12/2 = 6, etc.

Although I never heard of them in any high school math class, triangulars draw some small attention in modern mathematics, for instance in the proposition of Pierre Fermat (1601-1665) that every number "is either triangular or the sum of two or three triangular numbers" [cf. Constance Reid, From Zero to Infinity, 1955, A.K. Peters, Ltd., 2006, p.76]. However, a series with a very similar rule is encountered constantly in calculus and elsewhere. "Factorials" are the series produced by the successive multiplication of integers, rather than addition as with the triangulars. Factorials quickly become very large. In the table below, I have resorted to the notation for factorials, with an exclamation mark (!), because the actual numbers would make the table too big. The factorial of 13 (13!) is already 6,227,020,800. One of my calculators cannot go over 69! without displaying an error message for a number that is too large to be calculated -- 69! itself is already 1.711 x 1098. The great virtue of factorials is that their reciprocals rapidly become exceedingly small. One use of factorials may be seen in the continued series for the constant e and the trigonometric functions explored elsewhere at this site.

integers123456789101112131415
triangulars1
3
6
10
15
2128364555667891105120
factorials126241207207!8!9!10!11!12!13!14!15!

The Pythagoreans particuarly honored the triangulars because one of them is the number 10, and the Pythagoreans honored 10 as the perfect number. They are supposed to have sworn their oaths by the "Tetractys of the Decade," i.e. the little triangular image,  Their reasons for taking 10 as the perfect number now seem a little silly -- that 10 is perfect because we have ten fingers and toes -- or redundant -- that most peoples count in tens (which is probably because we have ten fingers and toes -- although the Babylonians counted in sixties and the Maya in twenties). Nevertheless, their reverence for 10 had various interesting consequences, such as in their cosmology, where they thought there needed to be ten planets. It also gave to the triangulars a prominance that they have not enjoyed since. One Pythagorean discovery about triangulars is that every square number is the sum to two successive triangulars, e.g. 10+15 = 25 = 52.

integers123456789101112131415
triangulars1
3
6
10
15
2128364555667891105120
squares1
4
9
16
25
36496481100121144169196225

The Pythagorean proof for this discovery gives us some important insight into how the very idea of proof developed in Greek mathematics. The Pythagoreans liked to visualize their proofs, like their numbers. Thus, they reasoned that, as any square can be divided by a diagonal into two triangles, any square number should be divisible into two triangular numbers:  . The truth of the proposition can be read off the diagram. The earliest proofs for the Pythagorean Theorem were evidently of this kind, with the proofs using more abstract argument coming later. The triangulars thus occupy a critical position in the earliest days of the history of mathematics.

We can do an algebraic proof of the Pythagorean discovery using Gauss's formula for triangulars. We use the formula for , add to it the formula where we substitute n+1 for n, and the rest is basic algebra. The nice thing about this proof is that for each n, we can see which triangulars we are talking about, and have a separate expression at the and for the square that is in question. For n=20, our first triangular is 210, our second is 231, and the square is (n+1)2 = 441.

A proposition much like the Pythagorean discovery relative to squares and triangulars is presently one of the most famous unsolved problems in mathematics. This is "Goldbach's Conjecture," named after Christian Goldbach (1690–1764), which is that every even number greater than two can be expressed as the sum to two prime numbers. Actually, in 1742 Goldbach himself wrote a letter to the great mathematician Leonhard Euler (1707–1783) in which he proposed that every integer greater than two can be expressed as the sum of three primes. Since 1 is no longer regarded as a prime number, this is currently restated as every integer greater than five can be expressed as the sum of three primes. Euler replied to Goldbach that this proposition would actually be a corollary of one about even numbers as the sum of two primes. Thus "Goldbach's Conjecture" about even numbers (the "strong" conjecture) is directly due to Euler, but Golbach gets the credit for suggesting this kind of proposition. Thus, like the Pythagorean work, modern mathematics is still looking at relationships between number series, in this case between evens and primes. But, unlike the Pythagoreans with their diagram, Goldbach's Conjecture remains unproven -- although by 1995 the French mathematician Olivier Ramaré proved that every even number equal to or greater than 4 is the sum of no more than six primes. So we get closer.

Mathematics & Music, after Pythagoras

Pythagorean Triplets

Fantasy Factorial Hexagrams

Philosophy of Science, Mathematics

History of Philosophy, Greek

Home Page

Copyright (c) 2009, 2011 Kelley L. Ross, Ph.D. All Rights Reserved