Skip over navigation
Cambridge University Faculty of Mathematics NRich logo
menu search
  • Teachers expand_more
    • Early years
    • Primary
    • Secondary
    • Post-16
    • Events
    • Professional development
  • Students expand_more
    • Primary
    • Secondary
    • Post-16
  • Parents expand_more
    • Early Years
    • Primary
    • Secondary
    • Post-16
  • Problem-Solving Schools
  • About NRICH expand_more
    • About us
    • Impact stories
    • Support us
    • Our funders
    • Contact us
  • search

Or search by topic

Number and algebra

  • The Number System and Place Value
  • Calculations and Numerical Methods
  • Fractions, Decimals, Percentages, Ratio and Proportion
  • Properties of Numbers
  • Patterns, Sequences and Structure
  • Algebraic expressions, equations and formulae
  • Coordinates, Functions and Graphs

Geometry and measure

  • Angles, Polygons, and Geometrical Proof
  • 3D Geometry, Shape and Space
  • Measuring and calculating with units
  • Transformations and constructions
  • Pythagoras and Trigonometry
  • Vectors and Matrices

Probability and statistics

  • Handling, Processing and Representing Data
  • Probability

Working mathematically

  • Thinking mathematically
  • Developing positive attitudes
  • Cross-curricular contexts

Advanced mathematics

  • Decision Mathematics and Combinatorics
  • Advanced Probability and Statistics
  • Mechanics
  • Calculus

For younger learners

  • Early Years Foundation Stage

Two and Four Dimensional Numbers

Age 16 to 18
Challenge Level Yellow star
  • Problem
  • Submit a Solution
  • Teachers' Resources
Plaque on Broom Bridge

To do this problem you need to know how to add and multiply two by two matrices.  This video shows you an example.

It might be helpful to know a little bit about Complex Numbers.  You might like to read the NRICH article What are Complex Numbers? and explore Complex Numbers with the NRICH feature Adventures with Complex Numbers. 

 

  1. Let $C^*$ be the set of $2 \times2$ matrices of the form $$ \left( \begin{array}{cc} x& -y\\ y& x\end{array} \right) $$ where $x$ and $y$ are real numbers.
     
    1. Add and multiply the matrices $$\pmatrix {x & -y \cr y & x} {\rm \ and }\ \pmatrix {u & -v \cr v & u}.$$
    2. Consider also the subset $R^*$ for which $y=0$. Investigate addition and multiplication of matrices from  $R^*$ and compare to the arithmetic of real numbers.
       
    3. Compare the arithmetic of $C^*$ with that of complex numbers.
       
    4. The matrix $\pmatrix {-1 & 0 \cr 0 & -1}$ is equivalent to the real number -1. Find a matrix equivalent to $i = \sqrt {-1}$.
      This is asking you to find a matrix ${\bf M}$ which gives ${\bf M}^2=\pmatrix {-1 & 0 \cr 0 & -1}$. Use the general form of matrices in $C^*$ given at the start of this question to help you find ${\bf M}$.


       
  2. Complex numbers are two-dimensional numbers $x + iy$ where $x$ and $y$ are real numbers and $i = \sqrt {-1}$. Quaternions are four-dimensional numbers of the form $a+{\bf i}x+{\bf j}y+{\bf k}z$ where $a, x, y, z$ are real numbers and ${\bf i, j, k}$ are all different square roots of $-1$.

    One model for the system of quaternions is the set of linear combinations of 2 by 2 matrices: $${\bf I}a +{\bf i}x + {\bf j}y + {\bf k}z\ = \pmatrix {1 & 0\cr 0 & 1}a+ \pmatrix {i & 0\cr 0 & -i}x+\pmatrix {0 & 1\cr -1 & 0}y+ \pmatrix {0 & i\cr i & 0}z$$ where $a, x, y, z$ are real numbers.
     
    1. Work out the matrix products: ${\bf i^2, \ j^2}$ and ${\bf k^2}$ showing that these matrices give models of three different square roots of -1.
       
    2. Work out the matrix products: ${\bf i j}$, ${\bf j i}$, ${\bf j k}$, ${\bf k j}$, ${\bf k i}$ and ${\bf i k}$.
       
    3. Investigate the sequence: ${\bf i},\ $ ${\bf i j},\ $ ${\bf i j}$ ${\bf k},\ $ ${\bf i j}$ ${\bf k i},\ $ ${\bf i j}$ ${\bf k i}$ ${\bf j,\ ...}$

 

There are more matrix problems in this feature.

NOTES AND BACKGROUND


For one dimensional numbers (or the real numbers), each multiplication apart from multiplying by $0$ can be undone by an "inverse" (so the inverse of multiplying by $2$ is multiplying by $\frac 1 2$, or dividing by $2$ as we otherwise know it!)

For two dimensional numbers (complex numbers) we can also find the inverse of a multiplication, i.e. we can divide by a complex number.  This works for all complex numbers except for $0+0i$.

Complex numbers can be used to describe points in a plane, so it felt natural to use a three dimensional number to describe points in 3D space.  Unfortunately there is no way to undo a three dimensional multiplication - if you think about scalar products and vector products with 3D vectors, there is no way to uniquely undo this.  

On 16th October 1843  Irish mathematician  William Rowan Hamilton suddenly realised  that he could find a way of multiplying four dimensional numbers and he carved his formula for doing so into the wall of Broome Bridge, Dublin.  The picture at the top of this page shows the plaque on the bridge celebrating this eureka moment.

Amongst other things, Quaternions are used in orbital mechanics and computer graphics and simulations, as they can be used to describe 3D rotations without suffering from "gimbal lock".  Here is a video explaining gimbal lock affected Apollo 13 (the "fourth gimbal" discussed as a solution is equivalent to quaternions being used in computer animations.)  Instead of an "Euler Rotation", where three numbers are used to describe the angle of rotation in three separate directions, with Quaternion rotation three numbers are used to describe a vector in the direction of the axis of rotation and the last number represents the angle turned about this axis.

This 3Blue1Brown YouTube video introduces quaternions and shows a way of visualising them (this is quite a long video!). You might also be interested in this 3Blue1Brown YouTube video which discusses how complex numbers can be used for 2D rotations and quaternions can be used for 3D rotations.

To find out more explore these Plus articles: Curious Quaternions and Ubiquitous Octonions

 

You may also like

Roots and Coefficients

If xyz = 1 and x+y+z =1/x + 1/y + 1/z show that at least one of these numbers must be 1. Now for the complexity! When are the other numbers real and when are they complex?

Target Six

Show that x = 1 is a solution of the equation x^(3/2) - 8x^(-3/2) = 7 and find all other solutions.

8 Methods for Three by One

This problem in geometry has been solved in no less than EIGHT ways by a pair of students. How would you solve it? How many of their solutions can you follow? How are they the same or different? Which do you like best?

  • Tech help
  • Accessibility Statement
  • Sign up to our newsletter
  • Twitter X logo

The NRICH Project aims to enrich the mathematical experiences of all learners. To support this aim, members of the NRICH team work in a wide range of capacities, including providing professional development for teachers wishing to embed rich mathematical tasks into everyday classroom practice.

NRICH is part of the family of activities in the Millennium Mathematics Project.

University of Cambridge logo NRICH logo