Pfister's sixteen-square identity

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 z 1 = x 1 y 1 − x 2 y 2 − x 3 y 3 − x 4 y 4 − x 5 y 5 − x 6 y 6 − x 7 y 7 − x 8 y 8 + u 1 y 9 − u 2 y 10 − u 3 y 11 − u 4 y 12 − u 5 y 13 − u 6 y 14 − u 7 y 15 − u 8 y 16 z 2 = x 2 y 1 + x 1 y 2 + x 4 y 3 − x 3 y 4 + x 6 y 5 − x 5 y 6 − x 8 y 7 + x 7 y 8 + u 2 y 9 + u 1 y 10 + u 4 y 11 − u 3 y 12 + u 6 y 13 − u 5 y 14 − u 8 y 15 + u 7 y 16 z 3 = x 3 y 1 − x 4 y 2 + x 1 y 3 + x 2 y 4 + x 7 y 5 + x 8 y 6 − x 5 y 7 − x 6 y 8 + u 3 y 9 − u 4 y 10 + u 1 y 11 + u 2 y 12 + u 7 y 13 + u 8 y 14 − u 5 y 15 − u 6 y 16 z 4 = x 4 y 1 + x 3 y 2 − x 2 y 3 + x 1 y 4 + x 8 y 5 − x 7 y 6 + x 6 y 7 − x 5 y 8 + u 4 y 9 + u 3 y 10 − u 2 y 11 + u 1 y 12 + u 8 y 13 − u 7 y 14 + u 6 y 15 − u 5 y 16 z 5 = x 5 y 1 − x 6 y 2 − x 7 y 3 − x 8 y 4 + x 1 y 5 + x 2 y 6 + x 3 y 7 + x 4 y 8 + u 5 y 9 − u 6 y 10 − u 7 y 11 − u 8 y 12 + u 1 y 13 + u 2 y 14 + u 3 y 15 + u 4 y 16 z 6 = x 6 y 1 + x 5 y 2 − x 8 y 3 + x 7 y 4 − x 2 y 5 + x 1 y 6 − x 4 y 7 + x 3 y 8 + u 6 y 9 + u 5 y 10 − u 8 y 11 + u 7 y 12 − u 2 y 13 + u 1 y 14 − u 4 y 15 + u 3 y 16 z 7 = x 7 y 1 + x 8 y 2 + x 5 y 3 − x 6 y 4 − x 3 y 5 + x 4 y 6 + x 1 y 7 − x 2 y 8 + u 7 y 9 + u 8 y 10 + u 5 y 11 − u 6 y 12 − u 3 y 13 + u 4 y 14 + u 1 y 15 − u 2 y 16 z 8 = x 8 y 1 − x 7 y 2 + x 6 y 3 + x 5 y 4 − x 4 y 5 − x 3 y 6 + x 2 y 7 + x 1 y 8 + u 8 y 9 − u 7 y 10 + u 6 y 11 + u 5 y 12 − u 4 y 13 − u 3 y 14 + u 2 y 15 + u 1 y 16 z 9 = x 9 y 1 − x 10 y 2 − x 11 y 3 − x 12 y 4 − x 13 y 5 − x 14 y 6 − x 15 y 7 − x 16 y 8 + x 1 y 9 − x 2 y 10 − x 3 y 11 − x 4 y 12 − x 5 y 13 − x 6 y 14 − x 7 y 15 − x 8 y 16 z 10 = x 10 y 1 + x 9 y 2 + x 12 y 3 − x 11 y 4 + x 14 y 5 − x 13 y 6 − x 16 y 7 + x 15 y 8 + x 2 y 9 + x 1 y 10 + x 4 y 11 − x 3 y 12 + x 6 y 13 − x 5 y 14 − x 8 y 15 + x 7 y 16 z 11 = x 11 y 1 − x 12 y 2 + x 9 y 3 + x 10 y 4 + x 15 y 5 + x 16 y 6 − x 13 y 7 − x 14 y 8 + x 3 y 9 − x 4 y 10 + x 1 y 11 + x 2 y 12 + x 7 y 13 + x 8 y 14 − x 5 y 15 − x 6 y 16 z 12 = x 12 y 1 + x 11 y 2 − x 10 y 3 + x 9 y 4 + x 16 y 5 − x 15 y 6 + x 14 y 7 − x 13 y 8 + x 4 y 9 + x 3 y 10 − x 2 y 11 + x 1 y 12 + x 8 y 13 − x 7 y 14 + x 6 y 15 − x 5 y 16 z 13 = x 13 y 1 − x 14 y 2 − x 15 y 3 − x 16 y 4 + x 9 y 5 + x 10 y 6 + x 11 y 7 + x 12 y 8 + x 5 y 9 − x 6 y 10 − x 7 y 11 − x 8 y 12 + x 1 y 13 + x 2 y 14 + x 3 y 15 + x 4 y 16 z 14 = x 14 y 1 + x 13 y 2 − x 16 y 3 + x 15 y 4 − x 10 y 5 + x 9 y 6 − x 12 y 7 + x 11 y 8 + x 6 y 9 + x 5 y 10 − x 8 y 11 + x 7 y 12 − x 2 y 13 + x 1 y 14 − x 4 y 15 + x 3 y 16 z 15 = x 15 y 1 + x 16 y 2 + x 13 y 3 − x 14 y 4 − x 11 y 5 + x 12 y 6 + x 9 y 7 − x 10 y 8 + x 7 y 9 + x 8 y 10 + x 5 y 11 − x 6 y 12 − x 3 y 13 + x 4 y 14 + x 1 y 15 − x 2 y 16 z 16 = x 16 y 1 − x 15 y 2 + x 14 y 3 + x 13 y 4 − x 12 y 5 − x 11 y 6 + x 10 y 7 + x 9 y 8 + x 8 y 9 − x 7 y 10 + x 6 y 11 + x 5 y 12 − x 4 y 13 − x 3 y 14 + x 2 y 15 + x 1 y 16 {\displaystyle {\begin{aligned}&\scriptstyle {z_{1}={\color {blue}{x_{1}y_{1}-x_{2}y_{2}-x_{3}y_{3}-x_{4}y_{4}-x_{5}y_{5}-x_{6}y_{6}-x_{7}y_{7}-x_{8}y_{8}}}+u_{1}y_{9}-u_{2}y_{10}-u_{3}y_{11}-u_{4}y_{12}-u_{5}y_{13}-u_{6}y_{14}-u_{7}y_{15}-u_{8}y_{16}}\\&\scriptstyle {z_{2}={\color {blue}{x_{2}y_{1}+x_{1}y_{2}+x_{4}y_{3}-x_{3}y_{4}+x_{6}y_{5}-x_{5}y_{6}-x_{8}y_{7}+x_{7}y_{8}}}+u_{2}y_{9}+u_{1}y_{10}+u_{4}y_{11}-u_{3}y_{12}+u_{6}y_{13}-u_{5}y_{14}-u_{8}y_{15}+u_{7}y_{16}}\\&\scriptstyle {z_{3}={\color {blue}{x_{3}y_{1}-x_{4}y_{2}+x_{1}y_{3}+x_{2}y_{4}+x_{7}y_{5}+x_{8}y_{6}-x_{5}y_{7}-x_{6}y_{8}}}+u_{3}y_{9}-u_{4}y_{10}+u_{1}y_{11}+u_{2}y_{12}+u_{7}y_{13}+u_{8}y_{14}-u_{5}y_{15}-u_{6}y_{16}}\\&\scriptstyle {z_{4}={\color {blue}{x_{4}y_{1}+x_{3}y_{2}-x_{2}y_{3}+x_{1}y_{4}+x_{8}y_{5}-x_{7}y_{6}+x_{6}y_{7}-x_{5}y_{8}}}+u_{4}y_{9}+u_{3}y_{10}-u_{2}y_{11}+u_{1}y_{12}+u_{8}y_{13}-u_{7}y_{14}+u_{6}y_{15}-u_{5}y_{16}}\\&\scriptstyle {z_{5}={\color {blue}{x_{5}y_{1}-x_{6}y_{2}-x_{7}y_{3}-x_{8}y_{4}+x_{1}y_{5}+x_{2}y_{6}+x_{3}y_{7}+x_{4}y_{8}}}+u_{5}y_{9}-u_{6}y_{10}-u_{7}y_{11}-u_{8}y_{12}+u_{1}y_{13}+u_{2}y_{14}+u_{3}y_{15}+u_{4}y_{16}}\\&\scriptstyle {z_{6}={\color {blue}{x_{6}y_{1}+x_{5}y_{2}-x_{8}y_{3}+x_{7}y_{4}-x_{2}y_{5}+x_{1}y_{6}-x_{4}y_{7}+x_{3}y_{8}}}+u_{6}y_{9}+u_{5}y_{10}-u_{8}y_{11}+u_{7}y_{12}-u_{2}y_{13}+u_{1}y_{14}-u_{4}y_{15}+u_{3}y_{16}}\\&\scriptstyle {z_{7}={\color {blue}{x_{7}y_{1}+x_{8}y_{2}+x_{5}y_{3}-x_{6}y_{4}-x_{3}y_{5}+x_{4}y_{6}+x_{1}y_{7}-x_{2}y_{8}}}+u_{7}y_{9}+u_{8}y_{10}+u_{5}y_{11}-u_{6}y_{12}-u_{3}y_{13}+u_{4}y_{14}+u_{1}y_{15}-u_{2}y_{16}}\\&\scriptstyle {z_{8}={\color {blue}{x_{8}y_{1}-x_{7}y_{2}+x_{6}y_{3}+x_{5}y_{4}-x_{4}y_{5}-x_{3}y_{6}+x_{2}y_{7}+x_{1}y_{8}}}+u_{8}y_{9}-u_{7}y_{10}+u_{6}y_{11}+u_{5}y_{12}-u_{4}y_{13}-u_{3}y_{14}+u_{2}y_{15}+u_{1}y_{16}}\\&\scriptstyle {z_{9}=x_{9}y_{1}-x_{10}y_{2}-x_{11}y_{3}-x_{12}y_{4}-x_{13}y_{5}-x_{14}y_{6}-x_{15}y_{7}-x_{16}y_{8}+x_{1}y_{9}-x_{2}y_{10}-x_{3}y_{11}-x_{4}y_{12}-x_{5}y_{13}-x_{6}y_{14}-x_{7}y_{15}-x_{8}y_{16}}\\&\scriptstyle {z_{10}=x_{10}y_{1}+x_{9}y_{2}+x_{12}y_{3}-x_{11}y_{4}+x_{14}y_{5}-x_{13}y_{6}-x_{16}y_{7}+x_{15}y_{8}+x_{2}y_{9}+x_{1}y_{10}+x_{4}y_{11}-x_{3}y_{12}+x_{6}y_{13}-x_{5}y_{14}-x_{8}y_{15}+x_{7}y_{16}}\\&\scriptstyle {z_{11}=x_{11}y_{1}-x_{12}y_{2}+x_{9}y_{3}+x_{10}y_{4}+x_{15}y_{5}+x_{16}y_{6}-x_{13}y_{7}-x_{14}y_{8}+x_{3}y_{9}-x_{4}y_{10}+x_{1}y_{11}+x_{2}y_{12}+x_{7}y_{13}+x_{8}y_{14}-x_{5}y_{15}-x_{6}y_{16}}\\&\scriptstyle {z_{12}=x_{12}y_{1}+x_{11}y_{2}-x_{10}y_{3}+x_{9}y_{4}+x_{16}y_{5}-x_{15}y_{6}+x_{14}y_{7}-x_{13}y_{8}+x_{4}y_{9}+x_{3}y_{10}-x_{2}y_{11}+x_{1}y_{12}+x_{8}y_{13}-x_{7}y_{14}+x_{6}y_{15}-x_{5}y_{16}}\\&\scriptstyle {z_{13}=x_{13}y_{1}-x_{14}y_{2}-x_{15}y_{3}-x_{16}y_{4}+x_{9}y_{5}+x_{10}y_{6}+x_{11}y_{7}+x_{12}y_{8}+x_{5}y_{9}-x_{6}y_{10}-x_{7}y_{11}-x_{8}y_{12}+x_{1}y_{13}+x_{2}y_{14}+x_{3}y_{15}+x_{4}y_{16}}\\&\scriptstyle {z_{14}=x_{14}y_{1}+x_{13}y_{2}-x_{16}y_{3}+x_{15}y_{4}-x_{10}y_{5}+x_{9}y_{6}-x_{12}y_{7}+x_{11}y_{8}+x_{6}y_{9}+x_{5}y_{10}-x_{8}y_{11}+x_{7}y_{12}-x_{2}y_{13}+x_{1}y_{14}-x_{4}y_{15}+x_{3}y_{16}}\\&\scriptstyle {z_{15}=x_{15}y_{1}+x_{16}y_{2}+x_{13}y_{3}-x_{14}y_{4}-x_{11}y_{5}+x_{12}y_{6}+x_{9}y_{7}-x_{10}y_{8}+x_{7}y_{9}+x_{8}y_{10}+x_{5}y_{11}-x_{6}y_{12}-x_{3}y_{13}+x_{4}y_{14}+x_{1}y_{15}-x_{2}y_{16}}\\&\scriptstyle {z_{16}=x_{16}y_{1}-x_{15}y_{2}+x_{14}y_{3}+x_{13}y_{4}-x_{12}y_{5}-x_{11}y_{6}+x_{10}y_{7}+x_{9}y_{8}+x_{8}y_{9}-x_{7}y_{10}+x_{6}y_{11}+x_{5}y_{12}-x_{4}y_{13}-x_{3}y_{14}+x_{2}y_{15}+x_{1}y_{16}}\end{aligned}}} If all x i {\displaystyle x_{i}} and y i {\displaystyle y_{i}} with i > 8 {\displaystyle i>8} are set equal to zero, then it reduces to Degen's eight-square identity (in blue).

Source: Wikipedia — Pfister's sixteen-square identity (CC BY-SA 4.0)

Pfister's sixteen-square identity

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 z 1 = x 1 y 1 − x 2 y 2 − x 3 y 3 − x 4 y 4 − x 5 y 5 − x 6 y 6 − x 7 y 7 − x 8 y 8 + u 1 y 9 − u 2 y 10 − u 3 y 11 − u 4 y 12 − u 5 y 13 − u 6 y 14 − u 7 y 15 − u 8 y 16 z 2 = x 2 y 1 + x 1 y 2 + x 4 y 3 − x 3 y 4 + x 6 y 5 − x 5 y 6 − x 8 y 7 + x 7 y 8 + u 2 y 9 + u 1 y 10 + u 4 y 11 − u 3 y 12 + u 6 y 13 − u 5 y 14 − u 8 y 15 + u 7 y 16 z 3 = x 3 y 1 − x 4 y 2 + x 1 y 3 + x 2 y 4 + x 7 y 5 + x 8 y 6 − x 5 y 7 − x 6 y 8 + u 3 y 9 − u 4 y 10 + u 1 y 11 + u 2 y 12 + u 7 y 13 + u 8 y 14 − u 5 y 15 − u 6 y 16 z 4 = x 4 y 1 + x 3 y 2 − x 2 y 3 + x 1 y 4 + x 8 y 5 − x 7 y 6 + x 6 y 7 − x 5 y 8 + u 4 y 9 + u 3 y 10 − u 2 y 11 + u 1 y 12 + u 8 y 13 − u 7 y 14 + u 6 y 15 − u 5 y 16 z 5 = x 5 y 1 − x 6 y 2 − x 7 y 3 − x 8 y 4 + x 1 y 5 + x 2 y 6 + x 3 y 7 + x 4 y 8 + u 5 y 9 − u 6 y 10 − u 7 y 11 − u 8 y 12 + u 1 y 13 + u 2 y 14 + u 3 y 15 + u 4 y 16 z 6 = x 6 y 1 + x 5 y 2 − x 8 y 3 + x 7 y 4 − x 2 y 5 + x 1 y 6 − x 4 y 7 + x 3 y 8 + u 6 y 9 + u 5 y 10 − u 8 y 11 + u 7 y 12 − u 2 y 13 + u 1 y 14 − u 4 y 15 + u 3 y 16 z 7 = x 7 y 1 + x 8 y 2 + x 5 y 3 − x 6 y 4 − x 3 y 5 + x 4 y 6 + x 1 y 7 − x 2 y 8 + u 7 y 9 + u 8 y 10 + u 5 y 11 − u 6 y 12 − u 3 y 13 + u 4 y 14 + u 1 y 15 − u 2 y 16 z 8 = x 8 y 1 − x 7 y 2 + x 6 y 3 + x 5 y 4 − x 4 y 5 − x 3 y 6 + x 2 y 7 + x 1 y 8 + u 8 y 9 − u 7 y 10 + u 6 y 11 + u 5 y 12 − u 4 y 13 − u 3 y 14 + u 2 y 15 + u 1 y 16 z 9 = x 9 y 1 − x 10 y 2 − x 11 y 3 − x 12 y 4 − x 13 y 5 − x 14 y 6 − x 15 y 7 − x 16 y 8 + x 1 y 9 − x 2 y 10 − x 3 y 11 − x 4 y 12 − x 5 y 13 − x 6 y 14 − x 7 y 15 − x 8 y 16 z 10 = x 10 y 1 + x 9 y 2 + x 12 y 3 − x 11 y 4 + x 14 y 5 − x 13 y 6 − x 16 y 7 + x 15 y 8 + x 2 y 9 + x 1 y 10 + x 4 y 11 − x 3 y 12 + x 6 y 13 − x 5 y 14 − x 8 y 15 + x 7 y 16 z 11 = x 11 y 1 − x 12 y 2 + x 9 y 3 + x 10 y 4 + x 15 y 5 + x 16 y 6 − x 13 y 7 − x 14 y 8 + x 3 y 9 − x 4 y 10 + x 1 y 11 + x 2 y 12 + x 7 y 13 + x 8 y 14 − x 5 y 15 − x 6 y 16 z 12 = x 12 y 1 + x 11 y 2 − x 10 y 3 + x 9 y 4 + x 16 y 5 − x 15 y 6 + x 14 y 7 − x 13 y 8 + x 4 y 9 + x 3 y 10 − x 2 y 11 + x 1 y 12 + x 8 y 13 − x 7 y 14 + x 6 y 15 − x 5 y 16 z 13 = x 13 y 1 − x 14 y 2 − x 15 y 3 − x 16 y 4 + x 9 y 5 + x 10 y 6 + x 11 y 7 + x 12 y 8 + x 5 y 9 − x 6 y 10 − x 7 y 11 − x 8 y 12 + x 1 y 13 + x 2 y 14 + x 3 y 15 + x 4 y 16 z 14 = x 14 y 1 + x 13 y 2 − x 16 y 3 + x 15 y 4 − x 10 y 5 + x 9 y 6 − x 12 y 7 + x 11 y 8 + x 6 y 9 + x 5 y 10 − x 8 y 11 + x 7 y 12 − x 2 y 13 + x 1 y 14 − x 4 y 15 + x 3 y 16 z 15 = x 15 y 1 + x 16 y 2 + x 13 y 3 − x 14 y 4 − x 11 y 5 + x 12 y 6 + x 9 y 7 − x 10 y 8 + x 7 y 9 + x 8 y 10 + x 5 y 11 − x 6 y 12 − x 3 y 13 + x 4 y 14 + x 1 y 15 − x 2 y 16 z 16 = x 16 y 1 − x 15 y 2 + x 14 y 3 + x 13 y 4 − x 12 y 5 − x 11 y 6 + x 10 y 7 + x 9 y 8 + x 8 y 9 − x 7 y 10 + x 6 y 11 + x 5 y 12 − x 4 y 13 − x 3 y 14 + x 2 y 15 + x 1 y 16 {\displaystyle {\begin{aligned}&\scriptstyle {z_{1}={\color {blue}{x_{1}y_{1}-x_{2}y_{2}-x_{3}y_{3}-x_{4}y_{4}-x_{5}y_{5}-x_{6}y_{6}-x_{7}y_{7}-x_{8}y_{8}}}+u_{1}y_{9}-u_{2}y_{10}-u_{3}y_{11}-u_{4}y_{12}-u_{5}y_{13}-u_{6}y_{14}-u_{7}y_{15}-u_{8}y_{16}}\\&\scriptstyle {z_{2}={\color {blue}{x_{2}y_{1}+x_{1}y_{2}+x_{4}y_{3}-x_{3}y_{4}+x_{6}y_{5}-x_{5}y_{6}-x_{8}y_{7}+x_{7}y_{8}}}+u_{2}y_{9}+u_{1}y_{10}+u_{4}y_{11}-u_{3}y_{12}+u_{6}y_{13}-u_{5}y_{14}-u_{8}y_{15}+u_{7}y_{16}}\\&\scriptstyle {z_{3}={\color {blue}{x_{3}y_{1}-x_{4}y_{2}+x_{1}y_{3}+x_{2}y_{4}+x_{7}y_{5}+x_{8}y_{6}-x_{5}y_{7}-x_{6}y_{8}}}+u_{3}y_{9}-u_{4}y_{10}+u_{1}y_{11}+u_{2}y_{12}+u_{7}y_{13}+u_{8}y_{14}-u_{5}y_{15}-u_{6}y_{16}}\\&\scriptstyle {z_{4}={\color {blue}{x_{4}y_{1}+x_{3}y_{2}-x_{2}y_{3}+x_{1}y_{4}+x_{8}y_{5}-x_{7}y_{6}+x_{6}y_{7}-x_{5}y_{8}}}+u_{4}y_{9}+u_{3}y_{10}-u_{2}y_{11}+u_{1}y_{12}+u_{8}y_{13}-u_{7}y_{14}+u_{6}y_{15}-u_{5}y_{16}}\\&\scriptstyle {z_{5}={\color {blue}{x_{5}y_{1}-x_{6}y_{2}-x_{7}y_{3}-x_{8}y_{4}+x_{1}y_{5}+x_{2}y_{6}+x_{3}y_{7}+x_{4}y_{8}}}+u_{5}y_{9}-u_{6}y_{10}-u_{7}y_{11}-u_{8}y_{12}+u_{1}y_{13}+u_{2}y_{14}+u_{3}y_{15}+u_{4}y_{16}}\\&\scriptstyle {z_{6}={\color {blue}{x_{6}y_{1}+x_{5}y_{2}-x_{8}y_{3}+x_{7}y_{4}-x_{2}y_{5}+x_{1}y_{6}-x_{4}y_{7}+x_{3}y_{8}}}+u_{6}y_{9}+u_{5}y_{10}-u_{8}y_{11}+u_{7}y_{12}-u_{2}y_{13}+u_{1}y_{14}-u_{4}y_{15}+u_{3}y_{16}}\\&\scriptstyle {z_{7}={\color {blue}{x_{7}y_{1}+x_{8}y_{2}+x_{5}y_{3}-x_{6}y_{4}-x_{3}y_{5}+x_{4}y_{6}+x_{1}y_{7}-x_{2}y_{8}}}+u_{7}y_{9}+u_{8}y_{10}+u_{5}y_{11}-u_{6}y_{12}-u_{3}y_{13}+u_{4}y_{14}+u_{1}y_{15}-u_{2}y_{16}}\\&\scriptstyle {z_{8}={\color {blue}{x_{8}y_{1}-x_{7}y_{2}+x_{6}y_{3}+x_{5}y_{4}-x_{4}y_{5}-x_{3}y_{6}+x_{2}y_{7}+x_{1}y_{8}}}+u_{8}y_{9}-u_{7}y_{10}+u_{6}y_{11}+u_{5}y_{12}-u_{4}y_{13}-u_{3}y_{14}+u_{2}y_{15}+u_{1}y_{16}}\\&\scriptstyle {z_{9}=x_{9}y_{1}-x_{10}y_{2}-x_{11}y_{3}-x_{12}y_{4}-x_{13}y_{5}-x_{14}y_{6}-x_{15}y_{7}-x_{16}y_{8}+x_{1}y_{9}-x_{2}y_{10}-x_{3}y_{11}-x_{4}y_{12}-x_{5}y_{13}-x_{6}y_{14}-x_{7}y_{15}-x_{8}y_{16}}\\&\scriptstyle {z_{10}=x_{10}y_{1}+x_{9}y_{2}+x_{12}y_{3}-x_{11}y_{4}+x_{14}y_{5}-x_{13}y_{6}-x_{16}y_{7}+x_{15}y_{8}+x_{2}y_{9}+x_{1}y_{10}+x_{4}y_{11}-x_{3}y_{12}+x_{6}y_{13}-x_{5}y_{14}-x_{8}y_{15}+x_{7}y_{16}}\\&\scriptstyle {z_{11}=x_{11}y_{1}-x_{12}y_{2}+x_{9}y_{3}+x_{10}y_{4}+x_{15}y_{5}+x_{16}y_{6}-x_{13}y_{7}-x_{14}y_{8}+x_{3}y_{9}-x_{4}y_{10}+x_{1}y_{11}+x_{2}y_{12}+x_{7}y_{13}+x_{8}y_{14}-x_{5}y_{15}-x_{6}y_{16}}\\&\scriptstyle {z_{12}=x_{12}y_{1}+x_{11}y_{2}-x_{10}y_{3}+x_{9}y_{4}+x_{16}y_{5}-x_{15}y_{6}+x_{14}y_{7}-x_{13}y_{8}+x_{4}y_{9}+x_{3}y_{10}-x_{2}y_{11}+x_{1}y_{12}+x_{8}y_{13}-x_{7}y_{14}+x_{6}y_{15}-x_{5}y_{16}}\\&\scriptstyle {z_{13}=x_{13}y_{1}-x_{14}y_{2}-x_{15}y_{3}-x_{16}y_{4}+x_{9}y_{5}+x_{10}y_{6}+x_{11}y_{7}+x_{12}y_{8}+x_{5}y_{9}-x_{6}y_{10}-x_{7}y_{11}-x_{8}y_{12}+x_{1}y_{13}+x_{2}y_{14}+x_{3}y_{15}+x_{4}y_{16}}\\&\scriptstyle {z_{14}=x_{14}y_{1}+x_{13}y_{2}-x_{16}y_{3}+x_{15}y_{4}-x_{10}y_{5}+x_{9}y_{6}-x_{12}y_{7}+x_{11}y_{8}+x_{6}y_{9}+x_{5}y_{10}-x_{8}y_{11}+x_{7}y_{12}-x_{2}y_{13}+x_{1}y_{14}-x_{4}y_{15}+x_{3}y_{16}}\\&\scriptstyle {z_{15}=x_{15}y_{1}+x_{16}y_{2}+x_{13}y_{3}-x_{14}y_{4}-x_{11}y_{5}+x_{12}y_{6}+x_{9}y_{7}-x_{10}y_{8}+x_{7}y_{9}+x_{8}y_{10}+x_{5}y_{11}-x_{6}y_{12}-x_{3}y_{13}+x_{4}y_{14}+x_{1}y_{15}-x_{2}y_{16}}\\&\scriptstyle {z_{16}=x_{16}y_{1}-x_{15}y_{2}+x_{14}y_{3}+x_{13}y_{4}-x_{12}y_{5}-x_{11}y_{6}+x_{10}y_{7}+x_{9}y_{8}+x_{8}y_{9}-x_{7}y_{10}+x_{6}y_{11}+x_{5}y_{12}-x_{4}y_{13}-x_{3}y_{14}+x_{2}y_{15}+x_{1}y_{16}}\end{aligned}}} If all x i {\displaystyle x_{i}} and y i {\displaystyle y_{i}} with i > 8 {\displaystyle i>8} are set equal to zero, then it reduces to Degen's eight-square identity (in blue).

Source: Wikipedia "Pfister's sixteen-square identity" · CC BY-SA 4.0

Share this article: X · Bluesky
Privacy Policy