Machin Variations
For positive integral u, v, and k and integral m and n,
These are, in fact, all the nontrivial solutions of (*). This was a problem of Gravé's solved by Stormer in 1897. The problem can be reduced to finding integral solutions of or , n 3, n odd.