ボールウェイン積分と呼ぶのだった。昔、論文をダウンロードしたのだが行方不明。
に証明があった。世の中便利になったもんだ。ちなみに探していた文献は
Two curious integrals and a graphic proof
http://schmid-werren.ch/hanspeter/publications/2014elemath.pdf
だった。 ただ、丹野先生の本の考え方とは違っている。
以下、ついでに見つけた文献も載せておく。
More remarkable sinc integrals and sums
https://arxiv.org/pdf/1405.1265.pdf
Funny integrals (Borwein integrals)
http://www.maths.manchester.ac.uk/~khudian/Etudes/Algebra/funnyintegrals1.pdf
(これに高校数学の美しい物語と同じ証明がある)
Integration by differentiation: new proofs, methods and examples
https://authors.library.caltech.edu/77406/2/1610.09702.pdf
Surprising Sinc Sums and Integrals
