arxiv: v2 [math.nt] 5 Sep 2017

Transcription

1 Cubi Polynomials, Linear Shifts, and Ramanujan Cubis. Gregory Dresden, Prakriti Panthi, Anukriti Shrestha, Jiahao Zhang arxiv: v [math.nt] 5 Sep 07 September 6, 07 Abstrat We show that every moni polynomial of degree three with omplex oeffiients and no repeated roots is either a vertial and horizontal translation of y = x or an be omposed with a linear funtion to obtain a Ramanujan ubi. As a result, we gain some new insights into the roots of ubi polynomials. Introdution. It s hard to pik out a favorite from Ramanujan s nearly-unountable olletion of delightful identities, but these two have to be near the top of anyone s list: /9 /9 + /9 = os π9 os + π9 os π 9 = 9 Both of these equations appear in Ramanujan s notebooks [], and they have been studied in a number of papers. Landau [8, 9] treated the first equation as an example of nested radials, while Berndt and Bhargava [] gave an proof of the seond equation using only elementary methods. It turns out that both equations are related to the roots of a speial lass of degree- polynomials. In keeping with past work, we will define a Ramanujan simple ubi RSC to be a polynomial with possibly omplex oeffiients of the form p B x = x +B x B x+. We will prove that almost every ubi is just a linear shift away from a Ramanujan simple ubi, and this will allow us to reapture the two formulas above, and also to ome up with some lovely new identities, suh as the deeptively simple formula 6os π 6 + 6os 0π 6 = + 6 os π 6 and the rather surprising fat that os π 6 is a solution to x +x x+ = 0 In setion we disuss the properties of these RSC polynomials, and in setion we prove our main result. This will lead to many nie examples in setion.

2 Ramanujan Simple Cubis. Surprisingly, these RSC s have been studied in one form or another for over a hundred years. In 9, Dikson [] disussed integral solutions to p B x = 0 modulo a prime. More reently, a number of authors [, 5, 6] have studied a slightly more general lass of polynomials they all Ramanujan ubis, whih are simply our RSC polynomials p B x but with x replaed by x/s. Similarly, if we replae the x in p B x with x, we get the Shanks polynomials, so alled beause they generate what Shanks alled the simplest ubi fields []. Foster s paper [6] has an exellent review of earlier work on the Shanks polynomials and the simplest ubi fields; he also proved that every degree-three yli extension of the rationals is generated by a Shanks polynomial whih implies the same for our RSC; this was done earlier by Kersten and Mihaliček [7]. Also, Lehmer [] and Lazarus [0] have shown that the minimal polynomials for so-alled ubi Gaussian periods, when omposed with some x a for a an integer, will equal one of the Shanks polynomials and thus are related to our RSC s. The following theorem illustrates some of the remarkable properties of Ramanujan simple ubis RSC. Theorem. For p B x = x +B x B x+ the Ramanujan simple ubi defined earlier,. The roots r,r,r of p B x are always permuted by the order-three map nx = x.. The roots r,r,r satisfy r + r + r = +B B 5 so long as, for omplex arguments, we hoose the appropriate values for the ube roots.. If we define the elements of the set {s,s,...,s 6 } as +B s k = + kπ 7+B os + artan B 6 then for B 0 the roots of p B x are {s,s,s 6 } and for B 0 the roots of p B x are {s,s,s 5 }. Remark. Although equation 6 is not atually defined at B = 0, we an interpret it at that value by simply taking the limit of 6 as B approahes 0. Surprisingly, whether we have B approah 0 from above or from below, we end up with the same answer: the three values of {s,s,s 6 } and the three values of {s,s,s 5 } oinide at {,/,}, whih are indeed the three roots of p 0 x = x /x /x+. Proof. For part, a quik alulation gives us that p B x x = p B x. Sine is never a root of p B x, this shows that if r is a root of p B then so also is r. This is enough to show that nx permutes the roots so long as r is different from r ; in the ase where r equals r, this implies that r is a primitive sixth root of unity, whih means B = ±i 7 and all three roots of p B x are idential and hene, tehnially, are still permuted by x. For part, there is an elementary proof in [, p. 65] of a nearly idential statement for the roots of the Shanks polynomial x ax a+x ; the roots of this Shanks polynomial are the negatives of the roots of the Ramanujan polynomial x +ax a+x+ with B = a and so the identity follows. This proof also appears in [, p. ]. For part, we refer the reader to the similar proof for Shanks polynomials in [, Theorem 7]; another version of this formula without proof, and for just one root an be found in [].

3 Example. We an now easily show that equations and arise from equation 5 of Theorem. For equation, we take p B x with B = 0 whih has roots /,,, and so equation 5 gives us / + + = and after multiplying through by /9 and doing some simplifying on the right, we get the desired equation. As for, we note that the minimal polynomial for osπ/9 is x x+, a Ramanujan simple ubi with B =. It s easy to show that the other two roots are osπ/9 and osπ/9, and so equation 5 gives us osπ/9 + osπ/9 + osπ/9 = and after simplifying the right and dividing by we obtain the desired formula. In the previous example, we began with a partiular Ramanujan simple ubi and then derived statements about its roots. We an reverse the proess, as seen next. Example. Suppose we wish to reate a Ramanujan simple ubi with x = as one of its roots. We know that the other two roots must satisfy x = nx and x = nx, where nx = x. This leads to x = + and x = /, and the polynomial x x x x x x is easily alulated to be a Ramanujan simple ubi with B =. This leads to a partiularly nie formulation of equation 5; after some simplifiation and after multiplying through by on both sides we obtain the following unexpeted equation: + + = +. Main Result. Forfx = x +Px +Qx+R a polynomialwith possibly omplex oeffiients, wenote that its disriminant is = P Q Q P R+8PQR 7R, and we reall that a polynomial has no repeated roots if and only if its disriminant is not zero. With this in mind, we define the following two values taken from their original definitions in [, p. 68]: a = 9R PQ, We now state our main result. = 6Q P. Theorem. Let fx = x +Px +Qx+R have non-repeated roots t,t,t, and let a and be as defined above.. If = 0, then there exists h and k suh that fx = x h +k. In other words, fx is a translation of x by h units horizontally and k units vertially.. If 0, then f a x equals the Ramanujan simple ubi p B x = x +B x B x+, with B = 6a+P. In partiular, the set of roots of p B x are {a t, a t, a t }.

4 Proof. First, suppose = 0. Then Q = P / and so fx an be written as x h +k with h = P/ and k = R P /. Next, for 0, it is possible to use brute fore to show that f a x equals p B x, but that does not provide muh insight into the problem. Instead, we offer the following more detailed explanation. The key an be found in Serret s lassi algebra textbook [, p. 68] from the mid nineteenth entury. In pursuit of an entirely unrelated problem, Serret defined the a and seen above, along with the following: b = Q 6PR d = a Serret showed that mx = ax+b x+d is of order three under omposition, permutes the roots t,t,t of the ubi fx = x +Px +Qx+R, and has the property that ad b =. Now, we would like to transform the ubi fx into a new ubi whose roots are permuted by nx = x, and one way to do that is to first find a linear map qx suh that q m qx = nx, and then to onsider the omposition f qx. This omposition would have as roots the numbers q t,q t,q t, and furthermore these roots would be permuted by q m qx = x. We an then show this omposition must be a Ramanujan simple ubi. With this in mind, it remains to find our qx suh that q m qx = nx. This is a fairly easy task if one uses the language of Möbius transforms see, for example, [5]. Sine nx takes to 0 to bak to, and mx takes to a/ to d/ bak to, we an hoose qx to take to, and 0 to a/, and to d/. This gives us qx = a x and q x = a x. We an verify that indeed q m qx = nx, and that fqx = f a x fore to verify that f a x has roots a t, a t, and a t as desired. We an then revert to brute has the desired form of a Ramanujan simple ubi. We an now ombine Theorem with Theorem to give us the following results. Corollary. Let fx = x + Px + Qx+R have non-repeated roots t,t,t, and let a, B, and be as defined in Theorem, with 0. Then,. The order-three map nx = x permutes the set {a t, a t, a t }.. We have the Ramanujan-style equation a t + a t + a t = +B B, 7 so long as, for omplex arguments, we hoose the appropriate values for the ube roots.. If we define the elements of the set {u,u,...,u 6 } as u k = a +B + kπ 7+B os + artan B 8 then for B 0 the roots of fx are {u,u,u 6 } and for B 0 the roots of fx are {u,u,u 5 }. We note that a similar version of formula 7 was presented without proof by forum user Tito Piezas III on math.stakexhange.om.

5 5 Examples. Example. Here s a rather lovely formula whih we believe has not been seen before: +8os π + +8os 8π + +8os 0π = To obtain this, we begin with x 6 x 5 6x +6x +8x 8x+, the minimal polynomial for t = osπ/. This fators in Q as two ubis, and we hoose the one whih still has osπ/ as a root. This ubi is x + x + x+ 5, and its other two roots are t = os8π/ and t = os0π/, and after doing the omputations in Theorem we obtain a =, =, and B = 8. We then plug these values into formula 7, multiply through by, and apply a few simplifiations to obtain the above expression. Example. We an do similar alulations for osπ/8. This has a minimal polynomial of degree 6, but it fators in Q [x] and we hoose the degree-three fator gx = x x. One root of gx is indeed osπ/8, and the other two roots are osπ/8 and osπ/8. Calulating a, as defined in Setion, we get a = and =. Thus, by Theorem, we have g a x = x 6x +x+ whih is a partiularly nie Ramanujan simple ubi with B = 9. We will return to this ubi in Example 6. By Corollary, we get a nie identity: + os π8 + + os π os π 8 = 9. 9 Furthermore, by Theorem, we know the roots of x 6x +x+ are permuted by / x. Therefore, by hoosing our roots arefully, we get and this simplifies to whih redues to + os π 8 = + os π 8 os π 8 +os π 8 + os π 8 = 0 os 5π 8 = os π 8 os π 8. 0 Example 5. In an effort to find more equations like 0, we look at the minimal polynomials for osπ/6 and osπ/. Both have minimal polynomials of degree, and both an be fatored down into degree three polynomials by adjoining appropriate square roots to the rationals. By following the same steps as in the previous example we an arrive at the following two identities: 6os π 6 0π + 6os os π 6 = 0 7os π 7os 5π 8os π 5π os =. It sprobablyjustaoinidene, but + 6 osπ/6fromformulaisalmostidentialtosixdeimal plaes to 0/. Also, note that is equation from the beginning of the artile. Example 6. Returning our attention to Example, we note that Theorem gave us the partiularly nie ubi x 6x + x+ and gave us that one of its roots is + osπ/8. Likewise, if we begin with os π/6, we an fator its minimal degree- polynomial down to a degree- polynomial with irrational oeffiients, applytheorem, andendupwith anotherpartiularlyniepolynomial, thistimex +x x+, one of whose roots is given in equation at the beginning of this paper.

6 6 It turns out that, as seen in [], these two polynomials are also just an integer shift from the minimal polynomials for ertain ubi Gaussian periods. The exat nature of these objets is beyond the sope of this artile; for our purposes, we an onsider them to be sums of roots of unity with their inverses. Suffie it to say that this reognition leads us to disover that x 6x +x+ is the minimal polynomial for the following three numbers: { +os π 9 +os π 9, +os π 9 +os 7π 9, +os 5π 9 +os 8π }. 9 Comparing these with + osπ/8 leads us to the identity + os π 8 = +os π 9 +os π 9. Unfortunately, this simplifies to a triviality. However, along these lines, we also disover that x +x x+ is the minimal polynomial for the following three numbers: { os π 0π π +os, os } 6π 8π π +os, os +os. After omparing to the solution in equation, we obtain this non-trivial identity, and this really is a lovely formula os π 6 = os π + os 6π, Example 7. We finish with an example that does not involve osines. Consider the polynomial fx = x x x+. This is not Ramanujan, but when we apply the methods of Theorem we obtain a Ramanujan polynomial p B x with B = , and one of its roots is 6. After trying various values of k with formula 6, we find that +B 6 = + 7+B os π+ artan B and after applying our value of B and simplifying, we obtain the following formula: = os tan 6 5 +, 6 and this is surprising if for no other reason than the relatively small size of the oeffiients. Referenes [] Stefano Barbero, Umberto Cerruti, Nadir Murru, and Maro Abrate. Identities involving zeros of Ramanujan and Shanks ubi polynomials. J. Integer Seq., 68:Artile.8.,, 0. [] Brue C. Berndt. Ramanujan s notebooks. Part IV. Springer-Verlag, New York, 99. [] Brue C. Berndt and S. Bhargava. Ramanujan for lowbrows. Amer. Math. Monthly, 007:6 656, 99. [] L. E. Dikson. Note on ubi equations and ongruenes. Ann. of Math., :9 5, 9.

7 7 [5] Gregory P. Dresden. There Are Only Nine Finite Groups of Linear Frational Transformas with Integer Coeffiients. Math. Mag., 77: 8, 00. [6] Kurt Foster. HT90 and simplest number fields. Illinois J. Math., 55: , 0. [7] Ina Kersten and Johannes Mihaliˇ ek. A haraterization of Galois field extensions of degree. Comm. Algebra, 55:97 9, 987. [8] Susan Landau. Simplifiation of nested radials. SIAM J. Comput., :85 0, 99. [9] Susan Landau. How to tangle with a nested radial. Math. Intelligener, 6:9 55, 99. [0] Andrew J. Lazarus. Gaussian periods and units in ertain yli fields. Pro. Amer. Math. So., 5:96 968, 99. [] Emma Lehmer. Connetion between Gaussian periods and yli units. Math. Comp., 508:55 5, 988. [] Stéphane Louboutin. The exponent three lass group problem for some real yli ubi number fields. Pro. Amer. Math. So., 0:5 6, 00. [] Joseph-Alfred Serret. Cours d algèbre supérieure. Tome II. Les Grands Classiques Gauthier-Villars. [Gauthier-Villars Great Classis]. Éditions Jaques Gabay, Seaux, 99. Reprint of the fourth 879 edition. [] Daniel Shanks. The simplest ubi fields. Math. Comp., 8:7 5, 97. [5] Vladimir Shevelev. On Ramanujan ubi polynomials. South East Asian J. Math. Math. Si., 8:, 009. [6] Roman Witu la. Full desription of Ramanujan ubi polynomials. J. Integer Seq., 5:Artile 0.5.7, 8, 00.