The equation
We show that the Diophantine equation of the title has, for , no solution in coprime nonzero integers and . Our proof relies upon Frey curves and related results on the modularity of Galois representations.
Let be a nonzero cuspidal Hecke eigenform of weight and the trivial nebentypus , where the Fourier coefficients are real. Bruinier and Kohnen conjectured that the signs of are equidistributed. This conjecture was proved to be true by Inam, Wiese and Arias-de-Reyna for the subfamilies , where is a squarefree integer such that . Let and be natural numbers such that . In this work, we show that is equidistributed over any arithmetic progression .