广义积分4

如何得出这个积分:

$$\int_0^1\log(\sin \pi x)\text{d}x=-\log 2$$

 

posted @ 2013-02-21 00:21  TomodaMaki  阅读(244)  评论(0)    收藏  举报