Tiber Tutor

definitions

IB Maths AI 5.5 Definitions

This page contains our IB Maths AI definitions for 5.5. By learning each one of these definitions, you will fully cover the content for IB Maths AI 'Further integration'.

HL

antiderivatives

Functions whose derivative is the given integrand; any two differ by a constant because differentiation removes constant terms.
HL

chain rule

A differentiation rule for a composite function, used in implicit differentiation so that differentiating a term in yy introduces a factor of dydx\frac{dy}{dx}, for example ddx(y2)=2ydydx\frac{d}{dx}\bigl(y^2\bigr)=2y\frac{dy}{dx}.

HL

composites

Functions formed by applying one function to the output of another, such as 'f(g(x))f\left(g(x)\right)', often requiring a chain-rule structure when integrating.
HL

Indefinite integration

Describing an integral that represents a family of antiderivatives and therefore includes an arbitrary constant 'CC'.
HL

integrals

Expressions of the form 'f(x)dx\int f(x)\,dx' that represent antiderivatives of a function, reversing differentiation.
HL

integration by inspection

Recognising an antiderivative directly by reversing a known derivative pattern, often using the reverse chain rule when the integrand matches 'g(x)f(g(x))g'\left(x\right)f\left(g\left(x\right)\right)'.
HL

integration by substitution

Replacing one expression with another to simplify a differential equation, such as using 'y=vxy=vx' so that 'dydx=v+xdvdx\frac{dy}{dx}=v+x\frac{dv}{dx}'.
HL

Reverse integration

Describes using the chain rule in reverse to integrate expressions matching the pattern 'g(x)f(g(x))g'(x)f\left(g(x)\right)', giving 'F(g(x))+CF\left(g(x)\right)+C' where 'F(u)=f(u)F'(u)=f(u)'.

Next Up

You have completed the topic 5 definitions for IB Maths AI - continue with related resources below or explore the full IB Maths AI course from the IBO.

Other topic 5 resources