というのは, とても便利な恒等式である. その有用さは, 不等式の証明のときもそうだが, のとき,という条件付き等式が成立することで特に際立つことがある.【例 】【例 】【例 】 のとき,この条件付き等式を使って 年, エヴァリスト・ガロア生誕 年を記念して出題されたのだろう京大入試問題の別解を考えてみる. もちろん, 問 は前にやったように (この記事の末尾に再掲した), ではない有理数を係数とする多項式 で, かつ をみたすものの内, が次数最小の多項式である (既約多項式であることと同値. つまり, すべての係数に有理数だけを使ったより次数の小さな多項式の積に因数分解できない多項式である…