Musimy udowodnić, że k jest całkowite, czyli że wyrażenie n^2 + 3n jest parzyste... (bo 2 już jest parzyste)
dla n nieparzystych, to będzie wyrażenie <nieparzyste> + <nieparzyste> = <parzyste>, a dla n parzystych, to będzie <parzyste> + <parzyste> = (też) <parzyste>.
8k + 1 = 4n^2 + 12n + 9
8k = 4n^2 + 12n + 8
2k = n^2 + 3n + 2.
Musimy udowodnić, że k jest całkowite, czyli że wyrażenie n^2 + 3n jest parzyste... (bo 2 już jest parzyste)
dla n nieparzystych, to będzie wyrażenie <nieparzyste> + <nieparzyste> = <parzyste>, a dla n parzystych, to będzie <parzyste> + <parzyste> = (też) <parzyste>.
Proste... liczę na naj.