EKSISTENSI √ 2

Teorema 2.4.7
Ada bilangan real positif x sehingga x 2=2
Bukti:

Misalkan S ≔ { s ∈ R :0 ≤ s , s2 <2 }.

Karena 1 ∈ S maka jelas S ≠ ∅.

S memiliki batas atas salah satunya yaitu 2. (Bukti: jika t >2 maka t 2> 4
berakibat t ∉ S ¿.
Karena S terbatas di atas maka S memiliki supremum di R.
Misalkan x =S ¿. Ingat bahwa x >1.

Adit x 2=2 (dengan membuktikan bahwa x 2 ≮ 2 dan x 2 ≯ 2)

1. x 2 ≮ 2

Andaikan x 2< 2 (akan kita buktikan bahwa pengandaian ini kontradiksi

dengan fakta bahwa x =S ¿ dengan cara menemukan nilai n ∈ N sehingga
1
x + ∈ S . Hal ini akan berakibat bahwa x bukan batas atas S)
n
Pertama focus kita adalah menemukan n.
Perhatikan bahwa

1 2 2 2x 1 2 2x 1 2 1
( )
x+
n
=x + + 2 ≤ x + + =x + ( 2 x +1 )
n n n n n

1 1 2
n n ( )
Ingat bahwa agar x + ∈ S maka x + <2. Jadi

1 2 2 2x 1 2 2x 1 2 1
( )
x+
n
2 2
=x + + 2 ≤ x + + =x + ( 2 x +1 ) ≤ x + ( 2−x ) =2
n n n n n

Pernyataan di atas akan terpenuhi jika

1 2−x 2
≤
n 2 x +1
 2−x 2
Perhatikan bahwa 2−x 2 >0 dan 2 x+1> 0. Sehingga > 0. Berdasarkan sifat
2 x +1
1 2−x 2 1 ( 2
Archimedes ada n ∈ N sehingga ≤ = 2 x +1 ) < ( 2−x )
n 2 x +1 n
Sekarang perhatikan bahwa

1 2 2 2x 1 2 2x 1 2 1
( )
x+
n
2 2
=x + + 2 ≤ x + + =x + ( 2 x +1 ) ≤ x + ( 2−x ) =2
n n n n n
1
Dengan kata lain x + ∈ S.
n
Kontradiksi dengan pernyataan bahwa x =S ¿.

2. x 2 ≯ 2
Andaikan x 2> 2 (akan kita buktikan bahwa pengandaian ini kontradiksi
dengan fakta bahwa x =S ¿ dengan cara menemukan nilai n ∈ N sehingga
1
x− adalah batas atas S).
n
LANJUTKAN SESUAI DENGAN PROSEDUR DI KASUS 1.

TIPS: PAHAMI PROSEDUR KASUS 1 DAHULU DENGAN TIDAK LUPA

MEMPERHATIKAN APA YANG ADA DI BUKU BARTLE. SETELAH PAHAM
LANJUTKAN PENYELESAIAN UNTUK KASUS 2.