I like to read math books and work math problems while I have lunch in my office. I tried to solve this problem from The Contest Problem Book IV .
Since I didn’t make much progress save noticing the implicit decagon, I checked the answer in the back of the book. It looked too complicated so I convinced myself that it was sufficient to find and . I used this drawing to find .
Here is constructed to be 36 degrees. Then use the fact that is similar to to get length which in turn yields . Isn’t this a beautiful looking result?
Now all I had to do was use the Pythagorean formula to find This result is not nearly so pretty. I made it my lunch time objective to express without the double root. (Technically this is called a nested root.) I tried all the algebra tricks I could come up with and I noodled around with the diagram to no avail. When I discussed my problem with the fellow next door, Nick Chura, he showed that the TI-Inspire gave a nested root. So did Wolfram|Alpha. My suspicions aroused, I went looking for a proof that denesting this particular expression was impossible. A theorem in a paper by Allan Borodin, Ronald Fagin, John E. Hopcroft and Martin Tompa  applied. The essence of Theorem 1 in their paper states that denests if and only if is rational. My expression failed this test. The impetus for Borodin et al’s paper was the need for computer algebra system to simplify complex nested expressions if possible. The authors used extension fields to prove their results and provided a denesting algorithm.
So the result of my investigations as still written in a corner of my office whiteboard is
. Find , no double nested roots allowed.
This is where I lost my faith in mathematics. Why should the numerical expression for differ so significantly from the numerical expression for ? Isn’t one function just a phase shift of the other? Doesn’t the difference between opposite over hypotenuse and adjacent over hypotenuse just depend on how you look at a right triangle? The beauty and symmetry that I had expected was proved impossible. I experienced a sense of existential disappointment.
I looked for ways out of my dilemma. Maybe the way we write radical expressions is flawed. Maybe our number system obscures some type of fundamental symmetry. The realistic solution however is that my limited abilities and lack of experience with extension fields excludes me from the pleasures that a more knowledgeable person would have contemplating the problem and the result. – Jim Hatton
 R. Artino, A. Gaglione and N. Shell, The Contest Problem Book IV, Annual High School Examinations 1973-1982, The Mathematical Association of America
 A. Borodin, R. Fagin, J.E. Hopcroft and M. Tompa, Decreasing the Nesting Depth of Expressions Involving Square Roots, J. Symbolic Computation, 1 (1985) 169-188.