Class 12 Maths, Worked in Full Past papersGet updates
Chapter 7 · Integrals

Exercise 7.10 · Q17: ∫0axx+a−x dx\int_0^a\frac{\sqrt x}{\sqrt x+\sqrt{a-x}}\,dx

Exercise 7.10Properties of definite integrals (P4) · Section 7.10
The question

By using the properties of definite integrals, evaluate the integrals in Exercises 1 to 19.

17. ∫0axx+a−x dx\displaystyle\int_0^{a}\frac{\sqrt{x}}{\sqrt{x} + \sqrt{a - x}}\,dx

Exam answer Let I=∫0ax dxx+a−x  …(i)\text{Let } I = \int_0^{a}\frac{\sqrt{x}\,dx}{\sqrt{x} + \sqrt{a - x}}\;\ldots(\text{i})

Using ∫0af(x) dx=∫0af(a−x) dx\displaystyle\int_0^a f(x)\,dx = \int_0^a f(a - x)\,dx⁠, and a−(a−x)=xa - (a - x) = x⁠,

I=∫0aa−x dxa−x+x  …(ii)I = \int_0^{a}\frac{\sqrt{a - x}\,dx}{\sqrt{a - x} + \sqrt{x}}\;\ldots(\text{ii})

Adding (i) and (ii),

2I=∫0ax+a−xx+a−x dx=∫0a1 dx=[x]0a=a\begin{aligned} 2I &= \int_0^{a}\frac{\sqrt{x} + \sqrt{a - x}}{\sqrt{x} + \sqrt{a - x}}\,dx \\ &= \int_0^{a}1\,dx = \Big[x\Big]_0^{a} = a \end{aligned}

∴ I=a2\therefore\ I = \dfrac{a}{2} (for a>0a > 0⁠).

Want the reason behind every step, the basics and the checks?

The one idea this problem is built on

Replacing xx by a−xa - x (P4) swaps x\sqrt{x} and a−x\sqrt{a - x}⁠. The new integrand has the same denominator and the "other" square root on top, so the old and new integrands add up to exactly 1. Adding the two forms of II gives 2I=∫0a1 dx=a2I = \int_0^a 1\,dx = a⁠.

Given, to find, and the plan
Given
I=∫0af(x) dxI = \displaystyle\int_0^{a} f(x)\,dx with f(x)=xx+a−xf(x) = \dfrac{\sqrt{x}}{\sqrt{x} + \sqrt{a - x}}⁠, where a>0a > 0 (needed for the interval [0,a][0, a] and for a−x\sqrt{a - x} to make sense).
To find
II in terms of aa⁠.
Plan
(1) Continuity on [0,a][0, a]⁠. (2) P4. (3) Add the two forms. (4) Solve for II⁠.

Basics you need

1Property P4 (Section 7.10)

∫0af(x) dx=∫0af(a−x) dx\int_0^a f(x)\,dx = \int_0^a f(a - x)\,dx for ff continuous on [0,a][0, a]⁠. Lesson: properties of definite integrals

2Square roots

u\sqrt{u} is defined and continuous for u≥0u \ge 0⁠, and u=0\sqrt{u} = 0 only when u=0u = 0⁠. Basics: powers of x

3Point symmetry

f(a−x)=1−f(x)f(a - x) = 1 - f(x) means the graph is unchanged by a half turn about (a2,12)(\frac{a}{2}, \frac12)⁠. Basics: symmetry and mirror images

Solution

  1. The integrand is continuous on [0,a][0, a]

    For 0≤x≤a0 \le x \le a⁠, both x≥0x \ge 0 and a−x≥0a - x \ge 0⁠, so x\sqrt{x} and a−x\sqrt{a - x} are defined and continuous. The denominator x+a−x\sqrt{x} + \sqrt{a - x} is a sum of two numbers ≥0\ge 0⁠; it could be 0 only if both were 0, that is x=0x = 0 and x=ax = a at once, which is impossible since a>0a > 0⁠. So the denominator is positive and ff is continuous on [0,a][0, a]⁠.

    P4 is stated for continuous functions on [0,a][0, a]⁠. At the ends, f(0)=0f(0) = 0 and f(a)=1f(a) = 1⁠: both are fine, because only one of the two roots vanishes at a time.
    Quotients of continuous functions are continuous where the denominator is not 0 (Chapter 5, Section 5.2.1).
  2. P4: replace xx by a−xa - x

    Under x→a−xx \to a - x⁠, the expression a−xa - x becomes a−(a−x)=xa - (a - x) = x⁠. So the two roots swap:

    f(a−x)=a−xa−x+x,f(a - x) = \frac{\sqrt{a - x}}{\sqrt{a - x} + \sqrt{x}} ,

    and by P4

    I=∫0aa−xx+a−x dx.I = \int_0^{a}\frac{\sqrt{a - x}}{\sqrt{x} + \sqrt{a - x}}\,dx .
    P4 holds for every continuous ff (Step 1). We use it because it keeps the denominator the same (addition does not care about order) while putting the other root on top.
    P4, Section 7.10. Lesson: properties
  3. Add the two forms

    Both integrals run over [0,a][0, a] and have the same denominator:

    2I=∫0ax+a−xx+a−x dx=∫0a1 dx=a.\begin{aligned}2I &= \int_0^{a}\frac{\sqrt{x} + \sqrt{a - x}}{\sqrt{x} + \sqrt{a - x}}\,dx \\ &= \int_0^{a} 1\,dx = a .\end{aligned}
    The numerator equals the denominator, and the denominator is never 0 (Step 1), so the fraction is exactly 1 at every point. The integral of 1 over an interval is its length, here a−0=aa - 0 = a⁠.
    ∫ab1 dx=b−a\int_a^b 1\,dx = b - a⁠, the area of a rectangle of height 1. Basics: area as a sum of thin strips
  4. Solve for II

    I=a2.I = \frac{a}{2} .
    x y O 1 2 3 4 1/2 1 centre (2, 1/2) blue: y = f(x) = √x/(√x + √(4 − x)), the case a = 4 dashed violet: y = f(4 − x) = 1 − f(x) shaded area = half of the 4 by 1 rectangle = 2 = a/2
    The case a=4a = 4⁠. The curve y=f(x)y = f(x) (blue) and y=f(4−x)=1−f(x)y = f(4 - x) = 1 - f(x) (dashed violet) are swapped by a half turn about (2,12)(2, \frac12)⁠. The region under the blue curve and the region above it inside the 4×14 \times 1 rectangle are congruent, so each is half the rectangle: I=2=a2I = 2 = \frac{a}{2}⁠.
    The figure gives the same answer geometrically: f(a−x)=1−f(x)f(a - x) = 1 - f(x) says the region above the curve (inside the a×1a \times 1 rectangle) is the region below it turned half a turn, so each has half the area a×1a \times 1⁠.
Result

∫0axx+a−x dx=a2(a>0)\int_0^{a}\frac{\sqrt{x}}{\sqrt{x} + \sqrt{a - x}}\,dx = \frac{a}{2} \quad (a > 0) (Textbook answer: a2\frac{a}{2}⁠.)

Check it with numbers

Numerical integration gives 0.5000000000000.500000000000 for a=1a = 1⁠, 2.0000000000002.000000000000 for a=4a = 4⁠, and 4.7500000000004.750000000000 for a=9.5a = 9.5⁠, each equal to a2\frac{a}{2}⁠.

The pairing of Step 3 for a=4a = 4 at x=1x = 1⁠: f(1)=11+3≈0.366025f(1) = \frac{1}{1 + \sqrt3} \approx 0.366025 and f(3)=33+1≈0.633975f(3) = \frac{\sqrt3}{\sqrt3 + 1} \approx 0.633975⁠; they add to 1.

Common mistakes
  1. Forgetting that a−xa - x becomes xx under P4, so that only the numerator is changed. Both roots swap; the denominator stays the same only because addition is commutative.
  2. Answering aa: the sum of the two forms is 2I2I⁠, not II⁠.
  3. Not stating a>0a > 0⁠. For a≤0a \le 0 the interval and the roots do not make sense.
What to take away
  1. When P4 turns ff into a function gg with f+gf + g constant, add the two forms: I=12∫0a(f+g) dxI = \frac{1}{2}\int_0^a (f + g)\,dx⁠.
  2. The same pattern, with sin⁡x\sin x and cos⁡x\cos x in place of x\sqrt{x} and a−x\sqrt{a - x}⁠, solves Q2, Q3 and Q4, where the answer is half of π2\frac{\pi}{2}⁠.

Every fact used, and where it comes from

FactUsed inSource
Continuity of roots and of quotientsStep 1Chapter 5, Section 5.2.1
P4: ∫0af(x) dx=∫0af(a−x) dx\int_0^a f(x)\,dx = \int_0^a f(a-x)\,dxStep 2Section 7.10, property P4 (Lesson: properties)
Integral of a sum; ∫0a1 dx=a\int_0^a 1\,dx = aStep 3Section 7.2.1, Property (III); Theorem 2, Section 7.8.3
Found an error, or want more?

Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →