Как хорошо известно, целое число a, не делящееся на простое число p?2, называется квадратичным вычетом, если сравнение x² ? a(mod p) разрешимо. Гаусс ввел символ

(

a p

) ,

равный +1 или –1 в зависимости от того, является ли a квадратичным вычетом или невычетом по mod p. Он же заметил, что тот является характером,

(

a p