デゲンの八平方恒等式