■ディオファントス・モーデル・マチアセビッチ(その56)

一般に

  Σxj^r/Π(xj−xk)=0    (0≦r<n−1)

  Σxj^r/Π(xj−xk)=1    (r=n−1)

  Σxj^r/Π(xj−xk)=Σxj  (r=n)

ですから,この4変数版は

[1]1/(a−b)(a−c)(a−d)+1/(b−a)(b−c)(b−d)+1/(c−a)(c−b)(c−d)+1/(d−a)(d−b)(d−c)=0

[2]a/(a−b)(a−c)(a−d)+b/(b−a)(b−c)(b−d)+c/(c−a)(c−b)(c−d)+d/(d−a)(d−b)(d−c)=0

[3]a^2/(a−b)(a−c)(a−d)+b^2/(b−a)(b−c)(b−d)+c^2/(c−a)(c−b)(c−d)+d^2/(d−a)(d−b)(d−c)=0

[4]a^3/(a−b)(a−c)(a−d)+b^3/(b−a)(b−c)(b−d)+c^3/(c−a)(c−b)(c−d)+d^3/(d−a)(d−b)(d−c)=1

[5]a^4/(a−b)(a−c)(a−d)+b^4/(b−a)(b−c)(b−d)+c^4/(c−a)(c−b)(c−d)+d^4/(d−a)(d−b)(d−c)=a+b+c+d

で与えられます。

===================================