对所有 n in N ,证明 \displaystyleintegrate from 0 to pi of sin^2(nx) dx = (pi)/(2) 。