$${ \int_0^\pi cos(t)\, dt = sin(t) \bigg |_0^\pi = sin(\pi) - sin(0) = 0}$$