Porisma

Recognise standard forms

Match the inner derivative and retain the interval conditions.

Choose a method from the structure: a derivative beside a composite suggests substitution; a polynomial multiplied by an exponential or logarithm often suggests parts. Differentiate your result to check it.

Why the power −1 needs a logarithm

Look for the derivative of the denominator in the numerator. If the match differs by a constant factor, compensate outside the integral. If it differs by a function of xx, the standard logarithm rule cannot be applied directly.

What happens if n=−1n=-1 in the power rule? Substitution would give x0/0+Cx^0/0+C, which is undefined; it is a demonstration that the rule cannot apply, not an antiderivative.

For f(x)>0f(x)>0, ddxln⁡∣f(x)∣=ddxln⁡f(x)=f′(x)/f(x)\frac{d}{dx}\ln|f(x)|=\frac{d}{dx}\ln f(x)=f^{\prime}(x)/f(x). For f(x)<0f(x)<0, differentiate ln⁡[−f(x)]\ln[-f(x)]: the two minus signs give [−f′(x)]/[−f(x)]=f′(x)/f(x)[-f^{\prime}(x)]/[-f(x)]=f^{\prime}(x)/f(x). Thus on intervals where f≠0f\ne0,

∫f′(x)f(x) dx=ln⁡∣f(x)∣+C.\int\frac{f^{\prime}(x)}{f(x)}\,dx=\ln|f(x)|+C.

The basic case is ∫1/x dx=ln⁡∣x∣+C\int1/x\,dx=\ln|x|+C. The Teacher labels the basic rule O-level and its composite form H2-level. Inspect the inner derivative first; supply only a constant multiple with compensation. For an improper rational function, use long division before choosing a standard form. Examples 2 and 3 show these choices.

Exponential standard forms

Reverse ddxex=ex\frac{d}{dx}e^x=e^x and ddxef(x)=f′(x)ef(x)\frac{d}{dx}e^{f(x)}=f^{\prime}(x)e^{f(x)}: the basic integral is ∫ex dx=ex+C\int e^x\,dx=e^x+C and the composite integral is ∫f′(x)ef(x) dx=ef(x)+C\int f^{\prime}(x)e^{f(x)}\,dx=e^{f(x)}+C. The Teacher labels the basic form O-level and the composite form H2-level.

For a constant base, ddxax=axln⁡a\frac{d}{dx}a^x=a^x\ln a and ddxaf(x)=f′(x)af(x)ln⁡a\frac{d}{dx}a^{f(x)}=f^{\prime}(x)a^{f(x)}\ln a. Hence ∫ax dx=ax/ln⁡a+C\int a^x\,dx=a^x/\ln a+C and ∫f′(x)af(x) dx=af(x)/ln⁡a+C\int f^{\prime}(x)a^{f(x)}\,dx=a^{f(x)}/\ln a+C, for a>0a>0, a≠1a\ne1. The printed table states a>0a>0 but omits a≠1a\ne1; division by ln⁡1=0\ln1=0 is undefined. When a=1a=1, integrate 11 to x+Cx+C, or f′(x)f^{\prime}(x) to f(x)+Cf(x)+C. This qualification supplements the preserved source table. Example 4(e) uses the base 5 rule.

Inverse-trigonometric standard forms

Here sin⁡−1\sin^{-1} and tan⁡−1\tan^{-1} mean inverse functions. Reverse ddxsin⁡−1x=1/1−x2\frac{d}{dx}\sin^{-1}x=1/\sqrt{1-x^2} and ddxtan⁡−1x=1/(1+x2)\frac{d}{dx}\tan^{-1}x=1/(1+x^2) to obtain their integrals, each with CC. For a>0a>0:

Basic form: ∫1x2+a2 dx=1atan⁡−1(x/a)+C\int\frac1{x^2+a^2}\,dx=\frac1a\tan^{-1}(x/a)+C

Composite form: ∫f′(x)[f(x)]2+a2 dx=1atan⁡−1[f(x)/a]+C\int\frac{f^{\prime}(x)}{[f(x)]^2+a^2}\,dx=\frac1a\tan^{-1}[f(x)/a]+C

Basic form: ∫1a2−x2 dx=sin⁡−1(x/a)+C\int\frac1{\sqrt{a^2-x^2}}\,dx=\sin^{-1}(x/a)+C, ∣x∣<a\lvert x\rvert<a

Composite form: ∫f′(x)a2−[f(x)]2 dx=sin⁡−1[f(x)/a]+C\int\frac{f^{\prime}(x)}{\sqrt{a^2-[f(x)]^2}}\,dx=\sin^{-1}[f(x)/a]+C, ∣f(x)∣<a\lvert f(x)\rvert<a

The source marks the basic formulas as available in MF27. The Teacher emphasises numerator 1 and squared-variable coefficient 1 for a basic form; a composite form matches its inner derivative.

The source says conditions need not be written in the working, while the expression must still be well-defined.

In the radical denominator, a2−[f(x)]2>0a^2-[f(x)]^2>0 gives −a<f(x)<a-a<f(x)<a, equivalently ∣f(x)∣<a\lvert f(x)\rvert<a. Endpoints where that denominator is zero are excluded.

Example 5(c) preserves both the basic-form and composite-form methods.

Complete the square to expose a standard form

For a non-factorisable reciprocal quadratic 1/(px2+qx+r)1/(px^2+qx+r) or a reciprocal radical 1/−px2+qx+r1/\sqrt{-px^2+qx+r}, with p>0p>0, the printed remark instructs completing the square.

First factor the squared-variable coefficient, then compare coefficients in (x+a)2+b(x+a)^2+b if necessary.

Example 6 uses shifts with derivative 1; a factor under a radical emerges as its square root, rather than as itself.

Preserve a positive radicand on the chosen interval. This remark is a method for the displayed forms, not a claim that every quadratic has the same arctangent antiderivative.

Try these examples

Open an example in chapter practice. Try it first, then read its solution. Use “Learn this step” to return to this unit.

Apply this idea

Recognise the structure before integrating →Choose the appropriate standard form, substitution or parts for each integral.