Fourth power

Last updated

In arithmetic and algebra, the fourth power of a number n is the result of multiplying four instances of n together. So:

Contents

n4 = n × n × n × n

Fourth powers are also formed by multiplying a number by its cube. Furthermore, they are squares of squares.

Some people refer to n4 as n “ tesseracted ”, “hypercubed”, “ zenzizenzic ”, “ biquadrate ” or “supercubed” instead of “to the power of 4”.

The sequence of fourth powers of integers (also known as biquadrates or tesseractic numbers) is:

0, 1, 16, 81, 256, 625, 1296, 2401, 4096, 6561, 10000, 14641, 20736, 28561, 38416, 50625, 65536, 83521, 104976, 130321, 160000, 194481, 234256, 279841, 331776, 390625, 456976, 531441, 614656, 707281, 810000, ... (sequence A000583 in the OEIS ).

Properties

The last digit of a fourth power in decimal can only be 0 (in fact 0000), 1, 5 (in fact 0625), or 6.

In hexadecimal the last nonzero digit of a fourth power is always 1. [1]

Every positive integer can be expressed as the sum of at most 19 fourth powers; every integer larger than 13792 can be expressed as the sum of at most 16 fourth powers (see Waring's problem).

Fermat knew that a fourth power cannot be the sum of two other fourth powers (the n = 4 case of Fermat's Last Theorem; see Fermat's right triangle theorem). Euler conjectured that a fourth power cannot be written as the sum of three fourth powers, but 200 years later, in 1986, this was disproven by Elkies with:

206156734 = 187967604 + 153656394 + 26824404.

Elkies showed that there are infinitely many other counterexamples for exponent four, some of which are: [2]

28130014 = 27676244 + 13904004 + 6738654 (Allan MacLeod)
87074814 = 83322084 + 55078804 + 17055754 (D.J. Bernstein)
121974574 = 112890404 + 82825434 + 58700004 (D.J. Bernstein)
160030174 = 141737204 + 125522004 + 44790314 (D.J. Bernstein)
164305134 = 162810094 + 70286004 + 36428404 (D.J. Bernstein)
4224814 = 4145604 + 2175194 + 958004 (Roger Frye, 1988)
6385232494 = 6306626244 + 2751562404 + 2190764654 (Allan MacLeod, 1998)

Equations containing a fourth power

Fourth-degree equations, which contain a fourth degree (but no higher) polynomial are, by the Abel–Ruffini theorem, the highest degree equations having a general solution using radicals.

See also

Related Research Articles

<span class="mw-page-title-main">Diophantine equation</span> Polynomial equation whose integer solutions are sought

In mathematics, a Diophantine equation is an equation, typically a polynomial equation in two or more unknowns with integer coefficients, for which only integer solutions are of interest. A linear Diophantine equation equates to a constant the sum of two or more monomials, each of degree one. An exponential Diophantine equation is one in which unknowns can appear in exponents.

In number theory, Euler's conjecture is a disproved conjecture related to Fermat's Last Theorem. It was proposed by Leonhard Euler in 1769. It states that for all integers n and k greater than 1, if the sum of n many kth powers of positive integers is itself a kth power, then n is greater than or equal to k:

<span class="mw-page-title-main">Modular arithmetic</span> Computation modulo a fixed integer

In mathematics, modular arithmetic is a system of arithmetic for integers, where numbers "wrap around" when reaching a certain value, called the modulus. The modern approach to modular arithmetic was developed by Carl Friedrich Gauss in his book Disquisitiones Arithmeticae, published in 1801.

<span class="mw-page-title-main">Pythagorean triple</span> Integer side lengths of a right triangle

A Pythagorean triple consists of three positive integers a, b, and c, such that a2 + b2 = c2. Such a triple is commonly written (a, b, c), a well-known example is (3, 4, 5). If (a, b, c) is a Pythagorean triple, then so is (ka, kb, kc) for any positive integer k. A triangle whose side lengths are a Pythagorean triple is a right triangle and called a Pythagorean triangle.

In number theory, Waring's problem asks whether each natural number k has an associated positive integer s such that every natural number is the sum of at most s natural numbers raised to the power k. For example, every natural number is the sum of at most 4 squares, 9 cubes, or 19 fourth powers. Waring's problem was proposed in 1770 by Edward Waring, after whom it is named. Its affirmative answer, known as the Hilbert–Waring theorem, was provided by Hilbert in 1909. Waring's problem has its own Mathematics Subject Classification, 11P05, "Waring's problem and variants".

In mathematics, a Fermat number, named after Pierre de Fermat, the first known to have studied them, is a positive integer of the form: where n is a non-negative integer. The first few Fermat numbers are: 3, 5, 17, 257, 65537, 4294967297, 18446744073709551617, ....

<span class="mw-page-title-main">Parity (mathematics)</span> Property of being an even or odd number

In mathematics, parity is the property of an integer of whether it is even or odd. An integer is even if it is divisible by 2, and odd if it is not. For example, −4, 0, and 82 are even numbers, while −3, 5, 7, and 21 are odd numbers.

<span class="mw-page-title-main">Square number</span> Product of an integer with itself

In mathematics, a square number or perfect square is an integer that is the square of an integer; in other words, it is the product of some integer with itself. For example, 9 is a square number, since it equals 32 and can be written as 3 × 3.

<span class="mw-page-title-main">Power of two</span> Two raised to an integer power

A power of two is a number of the form 2n where n is an integer, that is, the result of exponentiation with number two as the base and integer n as the exponent.

<span class="mw-page-title-main">Cube (algebra)</span> Number raised to the third power

In arithmetic and algebra, the cube of a number n is its third power, that is, the result of multiplying three instances of n together. The cube of a number or any other mathematical expression is denoted by a superscript 3, for example 23 = 8 or (x + 1)3.

<span class="mw-page-title-main">Carmichael function</span> Function in mathematical number theory

In number theory, a branch of mathematics, the Carmichael functionλ(n) of a positive integer n is the smallest member of the set of positive integers m having the property that

In additive number theory, Fermat's theorem on sums of two squares states that an odd prime p can be expressed as:

<span class="mw-page-title-main">Pythagorean prime</span>

A Pythagorean prime is a prime number of the form . Pythagorean primes are exactly the odd prime numbers that are the sum of two squares; this characterization is Fermat's theorem on sums of two squares.

In mathematics and statistics, sums of powers occur in a number of contexts:

Fermat's Last Theorem is a theorem in number theory, originally stated by Pierre de Fermat in 1637 and proven by Andrew Wiles in 1995. The statement of the theorem involves an integer exponent n larger than 2. In the centuries following the initial statement of the result and before its general proof, various proofs were devised for particular values of the exponent n. Several of these proofs are described below, including Fermat's proof in the case n = 4, which is an early example of the method of infinite descent.

<span class="mw-page-title-main">Fermat's right triangle theorem</span> Rational right triangles cannot have square area

Fermat's right triangle theorem is a non-existence proof in number theory, published in 1670 among the works of Pierre de Fermat, soon after his death. It is the only complete proof given by Fermat. It has many equivalent formulations, one of which was stated in 1225 by Fibonacci. In its geometric forms, it states:

In arithmetic and algebra, the fifth power or sursolid of a number n is the result of multiplying five instances of n together:

<span class="mw-page-title-main">Sixth power</span>

In arithmetic and algebra the sixth power of a number n is the result of multiplying six instances of n together. So:

References

  1. An odd fourth power is the square of an odd square number. All odd squares are congruent to 1 modulo 8, and (8n+1)2 = 64n2 + 16n + 1 = 16(4n2 + 1) + 1, meaning that all fourth powers are congruent to 1 modulo 16. Even fourth powers (excluding zero) are equal to (2kn)4 = 16kn4 for some positive integer k and odd integer n, meaning that an even fourth power can be represented as an odd fourth power multiplied by a power of 16.
  2. Quoted in Meyrignac, Jean-Charles (14 February 2001). "Computing Minimal Equal Sums Of Like Powers: Best Known Solutions" . Retrieved 17 July 2017.