Skip to main content
3 of 4
deleted 60 characters in body
Ofir Gorodetsky
  • 14.6k
  • 1
  • 66
  • 79

Your claim is never true for $n=1$, assuming nondegeneracy. This gives also many counterexamples for $n>1$ using Hensel's lemma.

In Lidl and Niederreiter's book "Finite Fields", 2nd edition, Chapter 6, section 2 (quadratic forms) you'll find plenty of information on the $n=1$ case. In particular, from their Theorem 6.27 it follows that for fixed $n$ and nondegenerate $B\colon (\mathbb{Z}/p\mathbb{Z})^{2k+1}\times (\mathbb{Z}/p\mathbb{Z})^{2k+1} \to \mathbb{Z}/p\mathbb{Z} $, the number of solutions to $B(x,x)=c$ is a non-constant (explicit) function of the Legendre symbol of $c$ mod $p$.

The reason for the parity difference is essentially their Lemma 6.24, showing that quadratic forms in two variables are well-behaved, namely the function $b \mapsto \#\{(x_1,x_2): a_1 x_1^2 + a_2 x_2^2 =b\}$ is essentially constant (depends only on whether $b=0$ or not), and then some linear algebra allows you to reduce the study of $B(x,x)=c$ when $x \in (\mathbb{Z}/p\mathbb{Z})^{2k}$ to $k=1$ (which behaves almost like a constant) and the study of $B(x,x)=c$ when $x \in (\mathbb{Z}/p\mathbb{Z})^{2k-1}$ to $k=1$, that is, counting $b$ with $ax^2 = b$, which clearly depends on the Legendre symbol of $b$.

Ofir Gorodetsky
  • 14.6k
  • 1
  • 66
  • 79