证明任何形如 $5q+1$ 的正整数的平方都具有相同的形式。
已知:命题“任何形如 $5q\ +\ 1$ 的正整数的平方都具有相同的形式”。
待证:我们需要证明上述命题。
解答
根据欧几里得引理:
如果 $a$ 和 $b$ 是两个正整数;
- $a\ =\ bq\ +\ r$,其中 $0\ \underline{<}\ r\ <\ b$。
令 $a\ =\ 5q\ +\ 1$,其中 $b\ =\ 5$ 且 $r\ =\ 1$
现在,
$a\ =\ 5q\ +\ 1$
两边平方,得到:
$a^2\ =\ (5q\ +\ 1)^2$
$a^2\ =\ 25q^2\ +\ 10q\ +\ 1$
$a^2\ =\ 5(5q^2\ +\ 2q)\ +\ 1$
$a^2\ =\ 5m\ +\ 1$,其中 $m\ =\ 5q^2\ +\ 2q$
因此,任何形如 $5q\ +\ 1$ 的正整数的平方都具有相同的形式。
广告