I love Futility Closet -- it's an incredible collection of interesting bits and pieces, but it has a special place in my heart because *they love and appreciate maths*. Not only that, they appreciate maths that *I* find interesting. The internet has many interesting miscellanies, and many excellent sites specialising in maths, but very few that mix maths up with other stuff. So well done them.

For example, this post set me thinking about whether there's a simple way to generate Machin-like formulas for $\pi$ using Fibonacci sums? Well, it turns out, not exactly -- while $\arctan\br{\frac{1}{1}} = \arctan\br{\frac{1}{2}} + \arctan\br{\frac{1}{3}}$, it's not the case that $\arctan\br{\frac{1}{2}} = \arctan\br{\frac{1}{3}} + \arctan\br{\frac{1}{5}}$. But what is it? And why?

Suppose I want to find $x$ such that $\arctan\br{x} = \arctan\br{\frac{1}{2}} - \arctan\br{\frac{1}{3}}$. How would I do that? Obviously, there are calculators available, but who wants to use *those*?1

I could apply $\tan$ to both sides to get $x = \tan\br{\arctan\br{\frac{1}{2}} - \arctan\br{\frac{1}{3}}}$, which at first looks preposterous, but bear with me: if we let $A=\arctan\br{\frac{1}{2}}$ and $B=\arctan\br{\frac{1}{3}}$, we can apply our compound angle formulas and state that $x = \frac{\tan(A)-\tan(B)}{1+\tan(A)\tan(B)}$; and we know what $\tan(A)$ and $\tan(B)$ are, they're $\frac{1}{2}$ and $\frac{1}{3}$, respectively.

This is going to become a mess of fractions, but we can live with that: $x = \frac{\frac{1}{2}-\frac{1}{3}}{1+ \frac{1}{2}\times \frac{1}{3}}$. Now multiply top and bottom by 6 to get $x = \frac{3-2}{6+1} = \frac{1}{7}$.

(We can also generalise a bit here: if $\tan(A) = \frac{1}{a}$ and $\tan(B) = \frac{1}{b}$, we always get $\tan\br{A-B}=\frac{a-b}{ab+1}$.)

If we wanted to make a Machin-like formula based on this idea, we might start with $\arctan\br{\frac{1}{1}} = \arctan\br{\frac{1}{2}} + \arctan\br{\frac{1}{3}} = \piby{4}$ and say: what happens if we systematically replace the larger fraction? We already know what we can do with the first term - we just worked out $\arctan \br {\frac{1}{2}} = \frac{1}{3} + \frac{1}{7}$.

That makes our identity $ \piby{4} = 2\arctan \br{\frac{1}{3}} + \arctan \br{\frac{1}{7}}$.

What about $\arctan \br{\frac{1}{3}}$? Well, we know we can write it as $\arctan \br{\frac{1}{5}} + \arctan \br{\frac{1}{8}}$, because the article says so, but I like the look of $\arctan \br{ \frac{1}{4}} + \arctan \br{ \frac{1}{13}}$, which comes from the formula before.

Now I'm going to do something I should have done a long time ago: I will now define the function $A(x)$ to be $\arctan\br{\frac{1}{x}}$, mainly to save me some typing.

We've got $\piby 4 = 2 \br { A(4) + A(13) } + A(7)$

We can say $A(4) = A(5) + A(21)$, giving us $\piby 4 = 2 A(5) + A(7) + 2A(13) + 2A(21)$.

Then $A(5) = A(6) + A(31)$, so we have $\piby4 = 2A(6) + A(7) + 2A(13) + 2A(21) + 2A(31)$.

Lastly for now, $A(6) = A(7) + A(43)$, giving $\piby4 = 3A(7) + 2A(13) + 2A(21) + 2A(31) + 2A(43)$.

The further along we go, the more elements we will have in the right-hand side, but - when applying the Gregory-Leibniz formula2 (which is really a Maclaurin series3 ), $\arctan(x) = x + \frac{1}{3}x^3 + \frac{1}{5}x^5 + ...$, we need fewer and fewer terms in each sequence for it to converge to a nice answer.

I've been fairly careless about how I picked the next number in each case - picking 'the next integer' does always guarantee a unit fraction in the next phase, but we can do better.

For example, $A(x) - A(x+2)$ works out to be $A\br{\frac{2}{(x+1)^2}}$ -- and $x+1$ is even if $x$ is odd. So, whenever we have an odd $x$ as our biggest term, we can pick the next integer to be *two* bigger rather than 1.

This can be extended WAY further! With a great deal of work, you can find that you can jump a distance of $n$as long as $x^2 = -1 \pmod {n}$- which happens surprisingly often!

Since the Fibonacci numbers satisfy $F(n)F(n+2) = F(n+1)^2 \pm 1$, with the sign alternating -- the curiosity given by Futility Closet works!

## John Bibby

I’m stuck!

Who/What is/are/was Machin?

What’s this got to do with quadratic residues?

## Colin

Excellent questions, well presented!

The first one, I can answer: this is Machin. Around the same time as Newton, he came up with rapidly-converging series for $\pi$.

The second, I must confess to being at a bit of a loss about (I wrote this a long time ago). I suspect I wrote the heading before the post and got sidetracked! At a quick glance over, I think it’s to do with the $\pm 1$s that come out towards the end, but I will have to go back and Think on a day when I have some Brain.