(Teorema 2.4.7)
Disusun Oleh :
PENDIDIKAN MATEMATIKA
-MEDAN-
T.A 2023
Teorema 2.4.7 Terdapat bilangan real positif x sehingga 𝑥 2 = 2
Pembuktian:
1 2 2𝑥 1 1
(𝑥 + ) = 𝑥 2 + + 2 ≤ 𝑥 2 + (2𝑥 + 1)
𝑛 𝑛 𝑛 𝑛
1
(2𝑥 + 1) < 2 − 𝑥 2 ,
𝑛
Maka kita dapatkan 𝑥 + 1/𝑛2 ) < 𝑥 2 + 2(2 − 𝑥 2 ) = 2. Dengan asumsi kita memiliki 2 −
𝑥 2 > 0, oleh karena itu (2 − 𝑥 2 )/(2𝑥 + 1) > 0. Oleh karena itu Archimedes property
(Corollary 2.4.5) dapat digunakan untuk memperoleh 𝑛 ∈ 𝑁 oleh karena itu
1 2 − 𝑥2
<
𝑛 2𝑥 + 1
langkah-langkah ini dapat dibalik untuk menunjukkan bahwa untuk n ini kita memiliki 𝑥 +
1/𝑛 ∈ 𝑠, yang bertentangan dengan fakta bahwa x adalah batas atas dari S. Oleh karena itu kita
tidak dapat memiliki 𝑥 2 < 2.
Sekarang asumsikan bahwa 𝑥 2 > 2. Kita akan menunjukkan bahwa hal itu mungkin
terjadi 𝑚 ∈ 𝑁 sehingga 𝑥 − 1/𝑚 juga merupakan batas atas dari S. Bertentangan dengan fakta
bahwa 𝑥 = sup S. Untuk hal ini catat bahwa
1 2 2𝑥 1 2𝑥
(𝑥 − 𝑚) = 𝑥 2 − + 𝑚2 > 𝑥 2 − .
𝑚 𝑚
2𝑥
Oleh karena itu jika kita dapat memilih m sehingga < 𝑥2 − 2
𝑚
1 𝑥2 − 2
<
𝑚 2𝑥
Langkah-langkah ini dapat dibalik untuk menunjukkan bahwa untuk pilihan m kita memiliki
(𝑥 − 1/𝑚)2 > 2. Sekarang jika 𝑠 ∈ 𝑆, maka 𝑠 2 < 2 < (𝑥 − 1/𝑚)2, di mana mengikuti dari
2.1.13(a) bahwa 𝑠 < 𝑥 − 1/𝑚. Ini mengisaratkan bahwa bahwa 𝑥 − 1/𝑚 adalah batas atas
untuk S, yang bertentangan dengan fakta bahwa 𝑥 = sup S. Oleh karena itu kita tidak dapat
memiliki 𝑥 2 > 2.
Karena kemungkinan 𝑥 2 < 2 dan 𝑥 2 > 2 telah dikeluarkan, kita harus mendapatkan
𝑥 2 = 2.
Catatan
Jika pada pembuktian teorema 2.4.7 kita mengganti himpunan S dengan himpunan
bilangan rasional 𝑇 ≔ {𝑟 ∈ ℚ ∶ 0 ≤ 𝑟, 𝑟 2 < 2}, argumen tersebut kemudian memberikan
kesimpulan bahwa 𝑦 ≔ sup 𝑇 memenuhi 𝑦 2 = 2. Karena kita telah melihat dalam teorema
2.1.4 bahwa y tidak mungkin a bilangan rasional, maka himpunan T yang terdiri dari bilangan
rasional tidak memiliki supremum milik himpunan ℚ. Dengan demikian bilangan terurut ℚ
bilangan rasional yang tidak memiliki sifat kelengkapan.