MathNet 2011 Question 38

Show that $\frac{1}{\pi} \int_{\sin \frac{\pi}{13}}^{\cos \frac{\pi}{13}} \sqrt{1-x^2} \, dx$ is a rational number.