>>967
d^2+(df−e)^2=d(df−e)f+2。
d≦df−e。

の部分がよく分かりません。