Unit P4: Pure Mathematics A2 4
- Syllabus
- 2019
- Section
- —
- Level
- A2

A proof by contradiction begins by assuming the exact negation of the statement to be proved. If valid deductions from that assumption force an impossibility or conflict with a given condition, the assumption is false and the original statement must be true.
Use four explicit moves: (1) state the contradictory assumption; (2) translate it into algebra, parity, factors or an inequality; (3) derive a named contradiction; (4) reject the assumption and state the original conclusion. For an implication ‘if P, then Q’, assume P is true and Q is false—not merely that P is false.
For 2, assume 2=a/b where integers a,b have no common factor. Then a2=2b2, so a is even; write a=2k. Now 4k2=2b2, hence b2=2k2 and b is even. Thus a and b share factor 2, contradicting lowest terms. Therefore 2 is irrational.
N=p1p2⋯pn+1
For infinitely many primes, assume the complete list is p1,…,pn and form N above. Dividing N by any listed prime leaves remainder 1. Yet N>1 has a prime divisor, which is therefore absent from the supposedly complete list. This contradiction proves that there are infinitely many primes.
The contradiction must follow from the assumption through justified steps; an example that merely fails is not a proof. In unfamiliar problems, useful impossible outcomes include a square being negative, an integer being non-integral, incompatible parity, or a value violating its stated domain.
Partial fractions rewrite one rational function as a sum of simpler rational terms. The denominator determines the complete template; once the coefficients are found, the equivalent form is easier to integrate, differentiate or expand as a series.
| Denominator or degree | Required starting form |
|---|---|
| (ax+b)(cx+d)(ex+f) | ax+bA+cx+dB+ex+fC |
| (ax+b)(cx+d)2 | ax+bA+cx+dB+(cx+d)2C |
| numerator degree ≥ denominator degree | divide first: polynomial quotient + proper remainder |
Factor the denominator, divide first if the fraction is improper, and write every required term. Multiply through by the full denominator to form a polynomial identity. Substitute roots of the linear factors to isolate coefficients, then compare coefficients or use another convenient value for any coefficient left. Recombine the result over the original denominator to check it.
For example, (x−1)(x+2)25x+1=x−1A+x+2B+(x+2)2C. Multiplying through gives 5x+1=A(x+2)2+B(x−1)(x+2)+C(x−1). Setting x=1 gives A=2/3; setting x=−2 gives C=3; comparing x2 coefficients gives B=−2/3.
| Next operation | Why the split helps |
|---|---|
| Integration | linear-denominator terms give logarithms; repeated terms use a power rule |
| Differentiation | simple reciprocal powers differentiate term by term |
| Series expansion | rewrite terms into (1+ux)n form, retaining each convergence condition |
A repeated factor needs a term for every power up to its multiplicity; omitting one makes the identity incomplete. Preserve values excluded by the original denominator. Denominators with irreducible quadratic factors such as x2+a, a>0, are outside this specification.
Parametric equations give both coordinates in terms of a third variable: x=f(t) and y=g(t). Each permitted value of t produces a point (x,y); changing t traces the curve. A Cartesian equation removes t and links x directly to y.
To convert to Cartesian form, make t or a simple function of t the subject of one equation and substitute into the other. For trigonometric parameters, isolate sint and cost and use sin2t+cos2t=1. Finally translate the stated range of t into restrictions on x or y.
For x=(t+3)/(t+1) and y=2/(t+1) with t>0, notice that x=1+2/(t+1)=1+y. Hence y=x−1. Since t+1>1, 0<y<2 and therefore 1<x<3. The unrestricted line would contain points that the parameter never reaches.
For x=3+2cost and y=−1+4sint, cost=2x−3,sint=4y+1. Therefore 4(x−3)2+16(y+1)2=1. The allowed interval for t decides whether this represents the whole ellipse or only part of it.
| Cartesian form | One useful parametrisation |
|---|---|
| y=F(x) | x=t, y=F(t) |
| a2(x−h)2+b2(y−k)2=1 | x=h+acost, y=k+bsint |
Eliminating the parameter can enlarge the locus, so a Cartesian equation without the inherited range may be incomplete. Different parameter values can produce the same point, and different parametrisations can describe the same curve. For an intersection, substitute both parametric expressions into the other curve, solve for permitted values of t, then recover both coordinates.
The binomial series expands a rational power around x=0. Put the expression into the standard form (1+u)n first; the coefficients come from the descending products of n, while the size of u controls where a non-terminating series is valid.
(1+u)n=1+nu+2!n(n−1)u2+3!n(n−1)(n−2)u3+⋯
Rewrite (ax+b)n=bn(1+bax)n. For a negative or non-integer rational n, require bax<1, so ∣x∣<∣b/a∣. A non-negative integer power terminates and does not need this convergence restriction.
For (4+5x)1/2, take out 41/2=2 and use u=5x/4: 2(1+21u−81u2+161u3+⋯)=2+45x−6425x2+512125x3+⋯. This series is valid for ∣5x/4∣<1, or ∣x∣<4/5.
For a rational function, decompose first and expand each simple fraction. For example, 1−2x2+4+x3=2(1−2x)−1+43(1+x/4)−1 =411+1661x+64515x2+⋯. The two component ranges are ∣x∣<1/2 and ∣x∣<4, so the combined expansion requires the narrower condition ∣x∣<1/2.
Keep the extracted factor bn outside the series, substitute the whole expression for u into every power, and state the range in terms of x. A finite truncation is an approximation within that range; it is not an identity equal to the original function for every x.
A curve need not be written as y=f(x) before its gradient can be found. For an implicit equation, differentiate every term with respect to x and attach dy/dx whenever a function of y is differentiated. For a parametric curve, compare how both coordinates change with the parameter.
| Curve form | Gradient route |
|---|---|
| F(x,y)=0 | differentiate with respect to x, collect the dy/dx terms, then solve |
| x=f(t), y=g(t) | dxdy=dx/dtdy/dt, where dx/dt=0 |
For x2+xy+y2=7, differentiation gives 2x+xdxdy+y+2ydxdy=0, so dxdy=−x+2y2x+y. At (1,2) the tangent gradient is −4/5; the normal gradient is 5/4.
For x=t2+1 and y=t3−3t, dxdy=2t3t2−3. At t=2, the point is (5,2) and the gradient is 9/4, so the tangent is y−2=49(x−5).
At a point (x0,y0), use y−y0=m(x−x0). A finite non-zero tangent gradient m gives normal gradient −1/m. Keep the point and gradient exact until the final line is simplified.
Do not substitute the point before differentiating: doing so destroys the variable relationship. Apply product and chain rules to mixed terms such as xy or exy. If dx/dt=0, the quotient formula needs separate interpretation because the tangent may be vertical.
A differential equation states how a quantity changes, rather than giving the quantity directly. Build it by naming the changing variables, translating each rate statement with its sign and units, and differentiating the model relation with respect to the stated independent variable.
dtdQ=dxdQdtdx
Suppose a tank has constant horizontal area 10m2, water enters at 5m3min−1, and leaves at 0.2hm3min−1 when the depth is h metres. Since V=10h, dtdV=5−0.2handdtdV=10dtdh, so the model is 10dh/dt=5−0.2h.
For connected rates: (1) express all geometry in one changing variable; (2) differentiate before inserting the instant's values; (3) connect rates with the chain rule; (4) solve for the requested derivative; (5) report its sign and units.
For a cube of side x cm, S=6x2 and V=x3. If its surface area decreases at 12cm2s−1, then −12=12xdtdx. At x=3, dx/dt=−1/3cms−1, and dtdV=3x2dtdx=−9cm3s−1.
‘Rate of decrease’ is a positive magnitude, but the derivative of the decreasing quantity is negative. Do not cancel units or substitute a length before related dimensions have been expressed in the same variable. A formed differential equation is a model statement; solving it is a separate step.
Rotating the region between a non-negative curve y=f(x) and the x-axis through a full turn produces circular cross-sections. A slice of thickness dx has area πy2, so its volume is accumulated by integration.
V=π∫aby2dx
For y=x+1 on 0≤x≤2, V=π∫02(x+1)2dx=π[3(x+1)3]02=326π. Square the whole expression for y before integrating, and obtain the limits from the region's x-coordinates.
If x=x(t) and y=y(t), replace dx by x′(t)dt: V=π∫t1t2y(t)2x′(t)dt. For x=t2, y=t+1, 0≤t≤2, V=π∫02(t+1)2(2t)dt=368π. Choose the parameter limits in the direction of increasing x; if x′(t)<0 throughout, reverse the limits so the volume is positive.
This specification requires π∫y2dx, including parametric use, but not the separate π∫x2dy rule. Do not integrate y instead of y2, omit π, or leave a physical volume negative because the parameter runs backwards.
Integration by substitution reverses the chain rule; integration by parts reverses the product rule. First identify which structure is present, then transform every factor, differential and—when the integral is definite—limit consistently.
| Structure | Reverse rule | Check |
|---|---|---|
| a function and (a multiple of) its derivative | set u=g(x) and use du=g′(x)dx | the transformed integrand contains only u |
| a product whose factors simplify differently | ∫udv=uv−∫vdu | differentiating u should simplify it |
| repeated product, such as polynomial ×ex | apply parts more than once | stop when the polynomial disappears |
For ∫xx2+4dx, let u=x2+4, so du=2xdx. Then ∫xx2+4dx=21∫u1/2du=31(x2+4)3/2+C. For a definite integral, either change both limits to u-values or return to x before applying the original limits—never mix the two.
For ∫x2exdx, take u=x2 and dv=exdx. Two applications give ∫x2exdx=x2ex−2∫xexdx=ex(x2−2x+2)+C. Also, writing lnx as 1⋅lnx gives the required result ∫lnxdx=xlnx−x+C.
Do not change only part of an integrand during substitution, forget the transformed dx or limits, or lose the minus sign in the parts formula. A cyclic integral such as one containing exsinx may return after two applications of parts; collect that integral algebraically rather than continuing forever.
When a proper rational expression has factorised linear denominators, decompose it into simpler fractions before integrating. Match a constant numerator to each linear factor and an additional term for every repeated power.
| Integrand pattern | Antiderivative pattern |
|---|---|
| ax+bA | aAln∣ax+b∣ |
| (ax+b)nA, n>1 | use the power rule with the inner derivative factor |
| f(x)f′(x) | ln∣f(x)∣; e.g. ∫x2+5xdx=21ln(x2+5)+C |
For (x+1)(x+2)5x+1=x+1A+x+2B, matching numerators gives A=−4 and B=9. Hence ∫(x+1)(x+2)5x+1dx=−4ln∣x+1∣+9ln∣x+2∣+C. Differentiate the result to check both coefficients.
A repeated linear factor does not produce another logarithm: ∫(x−1)23dx=−x−13+C. Likewise, ∫(2x−1)42dx=−3(2x−1)31+C.
Make an improper rational expression proper before decomposing. Preserve absolute-value bars in logarithms unless the stated interval fixes the sign, and include the derivative of every linear denominator. Do not treat all denominator powers as logarithmic.
A first-order equation is separable when all y-dependence can be placed with dy and all x-dependence with dx. Integrating produces a family of curves—the general solution. An initial or boundary condition then selects a particular member.
dxdy=f(x)g(y)⟹∫g(y)1dy=∫f(x)dx
For dy/dx=2xy with y=0, separation gives y1dy=2xdx, so ln∣y∣=x2+C⟹y=Aex2. This non-zero family, together with the equilibrium solution y=0 lost when dividing by y, is the general solution.
If y(0)=3, then 3=Ae0, so the particular solution is y=3ex2. Check it by differentiating: dy/dx=6xex2=2x(3ex2)=2xy, and it satisfies the initial condition.
A reliable sequence is: separate with dy and dx visible; integrate both sides and include one arbitrary constant; simplify only when it helps; use the condition; state the requested form; differentiate to verify. Partial fractions or integration by parts may be needed after separation.
Do not treat dy/dx as an ordinary fraction without preserving the differential relationship. Before dividing by a factor involving y, test whether setting that factor to zero gives a constant solution. A general solution must retain an arbitrary constant; a particular solution must use the supplied condition.
For a parametric curve x=x(t), y=y(t), convert the Cartesian area element ydx using dx=x′(t)dt. The parameter values at the region's endpoints supply the limits; the curve does not need to be rearranged into y=f(x).
A=∫abydx=∫t1t2y(t)x′(t)dt
For x=t2, y=t+1, 0≤t≤2, x′(t)=2t and the curve lies above the x-axis. Thus A=∫02(t+1)(2t)dt=[32t3+t2]02=328.
| Region | Integrand in parameter form |
|---|---|
| between curve and x-axis | y(t)x′(t) |
| between y=h and the curve | [h−y(t)]x′(t) |
| curve crosses the axis or doubles back | split where the sign or x-direction changes, then add geometric pieces |
The integral is signed: reversed parameter limits or x′(t)<0 can make it negative even though geometric area is positive. Establish the endpoint parameter values and direction before integrating. Do not integrate x(t)y(t), and do not spend time sketching a curve from its parametric equations—the specification does not require that skill here.
A vector records both magnitude and direction. In two dimensions it has two components; in three dimensions it has three. The components measure the signed change parallel to each coordinate axis.
| Form | Three-dimensional example |
|---|---|
| column vector | 3−25 |
| unit-vector form | 3i−2j+5k |
| displacement | move 3 in x, −2 in y, and 5 in z |
Two vectors are equal when their corresponding components are equal, even if they start at different points. Thus 3−25 and 3i−2j+5k represent the same vector.
A point describes a location; a vector describes a displacement or direction. They may use the same ordered numbers, but their meanings differ. Preserve component order and signs: the third component is the z-change, not an extra label.
The magnitude ∣a∣ is the length of a vector. It follows from Pythagoras in two or three dimensions. Dividing a non-zero vector by its magnitude keeps its direction but changes its length to 1.
a1a2a3=a12+a22+a32,a=∣a∣a(a=0)
For a=4−42, ∣a∣=42+(−4)2+22=6. A unit vector in the same direction is a=614−42=2/3−2/31/3. Its magnitude is 1, which checks the calculation.
Magnitude is never negative, but vector components may be. Squaring removes component signs inside the length calculation. The zero vector has magnitude 0 and no defined direction, so it cannot be divided by its magnitude to make a unit vector.
Vector addition combines successive displacements, while scalar multiplication changes a vector's length and possibly its direction. Both operations are performed component by component.
a1a2a3+b1b2b3=a1+b1a2+b2a3+b3,ka1a2a3=ka1ka2ka3
If a=2−13 and b=−451, then a+b=−244,2a−b=8−75. Geometrically, addition places vectors head-to-tail; the resultant joins the starting point to the finishing point.
Multiplying by a positive scalar preserves direction, multiplying by a negative scalar reverses it, and multiplying by zero gives the zero vector. Do not add magnitudes in place of components: vector addition depends on direction.
The position vector of a point runs from the fixed origin to that point. If OA=a and OB=b, the displacement from A to B is found by subtracting start from finish.
AB=OB−OA=b−a
If A=(2,−3,5) and B=(8,1,−1), then AB=81−1−2−35=64−6. Reversing the journey gives BA=−AB.
Position vectors also encode division of a segment. If B lies one third of the way from A to C, then b=a+31(c−a), so c=3b−2a. The coefficients reflect the stated direction and ratio.
Always subtract the position vector of the starting point from that of the finishing point. Coordinates and position-vector components match relative to the fixed origin, but AB is not normally the position vector of either endpoint.
The distance between two points is the magnitude of the displacement vector joining them. Subtract corresponding coordinates, square the changes, add them, and take the non-negative square root.
d=∣P1P2∣=(x2−x1)2+(y2−y1)2+(z2−z1)2
For P=(1,−2,4) and Q=(5,1,−8), PQ=43−12, so PQ=42+32+(−12)2=169=13. The same distance results from QP because every component is squared.
Distance is a scalar and cannot be negative. Do not omit the square root when the question asks for distance rather than distance squared, and do not add coordinate changes before squaring them.
A vector line is determined by one point and one non-zero direction vector. The parameter moves through every real value, generating every point on the line.
| Given information | Vector equation |
|---|---|
| point with position vector a, direction b | r=a+tb |
| points with position vectors c and d | r=c+t(d−c) |
Through C=(1,2,0) and D=(3,−1,4), a direction is CD=(2,−3,4), so r=120+t2−34. At t=1 this gives D, providing a quick check.
| Direction-vector test | Simultaneous coordinate equations | Relationship |
|---|---|---|
| scalar multiples | — | parallel (or the same line if they share a point) |
| not scalar multiples | one consistent pair of parameters satisfies all three coordinates | intersecting |
| not scalar multiples | no pair satisfies all three coordinates | skew |
Use different parameters for different lines. Solving only two coordinate equations is not enough: substitute the resulting parameters into the third. In three dimensions, lines that are not parallel need not intersect; they may be skew.
The scalar product converts two vectors into a number that measures directional alignment. Its component form calculates the value; its geometric form connects that value to the angle between the vectors.
a⋅b=a1b1+a2b2+a3b3=∣a∣∣b∣cosθ
For non-zero a=122 and b=201, a⋅b=4,∣a∣=3,∣b∣=5, so θ=cos−1(354)≈53.4∘. For the acute angle between two lines, use the absolute value of the cosine because either direction vector may be reversed.
If non-zero vectors satisfy a⋅b=0, then cosθ=0 and they are perpendicular. For example, (1,2,2)⋅(2,1,−2)=2+2−4=0. This condition can locate the foot of a perpendicular by making a displacement vector dot a line's direction equal to zero.
The dot product is a scalar, not a vector. The angle formula requires two non-zero vectors. When an angle is attached to named points, form both vectors from the angle's vertex before taking their scalar product.