Nested radical

Last updated

In algebra, a nested radical is a radical expression (one containing a square root sign, cube root sign, etc.) that contains (nests) another radical expression. Examples include

Contents

which arises in discussing the regular pentagon, and more complicated ones such as

Denesting

Some nested radicals can be rewritten in a form that is not nested. For example,

[1]

Another simple example,

Rewriting a nested radical in this way is called denesting. This is not always possible, and, even when possible, it is often difficult.

Two nested square roots

In the case of two nested square roots, the following theorem completely solves the problem of denesting. [2]

If a and c are rational numbers and c is not the square of a rational number, there are two rational numbers x and y such that if and only if is the square of a rational number d.

If the nested radical is real, x and y are the two numbers and where is a rational number.

In particular, if a and c are integers, then 2x and 2y are integers.

This result includes denestings of the form as z may always be written and at least one of the terms must be positive (because the left-hand side of the equation is positive).

A more general denesting formula could have the form However, Galois theory implies that either the left-hand side belongs to or it must be obtained by changing the sign of either or both. In the first case, this means that one can take x = c and In the second case, and another coefficient must be zero. If one may rename xy as x for getting Proceeding similarly if it results that one can suppose This shows that the apparently more general denesting can always be reduced to the above one.

Proof: By squaring, the equation is equivalent with and, in the case of a minus in the right-hand side,

|x||y|,

(square roots are nonnegative by definition of the notation). As the inequality may always be satisfied by possibly exchanging x and y, solving the first equation in x and y is equivalent with solving

This equality implies that belongs to the quadratic field In this field every element may be uniquely written with and being rational numbers. This implies that is not rational (otherwise the right-hand side of the equation would be rational; but the left-hand side is irrational). As x and y must be rational, the square of must be rational. This implies that in the expression of as Thus for some rational number The uniqueness of the decomposition over 1 and implies thus that the considered equation is equivalent with It follows by Vieta's formulas that x and y must be roots of the quadratic equation its (≠ 0, otherwise c would be the square of a), hence x and y must be and Thus x and y are rational if and only if is a rational number.

For explicitly choosing the various signs, one must consider only positive real square roots, and thus assuming c > 0. The equation shows that |a| > c. Thus, if the nested radical is real, and if denesting is possible, then a > 0. Then the solution is

Some identities of Ramanujan

Srinivasa Ramanujan demonstrated a number of curious identities involving nested radicals. Among them are the following: [3]

and

[4]

Landau's algorithm

In 1989 Susan Landau introduced the first algorithm for deciding which nested radicals can be denested. [5] Earlier algorithms worked in some cases but not others. Landau's algorithm involves complex roots of unity and runs in exponential time with respect to the depth of the nested radical. [6]

In trigonometry

In trigonometry, the sines and cosines of many angles can be expressed in terms of nested radicals. For example,

and The last equality results directly from the results of § Two nested square roots.

In the solution of the cubic equation

Nested radicals appear in the algebraic solution of the cubic equation. Any cubic equation can be written in simplified form without a quadratic term, as

whose general solution for one of the roots is

In the case in which the cubic has only one real root, the real root is given by this expression with the radicands of the cube roots being real and with the cube roots being the real cube roots. In the case of three real roots, the square root expression is an imaginary number; here any real root is expressed by defining the first cube root to be any specific complex cube root of the complex radicand, and by defining the second cube root to be the complex conjugate of the first one. The nested radicals in this solution cannot in general be simplified unless the cubic equation has at least one rational solution. Indeed, if the cubic has three irrational but real solutions, we have the casus irreducibilis , in which all three real solutions are written in terms of cube roots of complex numbers. On the other hand, consider the equation

which has the rational solutions 1, 2, and −3. The general solution formula given above gives the solutions

For any given choice of cube root and its conjugate, this contains nested radicals involving complex numbers, yet it is reducible (even though not obviously so) to one of the solutions 1, 2, or –3.

Infinitely nested radicals

Square roots

Under certain conditions infinitely nested square roots such as

represent rational numbers. This rational number can be found by realizing that x also appears under the radical sign, which gives the equation

If we solve this equation, we find that x = 2 (the second solution x = −1 doesn't apply, under the convention that the positive square root is meant). This approach can also be used to show that generally, if n > 0, then

and is the positive root of the equation x2xn = 0. For n = 1, this root is the golden ratio φ, approximately equal to 1.618. The same procedure also works to obtain, if n > 0, which is the positive root of the equation x2 + xn = 0.

Nested square roots of 2

The nested square roots of 2 are a special case of the wide class of infinitely nested radicals. There are many known results that bind them to sines and cosines. For example, it has been shown that nested square roots of 2 as [7]

where with in [−2,2] and for , are such that for

This result allows to deduce for any the value of the following infinitely nested radicals consisting of k nested roots as

If , then [8]

These results can be used to obtain some nested square roots representations of . Let us consider the term defined above. Then [7]

where .

Ramanujan's infinite radicals

Ramanujan posed the following problem to the Journal of Indian Mathematical Society:

This can be solved by noting a more general formulation:

Setting this to F(x) and squaring both sides gives us

which can be simplified to

It can be shown that

satisfies the equation for , so it can be hoped that it is the true solution. For a complete proof, we would need to show that this is indeed the solution to the equation for .

So, setting a = 0, n = 1, and x = 2, we have Ramanujan stated the following infinite radical denesting in his lost notebook: The repeating pattern of the signs is

Viète's expression for π

Viète's formula for π, the ratio of a circle's circumference to its diameter, is

Cube roots

In certain cases, infinitely nested cube roots such as can represent rational numbers as well. Again, by realizing that the whole expression appears inside itself, we are left with the equation

If we solve this equation, we find that x = 2. More generally, we find that is the positive real root of the equation x3xn = 0 for all n > 0. For n = 1, this root is the plastic ratio ρ, approximately equal to 1.3247.

The same procedure also works to get

as the real root of the equation x3 + xn = 0 for all n > 1.

Herschfeld's convergence theorem

An infinitely nested radical (where all are nonnegative) converges if and only if there is some such that for all , [9] or in other words

Proof of "if"

We observe that Moreover, the sequence is monotonically increasing. Therefore it converges, by the monotone convergence theorem.

Proof of "only if"

If the sequence converges, then it is bounded.

However, , hence is also bounded.

See also

Related Research Articles

<span class="mw-page-title-main">Complex number</span> Number with a real and an imaginary part

In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted i, called the imaginary unit and satisfying the equation ; every complex number can be expressed in the form , where a and b are real numbers. Because no real number satisfies the above equation, i was called an imaginary number by René Descartes. For the complex number ,a is called the real part, and b is called the imaginary part. The set of complex numbers is denoted by either of the symbols or C. Despite the historical nomenclature, "imaginary" complex numbers have a mathematical existence as firm as that of the real numbers, and they are fundamental tools in the scientific description of the natural world.

In mathematics, a quadratic equation is an equation that can be rearranged in standard form as where the variable x represents an unknown number, and a, b, and c represent known numbers, where a ≠ 0. The numbers a, b, and c are the coefficients of the equation and may be distinguished by respectively calling them, the quadratic coefficient, the linear coefficient and the constant coefficient or free term.

<span class="mw-page-title-main">Square root</span> Number whose square is a given number

In mathematics, a square root of a number x is a number y such that ; in other words, a number y whose square is x. For example, 4 and −4 are square roots of 16 because .

<span class="mw-page-title-main">Imaginary unit</span> Principal square root of −1

The imaginary unit or unit imaginary number is a solution to the quadratic equation x2 + 1 = 0. Although there is no real number with this property, i can be used to extend the real numbers to what are called complex numbers, using addition and multiplication. A simple example of the use of i in a complex number is 2 + 3i.

<span class="mw-page-title-main">Factorization</span> (Mathematical) decomposition into a product

In mathematics, factorization (or factorisation, see English spelling differences) or factoring consists of writing a number or another mathematical object as a product of several factors, usually smaller or simpler objects of the same kind. For example, 3 × 5 is an integer factorization of 15, and (x – 2)(x + 2) is a polynomial factorization of x2 – 4.

<span class="mw-page-title-main">Root of unity</span> Number that has an integer power equal to 1

In mathematics, a root of unity, occasionally called a de Moivre number, is any complex number that yields 1 when raised to some positive integer power n. Roots of unity are used in many branches of mathematics, and are especially important in number theory, the theory of group characters, and the discrete Fourier transform.

<span class="mw-page-title-main">Cubic equation</span> Polynomial equation of degree 3

In algebra, a cubic equation in one variable is an equation of the form in which a is not zero.

In mathematics, an nth root of a number x is a number r which, when raised to the power of the positive integer n, yields x:

<span class="mw-page-title-main">Quartic equation</span> Polynomial equation

In mathematics, a quartic equation is one which can be expressed as a quartic function equaling zero. The general form of a quartic equation is

<span class="mw-page-title-main">Cube root</span> Number whose cube is a given number

In mathematics, a cube root of a number x is a number y such that y3 = x. All nonzero real numbers have exactly one real cube root and a pair of complex conjugate cube roots, and all nonzero complex numbers have three distinct complex cube roots. For example, the real cube root of 8, denoted , is 2, because 23 = 8, while the other cube roots of 8 are and . The three cube roots of −27i are:

<span class="mw-page-title-main">Quintic function</span> Polynomial function of degree 5

In mathematics, a quintic function is a function of the form

<span class="mw-page-title-main">Quartic function</span> Polynomial function of degree four

In algebra, a quartic function is a function of the form

<span class="mw-page-title-main">Square root of 2</span> Unique positive real number which when multiplied by itself gives 2

The square root of 2 is the positive real number that, when multiplied by itself or squared, equals the number 2. It may be written in mathematics as or . It is an algebraic number, and therefore not a transcendental number. Technically, it should be called the principal square root of 2, to distinguish it from the negative number with the same property.

In mathematics, an algebraic equation or polynomial equation is an equation of the form , where P is a polynomial with coefficients in some field, often the field of the rational numbers. For example, is an algebraic equation with integer coefficients and

<span class="mw-page-title-main">Tetration</span> Arithmetic operation

In mathematics, tetration is an operation based on iterated, or repeated, exponentiation. There is no standard notation for tetration, though Knuth's up arrow notation and the left-exponent xb are common.

In mathematics, an algebraic function is a function that can be defined as the root of an irreducible polynomial equation. Algebraic functions are often algebraic expressions using a finite number of terms, involving only the algebraic operations addition, subtraction, multiplication, division, and raising to a fractional power. Examples of such functions are:

Methods of computing square roots are algorithms for approximating the non-negative square root of a positive real number . Since all square roots of natural numbers, other than of perfect squares, are irrational, square roots can usually only be computed to some finite precision: these methods typically construct a series of increasingly accurate approximations.

<span class="mw-page-title-main">Bring radical</span> Real root of the polynomial x^5+x+a

In algebra, the Bring radical or ultraradical of a real number a is the unique real root of the polynomial

In mathematics, the method of equating the coefficients is a way of solving a functional equation of two expressions such as polynomials for a number of unknown parameters. It relies on the fact that two expressions are identical precisely when corresponding coefficients are equal for each different type of term. The method is used to bring formulas into a desired form.

In algebra, casus irreducibilis is one of the cases that may arise in solving polynomials of degree 3 or higher with integer coefficients algebraically, i.e., by obtaining roots that are expressed with radicals. It shows that many algebraic numbers are real-valued but cannot be expressed in radicals without introducing complex numbers. The most notable occurrence of casus irreducibilis is in the case of cubic polynomials that have three real roots, which was proven by Pierre Wantzel in 1843. One can see whether a given cubic polynomial is in the so-called casus irreducibilis by looking at the discriminant, via Cardano's formula.

References

  1. Scheinerman, Edward R. (2000), "When close enough is close enough", American Mathematical Monthly, 107 (6): 489–499, doi:10.2307/2589344, JSTOR   2589344, MR   1766736
  2. Euler, Leonhard (2012). Elements of algebra. Springer Science & Business Media. Chapter VIII.
  3. Landau, Susan (July 16, 1993). "A note on 'Zippel Denesting'". CiteSeerX   10.1.1.35.5512 . Retrieved August 23, 2023.
  4. Berndt, Bruce; Chan, Heng; Zhang, Liang-Cheng (1998). "Radicals and units in Ramanujan's work" (PDF). Acta Arithmetica. 87 (2): 145–158. doi: 10.4064/aa-87-2-145-158 .
  5. Landau, Susan (1992). "Simplification of Nested Radicals". 30th Annual Symposium on Foundations of Computer Science. Vol. 21. SIAM. pp. 85–110. CiteSeerX   10.1.1.34.2003 . doi:10.1109/SFCS.1989.63496. ISBN   978-0-8186-1982-3. S2CID   29982884.
  6. Gkioulekas, Eleftherios (2017-08-18). "On the denesting of nested square roots". International Journal of Mathematical Education in Science and Technology. 48 (6): 942–953. Bibcode:2017IJMES..48..942G. doi:10.1080/0020739X.2017.1290831. ISSN   0020-739X. S2CID   9737528.
  7. 1 2 Servi, L. D. (April 2003). "Nested Square Roots of 2". The American Mathematical Monthly. 110 (4): 326–330. doi:10.1080/00029890.2003.11919968. ISSN   0002-9890. S2CID   38100940.
  8. Nyblom, M. A. (November 2005). "More Nested Square Roots of 2". The American Mathematical Monthly. 112 (9): 822–825. doi:10.1080/00029890.2005.11920256. ISSN   0002-9890. S2CID   11206345.
  9. Herschfeld, Aaron (1935). "On Infinite Radicals". The American Mathematical Monthly. 42 (7): 419–429. doi:10.2307/2301294. ISSN   0002-9890. JSTOR   2301294.

Further reading