sinc の積分 - 球面倶楽部零八式 mark II

正の定数 $a,b,c$ が $a\leq b\leq c$ 及び $a+b\leq c$ をみたすならば

$\displaystyle\frac{2}{\pi}\int_0^{\infty} \frac{\sin ax\sin bx\sin cx}{x^3}dx=ab$

という式をどこで見たのかを数年間悩んでいたが、

によって解決した。

で読んだのだった。助かった。でも過去ログのどこかに書いたような気もする。