Motsägelsebevis

Ja.

Kort: Ja. Implikationen löper är

Hjälpsats 1: Om $p^2$ är jämt så måste $p$ vara jämt

Långt:

Om vi dock ska vara ärliga så är detta knappast uppenbart som en allmän regel. Tänker man på några exempel en stund så känns det vettigt, men exempel är ju inte bevis. Så egentligen behöver man göra ett så kallat hjälpbevis och även bevisa detta om beviset ska ha alla steg ifyllda.

Bevis (genom motsägelse)

Låt säga att $p$ är ett positivt heltal och att $p^2$ är jämt. Låt oss anta att $p$ inte är jämt och visa att det leder till motsägelse. Om $p$ inte är jämt så är det udda och det finns ett tal k sådant att $p = 2k + 1$. Då är $p^2 = (2k + 1)^2 = 4k^2 + 2k + 1 = 2(k^2 + k) + 1$ men det betyder att $p^2$ skulle vara udda. Därmed stämmer inte antagandet att $p$ är jämt och därmed måste $p$ vara udda.

Kortversionen av detta är: Om $p^2$ är jämt så måste $p$ vara jämt eftersom utifall $p$ var udda så skulle $p^2$ vara udda så udda*udda är udda.

Ett heltal gånger 2 brukar vara jämnt.

Om jämna - ojämna kvadrater: p*p har samma faktorer som p bara i dubbel upplaga, dvs antingen finns det ingen faktor 2 i någondera eller i båda.