１／（ａ−ｂ）（ｃ−ａ）＋１／（ｂ−ｃ）（ａ−ｂ）＋１／（ｃ−ａ）（ｂ−ｃ）＝０

　　（ｂ＋ｃ）／（ａ−ｂ）（ｃ−ａ）＋（ｃ＋ａ）／（ａ−ｂ）（ｂ−ｃ）＋（ａ＋ｂ）／（ｂ−ｃ）（ｃ−ａ）＝０

　　ｂｃ／（ａ−ｂ）（ｃ−ａ）＋ｃａ／（ａ−ｂ）（ｂ−ｃ）＋ａｂ／（ｂ−ｃ）（ｃ−ａ）＝−１

などの一連の式は「オイラーの恒等式」と呼ばれるものだそうである．単なる分数式の練習問題ではなく，由緒ある式なのである．

　しかし，オイラーの恒等式は算術平均と幾何平均の不等式（←フルヴィッツ・ムーアヘッドの等式）や巡回行列式のように２次式の和の形

　　Ｆ＝ΣｋＰ^2

にも表せそうもない．これでは面白味に欠けるが「オイラーの恒等式」に何か面白い性質は隠れていないのだろうか？　オイラーの恒等式は巡回行列式でなく，ファンデルモンドの行列式と近い関係にあることは推測できるのだが，もう一度じっくりみてみることにしよう．

ｋ＝３のとき，Ｆ＝−（ａ＋ｂ＋ｃ）

ｋ＝４のとき，Ｆ＝−（ａ^2＋ｂ^2＋ｃ^2＋ａｂ＋ｂｃ＋ｃａ）

ｋ＝５のとき，Ｆ＝−（ａ^3＋ｂ^3＋ｃ^3＋ａ^2ｂ＋ａｂ^2＋ａ^2ｃ＋ａｃ^2＋ｂ^2ｃ＋ｂｃ^2＋ａｂｃ）

はｋ−２次の同次項（係数１）がすべて出現している組合せであることに気づかれたであろう．

　その項数は

　　3Ｈk-2＝kＣk-2＝ｋ（ｋ−１）／２

すなわち，ｋ＝３（項数３），ｋ＝４（項数６），ｋ＝５（項数１０）と計算される．そして，ｋ＝６の場合は

　　Ｆ＝−（ａ^4＋ａ^3ｂ＋ａ^3ｃ＋ａ^2ｂ^2＋ａ^2ｂｃ＋ａ^2ｃ^2＋ａｂ^3＋ａｂ^2ｃ＋ａｂｃ^2＋ａｃ^3＋ｂ^4＋ｂ^3ｃ＋ｂ^2ｃ^2＋ｂｃ^3＋ｃ^4）

（項数１５）になるものと推測されるのである．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝