MathNet 2011 Câu hỏi 38

Chứng minh rằng $\frac1\pi\int_{\sin\frac\pi{13}}^{\cos\frac\pi{13}}\sqrt{1-x^2}\,dx$ là một số hữu tỉ.