An English translation of portions of seven letters between Euler and Goldbach on Euler s complex exponential paradox and special values of cosine Elizabeth Volz August 0, 008 The following is an English translation of portions of seven correspondences between Leonard Euler and Christian Goldbach dated between December, 1741 and June 174. These letters discuss many mathematical topics; however, this translation focuses on portions which deal with a paradox discovered by Euler involving complex exponentials and special values taken on by the corresponding cosine function. These results are important since they represent some of Euler s earliest applications of his formula ix e = cos x+ isin x, which he first published in 1748 in his pre-calculus textbook, Introductio in analysin infinitorum [E101] 1. These letters show that Euler certainly knew of this formula much earlier. Acknowledgement: The author wishes to thank Reinert Schmidt for his help in the translation of these letters. I. Euler to Goldbach: Berlin Dec 9, 1741 ([1], p. 91) I have lately also found a remarkable paradox. Namely that the value of the expression + + is approximately equal to 10/13 and that this fraction differs only in parts per million from the truth. The true value of this expression however is the cosine of the arc.6931471805599 or the arc of 39 degrees 4 min. 51 sec. 5 tenths of sec. and 9 hundredths of sec. in a circle of radius one. I have also made several important discoveries over the integration of such formulas as Pdx all where P and Q are rational functions of x. At a different time the honor will be Q had to write this in a more noble and detailed way. Euler mentions that he has discovered the curiosity that the complex expression + + = 0.76939... can be approximated by10 /13 = 0.76931... to five decimal places. 1 Available at The Euler Archive: www.math.dartmouth.edu/~euler/ 1
II. Goldbach to Euler: St. Petersburg Feb 13, 174 ([1], p. 45) + + With the observation as it was communicated to me that is approximately equal to 10/13 I have noticed that if you wanted to make it so that p + = 0 then p would have to be smaller than 3 and larger than. I confess that these limits are large but I do not have the curiosity to determine them any closer. Goldbach explores what value the exponent p must be in order to make the equation p 0 + = true, but only mentions that it must be between and 3.
III. Euler to Goldbach: Berlin March 6, 174 ([1], p. 96) Now that I have the curiosity to investigate when p + = 0, it has given me the opportunity to remark that this can happen in infinitely many ways. First observed that p π is between and 3, namely.661801. The true value is p = where l 1 1 1 π = 3.1415965 and l= 1 + 3 4+ etc. =.6931471803. All following values are derived out of this in that you multiply these with 3,5,7,9 etc. Euler solves for p in the equation p + = 0 and finds its exact value to be π p =. He then mentions the cyclic nature of the others solutions, namely ln (n + 1) π p =, where n = 1, 3, 5, 7,9,.... Observe that Euler writes l to denote ln. ln 3
IV. Goldbach to Euler: St. Petersburg April 1, 174 ([1], p. 100) At the opportunity where you wrote p + = 0 I have observed that when the n variable n is placed and np + = that as often as n is an even number they on the contrary equal -, as often as n is an odd number there is an integer q so that (4 n+ q) p (4 n+ q) p qp qp + = +. It is in my opinion also remarkable that when you determine p through p + = 3 also then this will become x+ 1 x+ 1 x x xp xp (1+ 5) ( 1+ 5) (1+ 5) ( 1+ 5) + = as long as x is an x+ 1 x integer. Goldbach introduces an additional variable in the exponent to explore solutions to n np n + = and notes that when n is an even integer np + =. For n (4 n+ q) p (4 n+ q) p qp qp odd he claims there exists an integer q so that + = +, which turns out to not be entirely true as Euler points out in his next letter to Goldbach (May 8, 174). Goldbach then claims that if p + = 3, then x+ 1 x+ 1 x x xp xp (1+ 5) ( 1+ 5) (1+ 5) ( 1+ 5) + =. x+ 1 x 1 This can be shown as follows: Let y p 1 =. Then y + = 3. It follows from the y p 1 3± 5 quadratic formula that y = = = 3 ± 5 and so xp xp 3+ 5 x 3 5 x + = ( ) + ( ). x+ 1 x+ 1 x x (1+ 5) ( 1+ 5) (1+ 5) ( 1+ 5) = x+ 1 x Observe that this expression in turn equals ( Fn+ 1+ Fn 1), where { F n } is the Fibonacci sequence. It is unclear whether Goldbach or Euler noticed this connection. 4
V. Euler to Goldbach: Berlin May 8, 174 ([1], p. 101) p p Generalizing a + a = b so that xp xp 1 b+ bb 4 b bb 4 x a + a = ( ) + ( ) And when p + = 3 so will xp xp 1 3+ 5 x 3 5 x 5+ 1 x 5 x + = ( ) + ( ) = ( ) + ( ) p p Otherwise I observe that with my general theorem a + a = cos( apln) in most (4 n+ q) p (4 n+ q) p qp qp part agree only that + is not equal to + when neither ( n+ q) pln nor np ln is equal to mπ denoted 1: π There is an error in the translation involving the exponent in the second formula, which should be x instead of x : 1 1 3 5 3 5 5 1 5 1 xp xp + + ( ) x ( ) x ( ) x + = + = + ( ) x p p In this letter Euler considers the generalization a + a = and mentions that he only agrees with Goldbach claim (stated in his previous letter) to the extent that (4 n+ q) p (4 n+ q) p qp qp + + when neither ( n+ q) pln nor np lnare equal to mπ. This is because if ( n+ q) pln = npln = mπ, then (4 n+ q) pln = mπ and qp ln = 0. It follows that cos[(4 n+ q) pln ] = cos[ qpln ]. Thus, + = + (4 n + q ) p (4 n + q ) p qp qp 5
VI. Goldbach to Euler: Moscow June 7, 174 ([1], p. 103) xp xp As much as I can remember the formula + where p + = 0 has application as a serpentine curve whose abscissa y (introduced) and which the axis is intersected as often as the formula equals 0 so that when the formula equals then the maximum application below or above comes out. It follows that countless other must be equal to each other. None the less, an error crept in to my original expression which can easily be corrected in that it should be that when q is a number such that p 0 + = then (8n 4 q) p (8n 4 q) p qp qp + = +. xp xp Goldbach mentions that the expression + has application as a serpentine curve. He then admits an error in his original expression and provides a new one. This is true because if we choose q= 8n 4 m, where m is any integer, then π π (8n 4 q) = q + mπ (8n 4 q) p ln = qp ln + mπ cos[(8n 4 q) p ln ] = cos[ qp ln ] + = + (8n 4 q) p (8n 4 q) p qp qp 6
VII. Euler to Goldbach: Berlin June 30, 174 ([1], p. 109) p p In general + = cos( Apln). When p + = 0 also there must be p ln in such a circular arc the cosine of which equals 0. All the arcs have the formula (n + 1) π (n + 1) π (n + 1) π and consequently will p =. If p = or p + = 0 so l l 1 1 ( 1) will cos lncos n x xp xp + π + = Axp = A. When therefore it should be that qp qp rp rp ( 1) ( 1) + = +, so must cos n + q π cos n + A A r π = but the cosine from two different arcs are equal to each other when either the sum or the difference of the arcs are equal to a multiple of the entire perimeter π. Therefore it will be ( n+ 1) qπ ( n+ 1) rπ 4m ± = mπ and from that it follows that q± r = so that it n + 1 will become ( 4m q) p ( 4m q) p n+ 1 n+ 1 qp qp + = +. Note: Euler appears to further his generalization by using the symmetry of the cosine function to find a relation between the quantities q and r when qp qp rp rp + = +. 7
References [1] Leonhard Euler und Christian Goldbach: briefwechsel 179-1764. Berlin: Akademie- Verlag, 1965. [] The Euler Archive: http://www.math.dartmouth.edu/~euler/ Department of Mathematics Rowan University Glassboro, NJ 0808 8