以下の2つの公式の証明をします.

 

 

まずは、 log(cosx) について

 

 

 

 

 

 

 

したがって

 

 

つぎに log(sinx) について

 

 

 

 

これもフーリエ級数を使う

 

 

 

 

 

 

 

よって

 

 

 

 

以上より