Reflections on maths, learning and the Maths Learning Centre, by David K Butler

Category: My maths

Descriptions of my own new maths that I have created.

  • Home & Away: Geometric Arithmetic

    Introduction

    This blog post is about a way to define addition and multiplication on a number line using the geometry of the plane that surrounds the line.

    Recently I talked about how numbers have multiple purposes and one of those purposes is locating. When you draw a number line, that’s pretty much what you’re doing – saying that the numbers are exactly locations on that line. There is an issue with this idea, which is this: how do you add or multiply locations?

    The usual way of dealing with this is to think of numbers as not just locations but journeys too, so that when we see something like 10+3, the first number is a location and the second one is a journey and the answer 13 is the location we arrive at by beginning at 10 and travelling onwards 3. This is fine and I like it very much, actually, but there is still the huge problem of how to multiply locations or indeed how to multiply journeys. You can say that 3×10 is three lots of a journey of 10, which makes sense, but now the 3 is neither a journey nor a location but a literal amount and we have three different things so far that the numbers mean. Is there a way that preserves the location-ness of everything?

    Yes, there is.

    There is indeed a way to define addition and multiplication of locations on a number line that preserves their fundamental location-ness, by looking outwards to the other lines of the plane your line is part of. The system doesn’t directly use lengths or angles, but only uses the most fundamental geometrical actions of drawing lines through two points, finding where two lines meet, and drawing lines parallel to other lines. This is my favourite thing about it, that it’s fully based on the relationships between the points and the lines as objects. As a pure mathematician and a finite geometer specifically, geometry isn’t really about measurements at all but is all about relationships, so something that focuses on the relationships deeply appeals to me.

    I created this method in October 2020, heavily based on the method invented by Marshall Hall Jr in the late 1950s. Hall’s method works by adding coordinates to all the points in the plane including the ones on your number line, making equations for the lines, and referring to the coordinates of specific points on specific lines to define the arithmetic. I studied his method in 2001 while doing the honours year in my undergraduate maths degree, but it wasn’t until 19 years later that I realised there was a way to do it without referring to coordinates, by focusing my attention on the number line itself rather than the coordinate axes. My method for multiplication also has striking similarities to René Descartes’ original definition for the multiplication of lengths published in the 1630s, even though I didn’t mean it to and only found this out later. An important difference between them is that his method has the two factors on different sides of a triangle instead of along the same line. I find it very interesting that Hall’s book is called “The Theory of Groups” and Descartes’ book is called “Geometry”, highlighting the deep connection between geometry and algebra which all three methods point to.

    Anyway, enough historical notes. Let’s get to it.

    How to do geometric arithmetic

    You can watch me doing both processes live in a video here, or you can read a text description and see screenshots from the video below.

    Setting up

    To do parallel line arithmetic, you need to set up a few things.

    First, choose a line to be your number line. The points on the number line are your numbers.

    Next, you’ll need to choose two different points on the line to call 0 and 1. The point 0 will be important for defining addition and both 0 and 1 will be important for defining multiplication.

    A photo of a piece of white paper with a ruler on top of it. There is a line drawn in grey labelled "number line" and two points marked on it labelled 0 and 1.

    Finally, you’ll need to choose two lines other than the number line itself that are not parallel to the number line and not parallel to each other. It doesn’t really matter where they are because the specific lines themselves aren’t important, only their directions, since during the constructions for addition and multiplication, you won’t be making them intersect with any lines. Instead you will draw several lines parallel to each of these lines. I call one direction “home” and the other “away”. (The reason why I chose these words specifically rather than “in” and “out” for example is because I am Australian and “Home and Away” means something to me.) To make it easier to focus when I’m drawing diagrams for the arithmetic, I usually put my home and away lines a bit away from the part of my number line I drew.

    A photo of a piece of paper. A grey horizontal line is labelled "number line" and has points marked 0 and 1. A red line is drawn across the top left corner and is labelled "away". A blue line is drawn across the top right corner and is labelled "home".

    Addition

    To add two numbers geometrically, you follow this process.

    First, you need to have your two points a and b, and the point 0 on your number line. You don’t need a and b to be different from each other or different from 0, but I’ve drawn them as different to make it easier to show how the process works.

    A photo of a piece of paper. A grey horizontal line is labelled "number line" and has points marked 0 and a and b. A red line is drawn across the top left corner and is labelled "away". A blue line is drawn across the top right corner and is labelled "home".

    Create a journey from 0 to a first following the away direction and then following the home direction. That is, draw a line through 0 parallel to the away line.

    One hand holds a ruler in place through the point marked 0 parallel to the "away" line, while the other hand holds a red marker and draws a line along the ruler.

    Then draw a line parallel to the home line that passes through a.

    One hand holds a ruler in place through the point marked a parallel to the "home" line, while the other hand holds a blue marker and draws a line along the ruler from the existing red line and finishing at a.

    Find the point where these two lines meet. If you follow the journey from 0 to a first along the away direction and then along the home direction, this point is where the journey turns from going away to going home.

    Now draw a line parallel to the number line, through this turning point. This is the turning line for all additions that go some number plus a.

    One hand holds a ruler in place through the point where the previous red and blue lines meet and parallel to the number line. The other hand holds a green marker and draws a new line along the ruler.

    Now you are ready to do b+a.

    Draw a line through b parallel to the away line and find where it meets the turning line. This is where the journey from b will turn and return home to the number line.

    One hand holds a ruler in place through the point marked b parallel to the "away" line, while the other hand holds a red marker and draws a line along the ruler to finish on the green line marked "turn line".

    Now draw a line through this turning point parallel to the home line, and find where it meets the number line.

    One hand holds a ruler in place through the point where the red line though b meets the green turn line and parallel to the home line. The other hand holds a blue marker and draws a line along the ruler to finish on the number line.

    This point is the point b+a.

    A photo of the finished drawing. A journey from 0 to a follows the away direction then the home direction, and a green line parallel to the number line passes through the turning point. A journey from b follows the away direction then home direction, turning on the turn line, and arriving on the number line at a point marked b plus a.

    Multiplication

    To add two numbers geometrically, you follow this process, which is similar to the process for addition, but with two very important differences.

    First, you need to have your two points a and b, and the two points 0 and 1 on your number line. Just like before, you don’t need a and b to be different from each other or different from 0 or 1, but I have chosen them that way to make it easier to show how the process works.

    A photo of a piece of paper. A grey horizontal line is labelled "number line" and has points marked 0 and 1 and a and b. A red line is drawn across the top left corner and is labelled "away". A blue line is drawn across the top right corner and is labelled "home".

    Create a journey from 1 to a first following the away direction and then following the home direction. (This is the first point of difference between multiplication and addition, that the journey begins at 1 and not 0.)

    That is, draw a line through 1 parallel to the away line.

    One hand holds a ruler in place through the point marked 1 parallel to the "away" line, while the other hand holds a red marker and draws a line along the ruler.

    Then draw a line parallel to the home line that passes through a.

    One hand holds a ruler in place through the point marked a parallel to the "home" line, while the other hand holds a blue marker and draws a line along the ruler from the existing red line and finishing at a.

    Find the point where these two lines meet. If you follow the journey from 1 to a first along the away direction and then along the home direction, this point is where the journey turns from going away to going home.

    Now draw a line that passes through both this turning point and 0. This is the turning line for all multiplications that go some number times a. (This is the second point of difference between multiplication and addition, that the turning line passes through 0 rather than being parallel to the number line.)

    One hand holds a ruler in place through the point where the previous red and blue lines meet and also through 0. The other hand holds a green marker and draws a new line along the ruler.

    Now you are ready to do b×a.

    Draw a line through b parallel to the away line and find where it meets the turning line. This is where the journey from b will turn and return home to the number line.

    One hand holds a ruler in place through the point marked b parallel to the "away" line, while the other hand holds a red marker and draws a line along the ruler to finish on the green line marked "turn line".

    Now draw a line through this turning point parallel to the home line, and find where it meets the number line.

    One hand holds a ruler in place through the point where the red line though b meets the green turn line and parallel to the home line. The other hand holds a blue marker and draws a line along the ruler to finish on the number line.

    This point is the point b×a.

    A photo of the finished drawing. A journey from 1 to a follows the away direction then the home direction, and a green line passes through both 0 and the turning point. A journey from b follows the away direction then home direction, turning on the turn line, and arriving on the number line at a point marked b plus a.

    Thoughts

    So that’s David Butler’s methods of geometric addition and multiplication. I love it so much, especially the multiplication. Addition is a little more complicated than you’d expect if you are used to adding numbers by joining journeys head to tail, but multiplication somehow feels so much simpler than it has a right to be.

    My favourite thing to do is to convince myself that various algebraic properties of numbers have to be true using these two definitions of addition and multiplication. For example, this diagram shows that a+b = b+a (at least for positive numbers).

    A photo of a piece of paper with a drawing on it. A grey horizontal line is labelled "number line" and has points marked 0, a, b and b+a = a+b. A red line is drawn across the top left corner and is labelled "away". A blue line is drawn across the top right corner and is labelled "home". Red lines parallel to the away line start at 0 and b, going up to a green line labelled "turn line for +a" and then followed by blue lines parallel to the home line going down to the number line finishing at a and b+a. Red lines parallel to the away line go up from 0 and a, turning at a green line labelled "turn line for +b" and then going down as blue lines parallel to the home line and ending at b and a+b.

    And this diagram shows that b+b = b×2 (at least for numbers more than 1).

    A photo of a piece of paper with a drawing on it. A grey horizontal line is labelled "number line" and has points marked 0, 1, 2, b and b+b=b times 2. A red line is drawn across the top left corner and is labelled "away". A blue line is drawn across the top right corner and is labelled "home". A zigzag alternating red and blue starts at 0, bounces off a green line labelled "turn line for +1", hits 1, then bounces off the green line again and hits 2. Another zizgag alternating red and blue goes up from 0, hits a green line labelled "turn line for +b" and goes down to hit b, then goes up and down again to hit b+b. A green line goes through 0 and the second turning point of both zigzags. This line is labelled "turn line for times 2"

    And this diagram shows that when you multiply two negative numbers, you get a positive number. (I know those numbers are negative because they’re on the opposite side of 0 from 1.)

    A photo of a piece of paper with a drawing on it. A grey horizontal line is labelled "number line" and has points marked b, a, 0, 1 and a times b, in that order. A red line is drawn across the top left corner and is labelled "away". A blue line is drawn across the top right corner and is labelled "home". A red line parallel to the away line goes down from 1, and meets a blue line parallel to the home line which goes up to b. The place where they meet has a green line through it that also goes through 0, and this line is labelled "turn line for times b". A red line parallel to the away line goes up from a to hit this turn line, then a blue line goes down from there to hit the number line at a times b.

    Yeah none of them are formal proofs, but I still love them.

    The truly remarkable thing is that it doesn’t matter how you choose your home and away directions, it will still work! For example, here are three diagrams showing 1+1=2 and 2×2=4.

    A photo of a piece of paper with a drawing on it. A grey horizontal line is labelled "number line" and has points marked 0, 1, 2, 4. A red line labelled "away" is drawn vertically on the left of the page, and a blue line labelled "home" goes very gently down from left to right across the top. A zigzag alternating red and blue starts at 0, goes up as a red line to hit a green line labelled "turn line for +1", then goes gently down as a blue line to hit 1, then goes up red and down blue again to hit 2. Then it goes up as red further than before and down as blue to hit 4. 0 and the first turning point and the second turning point are joined by a diagonal line labelled "turn line for times 2".
    A photo of a piece of paper with a drawing on it. A grey horizontal line is labelled "number line" and has points marked 0, 1, 2, 4. A red line labelled "away" is drawn vertically sloping up and to the right across the left corner of the page. A steeper blue line labelled "home" is above it closer to the same corner. A very spiky zigzag alternating red and blue starts at 0, goes up as a red line to hit a green line labelled "turn line for +1", then goes sharply down and backwards as a blue line to hit 1, then goes up red and down blue again to hit 2. Then it goes up as red further than before and down as blue to hit 4. 0 and the first turning point and the second turning point are joined by a diagonal line labelled "turn line for times 2".
    A photo of a piece of paper with a drawing on it. A grey horizontal line is labelled "number line" and has points marked 0, 1, 2, 4. A red line labelled "away" is drawn sloping down and tor the right across the top right corner of the page, and a steeper blue line labelled "home" is above it further into the corner. A zigzag alternating red and blue starts at 0, goes down as a red line to hit a green line labelled "turn line for +1", then goes almost vertically up as a blue line to hit 1, then goes down red and up blue again to hit 2. Then it goes down as red further than before and up as blue to hit 4. 0 and the first turning point and the second turning point are joined by a diagonal line labelled "turn line for times 2".

    The geometry of the real plane is so neatly structured that it works every time. If our number line was in a plane with a different structure, this might not work the same every time. Indeed, you may end up with entirely different rules for how addition or multiplication work, such as multiplication not being associative.(That is, (a×bc not being the same as a×(b×c), which is very annoying!)

    I may do future blog posts about some of that other stuff, but for now, I’m enjoying just revelling in the coolness that is the existence of a method for multiplying locations, and the even higher coolness of watching geometry cause the algebraic properties of numbers. I hope you enjoyed it too.

  • Complex lines with i-arrows again

    Once upon a time (in 2016), I created a way to visualise where the complex points are in relation to the real plane, and then more recently (in 2022), I modified it to become the concept of i-arrows. I reread those blog posts recently while updating the blog to the new website, and I got all interested in them again. Here is what I’ve been working on over the last few weeks.

    You can read the rest of this blog post in PDF form here. 

  • Gerry-mean-dering

    A recent video from Howie Hua showed how if you split a collection of numbers into equal-sized groups, then find the mean of each group, then find the mean of those means, it turns out this final answer is the same as the mean of the original collection. He was careful to say it usually does not work if the groups were different sizes. Which got me to wondering: just how much of an effect on the final mean-of-means can you have by splitting a collection of numbers into different-sized groups?

    You can read the rest of this blog post in PDF form here. 

  • Where the complex points are: i-arrows

    Once upon a time in 2016, I created the idea of iplanes, which I consider to be one of my biggest maths ideas of all time. It was a way of me visualising where the complex points are on the graph of a real function while still being able to see the original graph. But there was a problem with it: the thing I want, which is to see where the complex points are (or at least look like they are) is several steps away from locating them.

    However, in my original series of blog posts, I actually already created a solution to this problem! I can draw a complex number as an arrow on the real line, which starts at the real part and extends in the length and direction of the imaginary part. Anyway, combining this arrow model of a complex number from an x-coordinate and a y-coordinate produces an arrow in the plane. The point (p+si,q+ti) is an arrow based at the point (p,q) and extending along the journey (s,t) from there. 

    This is the representation I need. I have decided to call them i-arrows.

    You can read the rest of this blog post, and all eight blog posts in the i-arrows series, in PDF form here. 

    The titles of the eight posts in the series are:

    1. Where the complex points are: i-arrows
    2. The complex points on a line using i-arrows
    3. Further updates on the complex points on an unreal line using i-arrows
    4. The complex points on a line in finite geometry using i-arrows
    5. The complex points on a parabola using i-arrows
    6. The complex points on real circles using i-arrows
    7. The complex points on unreal circles using i-arrows
    8. The line joining two complex points using i-arrows

    UPDATE: There was a later blog post in 2024 further investigating the line joining two complex points.

  • Where the complex points are: on a real circle

    In 2016 I created the iplane idea, which allows you to locate the complex points on a real graph. Ever since I had this idea, I have wondered on and off about the complex points on a circle. It’s time to write about what I’ve found.

    You can read the rest of this blog post in PDF form, along with the other six posts in the series, here. 

    The titles of the seven posts in the series are:

    • Where the complex points are
    • Where the complex points are on a line
    • Where the complex points are on a parabola
    • Where the complex points are on the graph of a function
    • Where the idea came from for where the complex points are
    • Where the complex points are on a complex line (again)
    • Where the complex points are on a real circle
  • Where the complex points are: on a complex line (again)

    It’s been four years since I came up with the idea of iplanes as a way to organise the complex points on a graph, and in the intervening time I have thought about them on and off. For some reason right now I am thinking about them a lot, and I thought I would write down some of what I am thinking.

    You can read the rest of this blog post in PDF form, along with the previous six posts in the series, here. 

    The titles of the seven posts in the series are:

    • Where the complex points are
    • Where the complex points are on a line
    • Where the complex points are on a parabola
    • Where the complex points are on the graph of a function
    • Where the idea came from for where the complex points are
    • Where the complex points are on a complex line (again)
    • Where the complex points are on a real circle
  • Likeable primes

    There is a Twitter account that tweets the prime numbers once an hour in sequence. (The handle is @_primes_ .) Since before I joined Twitter, it’s been working its way through the six-digit primes and some of them are very nice. A lot of other people think they’re nice too, based on the fact that they are given likes and retweets. But what is it that motivates people to do this? What is it that makes a prime likeable? Well, that’s what this post is about.

    You can read the rest of this blog post in PDF form here. 

  • Where the complex points are

    When you first learn complex numbers, you find out that they give you ways to solve equations that were previously unsolvable. The classic example is the equation equation \(x^2 + 1 = 0\), which if you’re only using real numbers has no solutions, but with complex numbers has the solutions \(x=i\) and \(x=-i\).

    As someone who likes to imagine the physical reality of everything, this has always caused me considerable difficulties. The equation \(x^2 + 1 = 0\) can be thought of as the equation that tells you where the parabola with equation \(y = x^2 + 1\) meets the x-axis.

    Only the parabola with equation \(y = x^2 +1\) doesn’t meet the x-axis. If our complex number solutions are to be believed, then it meets the x-axis in the points \((i,0)\) and \((-i,0)\), but I certainly can’t see those points on my graph. Where are they?

    Presumably there are a whole host of points with complex coordinates, which are points where various things meet that don’t look like they meet. These points must be somewhere, and they must be some place that is somehow related to the graphs I see in the real plane. But where is this place?

    Well, about a week ago, I finally found the place where the complex points are!

    You can read the rest of this blog post, and all seven of the blog posts in the series, in PDF form here. 

    The titles of the seven posts in the series are:

    • Where the complex points are
    • Where the complex points are on a line
    • Where the complex points are on a parabola
    • Where the complex points are on the graph of a function
    • Where the idea came from for where the complex points are
    • Where the complex points are on a complex line (again)
    • Where the complex points are on a real circle

    UPDATE: There was a later blog post in 2016 where I slightly modified the idea from i-planes to i-arrows, and a later blog post in 2024 further investigating the line joining two complex points using i-arrows.