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.