MathDB
Show that a particularly easy primitivable function is irrational

Source: Romanian District Olympiad 2011, Grade XII, Problem 1

October 8, 2018
functionIntegralprimitivesFTCcalculus

Problem Statement

Prove the rationality of the number 1πsinπ13cosπ131x2dx. \frac{1}{\pi }\int_{\sin\frac{\pi }{13}}^{\cos\frac{\pi }{13}} \sqrt{1-x^2} dx.