11
$\begingroup$

We know $\cos(2\pi/p)$ for p a Fermat prime can be expressed in real radicals. The case $p=17$ is a root of an 8th deg eqn, but can be also given as a sequence of nested radicals,

$$\begin{aligned} 4\cos(2\pi/17)&=\frac{1}{x}+\sqrt{x}\,(17+4\sqrt{17})^{1/4}=3.72988\dots\\ x &=\frac{1}{2}\Big(y+\sqrt{y^2+4}\Big)\\ y &=\frac{1}{2}(1-\sqrt{17}) \end{aligned}$$

Question: For curiosity's sake, is there a way to explicitly write down $\cos(2\pi/257)$ as a tower of nested real radicals such that it can fit in an MSE post?

P.S. John Conway described a procedure for $p = 65537$ in this old Mathforum post, so maybe it can be adapted to the "easier" $p = 257$.

Edit (a day later): I managed to answer my own question. See below.

$\endgroup$
  • $\begingroup$ It can actually be expressed in terms of square roots, not just radicals. Not sure about the specific expression. though :) $\endgroup$ – Thomas Andrews Oct 6 '13 at 2:30
  • $\begingroup$ Maybe Christian Gottlieb, The Simple and Straightforward Construction of the Regular 257-gon, Mathematical Intelligencer 21 (1999) 31–37 would be helpful. $\endgroup$ – Gerry Myerson Oct 6 '13 at 4:29
  • $\begingroup$ Springer generously offers the article at only $39.95. :) $\endgroup$ – Tito Piezas III Oct 6 '13 at 4:36
  • $\begingroup$ I spoke too soon. The one at susqu.edu/brakke/constructions/big-gon.htm is actually easy to understand. Some copy-and-paste with Mathematica using Ken Brakke's expressions gives the correct value of $x=2\cos(64\pi/257) = 1.418528\dots$. Finally saw $x$ expressed as a real radical. :) $\endgroup$ – Tito Piezas III Oct 6 '13 at 5:48
  • $\begingroup$ The {257} is a class-256 polygon of the simple kind, so somewhere there is a nested set of eight surds. $\endgroup$ – wendy.krieger Oct 6 '13 at 9:21
4
$\begingroup$

Finally! Persistence pays off. This is based on Ken Brakke’s solution. However, I managed to simplify it a bit like using only 6 numbers of deg-32 (the $v_i$ below), while Brakke’s used 7 ($a_{39}, a_{40}, a_{46}, a_{47}, a_{48}, a_{54}, a_{55}$ in his site), and also simplifying the $u_i$ and $x_i$. Thus,

$$\begin{aligned} w_1&=4\cos\Big(\frac{4\,\pi}{257}\Big) = u_1+\sqrt{u_1^2-4u_2} = 3.995219\dots\\ w_2&=4\cos\Big(\frac{16\,\pi}{257}\Big) = u_3+\sqrt{u_3^2-4u_4} = 3.923736\dots\\ w_2&=4\cos\Big(\frac{64\,\pi}{257}\Big) = u_1-\sqrt{u_1^2-4u_2} = 2.837057\dots\\ w_4&=4\cos\Big(\frac{256\,\pi}{257}\Big) = u_3-\sqrt{u_3^2-4u_4} = -3.999701\dots\\ \text{where,}\\ 2u_1,\,2u_3&=v_1\pm\sqrt{v_1^2-4(v_2+v_8)}\\ 2u_2,\,2u_4&=v_9\pm\sqrt{v_9^2-4(v_{10}+v_0)}\\ \text{and,}\\ 2v_0&=x_0-\sqrt{x_0^2-4 (x_0 + x_1 + x_2 + x_5)}\\ 2v_1&=x_1-\sqrt{x_1^2-4 (x_1 + x_2 + x_3 + x_6)}\\ 2v_2&=x_2-\sqrt{x_2^2-4 (x_2 + x_3 + x_4 + x_7)}\\ 2v_8&=x_8-\sqrt{x_8^2-4 (x_8 + x_9 + x_{10} + x_{13})}\\ 2v_9&=x_9-\sqrt{x_9^2-4 (x_9 + x_{10} + x_{11} + x_{14})}\\ 2v_{10}&=x_{10}-\sqrt{x_{10}^2-4 (x_{10} + x_{11} + x_{12}+x_{15})}\\ \text{and,}\\ 2x_1,\,2x_{9}&=y_1\pm\sqrt{y_1^2-4(t_1 + y_1 + y_3 + 2 y_6)}\\ 2x_2,\,2x_{10}&=y_2\pm\sqrt{y_2^2-4(t_2 + y_2 + y_4 + 2 y_7)}\\ 2x_3,\,2x_{11}&=y_3\pm\sqrt{y_3^2-4(t_1 + y_3 + y_5 + 2 y_8)}\\ 2x_4,\,2x_{12}&=y_4\pm\sqrt{y_4^2-4(t_2 + y_4 + y_6 + 2 y_1)}\\ 2x_5,\,2x_{13}&=y_5\pm\sqrt{y_5^2-4(t_1 + y_5 + y_7 + 2 y_2)}\\ 2x_6,\,2x_{14}&=y_6\pm\sqrt{y_6^2-4(t_2 + y_6 + y_8 + 2 y_3)}\\ 2x_7,\,2x_{15}&=y_7\color{blue}{\mp}\sqrt{y_7^2-4(t_1 + y_7 + y_1 + 2 y_4)}\\ 2x_8,\,2x_{0}&=y_8\pm\sqrt{y_8^2-4(t_2 + y_8 + y_2 + 2 y_5)}\\ \text{and,}\\ 2y_1,\,2y_5&=z_1\pm\sqrt{z_1^2+4(5 +t_1 +2 z_1)}\\ 2y_2,\,2y_6&=z_2\color{blue}{\mp}\sqrt{z_2^2+4(5 +t_2 +2 z_2)}\\ 2y_3,\,2y_7&=z_3\pm\sqrt{z_3^2+4(5 +t_1 +2 z_3)}\\ 2y_4,\,2y_8&=z_4\color{blue}{\mp}\sqrt{z_4^2+4(5 +t_2 +2 z_4)}\\ \text{and,}\\ 2z_1,\,2z_3&=t_1\pm\sqrt{t_1^2+64}\\ 2z_2,\,2z_4&=t_2\pm\sqrt{t_2^2+64}\\ \text{and,}\\ t_1,\,t_2&=\frac{-1\pm\sqrt{257}}{2}\\ \end{aligned}$$

Whew! The $w_i, u_i, v_i, x_i, y_i, z_i, t_i$ of course are algebraic numbers of deg $2^7, 2^6, 2^5, 2^4, 2^3, 2^2, 2$, respectively. One can see some patterns, like how the 16 $x_i$ are so orderly expressed by the 8 $y_i$. This solution uses 24 quadratic equations $(1+2+6+8+4+2+1 = 24)$, while the one by W. Bishop involves $25$. I do not know if it can be reduced even further.

$\endgroup$
1
$\begingroup$

The relevant quadratic polynomials are given explicitly by Wayne Bishop, How to construct a regular polygon, American Math Monthly, March 1978, pp 186-188, available at http://poncelet.math.nthu.edu.tw/disk5/js/geometry/bishop.pdf

$\endgroup$
  • $\begingroup$ Thanks. Those 25 polynomials (I counted) can make someone go blind, and I think there are some typos. For example, in p.188 the fifth polynomial is given as $x^2 - \alpha_{2, 1}x + (5x_{2, 0} + 2\alpha_{2, 1} + 5\alpha_{2, 2} + 4\alpha_{2, 3})$, but I think that stray $x_{2,0}$ variable should be $\alpha_{2,0}$. If there are less obvious typos, it would take a whole lot of time to find it. I wonder if it can be simplified using Conway's suggestion. $\endgroup$ – Tito Piezas III Oct 6 '13 at 5:02
  • $\begingroup$ Ken Brakke's version at susqu.edu/brakke/constructions/big-gon.htm has no typos. (I spoke too soon about it being difficult. It was actually easy to implement in Mathematica.) $\endgroup$ – Tito Piezas III Oct 6 '13 at 5:50

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.