Skoro liczba \(a\) przy dzieleniu przez \(5\) daje resztę \(1\), to istnieje liczba całkowita \(k\), taka że:
\[
a=5k+1
\]
Skoro liczba \(b\) przy dzieleniu przez \(5\) daje resztę \(4\), to istnieje liczba całkowita \(l\), taka że:
\[
b=5l+4
\]
Obliczamy różnicę kwadratów:
\[
a^2-b^2=(5k+1)^2-(5l+4)^2
\]
\[
=25k^2+10k+1-\left(25l^2+40l+16\right)
\]
\[
=25k^2-25l^2+10k-40l-15
\]
Wyłączamy \(5\) przed nawias:
\[
=5\left(5k^2-5l^2+2k-8l-3\right)
\]
Ponieważ \(k\) i \(l\) są liczbami całkowitymi, wyrażenie w nawiasie również jest liczbą całkowitą.
Zatem liczba \(a^2-b^2\) jest iloczynem liczby \(5\) i liczby całkowitej, więc jest podzielna przez \(5\).
Wykazano, że liczba \(a^2-b^2\) jest podzielna przez \(5\).