Machin Variations

For positive integral u, v, and k and integral m and n,

if and only if is real. Thus

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.