Skip to content
  1. IB Question Bank
  2. Maths AA
  3. Number & Algebra
Topic 1.06 · SL and HL

Simple deductive proofs (LHS = RHS): notes and practice questions

Summary
  • A proof is a series of logical steps used to show that a result is true for all specified values, usually algebraically.
  • To prove a statement, you must show that the left-hand side (LHS) is the same as the right-hand side (RHS).
  • Start with one side (usually the LHS) and manipulate it through logical steps until it is identical to the other side.
  • You must not move terms from one side of the statement to the other.
  • A mathematical identity is a statement that is true for all values and is identified by the symbol ≡ \equiv .
  • You can conclude your proof by writing `LHS = RHS` or `QED`.

How it is examined

Always `Show that` or `Prove`, so the answer is the working and there is no mark for the final line on its own. The distinction between == and ≡\equiv is assessable. A student who starts from the required result and works back to something true has not done a LHS to RHS proof. 3 to 5 marks, Paper 1.

Key ideas
  • Simple deductive proof, numerical and algebraic; how to lay out a left-hand side to right-hand side (LHS to RHS) proof.
  • The symbols and notation for equality and identity.

Linking questions

  • TOK: is mathematical reasoning different from scientific reasoning, or reasoning in other areas of knowledge?

Practice questions

29 questions · 1 easy · 20 medium · 8 hard
Showing 20 of 20

Question 1

EasyPaper 1 · no calculator3 marks

(a) Show that (3x+2)(x−5)+2(x+3)2=5x2−x+8(3x+2)(x-5) + 2(x+3)^2 = 5x^2 - x + 8.

Question 2

MediumPaper 1 · no calculator5 marks
(a)

(a) Show that the sum of the squares of any two consecutive even integers is equal to 8n2+8n+48n^2 + 8n + 4, where n∈Zn \in \mathbb{Z}.

[2]
(b)

(b) Hence, or otherwise, prove that the sum of the squares of any two consecutive even integers is always a multiple of 4.

[3]

Question 3

HardPaper 2 · calculator9 marks
(a)

Show that the identity p4+q4≡((p+q)2−2pq)2−2(pq)2p^4 + q^4 \equiv ((p+q)^2 - 2pq)^2 - 2(pq)^2 is true for all p,q∈Rp, q \in \mathbb{R}

[3]
(b)

The equation x2−4x+1=0x^2 - 4x + 1 = 0 has two distinct real roots, αα and ββ.

Consider the equation x2+mx+n=0x^2 + mx + n = 0, where m,n∈Zm, n \in \mathbb{Z}, which has roots α4α^4 and β4β^4.

Without finding the values of αα and ββ, determine the values of mm and nn.

[6]

Question 4

MediumPaper 1 · no calculator5 marks
(a)

(a) Show that the sum of the squares of any two consecutive even integers is equal to 8n2+8n+48n^2 + 8n + 4, where n∈Zn \in \mathbb{Z}.

[2]
(b)

(b) Hence, or otherwise, prove that the sum of the squares of any two consecutive even integers is always a multiple of 4.

[3]

Question 5

HardPaper 3 · calculator16 marks
(a)

In a study of wave propagation, a mathematical model uses the function g(x)=ex−e−x2g(x) = \frac{e^x - e^{-x}}{2}, where x∈Rx \in \mathbb{R}, to describe a certain physical quantity. This function is also known as the hyperbolic sine function, sinh⁡x\sinh x.

Verify that y=g(x)y = g(x) satisfies the differential equation d2ydx2=y\frac{d^2y}{dx^2} = y.

[2]
(b)

Another related function, the hyperbolic cosine, is defined as f(x)=ex+e−x2f(x) = \frac{e^x + e^{-x}}{2}, also known as cosh⁡x\cosh x. Show that (cosh⁡x)2−(sinh⁡x)2=1(\cosh x)^2 - (\sinh x)^2 = 1.

[3]
(c)(i)

The functions cosh⁡x\cosh x and sinh⁡x\sinh x can be extended to complex numbers. Using Euler's formula eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos \theta + i \sin \theta, where θ∈R\theta \in \mathbb{R}, express cosh⁡(iθ)\cosh(i\theta) in terms of cos⁡θ\cos \theta and sin⁡θ\sin \theta.

[3]
(c)(ii)

Similarly, express sinh⁡(iθ)\sinh(i\theta) in terms of cos⁡θ\cos \theta and sin⁡θ\sin \theta.

[2]
(d)

Hence, show that (cosh⁡(iθ))2+(sinh⁡(iθ))2=cos⁡(2θ)(\cosh(i\theta) )^2 + (\sinh(i\theta) )^2 = \cos(2\theta).

[2]
(e)

In a design project, a component's profile is described by a hyperbola with parametric equations x=Acosh⁡tx = A \cosh t and y=Bsinh⁡ty = B \sinh t, where A,BA, B are positive constants and t∈Rt \in \mathbb{R}.

Given that the component's profile passes through the point (6,0)(6, 0) and has asymptotes y=±43xy = \pm \frac{4}{3}x, find the values of AA and BB.

[4]

Question 6

MediumPaper 1 · no calculator5 marks
(a)

A mathematician is investigating properties of integers. They consider three consecutive integers.

(a) Show that the sum of the squares of three consecutive integers, where nn is the middle integer, can be expressed as 3n2+23n^2 + 2.

[2]
(b)

(b) Hence, or otherwise, prove that the sum of the squares of three consecutive integers is even if the middle integer is even, and odd if the middle integer is odd.

[3]

Question 7

HardPaper 1 · no calculator20 marks
(a)

The acceleration, a ms−2a \text{ ms}^{-2}, of a particle moving in a straight line at time tt seconds, t≥0t \ge 0, is given by a=−2v−8a = -2v - 8, where v ms−1v \text{ ms}^{-1} is the particle's velocity. At t=0t=0, the particle is at the origin O and has an initial velocity v0 ms−1v_0 \text{ ms}^{-1}, where v0>0v_0 > 0.

By solving an appropriate differential equation, show that the particle's velocity at time tt is given by v(t)=(v0+4)e−2t−4v(t) = (v_0 + 4)e^{-2t} - 4.

[6]
(b)(i)

The particle moves in the positive direction until it reaches its maximum displacement from O at time TT. Show that e2T=v0+44e^{2T} = \frac{v_0+4}{4}.

[2]
(b)(ii)

Find an expression for the maximum displacement, smaxs_{\text{max}}, in terms of v0v_0.

[5]
(c)

Let v(T−k)v(T-k) represent the particle's velocity kk seconds before it reaches smaxs_{\text{max}}, where 0<k<T0 < k < T. By using the result from part (b)(i), show that v(T−k)=4(e2k−1)v(T-k) = 4(e^{2k} - 1).

[2]
(d)

Similarly, let v(T+k)v(T+k) represent the particle's velocity kk seconds after it reaches smaxs_{\text{max}}. Deduce a similar expression for v(T+k)v(T+k) in terms of kk.

[2]
(e)

Hence, show that the speed of the particle kk seconds before it reaches smaxs_{\text{max}} is greater than or equal to its speed kk seconds after it reaches smaxs_{\text{max}}.

[3]

Question 8

MediumPaper 1 · no calculator6 marks
(a)

(a) Consider any three consecutive positive integers. Show that their sum is a multiple of 3.

[2]
(b)

(b) Prove that the sum of the squares of any three consecutive positive integers can be written in the form 3m+23m+2, where mm is an integer.

[4]

Question 9

HardPaper 1 · no calculator16 marks
(a)

The following diagram shows the graph of y=arctan⁡(x−32)−π4y = \arctan\left(\frac{x-3}{2}\right) -\frac{\pi}{4} for x∈Rx \in \mathbb{R}, with asymptotes at y=−3π4y = -\frac{3\pi}{4} and y=π4y = \frac{\pi}{4}.

Graph of y = arctan((x-3)/2) - pi/4 with asymptotes

Describe a sequence of transformations that transforms the graph of y=arctan⁡xy = \arctan x to the graph of y=arctan⁡(x−32)−π4y = \arctan\left(\frac{x-3}{2}\right) -\frac{\pi}{4} for x∈Rx \in \mathbb{R}.

[3]
(b)

Show that arctan⁡p+arctan⁡q=arctan⁡(p+q1−pq)\arctan p + \arctan q = \arctan\left(\frac{p+q}{1-pq}\right) where p,q>0p, q > 0 and pq<1pq < 1.

[4]
(c)

Using mathematical induction and the result from part (b), prove that

∑r=1narctan⁡(1r2+r+1)=arctan⁡(nn+2)\sum_{r=1}^{n} \arctan\left(\frac{1}{r^2+r+1}\right) = \arctan\left(\frac{n}{n+2}\right) for n∈Z+n \in \mathbb{Z}^+.

[9]

Question 10

MediumPaper 1 · no calculator6 marks
(a)

Let two consecutive positive odd integers be represented by 2n−12n-1 and 2n+12n+1, where n∈Z+n \in \mathbb{Z}^+ .

(a) Show that the sum of these two integers is a multiple of 4.

[2]
(b)

(b) Prove that the sum of the squares of these two integers is 2 more than a multiple of 8.

[4]

Question 11

HardPaper 1 · no calculator14 marks
(a)

A curve is given by the equation ey=cos⁡(x)e^y = \cos(x) for x∈(−π2,π2)x \in (-\frac{\pi}{2}, \frac{\pi}{2}).

(a) Use implicit differentiation to show that dydx=−tan⁡(x)\frac{dy}{dx} = -\tan(x).

[3]
(b)

(b) Show that d2ydx2+(dydx)2+1=0\frac{d^2y}{dx^2} + (\frac{dy}{dx})^2 + 1 = 0.

[3]
(c)

(c) Find an expression for d3ydx3\frac{d^3y}{dx^3} in terms of dydx\frac{dy}{dx} and d2ydx2\frac{d^2y}{dx^2}.

[3]
(d)

(d) Hence, find the Maclaurin series for y=ln⁡(cos⁡(x))y = \ln(\cos(x) ) up to and including the term in x4x^4.

[5]

Question 12

MediumPaper 1 · no calculator7 marks
(a)

(a) Show that 2x+5+3x−1=2x2+3x−2x−12x+5 + \frac{3}{x-1} = \frac{2x^2 + 3x - 2}{x-1}, for x∈R,x≠1x \in \mathbb{R}, x \neq 1.

[2]
(b)

(b) Hence or otherwise, solve the equation 2sin⁡θ+5+3sin⁡θ−1=02\sin{\theta} + 5 + \frac{3}{\sin{\theta}-1} = 0 for 0≤θ≤2π0 \leq \theta \leq 2\pi, θ≠π2\theta \neq \frac{\pi}{2}.

[5]

Question 13

HardPaper 2 · calculator18 marks
(a)

A company models the average cost per unit, C(x)C(x), in thousands of dollars, for producing xx thousand units of a specialized component using the function C(x)=kx−3x−kC(x) = \frac{kx-3}{x-k}, where x>0x > 0 represents the number of units in thousands, and kk is a positive constant.

(a) Write down the equations of the vertical and horizontal asymptotes of the graph of CC.

[2]
(b)

(b) Show that C′(x)=3−k2(x−k)2C'(x) = \frac{3-k^2}{(x-k)^2}.

[3]
(c)

(c) Show that the graph of CC has no turning points.

[2]
(d)

(d) Find the equation, in terms of kk, of the normal to the graph of CC at x=1x = 1.

[4]
(e)

(e) The horizontal and vertical asymptotes of CC meet at the point PP. The normal to the graph of CC at x=1x = 1 passes through PP for certain values of kk.

Show that these values of kk satisfy the equation k3−3k2+k+2=0k^3-3k^2+k+2=0.

[4]
(f)

(f) Hence, find the values of kk for which the normal to the graph of CC at x=1x = 1 passes through PP.

[3]

Question 14

MediumPaper 1 · no calculator4 marks

Show that the product of any two consecutive positive even integers, when increased by 1, is a perfect square.

Question 15

HardPaper 3 · calculator28 marks
(a)(i)

(a) A cubic equation with real coefficients has roots z=−2z = -2 and z=3+2iz = 3 + 2i.

(i) Write down the third root.

[1]
(a)(ii)

(ii) Verify that the real part of the complex roots is 3.

[1]
(b)

(b) Let f(x)=(x+2)(x2−6x+13)f(x) = (x+2)(x^2 - 6x + 13). Show that the line y=4x+8y = 4x + 8 is tangent to the curve y=f(x)y = f(x) at the point A(3,20)A(3, 20).

[4]
(c)

(c) Sketch the curve y=f(x)y = f(x) and the tangent to the curve at point AA, clearly showing where the tangent crosses the xx-axis.

[2]
(d)(i)

(d) Let a general cubic function be given by g(x)=(x−r)((x−a)2+b2)g(x) = (x-r)((x-a)^2 + b^2), where a,b,r∈Ra, b, r \in \mathbb{R} and b>0b > 0.

(i) Show that g′(x)=(x−a)2+b2+2(x−r)(x−a)g'(x) = (x-a)^2 + b^2 + 2(x-r)(x-a).

[2]
(d)(ii)

(ii) Hence, or otherwise, prove that the tangent to the curve y=g(x)y = g(x) at the point A(a,g(a))A(a, g(a) ) intersects the xx-axis at the point R(r,0)R(r, 0).

[6]
(e)

(e) Deduce from part (d)(ii) that the complex roots of the equation (z−r)((z−a)2+b2)=0(z - r)((z-a)^2 + b^2) = 0 can be expressed as a±ig′(a)a \pm i\sqrt{g'(a)}.

[1]
(f)(i)

(f) Consider a cubic function of the form g(z)=(z−r)((z−a)2+b2)=0g(z) = (z-r)((z-a)^2 + b^2) = 0. Given that r=−1r = -1 and b=3b = 3, and the yy-coordinate of the point of tangency A(a,g(a))A(a, g(a) ) is 4545.

(i) Use this information to determine the roots of the corresponding equation for z∈Cz \in \mathbb{C}.

[4]
(f)(ii)

(ii) State the coordinates of the complex conjugate root with negative imaginary part, C2C_2, in the Argand diagram.

[1]
(g)(i)

(g) The point of inflection for the curve y=g(x)y=g(x) is denoted by PP.

(i) Show that the xx-coordinate of PP is 13(2a+r)\frac{1}{3}(2a+r). You are not required to demonstrate a change in concavity.

[2]
(g)(ii)

(ii) Hence describe numerically the horizontal position of point PP relative to the horizontal positions of the points RR and AA.

[1]
(h)(i)

(h) Consider the special case where a=ra=r.

(i) Sketch the curve y=(x−r)((x−a)2+b2)y = (x-r)((x-a)^2 + b^2) for a=r=1a=r=1 and b=2b=2.

[2]
(h)(ii)

(ii) For a=ra=r and b>0b > 0, state in terms of rr, the coordinates of points PP and AA.

[1]

Question 16

MediumPaper 1 · no calculator4 marks

Consider two consecutive odd positive integers.

Show that the difference between their squares is equal to twice their sum.

Question 17

HardPaper 3 · calculator30 marks
(a)

A pharmaceutical company is formulating a new drug. They are testing two active ingredients, x1x_1 and x2x_2, such that their total concentration is 2424 mg/mL. The drug's efficacy is modelled by the product of the concentrations of the two ingredients.

Find the efficacy, EE, as a function of x1x_1 only.

[2]
(b)(i)

Determine the concentration of x1x_1 that maximizes the drug's efficacy.

[1]
(b)(ii)

Hence, show that the maximum efficacy for two ingredients with a total concentration of 2424 mg/mL is 144144.

[1]
(c)

Let Mn(S)M_n(S) represent the maximum efficacy for a drug with nn active ingredients and a total concentration of SS mg/mL. For n=2n = 2, the maximum efficacy can be expressed as M2(S)=(S2)2M_2(S) = \left(\frac{S}{2}\right)^2.

Verify that M2(S)=(S2)2M_2(S) = \left(\frac{S}{2}\right)^2 is true for S=24S = 24.

[1]
(d)(i)

The relationship between the geometric mean and arithmetic mean states that for nn positive real numbers x1,x2,...,xnx_1, x_2, ..., x_n, their geometric mean (x1×x2×...×xn)1n(x_1 \times x_2 \times ... \times x_n)^{\frac{1}{n}} is always less than or equal to their arithmetic mean x1+x2+...+xnn\frac{x_1 + x_2 + ... + x_n}{n}.

Show that the geometric mean and arithmetic mean are equal when x1=x2=...=xnx_1 = x_2 = ... = x_n.

[2]
(d)(ii)

Use this result to prove that Mn(S)=(Sn)nM_n(S) = \left(\frac{S}{n}\right)^n.

[4]
(e)(i)

Using the formula for Mn(S)M_n(S), determine the value of:

M3(24)M_3(24);

[1]
(e)(ii)

M4(24)M_4(24);

[1]
(e)(iii)

M5(24)M_5(24).

[1]
(f)

For a fixed total concentration of S=24S = 24 mg/mL, the company wants to find the optimal number of active ingredients, nn, to maximize the drug's efficacy. Let P(S)P(S) denote this maximum efficacy.

Write down the value of P(24)P(24) and the value of nn at which it occurs.

[2]
(g)

Determine the value of P(30)P(30) and the value of nn at which it occurs.

[3]
(h)

Consider the continuous function hh, defined by ln⁡(h(x))=xln⁡(Sx)\ln(h(x) ) = x\ln\left(\frac{S}{x}\right), where x∈R+x \in \mathbb{R}^+. A sketch of the graph of y=h(x)y = h(x) is shown in the following diagram. Point A is the maximum point on this graph.

Graph of y=h(x) with a maximum point A

Find, in terms of SS, the xx-coordinate of point A.

[6]
(i)

Verify that h(x)=Mx(S)h(x) = M_x(S), when x∈Z+x \in \mathbb{Z}^+.

[2]
(j)

The company has a total concentration of S=150S = 150 mg/mL available. Use your answer to part (h) to find the largest possible efficacy. Give your answer in the form a×10ka \times 10^k, where 1≤a<101 \le a < 10 and k∈Z+k \in \mathbb{Z}^+.

[3]

Question 18

MediumPaper 1 · no calculator7 marks
(a)

Show that 3x+2−2x+1=3x2+5xx+13x + 2 - \frac{2}{x+1} = \frac{3x^2 + 5x}{x+1}, for x∈R,x≠−1x \in \mathbb{R}, x \neq -1.

[2]
(b)

Hence or otherwise, solve the equation 3cos⁡(θ)+2−2cos⁡(θ)+1=03\cos(\theta) + 2 - \frac{2}{\cos(\theta)+1} = 0 for 0≤θ≤2π,θ≠π0 \le \theta \le 2\pi, \theta \neq \pi.

[5]

Question 19

MediumPaper 1 · no calculator4 marks

Prove that (4n+1)2−(4n−3)2(4n + 1)^2 - (4n - 3)^2 is divisible by 8 for all n∈Zn \in \mathbb{Z}.

Question 20

MediumPaper 1 · no calculator7 marks
(a)

A student claims that 2n>n22^n > n^2 for all integers n≥5n \ge 5.

(a) Show that 2n2>(n+1)22n^2 > (n+1)^2 for all integers n≥3n \ge 3.

[2]
(b)

(b) Use mathematical induction and the result from part (a) to prove that the student's claim is valid for all integers n≥5n \ge 5.

[5]

9 more Simple deductive proofs (LHS = RHS) questions in the app

Every answer is marked mark by mark, IB-style, and the AI tutor helps when you are stuck.

Where marks are lost

  • Using your own wrong value after failing a "show that".
Free. Every IB subject.
No card, no trial that runs out. Just a free account.
  • 50 marked answers a month
    Marked mark by mark, IB-style
  • Hints and mark schemes
    On every part of every question
  • 3,000+ questions
    All 6 subjects, SL and HL, mapped to the syllabus
  • Progress that adapts
    Your Study Profile picks what to practise next

Practise this topic as a session

Pick a difficulty and paper, and FourtyFive tracks your progress on this topic as you go.

or with email
FAQ

Questions,
answered.

Can't find what you're looking for? Email our student team.

What does Simple deductive proofs (LHS = RHS) cover in IB Maths AA?

A proof is a series of logical steps used to show that a result is true for all specified values, usually algebraically. To prove a statement, you must show that the left-hand side (LHS) is the same as the right-hand side (RHS). Start with one side (usually the LHS) and manipulate it through logical steps until it is identical to the other side.

Is Simple deductive proofs (LHS = RHS) SL or HL?

Both. SL and HL students study Simple deductive proofs (LHS = RHS) to the same depth.

How do I revise Simple deductive proofs (LHS = RHS) for IB Maths AA?

Start from the core idea: a proof is a series of logical steps used to show that a result is true for all specified values, usually algebraically. In the exam: always `Show that` or `Prove`, so the answer is the working and there is no mark for the final line on its own. The distinction between = and equiv is assessable. Then practise exam-style questions, easiest first, writing out every step of your working before you check it.

How does FourtyFive help me practise Simple deductive proofs (LHS = RHS)?

FourtyFive has 29 Simple deductive proofs (LHS = RHS) questions. Every answer you write is marked mark by mark, IB-style, and you see where each mark was won or lost. Every part has a hint, the AI tutor helps you through the step you are stuck on, and your Study Profile picks what to practise next.

Is FourtyFive free for Simple deductive proofs (LHS = RHS) practice?

Yes. A free account gives you 50 marked answers a month, and you do not need a card to sign up.

Can I handwrite Simple deductive proofs (LHS = RHS) answers on an iPad?

Yes. In the FourtyFive iPad app you write your working by hand with Apple Pencil, the way you would on paper, and it is marked the same way.

Start with the IB question
bank built for you.

Free to start, no card needed. Thousands of syllabus-mapped questions, AI Examiner marking, your weakest topics first.