>>54
もともと
∫[x=0,π/2]ln(sinx)dx=-(π/2)ln2
を証明する問題で、その途中で先程の式が出てきたんです。
すみません、どう手を付ければ良いのでしょうか。

>>55
複素解析は未習得です。