Cosine and sine/Enclosed area/Exercise

Let ${}a$ be the minimal positive number fulfilling ${}\sin a=\cos a$. Compute the area of the surface, which is enclosed by the graph of the cosine function and the graph of the sine function above ${}[0,a]$.

Create a solution