matematika

Minggu, 28 Januari 2018

Teorema Terkait Sifat Aljabar Bilangan Real II

Langsung saja kita mengecek teorema berikut.

Teorema 2.1.3

a. Jika  maka 

Bukti
Dari pernyataan kita mempunyai
Akan dibuktikan

Pernyataan Penjelasan
kedua ruas ditambahkan 
asosiatif penjumlahan (A2)
invers penjumlahan (A4)
identitas perkalian (M3)

b. Jika  dan  sehingga  maka 
Bukti
Dari pernyataan kita mempunyai  dan  dengan
Akan dibuktikan
Pembuktian
Pernyataan Penjelasan
 
kedua ruas dikali   
asosiatif perkalian (M2)
invers perkalian (M4)
identitas perkalian (M3)

c. Jika  maka  atau 

Bukti
Dari pernyataan kita mempunyai
Akan dibuktikan  atau b = 0
(1) Bukti
Pernyataan Penjelasan
kedua ruas dikali  
asosiatif perkalian (M2)
invers perkalian (M4)
identitas perkalian (M3)
teorema 2.1.2 (c)

(2) Bukti
Pernyataan Penjelasan
kedua ruas dikali  
asosiatif perkalian (M2)
invers perkalian (M4)
identitas perkalian (M3)
teorema 2.1.2 (c)

Kamis, 25 Januari 2018

Teorema Terkait Sifat Aljabar Bilangan Real I

Sekarang kita akan membuktikan berbagai teorema yang berkaitan dengan sifat aljabar bilangan real. Sebagaimana kita ketahui bahwa analisis real membahas berbagai macam pola, sifat, teorema dan lain sebagainya yang dimiliki oleh bilangan real. Adapun analisisnya berupa pembuktian kebenaran dari teorema-teorema tersebut berdasarkan pembuktian matematika yang valid dan logis. Ingat bahwa pembuktian matematika menggunakan metode deduktif (dari khusus ke umum) yaitu dengan menggunakan pernyataan-pernyataan khusus yang sudah terbukti kebenarannya untuk menemukan pola umumnya. Dalam analisis real ini berarti bahwa kita membuktikan teorema yang ada menggunakan aksioma, teorema, atau pernyataan lain yang sudah terbukti kebenarannya sebelumnya.
Teorema yang kita bahas pertama terkait dengan penggunaan elemen  0 dan 1 sebagai berikut:

Teorema 2.1.2

a. Jika  dengan  maka 
Dibacanya: jika z dan a anggota bilangan real dan z ditambah a sama dengan  a, maka z sama dengan nol.
Bukti
Dari teorema kita mempunyai  dan 
Akan dibuktikan 
Pernyataan Penjelasan
eksistensi elemen identitas penjumlahan (A3)
invers penjumlahan (A4)
asosiatif penjumlahan (A2)
diketahui dari pernyataan bahwa 
invers penjumlahan (A4)

b. Jika  dan  sehingga  maka 
Dibacanya: jika u dan b anggota bilangan real, dan b tidak sama dengan nol, sehingga u dikali b sama dengan b, maka u sama dengan satu.
Bukti
Dari pernyataan kita mempunyai  dan  serta 
Akan dibuktikan

Pernyataan Penjelasan
eksistensi elemen identitas perkalian (M3)
invers perkalian (M4)
asosiatif perkalian (M2)
diketahui dari pernyataan bahwa 
invers perkalian (M4)

c. Jika  maka 
Dibacanya: Jika a adalah anggota bilangan real maka a dikali nol sama dengan nol.
Bukti
Dari pernyataan kita mempunyai .
Akan dibuktikan bahwa
pembuktian:     
Pernyataan Penjelasan
eksistensi elemen identitas perkalian (M3)
kedua ruas ditambahkan
komutatif penjumlahan (A1)
distributif perkalian terhadap penjumlahan (D)
identitas penjumlahan (A3)
identitas perkalian (M3)
diperoleh teorema 2.1.2 (a)
berdasarkan teorema 2.1.2 (a), dengan mengandaikan maka,
terbukti bahwa