Earlier today, I saw this post from @thalesdisciple about visualising the irrationality of π:
He links to this excellent Desmos graph which uses sliders and lists to plot the set of points he describes. Then I had a flashback to a conversation I had over 10 years ago when I was mentoring Maths undergraduates.
What are the π-th roots of unity?
That was the question that a first year asked in one of our meetings. I think it was intended partly out of natural curiosity and partly as a general distraction from the kind of maths we should have been doing. It turned out to be more interesting than he perhaps hoped.
Writing hides some rather interesting and important facts. Notably, as with all roots of unity, we should expect multiple values. Clearly, so is a solution of , but what are the others? And how many of them are there?
The Second Solution
While many argue that is the most beautiful formula in mathematics, if we square both sides then we see and thus is another π-th root of unity.
But how can we make sense of this number ? Is it real? No. Can we plot it on an Argand diagram? Yes.
Using the form , we can write
That’s not particularly impressive, but it tells us the location of this complex number: it lies on the unit circle at an angle 2 radians to the positive real axis. (2 radians is just shy of 120 degrees.) Here are the solutions we have found so far, plotted on the unit circle:
On a roll
Now we are in a position to generalise what we have found so far. Noting that then is a π-th root of unity for ever natural number . We now have (countably) infinitely many points of the form
So let’s plot some more and see what happens.
There is something behind this ‘clustering’ and (approximately) even distribution of the points. When we plot precisely 355 points, they once again look evenly distributed:
And there is even more to discover: zooming in on the 355 points shows them to be clearly spread and separated. However, the next 355 stick right beside them! Plotting 710 points actually creates 355 clusters of double points.
Truth be told, I cannot really explain with mathematical rigour why there is the apparent spreading and clustering that we see in the above plots. However, there is an observation to be made about the numbers of clusters. To recap, the pattern was 3 evenly spread; then 22; then 355. These are the numerators of successively better rational approximations to the value of π:
Think, Pair, Share
- Play with the Demos sheet that I created, based on Joshua Bowman’s.
- Try the homework I set my student: to prove that the (countably infinite) set of π-th roots of unity forms a group under multiplication. [Edit: can be any integer, not just a natural number.]
- Can you prove that this set of numbers is dense in the unit circle? [Joshua has this video on YouTube which does a great job of explaining the concept of a ‘dense’ subset.]
- Can you explain the connection between the ‘clustering’ and the rational approximations?