Find the exact value of $$\int_{0}^{a} \frac{dx}{x + \sqrt{a^{2} - x^{2}}} $$ where $a$ is a positive constant.
The answer given to me is to use substitution. I have seen the answer, and feel that it is not intuitive. I would not have thought of it.
I was thinking of using some standard formulas to solve this problem, such as the following:
$$\int \frac{1}{a^{2} - x^{2}} dx = \frac{1}{2a}\ln\frac{a + x}{a - x} + C$$
$$\int \frac{1}{x^{2} - a^{2}} dx = \frac{1}{2a}\ln\frac{x - a}{x + a} + C$$
Is there any way to express the problem into these forms? I'm open to substitution as well.