Fourth power

In arithmetic and algebra, the fourth power of a number $n$ is the result of multiplying four instances of $n$ together: $n 4 = n \times n \times n \times n$ .

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

Some people refer to $n 4$ as n tesseracted, hypercubed, zenzizenzic, biquadrate or supercubed instead of "to the power of 4".

The sequence of fourth powers of integers, 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, 1, 5, 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 = 18796760 4 + 15365639 4 + 2682440 4

.

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

28130014 = 2767624 4 + 1390400 4 + 673865 4

(Allan MacLeod)

87074814 = 8332208 4 + 5507880 4 + 1705575 4

(D.J. Bernstein)

121974574 = 11289040 4 + 8282543 4 + 5870000 4

(D.J. Bernstein)

160030174 = 14173720 4 + 12552200 4 + 4479031 4

(D.J. Bernstein)

164305134 = 16281009 4 + 7028600 4 + 3642840 4

(D.J. Bernstein)

4224814 = 414560 4 + 217519 4 + 95800 4

(Roger Frye, 1988)

6385232494 = 630662624 4 + 275156240 4 + 219076465 4

(Allan MacLeod, 1998)

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.

References

↑ An odd fourth power is the square of an odd square number. All odd squares are congruent to 1 modulo 8, and (8n+1)² = 64n² + 16n + 1 = 16(4n² + 1) + 1, meaning that all fourth powers are congruent to 1 modulo 16. Even fourth powers (excluding zero) are equal to (2^kn)⁴ = 16^kn⁴ 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.
↑ Quoted in Meyrignac, Jean-Charles (14 February 2001). "Computing Minimal Equal Sums Of Like Powers: Best Known Solutions". Retrieved 17 July 2017.

Weisstein, Eric W. "Biquadratic Number". MathWorld.

[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)² = 64n² + 16n + 1 = 16(4n² + 1) + 1, meaning that all fourth powers are congruent to 1 modulo 16. Even fourth powers (excluding zero) are equal to (2^kn)⁴ = 16^kn⁴ 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.

[meyrignac-2] Quoted in Meyrignac, Jean-Charles (14 February 2001). "Computing Minimal Equal Sums Of Like Powers: Best Known Solutions". Retrieved 17 July 2017.

[1]

[2]

This page was redesigned at the edge.

Fourth power

Properties

See also

References