オイラーの式
オイラーの四平方恒等式 (Euler's four-square identity)