MathDB
product (k^2+1)=4 mod p from k=1 to k=p if p=4n-1

Source: VJIMC 2000 2.1

July 27, 2021
number theory

Problem Statement

Let pp be a prime of the form p=4n1p=4n-1 where nn is a positive integer. Prove that k=1p(k2+1)4(modp).\prod_{k=1}^p(k^2+1)\equiv4\pmod p.