Pierādīt, ka no jebkuriem trim naturālu skaitļu kvadrātiem var izvēlēties divus tā, ka to summa vai starpība dalās ar \(5\).
Vispirms noskaidrosim, ar ko var būt kongruents naturāla skaitļa kvadrāts pēc moduļa \(5\).
\(n(\bmod 5)\) | \(0\) | \(1\) | \(2\) | \(3\) | \(4\) |
---|---|---|---|---|---|
\(n^{2}(\bmod 5)\) | \(0\) | \(1\) | \(4\) | \(4\) | \(1\) |
Tātad naturāla skaitļa kvadrāts pēc moduļa \(5\) var būt kongruents ar \(0,\ 1\) vai \(4\).