Algebra3-Heltal: Problem 4

Definition
Visa att .
Gller ven den omvnda implikationen?

Lsning
Fr alla gller att r det strsta heltalet .
Det medfr att = , dr och 0 < 1.
medfr att , vilket medfr att = 0, s att = och 0 < < 1.

Fr likheten i implikationen gller att = medfr att = , vilket visar likheten i implikationen.
= medfr = , som ger = .
Dock medfr 0 < 1 och 0 < 1 att 1 < < 1, som gller ven fr .
Detta medfr att likheten i den omvnda implikationen inte gller.

Fr olikheten i implikationen gller att < , vilket medfr att < 0.

Antag att > . Detta medfr att > 0. Men , , vilket medfr att 1, s att
= + 1.
Detta ger 1 + , men < 1 medfr att 1 > 0 och 0 att 1 + > 0 s att
> 0, vilket inte r mjligt, d < 0.
Antagandet att > r drmed falskt, vilket medfr att , vilket visar olikheten i implikationen.
< medfr, d , , att + 1 och drmed ven att + 1 .
Dock medfr < 1 att + < + 1 , som ger < , som d ger < .
Detta medfr att olikheten i den omvnda implikationen gller.

= = och < , vilket medfr att , vilket skulle visas.

Den omvnda implikationen gller dock bara fr < < .