欧拉四平方和恒等式