We show that the Generalized Sato-Tate Conjecture permits to obtain rather precise information on the distribution of the consecutive quadratic residues modulo large primes.
рдкреЗрдкрд░ ID : 2509.07183рд╢реАрд░реНрд╖рдХ : рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╕рд╛рддреЛ-рддреИрддреЗ рдФрд░ рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖рд▓реЗрдЦрдХ : рд╕рд░реНрдЧреЗрдИ рд╡реНрд▓рд╛рджреБрдд (рдПрдХреНрд╕-рдорд╛рд░реНрд╕рд┐рд▓реЗ рд╡рд┐рд╢реНрд╡рд╡рд┐рджреНрдпрд╛рд▓рдп, CNRS, I2M UMR 7373)рд╡рд░реНрдЧреАрдХрд░рдг : math.NT (рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд), math.AG (рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐)рдкреНрд░рдХрд╛рд╢рди рд╕рдордп : 16 рдЕрдХреНрдЯреВрдмрд░ 2025 (arXiv v2)рдкреЗрдкрд░ рд▓рд┐рдВрдХ : https://arxiv.org/abs/2509.07183 рдпрд╣ рдкреЗрдкрд░ рд╕рд┐рджреНрдз рдХрд░рддрд╛ рд╣реИ рдХрд┐ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╕рд╛рддреЛ-рддреИрддреЗ рдЕрдиреБрдорд╛рди рдмрдбрд╝реЗ рдЕрднрд╛рдЬреНрдп рд╕рдВрдЦреНрдпрд╛рдУрдВ рдХреЗ рдорд╛рдкрд╛рдВрдХ рдореЗрдВ рдХреНрд░рдорд╛рдЧрдд рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рдХрд╛рдлреА рд╕рдЯреАрдХ рдЬрд╛рдирдХрд╛рд░реА рдкреНрд░рджрд╛рди рдХрд░ рд╕рдХрддрд╛ рд╣реИред рдпрд╣ рдкреВрд░реНрд╡рд╡рд░реНрддреА рдХрд╛рд░реНрдп KTVZ рдХреА рдирд┐рд░рдВрддрд░рддрд╛ рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдХреНрд░рдорд╛рдЧрдд рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рдХрдИ рдЦреБрд▓реА рд╕рдорд╕реНрдпрд╛рдУрдВ рдХрд╛ рд╕рдорд╛рдзрд╛рди рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИред
рдЗрд╕ рдкреЗрдкрд░ рдореЗрдВ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреА рдореВрд▓ рд╕рдорд╕реНрдпрд╛ рдХреНрд░рдорд╛рдЧрдд рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдирд┐рдпрдо рд╣реИрдВред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ, рд╡рд┐рд╖рдо рдЕрднрд╛рдЬреНрдп p рдХреЗ рд▓рд┐рдП, рдЕрдиреБрдХреНрд░рдо 1, 2, ..., p-1 рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░реЗрдВ, рдкреНрд░рддреНрдпреЗрдХ рд╕рдВрдЦреНрдпрд╛ i рдХреЛ R рд╕реЗ рдкреНрд░рддрд┐рд╕реНрдерд╛рдкрд┐рдд рдХрд░реЗрдВ (рдпрджрд┐ i, p рдХреЗ рдорд╛рдкрд╛рдВрдХ рдореЗрдВ рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖ рд╣реИ) рдпрд╛ N (рдЕрдиреНрдпрдерд╛), рд╕реНрдЯреНрд░рд┐рдВрдЧ Wp рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВред рдЕрдиреБрд╕рдВрдзрд╛рди рдХрд╛ рд▓рдХреНрд╖реНрдп рдХреНрд░рдорд╛рдЧрдд t рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рдкреНрд░рдХрдЯреАрдХрд░рдг рдХреА рд╕рдВрдЦреНрдпрд╛ np(t) рдХреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╡реНрдпрд╡рд╣рд╛рд░ рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХрд░рдирд╛ рд╣реИред
рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреА рдиреАрдВрд╡ : рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХрд╛ рд╡рд┐рддрд░рдг рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдореЗрдВ рдПрдХ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рдорд╕реНрдпрд╛ рд╣реИ, рдЬреЛ рд▓реАрдЬреЗрдВрдбреНрд░реЗ рдкреНрд░рддреАрдХ, рдЬреИрдХреЛрдмрд╕реНрдерд▓ рдпреЛрдЧ рдЖрджрд┐ рд╕реЗ рдирд┐рдХрдЯрддрд╛ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИрд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕реНрд╡рддрдВрддреНрд░рддрд╛ : рдпрд╣ рд╕рдорд╕реНрдпрд╛ рдордЬрдмреВрдд рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рдорд╛рдиреНрдпрддрд╛рдУрдВ рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддреА рд╣реИ, рдЬреЛ рд╡рд░реНрддрдорд╛рди рддрдХрдиреАрдХреА рд╕реНрддрд░ рдкрд░ рдкреВрд░реА рддрд░рд╣ рд╕реЗ рдЕрдкреНрд░рд╛рдкреНрдп рд╣реИрдВрдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рд╕рдВрдмрдВрдз : рд╕рдорд╕реНрдпрд╛ рдкрд░рд┐рдорд┐рдд рдХреНрд╖реЗрддреНрд░реЛрдВ рдкрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╡рдХреНрд░реЛрдВ рдФрд░ рдПрдмреЗрд▓рд┐рдпрди рдХрд┐рд╕реНрдореЛрдВ рд╕реЗ рдШрдирд┐рд╖реНрда рд░реВрдк рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИt тЙд 3 рдХреЗ рд▓рд┐рдП, рд╕реНрдкрд╖реНрдЯ рд╕реВрддреНрд░ рдореМрдЬреВрдж рд╣реИрдВ (рдПрд▓реНрдбрд╛рдиреЛрд╡, рдЬреИрдХреЛрдмрд╕реНрдерд▓ рдЖрджрд┐ рдХреЗ рд╢рд╛рд╕реНрддреНрд░реАрдп рдкрд░рд┐рдгрд╛рдо) t тЙе 4 рдХреЗ рд▓рд┐рдП, рд╕рдорд╛рди рд╕реНрдкрд╖реНрдЯ рд╕реВрддреНрд░ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреА рдХреЛрдИ рдЖрд╢рд╛ рдирд╣реАрдВ рд╣реИ рдордЬрдмреВрдд рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рдорд╛рдиреНрдпрддрд╛рдУрдВ рдкрд░ рдирд┐рд░реНрднрд░ рдХрд░рдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ, рдЬреЛ рд╡рд░реНрддрдорд╛рди рдореЗрдВ рд╕рд┐рджреНрдз рдирд╣реАрдВ рдХрд┐рдП рдЬрд╛ рд╕рдХрддреЗ рд▓реЗрдЦрдХ рдХрд╛ рдореБрдЦреНрдп рдЕрд╡рд▓реЛрдХрди рдпрд╣ рд╣реИ: рдпреЗ рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рдорд╛рдиреНрдпрддрд╛рдПрдВ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╕рд╛рддреЛ-рддреИрддреЗ рдЕрдиреБрдорд╛рди (GST) рдХреЗ рд╡рд┐рд╢реЗрд╖ рдорд╛рдорд▓реЛрдВ рд╕реЗ рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИрдВ, рдФрд░ GST рдХреЗ рдХреБрдЫ рдЬреНрдЮрд╛рдд рдорд╛рдорд▓реЗ рд╕рдВрдмрдВрдзрд┐рдд рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдХрд╛рд░реНрдпреЛрдВ рдХреЗ рд▓рд┐рдП рджрд┐рд▓рдЪрд╕реНрдк рдКрдкрд░реА рдФрд░ рдирд┐рдЪрд▓реА рд╕реАрдорд╛рдПрдВ рдкреНрд░рджрд╛рди рдХрд░ рд╕рдХрддреЗ рд╣реИрдВред
рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рд╕рдВрдмрдВрдз : рдХреНрд░рдорд╛рдЧрдд рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдФрд░ рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╕рд╛рддреЛ-рддреИрддреЗ рдЕрдиреБрдорд╛рди рдХреЗ рдмреАрдЪ рдЧрд╣рд░реЗ рд╕рдВрдмрдВрдз рдХреА рд╕реНрдерд╛рдкрдирд╛рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдкрд░рд┐рдгрд╛рдо : GST рдорд╛рдиреНрдпрддрд╛ рдХреЗ рддрд╣рдд, 4 рдФрд░ 5 рдХреНрд░рдорд╛рдЧрдд рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдХреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рдкрд░рд┐рдгрд╛рдо рдкреНрд░рд╛рдкреНрдд рдХрд┐рдПрдмрд┐рдирд╛ рд╢рд░реНрдд рд╕реАрдорд╛рдПрдВ : GST рдХреЗ рдЬреНрдЮрд╛рдд рдорд╛рдорд▓реЛрдВ (рджреЛ рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХрд╛ рдЙрддреНрдкрд╛рдж) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рдХреЗ, рд╕рдорд╛рди рд▓реЗрдХрд┐рди рдХрдордЬреЛрд░ рдмрд┐рдирд╛ рд╢рд░реНрдд рд╕реАрдорд╛рдПрдВ рд╕реНрдерд╛рдкрд┐рдд рдХреАрд╕рдЯреАрдХ рдЕрдиреБрдорд╛рди : np(t) - p/2^t рдХреЗ рд╕рдЯреАрдХ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╡рд┐рддрд░рдг рдкреНрд░рджрд╛рди рдХрд┐рдП, рдЬрд┐рд╕рдореЗрдВ рд╕рдорд░реНрдерди рдЕрдВрддрд░рд╛рд▓ рдФрд░ рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рдорд╛рдк рд╢рд╛рдорд┐рд▓ рд╣реИрдВрд╡рд┐рд╖рдо рдЕрднрд╛рдЬреНрдп p рдФрд░ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ t рджрд┐рдП рдЧрдП рд╣реИрдВ, рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд░реЗрдВ:
Wp: рд▓рдВрдмрд╛рдИ p-1 рдХреА рд╕реНрдЯреНрд░рд┐рдВрдЧ, i-рд╡рд╛рдВ рд╕реНрдерд╛рди R рд╣реИ (рдпрджрд┐ i, p рдХреЗ рдорд╛рдкрд╛рдВрдХ рдореЗрдВ рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖ рд╣реИ) рдпрд╛ N np(t): Wp рдореЗрдВ t рдХреНрд░рдорд╛рдЧрдд R рд╕реЗ рдмрдиреА рдЙрдк-рд╕реНрдЯреНрд░рд┐рдВрдЧ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди рд▓рдХреНрд╖реНрдп: ╬┤p(t) = (np(t) - p/2^t)/тИЪp рдХреЗ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╡рд┐рддрд░рдг рдХрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг
рд▓реАрдЬреЗрдВрдбреНрд░реЗ рдкреНрд░рддреАрдХ рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ, рд╡реНрдпрдХреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ:
np(t) = 2^(-t) тИС(j=1 рд╕реЗ p-t-1) тИП(i=1 рд╕реЗ t) (1 + (i+j-1)/p)
рдЕрддрд┐рджреАрд░реНрдШрд╡реГрддреНрдд рд╡рдХреНрд░ рдкрд░рд┐рд╡рд╛рд░ CT: y┬▓ = fT(x) рдХрд╛ рдкрд░рд┐рдЪрдп рджреЗрдВ, рдЬрд╣рд╛рдВ:
fT(X) = тИП((i+1)тИИT) (X + i) NT = тИС(jтИИFp) (fT(j)/p) рд╡рдХреНрд░ CT рдХреЗ рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдЯреНрд░реЗрд╕ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рдд рд╣реИ рдореБрдЦреНрдп рдПрдмреЗрд▓рд┐рдпрди рдХрд┐рд╕реНрдо рд╣реИ:
A(t) = тИП(TтКВ[1,...,t]) JT
рдЬрд╣рд╛рдВ JT = Jac(CT) рд╡рдХреНрд░ CT рдХрд╛ рдЬреИрдХреЛрдмрд┐рдпрди рд╣реИ, рдЖрдпрд╛рдо gt = 2^(t-2)(t-3) + 1 рдХреЗ рд╕рд╛рдеред
Q рдкрд░ g-рдЖрдпрд╛рдореА рдПрдмреЗрд▓рд┐рдпрди рдХрд┐рд╕реНрдо A рдХреЗ рд▓рд┐рдП, GST рджрд╛рд╡рд╛ рдХрд░рддрд╛ рд╣реИ:
рдПрдХ рдмрдВрдж рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЙрдк-рд╕рдореВрд╣ STA тКВ Sp2g(C) рдореМрдЬреВрдж рд╣реИ рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рддрддреНрд╡реЛрдВ рдХрд╛ рдкрд░рд┐рд╡рд╛рд░ {Fp, p тИЙ SA} STA рдкрд░ рд╣рд╛рд░ рдорд╛рдк ╬╝A рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рд╡рд┐рддрд░рд┐рдд рд╣реИ рд╣рд╛рд▓рд╛рдВрдХрд┐ ST(A) тКВ тИПT ST(JT), рдпрд╣ рд╕рдорд╛рд╡реЗрд╢рди рд╕рдЦреНрдд рд╣реИ (t тЙе 3), рдЗрд╕рд▓рд┐рдП GST рд╕реЗ рд╕реАрдзреЗ ╬┤p(t) рдХреА рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦрддрд╛ рдкреНрд░рд╛рдкреНрдд рдирд╣реАрдВ рдХреА рдЬрд╛ рд╕рдХрддреАред рд▓реЗрдХрд┐рди рдЫреЛрдЯреЗ t рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП, рд╕реВрдХреНрд╖реНрдо рд╡рд┐рд╢реНрд▓реЗрд╖рдг рд╕рдВрднрд╡ рд╣реИред
рдпрд╣ рдкреЗрдкрд░ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдХрд╛рд░реНрдп рд╣реИ, рдЬрд┐рд╕рдореЗрдВ рдкрд╛рд░рдВрдкрд░рд┐рдХ рдЕрд░реНрде рдореЗрдВ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рдкреНрд░рдпреЛрдЧ рд╢рд╛рдорд┐рд▓ рдирд╣реАрдВ рд╣реИрдВ, рдмрд▓реНрдХрд┐ рдХрдареЛрд░ рдЧрдгрд┐рддреАрдп рд╡рд┐рд╢реНрд▓реЗрд╖рдг рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ:
рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░ рдкрд░рд┐рд╡рд╛рд░: E0, E1, E2, E3, E4 рдЖрджрд┐, рд╡рд┐рднрд┐рдиреНрди j-рдЕрдкрд░рд┐рд╡рд░реНрддрдиреАрдп рдФрд░ рдЬрдЯрд┐рд▓ рдЧреБрдгрди рдЧреБрдгреЛрдВ рдХреЗ рд╕рд╛рде рдЕрднрд╛рдЬреНрдп рд╡рд░реНрдЧреАрдХрд░рдг: p тЙб 1,3 (mod 4) рдФрд░ p тЙб 1,3,5,7 (mod 8) рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╡рд░реНрдЧреАрдХреГрдд рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХрд╛ рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдЯреНрд░реЗрд╕ ai(p) рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рдорд╛рдкреЛрдВ рдХрд╛ рдХрдирд╡рд▓реНрд╢рди: ╬╜1 (CM рдорд╛рдорд▓рд╛) рдФрд░ ╬╜2 (рдЧреИрд░-CM рдорд╛рдорд▓рд╛) рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рд╡рд┐рд╢реНрд▓реЗрд╖рдг p тЙб 3 (mod 4) : ╬┤p(4) рдорд╛рдк ╬╝3 = ╬╜2 рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ -2,2 рдкрд░ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рд╡рд┐рддрд░рд┐рдд рд╣реИp тЙб 1 (mod 4) : GST(E0├ЧE1├ЧE4) рдорд╛рдиреНрдпрддрд╛ рдХреЗ рддрд╣рдд, ╬┤p(4) рдорд╛рдк ╬╝1 = ╬╗cm * ╬╝ * ╬╜2 рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ -10,10 рдкрд░ рд╕рдорд╛рди рд░реВрдк рд╕реЗ рд╡рд┐рддрд░рд┐рдд рд╣реИрдЬрд╣рд╛рдВ:
╬╜2 = тИЪ(4-x┬▓)dx/(2╧А) (рдЧреИрд░-CM рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░)
╬╗cm = ╬┤0/4 + dx/(2╧АтИЪ(16-x┬▓)) (CM рд╕рдВрдмрдВрдзрд┐рдд)
p рдХреЗ рдорд╛рдкрд╛рдВрдХ 8 рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╡рд┐рднрд┐рдиреНрди рд╕реАрдорд╛рдПрдВ рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛рддреА рд╣реИрдВ:
p тЙб 7 (mod 8): |╬┤(p)| тЙд 7/32 p тЙб 5 (mod 8): |╬┤(p)| тЙд 13/32 p тЙб 3 (mod 8): |╬┤(p)| тЙд 11/32 p тЙб 1 (mod 8): |╬┤(p)| тЙд 17/32 рджреЛ рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХреЗ рдЙрддреНрдкрд╛рдж рдкрд░ рдЬреЛрд╣рд╛рдирд╕рди рдХреЗ GST рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП:
рдкреНрд░рд╕реНрддрд╛рд╡ 5.2 (t=4): рдХрд┐рд╕реА рднреА ╬╡ > 0 рдХреЗ рд▓рд┐рдП, рдЕрднрд╛рдЬреНрдп p1, p'1 тЙб 1 (mod 4) рдореМрдЬреВрдж рд╣реИрдВ рдЬреИрд╕реЗ рдХрд┐:
np1(4) тЙе p1/16 + (3/8 - ╬╡)тИЪp1
np'1(4) тЙд p'1/16 - (3/8 - ╬╡)тИЪp'1
рдкреНрд░рд╕реНрддрд╛рд╡ 5.3 (t=5): рдЗрд╕реА рддрд░рд╣ рд╡рд┐рднрд┐рдиреНрди рдорд╛рдкрд╛рдВрдХ 8 рдЕрд╡рд╢реЗрд╖ рдорд╛рдорд▓реЛрдВ рдореЗрдВ рд╕реАрдорд╛рдПрдВ рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛рддреА рд╣реИрдВ, рдЧреБрдгрд╛рдВрдХ рд▓рдЧрднрдЧ 1/16 рдХреЗ рдЖрд╕рдкрд╛рд╕ рд╣реИрдВред
рдЕрдиреБрдХреНрд░рдореЛрдВ {a0(p)}, {a1(p)}, {a4(p)} (рд╡рд┐рднрд┐рдиреНрди рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХреЗ рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдЯреНрд░реЗрд╕ рдХреЗ рдЕрдиреБрд░реВрдк) рдХреА рдЬреЛрдбрд╝реА-рд╡рд╛рд░ рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕реНрд╡рддрдВрддреНрд░рддрд╛ рд╕рд┐рджреНрдз рдХреА, рдЬреЛ рдордЬрдмреВрдд рд╕реАрдорд╛рдПрдВ рдкреНрд░рд╛рдкреНрдд рдХрд░рдиреЗ рдХреА рдХреБрдВрдЬреА рд╣реИред
рдПрд▓реНрдбрд╛рдиреЛрд╡ (1896) : t=2 рдХрд╛ рдорд╛рдорд▓рд╛, np(2) = (p-5)/4 рдпрд╛ (p-3)/4рдЬреИрдХреЛрдмрд╕реНрдерд▓ (1906) : t=3 рдХрд╛ рдорд╛рдорд▓рд╛, рд▓реАрдЬреЗрдВрдбреНрд░реЗ рдкреНрд░рддреАрдХ рдФрд░ рдЧреЙрд╕ рдЕрд╡рдзрд┐ рд╕реЗ рд╕рдВрдмрдВрдзрд┐рддрдХреЙрдирд░рд╛рдб : рд╕рд╛рдорд╛рдиреНрдп рд╕реВрддреНрд░ рдХрд╛ рдЖрдзреБрдирд┐рдХ рдЙрдкрдЪрд╛рд░KTVZ : рдЗрд╕ рдкреЗрдкрд░ рдХреА рд╕реАрдзреА рдирд┐рд░рдВрддрд░рддрд╛, рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╡рдХреНрд░реЛрдВ рдХреЗ рд╕рд╛рде рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИHSBT : рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХреЗ рд╕рд╛рддреЛ-рддреИрддреЗ рдЕрдиреБрдорд╛рди рдХрд╛ рдкреНрд░рдорд╛рдгJo : рджреЛ рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХреЗ рдЙрддреНрдкрд╛рдж рдХрд╛ GST рдкреНрд░рдорд╛рдгрд╡реЗрдЗрд▓-рдбреЗрд▓рд┐рдЧреНрдиреЗ рд╕рд┐рджреНрдзрд╛рдВрдд : рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рддрддреНрд╡реЛрдВ рдХрд╛ рдирд┐рд░реНрдорд╛рдгтДУ-рдПрдбрд┐рдХ рдкреНрд░рддрд┐рдирд┐рдзрд┐рддреНрд╡ рд╕рд┐рджреНрдзрд╛рдВрдд : рдЧреИрд▓реЛрдЗрд╕ рдХреНрд░рд┐рдпрд╛ рдХрд╛ рд╡рд┐рд╡рд░рдгрд╕рдорд╛рди рд╡рд┐рддрд░рдг рд╕рд┐рджреНрдзрд╛рдВрдд : рдХрдордЬреЛрд░* рдЕрднрд┐рд╕рд░рдг рдФрд░ рд╣рд╛рд░ рдорд╛рдкрд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рд╕рд╛рддреЛ-рддреИрддреЗ рдЕрдиреБрдорд╛рди рдХреНрд░рдорд╛рдЧрдд рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдХреЗ рд▓рд┐рдП рд╢рдХреНрддрд┐рд╢рд╛рд▓реА рд╡рд┐рд╢реНрд▓реЗрд╖рдгрд╛рддреНрдордХ рдЙрдкрдХрд░рдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ t=4,5 рдХреЗ рд▓рд┐рдП, рдЙрдкрдпреБрдХреНрдд GST рдорд╛рдиреНрдпрддрд╛рдУрдВ рдХреЗ рддрд╣рдд, рд╕рдЯреАрдХ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╡рд┐рддрд░рдг рдкреНрд░рд╛рдкреНрдд рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИ рдпрд╣рд╛рдВ рддрдХ рдХрд┐ рд╡рд░реНрддрдорд╛рди рдореЗрдВ рдЬреНрдЮрд╛рдд GST рдорд╛рдорд▓реЛрдВ рдореЗрдВ рднреА, рд╕рд╛рд░реНрдердХ рдмрд┐рдирд╛ рд╢рд░реНрдд рд╕реАрдорд╛рдПрдВ рдкреНрд░рд╛рдкреНрдд рдХреА рдЬрд╛ рд╕рдХрддреА рд╣реИрдВ рдЖрдпрд╛рдо рд╡реГрджреНрдзрд┐ : рдмрдбрд╝реЗ t рдХреЗ рд▓рд┐рдП, рдЖрд╡рд╢реНрдпрдХ рдПрдмреЗрд▓рд┐рдпрди рдХрд┐рд╕реНрдо рдХрд╛ рдЖрдпрд╛рдо рддреЗрдЬреА рд╕реЗ рдмрдврд╝рддрд╛ рд╣реИ (gt = 2^(t-2)(t-3)+1), рдЬрд┐рд╕рд╕реЗ GST рдорд╛рдиреНрдпрддрд╛ рдХреЛ рд╕рддреНрдпрд╛рдкрд┐рдд рдХрд░рдирд╛ рдЕрдзрд┐рдХ рдХрдард┐рди рд╣реЛ рдЬрд╛рддрд╛ рд╣реИрддрдХрдиреАрдХреА рд╕реАрдорд╛рдПрдВ : рд╡рд░реНрддрдорд╛рди GST рдкреНрд░рдорд╛рдг рддрдХрдиреАрдХреЗрдВ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдирд┐рдореНрди-рдЖрдпрд╛рдореА рдорд╛рдорд▓реЛрдВ рддрдХ рд╕реАрдорд┐рдд рд╣реИрдВрд╕реНрдкрд╖реНрдЯ рд╕реВрддреНрд░ : t тЙе 4 рдХреЗ рд▓рд┐рдП, рдЫреЛрдЯреЗ t рдорд╛рдорд▓реЛрдВ рдХреЗ рд╕рдорд╛рди рд╕реНрдкрд╖реНрдЯ рд╕реВрддреНрд░ рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реИрдВGST рд╡рд┐рд╕реНрддрд╛рд░ : рдЙрдЪреНрдЪ-рдЖрдпрд╛рдореА рдПрдмреЗрд▓рд┐рдпрди рдХрд┐рд╕реНрдореЛрдВ рдХреЗ GST рдкреНрд░рдорд╛рдг рддрдХрдиреАрдХреЛрдВ рдХрд╛ рд╡рд┐рдХрд╛рд╕рдЕрдиреНрдп рдкреИрдЯрд░реНрди : рдЕрдзрд┐рдХ рд╕рд╛рдорд╛рдиреНрдп рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖ рдкреИрдЯрд░реНрди рдХрд╛ рдЕрдиреБрд╕рдВрдзрд╛рди, рдХреЗрд╡рд▓ рдХреНрд░рдорд╛рдЧрдд рдорд╛рдорд▓реЛрдВ рддрдХ рд╕реАрдорд┐рдд рдирд╣реАрдВрдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдкрд╣рд▓реВ : рд╕рдВрдмрдВрдзрд┐рдд рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХреЗ рдлреНрд░реЛрдмреЗрдирд┐рдпрд╕ рдЯреНрд░реЗрд╕ рдХреА рдкреНрд░рднрд╛рд╡реА рдЧрдгрдирд╛ рдХреЗ рддрд░реАрдХреЛрдВ рдХрд╛ рд╡рд┐рдХрд╛рд╕рд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдЧрд╣рд░рд╛рдИ : рдкреНрд░рддреАрдд рд╣реЛрдиреЗ рд╡рд╛рд▓реА рдЕрд╕рдВрдмрдВрдзрд┐рдд рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдФрд░ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдХреЗ рдЧрд╣рд░реЗ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдмреАрдЪ рд╕рдВрдмрдВрдз рд╕реНрдерд╛рдкрд┐рдд рдХрд░рддрд╛ рд╣реИрд╡рд┐рдзрд┐ рдирд╡рд╛рдЪрд╛рд░ : GST рдХреЛ рдареЛрд╕ рдЕрдВрдХрдЧрдгрд┐рддреАрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рдХрд░рддрд╛ рд╣реИ, рдЕрдиреБрдорд╛рди рдХрд╛ рд╡реНрдпрд╛рд╡рд╣рд╛рд░рд┐рдХ рдореВрд▓реНрдп рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИрдкрд░рд┐рдгрд╛рдо рд╕рдЯреАрдХрддрд╛ : рди рдХреЗрд╡рд▓ рд╕реНрдкрд░реНрд╢реЛрдиреНрдореБрдЦ рд╡реНрдпрд╡рд╣рд╛рд░ рджреЗрддрд╛ рд╣реИ, рдмрд▓реНрдХрд┐ рд╕рдЯреАрдХ рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рд╡рд┐рддрд░рдг рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИрддрдХрдиреАрдХреА рдХрдареЛрд░рддрд╛ : рдЧрдгрд┐рддреАрдп рд╡реНрдпреБрддреНрдкрддреНрддрд┐ рд╕реБрд╕рдВрдЧрдд рд╣реИ, рд╡рд┐рднрд┐рдиреНрди рддрдХрдиреАрдХреА рд╡рд┐рд╡рд░рдгреЛрдВ рдкрд░ рд╡рд┐рдЪрд╛рд░ рдХрд░рддрд╛ рд╣реИрдорд╛рдиреНрдпрддрд╛ рдкрд░ рдирд┐рд░реНрднрд░рддрд╛ : рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо рдЕрдкреНрд░рдорд╛рдгрд┐рдд GST рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИрдВ, рд╣рд╛рд▓рд╛рдВрдХрд┐ рдпреЗ рдорд╛рдорд▓реЗ рдЙрдЪрд┐рдд рд╣реИрдВрдХрдореНрдкреНрдпреВрдЯреЗрд╢рдирд▓ рдЬрдЯрд┐рд▓рддрд╛ : рд╕рдВрдмрдВрдзрд┐рдд рдорд╛рддреНрд░рд╛рдУрдВ рдХреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдЧрдгрдирд╛ рдХреЗ рд▓рд┐рдП рдХрдИ рдЕрдВрдбрд╛рдХрд╛рд░ рд╡рдХреНрд░реЛрдВ рдХреЛ рд╕рдВрднрд╛рд▓рдиреЗ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реИ, рдЙрдЪреНрдЪ рддрдХрдиреАрдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛рдПрдВрд╕реАрдорд╛ рдкреНрд░рддрд┐рдмрдВрдз : рд╡рд░реНрддрдорд╛рди рд╡рд┐рдзрд┐ рдореБрдЦреНрдп рд░реВрдк рд╕реЗ рдЫреЛрдЯреЗ t рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП рд▓рд╛рдЧреВ рд╣реЛрддреА рд╣реИрд╕реИрджреНрдзрд╛рдВрддрд┐рдХ рдпреЛрдЧрджрд╛рди : GST рдХреЗ рд▓рд┐рдП рдирдП рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреНрд╖реЗрддреНрд░ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИ, рдЕрдзрд┐рдХ рд╕рдВрдмрдВрдзрд┐рдд рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЛ рдкреНрд░реЗрд░рд┐рдд рдХрд░ рд╕рдХрддрд╛ рд╣реИрдкрджреНрдзрддрд┐ рд╡рд┐рдЬреНрдЮрд╛рди : рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдЖрдзреБрдирд┐рдХ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рдЙрдкрдХрд░рдгреЛрдВ рдХреЛ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рдХреИрд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛рдПрд╡рд┐рд╕реНрддрд╛рд░рд╢реАрд▓рддрд╛ : рд╡рд┐рдзрд┐ рдЕрдиреНрдп рдкреНрд░рдХрд╛рд░ рдХреА рдЕрдВрдХрдЧрдгрд┐рддреАрдп рд╕рд╛рдВрдЦреНрдпрд┐рдХреАрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдкрд░ рд▓рд╛рдЧреВ рд╣реЛ рд╕рдХрддреА рд╣реИрд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдЕрдиреБрд╕рдВрдзрд╛рди : рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдФрд░ рд╕рдВрдмрдВрдзрд┐рдд рдЕрдВрдХрдЧрдгрд┐рддреАрдп рдХрд╛рд░реНрдпреЛрдВ рдХреЗ рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдирдпрд╛ рджреГрд╖реНрдЯрд┐рдХреЛрдг рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ : GST рдЕрдиреБрд╕рдВрдзрд╛рди рдХреЗ рд▓рд┐рдП рдареЛрд╕ рдкрд░реАрдХреНрд╖рдг рдорд╛рдорд▓реЗ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИрдПрд▓реНрдЧреЛрд░рд┐рдердо рдЕрдиреБрдкреНрд░рдпреЛрдЧ : рдХреНрд░рд┐рдкреНрдЯреЛрдЧреНрд░рд╛рдлреА рдФрд░ рдпрд╛рджреГрдЪреНрдЫрд┐рдХ рд╕рдВрдЦреНрдпрд╛ рдкреАрдврд╝реА рдореЗрдВ рд╕рдВрднрд╛рд╡рд┐рдд рдЕрдиреБрдкреНрд░рдпреЛрдЧKTVZ : V. рдХрд┐рд░рд┐рдЪреЗрдВрдХреЛ, M. рддреНрд╕рдлрд╛рд╕реНрдорди, S. рд╡реНрд▓рд╛рджреБрдд, I. рдЬрдХрд╛рд░реЗрд╡рд┐рдЪ, "рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖ рдкреИрдЯрд░реНрди, рдмреАрдЬрдЧрдгрд┐рддреАрдп рд╡рдХреНрд░ рдФрд░ K3 рд╕рддрд╣"HSBT : M. рд╣реИрд░рд┐рд╕, N. рд╢реЗрдлрд░реНрдб-рдмреИрд░рди, рдФрд░ R. рдЯреЗрд▓рд░, "рдХреИрд▓рд╛рдмреА-рдпрд╛рдК рдХрд┐рд╕реНрдореЛрдВ рдХрд╛ рдПрдХ рдкрд░рд┐рд╡рд╛рд░ рдФрд░ рд╕рдВрднрд╛рд╡рд┐рдд рд╕реНрд╡рдЪрд╛рд▓рд┐рддрддрд╛"Jo : Ch. рдЬреЛрд╣рд╛рдирд╕рди, "рдЧреИрд░-рд╕рд╛рдорд╛рдиреНрдп рдПрдмреЗрд▓рд┐рдпрди рд╕рддрд╣реЛрдВ рдХреЗ рд▓рд┐рдП рд╕рд╛рддреЛ-рддреИрддреЗ рдЕрдиреБрдорд╛рди рдкрд░"J : E. рдЬреИрдХреЛрдмрд╕реНрдерд▓, "рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕реЗ рдПрдХ рд╕реВрддреНрд░ рдХрд╛ рдЕрдиреБрдкреНрд░рдпреЛрдЧ" (1906)A : N.S. рдЕрд▓рд╛рджреЛрд╡, "рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдкрд░" (1896)рдпрд╣ рдкреЗрдкрд░ рд╢рд╛рд╕реНрддреНрд░реАрдп рд╕рдВрдЦреНрдпрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рд╕рдорд╕реНрдпрд╛рдУрдВ рдореЗрдВ рдЖрдзреБрдирд┐рдХ рдмреАрдЬрдЧрдгрд┐рддреАрдп рдЬреНрдпрд╛рдорд┐рддрд┐ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдЧрд╣рд░реЗ рдЕрдиреБрдкреНрд░рдпреЛрдЧ рдХреЛ рдкреНрд░рджрд░реНрд╢рд┐рдд рдХрд░рддрд╛ рд╣реИред рд╣рд╛рд▓рд╛рдВрдХрд┐ рдореБрдЦреНрдп рдкрд░рд┐рдгрд╛рдо рдЕрдиреБрдорд╛рдиреЛрдВ рдкрд░ рдирд┐рд░реНрднрд░ рд╣реИрдВ, рдпрд╣ рджреНрд╡рд┐рдШрд╛рдд рдЕрд╡рд╢реЗрд╖реЛрдВ рдХреЗ рд╡рд┐рддрд░рдг рдХреА рдЧрд╣рд░реА рд╕рдВрд░рдЪрдирд╛ рдХреЛ рд╕рдордЭрдиреЗ рдХреЗ рд▓рд┐рдП рдорд╣рддреНрд╡рдкреВрд░реНрдг рдЕрдВрддрд░реНрджреГрд╖реНрдЯрд┐ рдкреНрд░рджрд╛рди рдХрд░рддрд╛ рд╣реИред