Nama : Ahmad Haris

NIM : 0401520016

TEOREMA 2. 4. 7 : ∃ x R+ ∋ x 2 = 2
Bukti:
Misal S = {𝑠 ∈ 𝑅 ∶ 0 ≤ 𝑠, 𝑠 2 < 2}
S mempunyai batas atas
Jelas 1 ∈ S, sehingga 𝑆 ≠ ∅
2 merupakan batas atas S, karena jika t > 2, maka 𝑡 2 > 4. Sehingga t ∉ S
S mempunyai Supremum di R
Misal x = Supremum S
Adb x 2 = 2
Bukti:
Andaikan x 2 ≠ 2 maka x 2 < 2 atau x 2 > 2
1. Asumsikan x 2 < 2
Jelas 2 − x 2 > 0 , x ∈ R+ → 2x + 1 > 0,
2−x2
Akibatnya: >0
2x+1
1 2−x2
∃ n ∈ N ∋ 0 < n < 2x+1 (berdasar 2. 4. 4)
1
atau (2x + 1) < 2 − x 2
n
2x 1
↔ x2 + +n<2
n
1
Adb x + n ∈ S
1 2 2x 1 2x 1
Karena (x + n) = x 2 + + n2 ≤ x 2 + +n
n n
1 1
Jelas… n2 ≤ n
1
Jadi x < 𝑥 + n ∈ S → S = {x > 0, x 2 < 2, 𝑥 ∈ R}

Hal tersebut kontradiksi dengan x mempunyai supremum.

Salah untuk x 2 < 2.
2. Asumsikan x 2 > 2
Jelas x 2 − 2 > 0 , x ∈ R+ → 2x > 0,
x2 −2
Akibatnya: >0
2x
1 x2 −2
∃n∈N∋0<n< (berdasar 2. 4. 4)
2x
2x
atau < x2 − 2
n

1 2 2x 1 2x
Karena, (x − n) = x 2 − + n2 > x 2 −
n n

> x 2 − (x 2 − 2)
1
Jadi x − n > s , ∀s ∈ S
1
Artinya x − n batas atas dari S.

Hal tersebut kontradiksi dengan x mempunyai supremum.

Salah untuk x 2 > 2.

Dari 1 dan 2 diperoleh x 2 = 2

Selanjutnya jika a > 0, x ∈ R, maka terdapat secara tunggal bilangan real positif.
b ∈ R ∋ b2 ∈ R
Kita sebut b sebagai akar kuadrat dari a ↔ b = √a