In
mathematics and
statistics, sums of powers occur in a number of contexts:
*
Sums of squares arise in many contexts. For example, in
geometry
Geometry (; ) is, with arithmetic, one of the oldest branches of mathematics. It is concerned with properties of space such as the distance, shape, size, and relative position of figures. A mathematician who works in the field of geometry is ...
, the
Pythagorean theorem involves the sum of two squares; in
number theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
, there are
Legendre's three-square theorem
In mathematics, Legendre's three-square theorem states that a natural number can be represented as the sum of three squares of integers
:n = x^2 + y^2 + z^2
if and only if is not of the form n = 4^a(8b + 7) for nonnegative integers and .
The ...
and
Jacobi's four-square theorem
Jacobi's four-square theorem gives a formula for the number of ways that a given positive integer ''n'' can be represented as the sum of four squares.
History
The theorem was proved in 1834 by Carl Gustav Jakob Jacobi.
Theorem
Two representati ...
; and in
statistics, the
analysis of variance
Analysis of variance (ANOVA) is a collection of statistical models and their associated estimation procedures (such as the "variation" among and between groups) used to analyze the differences among means. ANOVA was developed by the statistician ...
involves summing the squares of quantities.
*
Faulhaber's formula
In mathematics, Faulhaber's formula, named after the early 17th century mathematician Johann Faulhaber, expresses the sum of the ''p''-th powers of the first ''n'' positive integers
:\sum_^n k^p = 1^p + 2^p + 3^p + \cdots + n^p
as a (''p''&nb ...
expresses
as a polynomial in ''n'', or alternatively
in term of a Bernoulli polynomial.
*
Fermat's right triangle theorem
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 several equivalent formulations, one o ...
states that there is no solution in positive integers for
and
.
*
Fermat's Last Theorem
In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers , , and satisfy the equation for any integer value of greater than 2. The cases and have been ...
states that
is impossible in positive integers with ''k''>2.
*The equation of a
superellipse is
. The
squircle
A squircle is a shape intermediate between a square and a circle. There are at least two definitions of "squircle" in use, the most common of which is based on the superellipse. The word "squircle" is a portmanteau of the words "square" and "ci ...
is the case
.
*
Euler's sum of powers conjecture
Euler's conjecture is a disproved conjecture in mathematics related to Fermat's Last Theorem. It was proposed by Leonhard Euler in 1769. It states that for all integers and greater than 1, if the sum of many th powers of positive integers i ...
(disproved) concerns situations in which the sum of ''n'' integers, each a ''k''
th power of an integer, equals another ''k''
th power.
*The
Fermat-Catalan conjecture asks whether there are an infinitude of examples in which the sum of two coprime integers, each a power of an integer, with the powers not necessarily equal, can equal another integer that is a power, with the reciprocals of the three powers summing to less than 1.
*
Beal's conjecture concerns the question of whether the sum of two coprime integers, each a power greater than 2 of an integer, with the powers not necessarily equal, can equal another integer that is a power greater than 2.
*The
Jacobi–Madden equation The Jacobi–Madden equation is the Diophantine equation
: a^4 + b^4 + c^4 + d^4 = (a + b + c + d)^4 ,
proposed by the physicist Lee W. Jacobi and the mathematician Daniel J. Madden in 2008. The variables ''a'', ''b'', ''c'', and ''d'' can be any ...
is
in integers.
*The
Prouhet–Tarry–Escott problem In mathematics, the Prouhet–Tarry–Escott problem asks for two disjoint multisets ''A'' and ''B'' of ''n'' integers each, whose first ''k'' power sum symmetric polynomials are all equal.
That is, the two multisets should satisfy the equations
: ...
considers sums of two sets of ''k''
th powers of integers that are equal for multiple values of ''k''.
*A
taxicab number
In mathematics, the ''n''th taxicab number, typically denoted Ta(''n'') or Taxicab(''n''), also called the ''n''th Hardy–Ramanujan number, is defined as the smallest integer that can be expressed as a sum of two ''positive'' integer cubes in ...
is the smallest integer that can be expressed as a sum of two positive third powers in ''n'' distinct ways.
*The
Riemann zeta function is the sum of the reciprocals of the positive integers each raised to the power ''s'', where ''s'' is a complex number whose real part is greater than 1.
*The
Lander, Parkin, and Selfridge conjecture
The Lander, Parkin, and Selfridge conjecture concerns the integer solutions of equations which contain sums of like powers. The equations are generalisations of those considered in Fermat's Last Theorem. The conjecture is that if the sum of some ' ...
concerns the minimal value of ''m'' + ''n'' in
*
Waring's problem
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 numb ...
asks whether for every natural number ''k'' there exists an associated positive integer ''s'' such that every natural number is the sum of at most ''s k''
th powers of natural numbers.
*The successive powers of the
golden ratio
In mathematics, two quantities are in the golden ratio if their ratio is the same as the ratio of their sum to the larger of the two quantities. Expressed algebraically, for quantities a and b with a > b > 0,
where the Greek letter phi ( ...
''φ'' obey the Fibonacci recurrence:
::
*
Newton's identities
In mathematics, Newton's identities, also known as the Girard–Newton formulae, give relations between two types of symmetric polynomials, namely between power sums and elementary symmetric polynomials. Evaluated at the roots of a monic polynom ...
express the sum of the ''k''
th powers of all the roots of a polynomial in terms of the coefficients in the polynomial.
*The
sum of cubes of numbers in arithmetic progression is sometimes another cube.
*The
Fermat cubic
In geometry, the Fermat cubic, named after Pierre de Fermat, is a surface defined by
: x^3 + y^3 + z^3 = 1. \
Methods of algebraic geometry
Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynom ...
, in which the sum of three cubes equals another cube, has a general solution.
*The
power sum symmetric polynomial In mathematics, specifically in commutative algebra, the power sum symmetric polynomials are a type of basic building block for symmetric polynomials, in the sense that every symmetric polynomial with rational coefficients can be expressed as a su ...
is a building block for symmetric polynomials.
*The
sum of the reciprocals of all perfect powers including duplicates (but not including 1) equals 1.
*The
Erdős–Moser equation,
where
and
are positive integers, is conjectured to have no solutions other than 1
1 + 2
1 = 3
1.
*The
sums of three cubes
In the mathematics of sums of powers, it is an open problem to characterize the numbers that can be expressed as a sum of three cubes of integers, allowing both positive and negative cubes in the sum. A necessary condition for n to equal such a ...
cannot equal 4 or 5 modulo 9, but it is unknown whether all remaining integers can be expressed in this form.
* The sums of powers ''S''
''m''(''z'', ''n'') = ''z''
''m'' + (''z''+1)
''m'' + ... + (''z''+''n''−1)
''m'' is related to the Bernoulli polynomials ''B''
''m''(''z'') by (∂
''n''−∂
''z'') ''S''
''m''(''z'', ''n'') = ''B''
''m''(''z'') and (∂
2λ−∂
''Z'') ''S''
2''k''+1(''z'', ''n'') = ''Ŝ''′
''k''+1(''Z'') where ''Z'' = ''z''(''z''−1), λ = ''S''
1(''z'', ''n''), ''Ŝ''
''k''+1(''Z'') ≡ ''S''
2''k''+1(0, ''z'').
*The sum of the terms in the
geometric series
In mathematics, a geometric series is the sum of an infinite number of terms that have a constant ratio between successive terms. For example, the series
:\frac \,+\, \frac \,+\, \frac \,+\, \frac \,+\, \cdots
is geometric, because each suc ...
is
See also
*
Sum of squares
*
Sum of reciprocals
*
Diophantine equation
Number theory
Mathematics-related lists
Squares in number theory
References
* {{cite journal , arxiv=1012.5801 , mr=2854220, doi=10.1142/S1793042111004903 , title=On the Sums of Two Cubes , year=2011 , last1=Reznick , first1=Bruce , author1-link=Bruce Reznick , last2=Rouse , first2=Jeremy , journal=International Journal of Number Theory , volume=07 , issue=7 , pages=1863–1882 , s2cid=16334026