In algebra, Pfister's sixteen-square identity is a non-bilinear identity of form
( x 1 2 + x 2 2 + x 3 2 + ⋯ + x 16 2 ) ( y 1 2 + y 2 2 + y 3 2 + ⋯ + y 16 2 ) = z 1 2 + z 2 2 + z 3 2 + ⋯ + z 16 2 {\displaystyle \left(x_{1}^{2}+x_{2}^{2}+x_{3}^{2}+\cdots +x_{16}^{2}\right)\left(y_{1}^{2}+y_{2}^{2}+y_{3}^{2}+\cdots +y_{16}^{2}\right)=z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+\cdots +z_{16}^{2}}
It was first proven to exist by H. Zassenhaus and W. Eichhorn in the 1960s, and independently by Albrecht Pfister around the same time. There are several versions, a concise one of which is
… excerpt ends here. Continue reading the full article.
