OFFSET
1,1
COMMENTS
If p==1 (mod 16) then both the quartic and the octonic Gauss sums are real numbers. The sign of the difference is undecided on page 164, Theorem 4.3.1 of "Gauss and Jacobi sums" by Berndt, Evans and Williams (1998).
REFERENCES
Bruce C. Berndt, Ronald J. Evans and Kenneth S. Williams, Gauss and Jacobi Sums, Wiley Interscience, 1998, page 164.
LINKS
Bruce C. Berndt and Ronald J. Evans, Sums of Gauss, Jacobi, and Jacobsthal, Journal of Number Theory, Volume 11, Issue 3, 1979, Pages 349-398.
MATHEMATICA
Select[Prime[Range[100]], Mod[#, 2^(4)] == 1 &&
Re[Sum[Exp[k^(2^(3))*2*Pi*I/#] - Exp[k^(2^(2))*2*Pi*I/#], {k, 0, # - 1}]/Sqrt[#]] > 0 &]
CROSSREFS
KEYWORD
nonn
AUTHOR
Zoltan Reti, Nov 17 2025
STATUS
approved
