~~~

@☞ đạt ngõa lí hi ☜Giá cá đề ngận nan tố

Đương p thị tố sổ thời, thiết 1~p² trung sở hữu dữ p hỗ tố đích chính chỉnh sổ thừa tích vi M
Đối mỗi cá dữ p hỗ tố thả 1≤i≤p² đích chính chỉnh sổ i, p²-i dã hòa p hỗ tố
M/i + M/(p²-i) = Mp²/i(p²-i) thị p² đích chỉnh sổ bội
Nhi thả M/p²×[M/i + M/(p²-i)]= M²/i(p²-i)≡-M²/i² (mod p²)
M/i tổ thành mô p² đích giản hóa thặng dư hệ, sở dĩ ∑(M/i)²≡ [1²+2²+…+(p²)²]- p²[1²+2²+…+p²] (mod p²)
Hậu diện na cá thức tử đẳng vu ∑k², kỳ trung 1≤k≤p² thả k dữ p hỗ tố
Tịnh thả do thượng thức khả đắc 6∑k²≡0(mod p²)
Sở dĩ 12M²/p²×∑1/i ≡ 6M/p²×∑(M/i+ M/(p²-i)) ≡ -6 ∑(M/i)²≡0(mod p²)
Tắc p⁴ | 12M²×∑1/i, kỳ trung 1≤i≤p² thả i dữ p hỗ tố
M dữ p hỗ tố, sở dĩ như quả ∑1/i = m/n, tắc p⁴| 12m
Đương p≥5 thời p⁴ | m, đương p=3 thời p³ |m, đương p=2 thời p² | m

Giá dạng phối đối hoàn khả dĩ chứng minh, đối chính chỉnh sổ h hòa tố sổ p
Như quả đối sở hữu 1≤k≤hp thả k dữ p hỗ tố đích chính chỉnh sổ k cầu hòa, ∑1/k = m/n, na p^[2+2V_p(h)] | 12m

Đệ nhất cá kết luận dã khả dĩ án giá chủng quá trình tố, cụ thể thị giá dạng tử

Giá thị khái vấn thượng đích đề mục mạ?