# Sum of squares

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

## Statistics

* For partitioning of variance, see Partition of sums of squares
* For the "sum of squared deviations", see Least squares
* For the "sum of squared differences", see Mean squared error
* For the "sum of squared error", see Residual sum of squares
* For the "sum of squares due to lack of fit", see Lack-of-fit sum of squares
* For sums of squares relating to model predictions, see Explained sum of squares
* For sums of squares relating to observations, see Total sum of squares
* For sums of squared deviations, see Squared deviations from the mean
* For modelling involving sums of squares, see Analysis of variance
* For modelling involving the multivariate generalisation of sums of squares, see Multivariate analysis of variance

## Number theory

* For the sum of squares of consecutive integers, see Square pyramidal number
* For representing an integer as a sum of squares of 4 integers, see Lagrange's four-square theorem
* Legendre's three-square theorem states which numbers can be expressed as the sum of three squares
* Jacobi's four-square theorem gives the number of ways that a number can be represented as the sum of four squares.
* For the number of representations of a positive integer as a sum of squares of k integers, see Sum of squares function.
* Fermat's theorem on sums of two squares says which primes are sums of two squares.
** The sum of two squares theorem generalizes Fermat's theorem to specify which composite numbers are the sums of two squares.
* Pythagorean triples are sets of three integers such that the sum of the squares of the first two equals the square of the third.
* A Pythagorean prime is a prime that is the sum of two squares; Fermat's theorem on sums of two squares states which primes are Pythagorean primes.
* Pythagorean triangles with integer altitude from the hypotenuse have the sum of squares of inverses of the integer legs equal to the square of the inverse of the integer altitude from the hypotenuse.
* Pythagorean quadruples are sets of four integers such that the sum of the squares of the first three equals the square of the fourth.
* The Basel problem, solved by Euler in terms of $\pi$, asked for an exact expression for the sum of the squares of the reciprocals of all positive integers.
* Rational trigonometry's triple-quad rule and triple-spread rule contain sums of squares, similar to Heron's formula.
* Squaring the square is a combinatorial problem of dividing a two-dimensional square with integer side length into smaller such squares.

## Algebra, algebraic geometry, and optimization

* Polynomial SOS, polynomials that are sums of squares of other polynomials
* The Brahmagupta–Fibonacci identity, representing the product of sums of two squares of polynomials as another sum of squares
* Hilbert's seventeenth problem on characterizing the polynomials with non-negative values as sums of squares
* Sum-of-squares optimization, nonlinear programming with polynomial SOS constraints
* The sum of squared dimensions of a finite group's pairwise nonequivalent complex representations is equal to cardinality of that group.

## Euclidean geometry and other inner-product spaces

* The Pythagorean theorem says that the square on the hypotenuse of a right triangle is equal in area to the sum of the squares on the legs. The sum of squares is not factorable.
* The squared Euclidean distance between two points, equal to the sum of squares of the differences between their coordinates
* Heron's formula for the area of a triangle can be re-written as using the sums of squares of a triangle's sides (and the sums of the squares of squares)
* The British flag theorem for rectangles equates two sums of two squares
* The parallelogram law equates the sum of the squares of the four sides to the sum of the squares of the diagonals
* Descartes' theorem for four kissing circles involves sums of squares
* The sum of the squares of the edges of a rectangular cuboid equals the square of any space diagonal