HOME

TheInfoList



OR:

Prosthaphaeresis (from the Greek ''προσθαφαίρεσις'') was an
algorithm In mathematics and computer science, an algorithm () is a finite sequence of Rigour#Mathematics, mathematically rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algo ...
used in the late 16th century and early 17th century for approximate
multiplication Multiplication is one of the four elementary mathematical operations of arithmetic, with the other ones being addition, subtraction, and division (mathematics), division. The result of a multiplication operation is called a ''Product (mathem ...
and division using formulas from
trigonometry Trigonometry () is a branch of mathematics concerned with relationships between angles and side lengths of triangles. In particular, the trigonometric functions relate the angles of a right triangle with ratios of its side lengths. The fiel ...
. For the 25 years preceding the invention of the
logarithm In mathematics, the logarithm of a number is the exponent by which another fixed value, the base, must be raised to produce that number. For example, the logarithm of to base is , because is to the rd power: . More generally, if , the ...
in 1614, it was the only known generally applicable way of approximating products quickly. Its name comes from the
Greek Greek may refer to: Anything of, from, or related to Greece, a country in Southern Europe: *Greeks, an ethnic group *Greek language, a branch of the Indo-European language family **Proto-Greek language, the assumed last common ancestor of all kno ...
''prosthen'' (πρόσθεν) meaning before and ''aphaeresis'' (ἀφαίρεσις), meaning taking away or subtraction. In ancient times the term was used to mean a reduction to bring the apparent place of a moving point or planet to the mean place (see
Equation of the center In Two-body problem, two-body, Kepler orbit, Keplerian orbital mechanics, the equation of the center is the angular difference between the actual position of a body in its elliptic orbit, elliptical orbit and the position it would occupy if its mot ...
).
Nicholas Copernicus Nicolaus Copernicus (19 February 1473 – 24 May 1543) was a Renaissance polymath who formulated a mathematical model, model of Celestial spheres#Renaissance, the universe that placed heliocentrism, the Sun rather than Earth at its cen ...
mentions "prosthaphaeresis" several times in his 1543 work , to mean the "great parallax" caused by the displacement of the observer due to the Earth's annual motion.


History and motivation

In 16th-century Europe,
celestial navigation Celestial navigation, also known as astronavigation, is the practice of position fixing using stars and other celestial bodies that enables a navigator to accurately determine their actual current physical position in space or on the surface ...
of ships on long voyages relied heavily on ephemerides to determine their position and course. These voluminous charts prepared by
astronomer An astronomer is a scientist in the field of astronomy who focuses on a specific question or field outside the scope of Earth. Astronomers observe astronomical objects, such as stars, planets, natural satellite, moons, comets and galaxy, galax ...
s detailed the position of stars and planets at various points in time. The models used to compute these were based on
spherical trigonometry Spherical trigonometry is the branch of spherical geometry that deals with the metrical relationships between the edge (geometry), sides and angles of spherical triangles, traditionally expressed using trigonometric functions. On the sphere, ge ...
, which relates the angles and
arc length Arc length is the distance between two points along a section of a curve. Development of a formulation of arc length suitable for applications to mathematics and the sciences is a problem in vector calculus and in differential geometry. In the ...
s of spherical triangles (see diagram, right) using formulas such as : \cos a = \cos b \cos c + \sin b \sin c \cos \alpha and : \sin b \sin \alpha = \sin a \sin \beta, where ''a'', ''b'' and ''c'' are the angles subtended at the centre of the sphere by the corresponding arcs. When one quantity in such a formula is unknown but the others are known, the unknown quantity can be computed using a series of multiplications, divisions, and trigonometric table lookups. Astronomers had to make thousands of such calculations, and because the best method of multiplication available was long multiplication, most of this time was spent taxingly multiplying out products. Mathematicians, particularly those who were also astronomers, were looking for an easier way, and trigonometry was one of the most advanced and familiar fields to these people. Prosthaphaeresis appeared in the 1580s, but its originator is not known for certain; its contributors included the mathematicians Ibn Yunis, Johannes Werner, Paul Wittich, Joost Bürgi, Christopher Clavius, and
François Viète François Viète (; 1540 – 23 February 1603), known in Latin as Franciscus Vieta, was a French people, French mathematician whose work on new algebra was an important step towards modern algebra, due to his innovative use of letters as par ...
. Wittich, Ibn Yunis, and Clavius were all astronomers and have all been credited by various sources with discovering the method. Its most well-known proponent was
Tycho Brahe Tycho Brahe ( ; ; born Tyge Ottesen Brahe, ; 14 December 154624 October 1601), generally called Tycho for short, was a Danish astronomer of the Renaissance, known for his comprehensive and unprecedentedly accurate astronomical observations. He ...
, who used it extensively for astronomical calculations such as those described above. It was also used by
John Napier John Napier of Merchiston ( ; Latinisation of names, Latinized as Ioannes Neper; 1 February 1550 – 4 April 1617), nicknamed Marvellous Merchiston, was a Scottish landowner known as a mathematician, physicist, and astronomer. He was the 8 ...
, who is credited with inventing the logarithms that would supplant it.


The identities

The
trigonometric identities In trigonometry, trigonometric identities are equalities that involve trigonometric functions and are true for every value of the occurring variables for which both sides of the equality are defined. Geometrically, these are identities involvin ...
exploited by prosthaphaeresis relate products of
trigonometric function In mathematics, the trigonometric functions (also called circular functions, angle functions or goniometric functions) are real functions which relate an angle of a right-angled triangle to ratios of two side lengths. They are widely used in all ...
s to sums. They include the following: : \begin \sin a \sin b & = \frac \\ pt\cos a \cos b & = \frac \\ pt\sin a \cos b & = \frac \\ pt\cos a \sin b & = \frac \end The first two of these are believed to have been derived by Jost Bürgi, who related them to ycho?Brahe; the others follow easily from these two. If both sides are multiplied by 2, these formulas are also called the Werner formulas.


The algorithm

Using the second formula above, the technique for multiplication of two numbers works as follows: # Scale down: By shifting the decimal point to the left or right, scale both numbers to values between -1 and 1 , to be referred to as \cos \alpha and \cos \beta . # Inverse cosine: Using an inverse cosine table, find two angles \alpha and \beta whose cosines are our two values. # Sum and difference: Find the sum and difference of the two angles. # Average the cosines: Find the cosines of the sum and difference angles using a cosine table and average them, giving (according to the second formula above) the product \cos \alpha \cos \beta . # Scale up: Shift the decimal place in the answer the combined number of places we have shifted the decimal in the first step for each input, but in the opposite direction. For example, to multiply 309 and 78.8: # Scale down: Shift the decimal point three and two places to the left, respectively. We get \cos \alpha = 0.309 and \cos \beta = 0.788. # Inverse cosine: \arccos 0.309\approx72^\circ, and \arccos 0.788\approx38^\circ. # Sum and difference: 72^\circ + 38^\circ = 110^\circ, and 72^\circ - 38^\circ = 34^\circ. # Average the cosines: \tfrac(\cos 110^\circ + \cos 34^\circ) is about \tfrac(-0.342 + 0.829) = 0.2435. # Scale up: For each of 105 and 720 we shifted the decimal point a total of five places to the left, so in the answer we shift five places to the right. The result is 24\,350. This is very close to the actual product, 24\,349.2 (a percent error of ≈0.003%). If we want the product of the cosines of the two initial values, which is useful in some of the astronomical calculations mentioned above, this is surprisingly even easier: only steps 3 and 4 above are necessary. To divide, we exploit the definition of the secant as the reciprocal of the cosine. To divide 3420 by 127, we scale the numbers to 0.342 and 1.27. Now 0.342 is the cosine of 70^\circ. Using a table of secants, we find 1.27 is the secant of 38^\circ. This means that 1/1.27\approx\cos 38^\circ, and so we can multiply 0.342 by 1/1.27 using the above procedure. Average the cosine of the sum of the angles, 70^\circ + 38^\circ = 108^\circ, with the cosine of their difference, 70^\circ - 38^\circ = 32^\circ, : \tfrac(\cos 108^\circ + \cos 32^\circ) \approx \tfrac(-0.309 + 0.848) = 0.2695. Scaling up to locate the decimal point gives the approximate answer, 26.95. Algorithms using the other formulas are similar, but each using different tables (sine, inverse sine, cosine, and inverse cosine) in different places. The first two are the easiest because they each only require two tables. Using the second formula, however, has the unique advantage that if only a cosine table is available, it can be used to estimate inverse cosines by searching for the angle with the nearest cosine value. Notice how similar the above algorithm is to the process for multiplying using logarithms, which follows these steps: scale down, take logarithms, add, take inverse logarithm, scale up. It is no surprise that the originators of logarithms had used prosthaphaeresis. Indeed the two are closely related mathematically. In modern terms, prosthaphaeresis can be viewed as relying on the logarithm of complex numbers, in particular on
Euler's formula Euler's formula, named after Leonhard Euler, is a mathematical formula in complex analysis that establishes the fundamental relationship between the trigonometric functions and the complex exponential function. Euler's formula states that, for ...
: e^ = \cos x + i \sin x.


Decreasing the error

If all the operations are performed with high precision, the product can be as accurate as desired. Although sums, differences, and averages are easy to compute with high precision, even by hand, trigonometric functions and especially inverse trigonometric functions are not. For this reason, the accuracy of the method depends to a large extent on the accuracy and detail of the trigonometric tables used. For example, a sine table with an entry for each degree can be off by as much as 0.0087 if we just round an angle off to the nearest degree; each time we double the size of the table (for example, by giving entries for every half-degree instead of every degree) we halve this error. Tables were painstakingly constructed for prosthaphaeresis with values for every second, or 3600th of a degree. Inverse sine and cosine functions are particularly troublesome, because they become steep near −1 and 1. One solution is to include more table values in this area. Another is to scale the inputs to numbers between −0.9 and 0.9. For example, 950 would become 0.095 instead of 0.950. Another effective approach to enhancing the accuracy is
linear interpolation In mathematics, linear interpolation is a method of curve fitting using linear polynomials to construct new data points within the range of a discrete set of known data points. Linear interpolation between two known points If the two known po ...
, which chooses a value between two adjacent table values. For example, if we know that the sine of 45° is about 0.707 and the sine of 46° is about 0.719, we can estimate the sine of 45.7° as 0.707 × (1 − 0.7) + 0.719 × 0.7 = 0.7154. The actual sine is 0.7157. A table of cosines with only 180 entries combined with linear interpolation is as accurate as a table with about entries without it. Even a quick estimate of the interpolated value is often much closer than the nearest table value. See
lookup table In computer science, a lookup table (LUT) is an array data structure, array that replaces runtime (program lifecycle phase), runtime computation of a mathematical function (mathematics), function with a simpler array indexing operation, in a proc ...
for more details.


Reverse identities

The product formulas can also be manipulated to obtain formulas that express addition in terms of multiplication. Although less useful for computing products, these are still useful for deriving trigonometric results: : \begin \sin a + \sin b & = 2 \sin \left(\frac \right) \cos \left(\frac \right) \\ pt\sin a - \sin b & = 2 \cos \left(\frac \right) \sin \left(\frac \right) \\ pt\cos a + \cos b & = 2 \cos \left(\frac \right) \cos \left(\frac \right) \\ pt\cos a - \cos b & = -2 \sin \left(\frac \right) \sin \left(\frac \right) \end


See also

*
Slide rule A slide rule is a hand-operated mechanical calculator consisting of slidable rulers for conducting mathematical operations such as multiplication, division, exponents, roots, logarithms, and trigonometry. It is one of the simplest analog ...


References


External links


Prosthaphaeresis formulas
* Daniel E. Otero

. Introduction: the need for speed in calculation.

* Adam Mosley

University of Cambridge. * IEEE Computer Society

* * Beatrice Lumpkin.
African and African-American Contributions to Mathematics
{{Webarchive, url=https://web.archive.org/web/20201026122742/http://www.pps.k12.or.us/depts-c/mc-me/be-af-ma.pdf , date=2020-10-26 ''. Discusses Ibn Yunis's contribution to prosthaphaeresis.
Prosthaphaeresis
and beat phenomenon in the theory of vibrations, by Nicholas J. Rose Trigonometry Arithmetic