∫［0,π/2］log(a^2cos^2x+b^2sin^2x)dx=πlog((a+b)/2)
を示せ

お願いします