Compute \[ f(x)= \int_{0}^1 \frac{\log (1- 2t\cos x + t^2) }{t} dt.\]

The best solution was submitted by Younghun Lee (이영훈), 2011학번.

Here is his Solution of Problem 2012-3.

Alternative solutions were submitted by 조준영 (2012학번, +3, Solution), 김태호 (2011학번, +3), 서기원 (수리과학과 2009학번, +3), 박민재 (2011학번, +3, Solution), 이명재 (2012학번, +3), 서동휘 (수리과학과 2009학번, +2), 임정환 (수리과학과 2009학번, +2), 김현수 (?, +2), 정우석 (서강대 자연과학부 2011학번, +2), 조위지 (Stanford Univ. 물리학과 박사과정, +3, Solution).