Membuktikan Teorema

1. 𝑧1 + 𝑧2 ∈ ℂ dan 𝑧1𝑧2 ∈ ℂ, ∀𝑧1, 𝑧2 ∈ ℂ

Bukti :
Ambil sembarang 𝑧1, 𝑧2 ∈ ℂ.
akan dibuktikan, yaitu :
i. (𝑧1 + 𝑧2) ∈ ℂ, ∀𝑧1, 𝑧2 ∈ ℂ
ii. (𝑧1𝑧2) ∈ ℂ, ∀𝑧1, 𝑧2 ∈ ℂ

Bukti (i)
Misalkan 𝑧1 = 𝑥1 + 𝑖𝑦1 dan 𝑧2 = 𝑥2 + 𝑖𝑦2, dengan 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ
Sehingga,
𝑧1 + 𝑧2 = (𝑥1 + 𝑖𝑦1) + (𝑥2 + 𝑖𝑦2) ... definisi 3
𝑧1 + 𝑧2 = (𝑥1 + 𝑥2) + 𝑖(𝑦1 + 𝑦2) ... definisi 3
Karena 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ, maka berdasarkan sifat ketertutupan operasi penjumlahan pada
ℝ, berlaku (𝑥1 + 𝑥2), (𝑦1 + 𝑦2) ∈ ℝ.
Jika (𝑥1 + 𝑥2), (𝑦1 + 𝑦2) ∈ ℝ dan 𝑧1 + 𝑧2 = (𝑥1 + 𝑥2) + 𝑖(𝑦1 + 𝑦2), maka berdasarkan
definisi 1, berlaku (𝑧1 + 𝑧2) ∈ ℂ, ∀𝑧1, 𝑧2 ∈ ℂ.
Terbukti.

Bukti (ii)
Misalkan 𝑧1 = 𝑥1 + 𝑖𝑦1 dan 𝑧2 = 𝑥2 + 𝑖𝑦2, dengan 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ
Sehingga,
𝑧1𝑧2 = (𝑥1 + 𝑖𝑦1)(𝑥2 + 𝑖𝑦2) ... definisi 3
𝑧1𝑧2 = (𝑥1𝑥2 − 𝑦1𝑦2) + 𝑖(𝑥1𝑦2 + 𝑥2𝑦1) ... definisi 3
Karena 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ, maka berdasarkan sifat ketertutupan operasi perkalian pada
himpunan ℝ., berlaku (𝑥1𝑥2 −𝑦1𝑦2), (𝑥1𝑦2 + 𝑥2𝑦1) ∈ ℝ.

Jika (𝑥1𝑥2 − 𝑦1𝑦2), (𝑥1𝑦2 + 𝑥2𝑦1) ∈ ℝ dan 𝑧1𝑧2 = (𝑥1𝑥2 − 𝑦1𝑦2) + 𝑖(𝑥1𝑦2 + 𝑥2𝑦1), maka
berdasarkan definisi 1, berlaku (𝑧1𝑧2) ∈ ℂ, ∀𝑧1, 𝑧2 ∈ ℂ.
Terbukti.

2. 𝑧1 + 𝑧2 = 𝑧2 + 𝑧1 𝑑𝑎𝑛 𝑧1𝑧2 = 𝑧2𝑧1, ∀𝑧1, 𝑧2 ∈ ℂ

Bukti :
Ambil sembarang 𝑧1, 𝑧2 ∈ ℂ
akan dibuktikan, yaitu :
i. 𝑧1 + 𝑧2 = 𝑧2 + 𝑧1, ∀𝑧1, 𝑧2 ∈ ℂ
ii. 𝑧1𝑧2 = 𝑧2𝑧1, ∀𝑧1, 𝑧2 ∈ ℂ

Bukti (i) :
Misalkan 𝑧1 = 𝑥1 + 𝑖𝑦1 dan 𝑧2 = 𝑥2 + 𝑖𝑦2, dengan 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ
Sehingga,
𝑧1 + 𝑧2 = (𝑥1 + 𝑖𝑦1) + (𝑥2 + 𝑖𝑦2) ... definisi 3
𝑧1 + 𝑧2 = (𝑥1 + 𝑥2) + 𝑖(𝑦1 + 𝑦2) ... definisi 3
Karena, 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ, maka berdasarkan sifat komutatif penjumlahan pada himpunan
bilangan real, Berlaku 𝑥1 + 𝑥2 = 𝑥2 + 𝑥1, 𝑦1 + 𝑦2 = 𝑦2 + 𝑦1.
Jika, 𝑥1 + 𝑥2 = 𝑥2 + 𝑥1, 𝑦1 + 𝑦2 = 𝑦2 + 𝑦1 maka berlaku,
𝑧1 + 𝑧2 = (𝑥2 + 𝑥1) + 𝑖(𝑦2 + 𝑦1) ... definisi 3
𝑧1 + 𝑧2 = (𝑥2 + 𝑖𝑦2) + (𝑥1 + 𝑖𝑦1) ... definisi 3
𝑧1 + 𝑧2 = 𝑧2 + 𝑧1 ... definisi 1
Terbukti.

Bukti (ii) :
Misalkan 𝑧1 = 𝑥1 + 𝑖𝑦1 dan 𝑧2 = 𝑥2 + 𝑖𝑦2, dengan 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ
Sehingga,
𝑧1𝑧2 = (𝑥1 + 𝑖𝑦1)(𝑥2 + 𝑖𝑦2) ... definisi 3
𝑧1𝑧2 = (𝑥1𝑥2 − 𝑦1𝑦2) + 𝑖 (𝑥1𝑦2 + 𝑥2𝑦1) ... definisi 3
Karena, 𝑥1, 𝑥2, 𝑦1, 𝑦2 ∈ ℝ, maka berdasarkan sifat komutatif perkalian pada himpunan
bilangan real, berlaku : 𝑥1𝑥2 = 𝑥2𝑥1, 𝑦1𝑦2 = 𝑦2𝑦1, 𝑥1𝑦2 = 𝑦2𝑥1, 𝑥2𝑦1 = 𝑦1𝑥2.
Jika, 𝑥1𝑥2 = 𝑥2𝑥1, 𝑦1𝑦2 = 𝑦2𝑦1, 𝑥1𝑦2 = 𝑦2𝑥1, 𝑥2𝑦1 = 𝑦1𝑥2
maka, 𝑧1 𝑧2 = (𝑥2𝑥1 −𝑦2𝑦1) + 𝑖 (𝑥2𝑦1 + 𝑥1𝑦2)
𝑧1 𝑧2 = (𝑥2 + 𝑖𝑦2)(𝑥1 + 𝑖𝑦1) ... definisi 3
𝑧1 𝑧2 = 𝑧2𝑧1 ... definisi 1
Terbukti.

Teorema 1.3
(𝑧1 + 𝑧2) + 𝑧3 = 𝑧1 + (𝑧2 + 𝑧3) dan (𝑧1𝑧2)𝑧3 = 𝑧1(𝑧2𝑧3) , ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Ada dua bentuk yang akan dibuktikan, yaitu :
i. (𝑧1 + 𝑧2) + 𝑧3 = 𝑧1 + (𝑧2 + 𝑧3), ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ
ii. (𝑧1𝑧2)𝑧3 = 𝑧1(𝑧2𝑧3) , ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ

Bukti (i) :
Akan dibuktikan (𝑧1 + 𝑧2) + 𝑧3 = 𝑧1 + (𝑧2 + 𝑧3), ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Ambil sembarang 𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Karena 𝑧1, 𝑧2, 𝑧3 ∈ ℂ, maka berdasarkan definisi 1 dapat dituliskan :
𝑧1 = 𝑥1 + 𝑖𝑦1, 𝑧2 = 𝑥2 + 𝑖𝑦2, dan 𝑧3 = 𝑥3 + 𝑖𝑦3 dengan 𝑥1, 𝑥2, 𝑥3, 𝑦1, 𝑦2,𝑦3 ∈ ℝ
Sehingga,
(𝑧1 + 𝑧2) + 𝑧3 = ((𝑥1 + 𝑖𝑦1) + (𝑥2 + 𝑖𝑦2)) + (𝑥3 + 𝑖𝑦3)..definisi 3 (𝑧1 +

𝑧2) + 𝑧3 = ((𝑥1 + 𝑥2 ) + 𝑖(𝑦1 + 𝑦2)) + (𝑥3 + 𝑖𝑦3)... definisi 3 (𝑧1 + 𝑧2) +

𝑧3 = ((𝑥1 + 𝑥2 ) + 𝑥3) + (𝑖(𝑦1 + 𝑦2) + 𝑖𝑦3 ) ... definisi 3

(𝑧1 + 𝑧2) + 𝑧3 = ((𝑥1 + 𝑥2 ) + 𝑥3) + (𝑖((𝑦1 + 𝑦2) + 𝑦3) ..definisi 3

Karena, 𝑥1, 𝑥2, 𝑥3, 𝑦1, 𝑦2,𝑦3 ∈ ℝ maka berdasarkan sifat asosiatif penjumlahan pada
himpunan bilangan real, berlaku :
(𝑥1 + 𝑥2) + 𝑥3 = 𝑥1 + (𝑥2 + 𝑥3), (𝑦1 + 𝑦2) + 𝑦3 =𝑦1 + (𝑦2 + 𝑦3).

Jika, (𝑥1 + 𝑥2) + 𝑥3 = 𝑥1 + (𝑥2 + 𝑥3), (𝑦1 + 𝑦2) + 𝑦3 = 𝑦1 + (𝑦2 + 𝑦3),

maka
(𝑧1 +𝑧2) + 𝑧3 = (𝑥1 + (𝑥2 + 𝑥3) + (𝑖(𝑦1 + (𝑦2 + 𝑦3) )
(𝑧1 + 𝑧2) + 𝑧3 = (𝑥1 + 𝑖𝑦1) + ((𝑥2 + 𝑖𝑦2) + (𝑥3 + 𝑖𝑦3)) definisi 3 (𝑧1 + 𝑧2)
+ 𝑧3 = 𝑧1 + (𝑧2 + 𝑧3)… definisi 1 Terbukti.

Bukti (ii) :
Akan dibuktikan (𝑧1𝑧2)𝑧3 = 𝑧1(𝑧2𝑧3) , ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Ambil sembarang 𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Karena 𝑧1, 𝑧2, 𝑧3 ∈ ℂ, maka berdasarkan definisi 1 dapat dituliskan :
𝑧1 = 𝑥1 + 𝑖𝑦1 ,𝑧2 = 𝑥2 + 𝑖𝑦2, dan 𝑧3 = 𝑥3 + 𝑖𝑦3 dengan 𝑥1, 𝑥2, 𝑥3, 𝑦1, 𝑦2,𝑦3 ∈ ℝ
Sehingga,
(𝑧1𝑧2)𝑧3 = ((𝑥1 + 𝑖𝑦1)(𝑥2 + 𝑖𝑦2))(𝑥3 + 𝑖𝑦3) ... definisi 3

(𝑧1𝑧2)𝑧3 = ((𝑥1𝑥2 − 𝑦1𝑦2) + 𝑖 (𝑥1𝑦2 + 𝑥2𝑦1))((𝑥3 + 𝑖𝑦3)) ... definisi 3

(𝑧1𝑧2)𝑧3= ((𝑥1𝑥2 − 𝑦1𝑦2)𝑥3) − (𝑥1𝑦2 + 𝑥2𝑦1)𝑦3)) + 𝑖 ((𝑥1𝑥2 − 𝑦1𝑦2)(𝑦3) + 𝑥3(𝑥1𝑦2 +
𝑥2𝑦1)) … definisi 3
Karena, 𝑥1, 𝑥2, 𝑥3, 𝑦1, 𝑦2,𝑦3 ∈ ℝ, maka berdasarkan sifat asosiatif perkalian pada
himpunan bilangan real,

Berlaku,(𝑥1𝑥2)𝑥3 = 𝑥1(𝑥2𝑥3), (𝑦1𝑦2)𝑦3 = 𝑦1(𝑦2𝑦3), (𝑥1𝑦2)𝑦3 =𝑥1(𝑦2𝑦3),

(𝑥2𝑦1)𝑦3 = 𝑦1(𝑥3𝑦1), (𝑥1𝑥2)𝑦3 = 𝑥1(𝑥2𝑥3), (𝑦1𝑦2)𝑥3 = 𝑦1(𝑦2𝑦3),

(𝑥1𝑦2)𝑥3 =𝑥1(𝑦2𝑦3), 𝑥3(𝑥2𝑦1) = 𝑦1(𝑥2𝑥3).

Jika,
(𝑥1𝑥2)𝑥3 = 𝑥1(𝑥2𝑥3), (𝑦1𝑦2)𝑦3 = 𝑦1(𝑦2𝑦3), (𝑥1𝑦2)𝑦3 = 𝑥1(𝑦2𝑦3),
(𝑥2𝑦1)𝑦3 =𝑦1(𝑥3𝑦1), (𝑥1𝑥2)𝑦3 = 𝑥1(𝑥2𝑥3), (𝑦1𝑦2)𝑥3 = 𝑦1(𝑦2𝑦3), (𝑥1𝑦2)𝑥3
= 𝑥1(𝑦2𝑦3), 𝑥3(𝑥2𝑦1) =𝑦1(𝑥2𝑥3)
Maka berlaku,
(𝑧1𝑧2)𝑧3= (𝑥1(𝑥2𝑥3 − 𝑦2𝑦3) − 𝑦1(𝑦2𝑥3 − 𝑥2𝑦3)) + 𝑖 (𝑥1(𝑥2𝑦3 + 𝑥3𝑦2) + 𝑦1(−𝑦2𝑦3 +
𝑥2𝑥3))
(𝑧1𝑧2)𝑧3= (𝑥1(𝑥2𝑥3 − 𝑦2𝑦3) − 𝑦1(𝑦2𝑥3 − 𝑥2𝑦3)) + 𝑖 (𝑥1(𝑥2𝑦3 + 𝑥3𝑦2) + 𝑦1(−𝑦2𝑦3 +
𝑥2𝑥3))
(𝑧1𝑧2)𝑧3= 𝑧1(𝑧2𝑧3)..definisi 3
Terbukti.
Teorema 1.4
𝑧1(𝑧2 + 𝑧3) = 𝑧1𝑧2 + 𝑧1𝑧3, ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Bukti :
Akan dibuktikan 𝑧1(𝑧2 + 𝑧3) = 𝑧1𝑧2 + 𝑧1𝑧3, ∀𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Ambil sembarang 𝑧1, 𝑧2, 𝑧3 ∈ ℂ
Karena 𝑧1, 𝑧2, 𝑧3 ∈ ℂ, maka berdasarkan definisi 1 dapat dituliskan :
𝑧1 = 𝑥1 + 𝑖𝑦1 dan 𝑧2 = 𝑥2 + 𝑖𝑦2, 𝑧3 = 𝑥3 + 𝑖𝑦3 dengan 𝑥1, 𝑥2, 𝑥3, 𝑦1, 𝑦2,𝑦3 ∈ ℝ
Sehingga,
𝑧1(𝑧2 + 𝑧3) = (𝑥1 + 𝑖𝑦1) ((𝑥2 + 𝑖𝑦2) + (𝑥3 + 𝑖𝑦3)) … definisi 3
𝑧1(𝑧2 + 𝑧3) = (𝑥1 + 𝑖𝑦1) ((𝑥2 + 𝑥3) + 𝑖(𝑦2 + 𝑦3)) … definisi 3
𝑧1(𝑧2 + 𝑧3) = ( 𝑥1(𝑥2 + 𝑥3) − 𝑦1(𝑦2 + 𝑦3)) + 𝑖(𝑥1(𝑦2 + 𝑦3) + (𝑥2+𝑥3)𝑦1)

Karena, 𝑥1, 𝑥2, 𝑥3, 𝑦1, 𝑦2,𝑦3 ∈ ℝ maka berdasarkan sifat operasi distributif
perkalian terhadap penjumlahan himpunan bilangan real, berlaku :
𝑥1(𝑥2 + 𝑥3) = 𝑥1𝑥2 + 𝑥1𝑥3, 𝑦1(𝑦2 + 𝑦3) = 𝑦1𝑦2 + 𝑦1𝑦3, 𝑥1(𝑦2 + 𝑦3)
= 𝑥1𝑦2 +𝑥1𝑦3, 𝑦1(𝑥2 + 𝑥3) = 𝑥2𝑦1 + 𝑥3𝑦1,
Sehingga :
𝑧1(𝑧2 + 𝑧3) = (𝑥1𝑥2 + 𝑥1𝑥3 − 𝑦1𝑦2 − 𝑦1𝑦3) + 𝑖(𝑥1𝑦2 + 𝑥1𝑦3 + 𝑥2𝑦1 + 𝑥3𝑦1)
𝑧1(𝑧2 + 𝑧3) = (𝑥1𝑥2 − 𝑦1𝑦2 + 𝑥1𝑥3 − 𝑦1𝑦3) + 𝑖(𝑥1𝑦2 + 𝑥2𝑦1 + 𝑥1𝑦3 + 𝑥3𝑦1)

sifat komutatif pada himpunan bilangan real

𝑧1(𝑧2 + 𝑧3) = ((𝑥1𝑥2 − 𝑦1𝑦2) + 𝑖 (𝑥1𝑦2 + 𝑥2𝑦1)) + ((𝑥1𝑥3 − 𝑦1𝑦3) + 𝑖(𝑥1𝑦3 + 𝑥3𝑦1)) …
definisi 3
𝑧1(𝑧2 + 𝑧3) = 𝑧1𝑧2 + 𝑧1𝑧3 … definisi 3
Terbukti.

Teorema 1.5
Ada 0 = (0,0) ∈ ℂ, sehingga 𝑧 + 0 = 0 + 𝑧 = 𝑧, ∀𝑧 ∈ ℂ
Bukti :
Akan dibuktikan Jika ada 0 = (0,0) ∈ ℂ, sehingga 𝑧 + 0 = 0 + 𝑧 = 𝑧, ∀𝑧 ∈ ℂ
Karena 𝑧 ∈ ℂ maka berdasarkan definisi 1 dapat ditulis :
𝑧 = 𝑥 + 𝑖𝑦 dengan 𝑥, 𝑦 ∈ ℝ
Karena, 0 = (0,0) ∈ ℂ maka berdasarkan definisi 1 dapat ditulis :
0 = 0 + 𝑖0 dengan 0 ∈ ℝ
Sehingga,
𝑧 + 0 = (𝑥 + 𝑖𝑦) + (0 + 𝑖0) … definisi 3
𝑧 + 0 = (𝑥 + 0) + 𝑖(𝑦 + 0) … definisi 3
𝑧 + 0 = 𝑥 + 𝑖𝑦 … definisi 3
𝑧+0=𝑧 … definisi 3
Karena, 𝑥, 𝑦, 0 ∈ ℝ maka berdasarkan sifat eksistensi elemen bilangan identitas
penjumlahan pada himpunan bilangan real, maka berlaku : 𝑥 + 0 = 0 + 𝑥 dan 𝑦 + 0 = 0
+ 𝑦 ∈ ℝ, sehingga
𝑧 + 0 = (0 + 𝑥) + 𝑖(0 + 𝑦) .
𝑧 + 0 = (0 + 𝑖0) + (𝑥 + 𝑖𝑦) … definisi 3
Karena, 𝑥, 𝑦, 0 ∈ ℝ dan 𝑧 + 0 = (0 + 𝑖0) + (𝑥 + 𝑖𝑦) , maka berdasarkan definisi 1, berlaku :
𝑧 + 0 = 0 + 𝑧 = 𝑧, ∀𝑧 ∈ ℂ
Terbukti.

Teorema 1.6
Ada 1 = (1,0) ≠ 0, 1 ∈ ℂ, sehingga 𝑧. 1 = 1. 𝑧 = 𝑧 ; ∀𝑧 ∈ ℂ
Bukti :
Akan dibuktikan Jika ada 1 = (1,0) ≠ 0, 1 ∈ ℂ, sehingga 𝑧. 1 = 1. 𝑧 = 𝑧 ; ∀𝑧 ∈ ℂ
Karena 𝑧 ∈ ℂ maka berdasarkan definisi 1 dapat ditulis :
𝑧 = 𝑥 + 𝑖𝑦 dengan 𝑥, 𝑦 ∈ ℝ
Karena, 1 = (1,0) ≠ 0, 1 ∈ ℂ maka berdasarkan definisi 1 dapat ditulis :
1 = 1 + 𝑖0 dengan 0,1 ∈ ℝ
Sehingga,
𝑧. 1 = (𝑥 + 𝑖𝑦)(1 + 𝑖0)
𝑧. 1 = (𝑥. 1 − 𝑦. 0) + 𝑖(𝑥. 0 + 1. 𝑦)... definisi 3
Karena, 𝑥, 𝑦, 0,1 ∈ ℝ maka berdasarkan sifat eksistensi elemen bilangan identitas
perkalian pada himpunan bilangan real, maka berlaku : 𝑥. 1 = 1. 𝑥 ∈ ℝ, sehingga
𝑧. 1 = (1. 𝑥 − 𝑦. 0) + 𝑖(𝑥. 0 + 1. 𝑦) ... definisi 3
𝑧. 1 = (1. 𝑥 − 0. 𝑦) + 𝑖(𝑥. 0 + 1. 𝑦) . . .sifat komutatif perkalian bil real
𝑧. 1 = (1. 𝑥 − 0. 𝑦) + 𝑖(1. 𝑦 + 𝑥. 0) . . .sifat komutatif penjumlahan bil real
𝑧. 1 = (1 + 𝑖0)(𝑥 + 𝑖𝑦)
Karena, 𝑥, 𝑦, 0,1 ∈ ℝ dan 𝑧. 1 = (1 + 𝑖0)(𝑥 + 𝑖𝑦) , maka berdasarkan definisi 1, berlaku :
Jika ada 1 = (1,0) ≠ 0, 1 ∈ ℂ, sehingga 𝑧. 1 = 1. 𝑧 = 𝑧 ; ∀𝑧 ∈ ℂ
Terbukti.

Teorema 1.7
 Untuk setiap 𝑧 = (𝑥, 𝑦) ∈ ℂ ada – 𝑧 = (−𝑥, −𝑦) ∈ ℂ
Sehingga 𝑧 + (−𝑧) = (−𝑧) + 𝑧 = 0

Bukti :
Akan dibuktikan, untuk setiap 𝑧 = (𝑥, 𝑦) ∈ ℂ ada – 𝑧 = (−𝑥, −𝑦) ∈ ℂ
Sehingga 𝑧 + (−𝑧) = (−𝑧) + 𝑧 = 0
Karena, 𝑧 = (𝑥, 𝑦) ∈ 𝐶 maka berdasarkan definisi 1 dapat dituliskan :
𝑧 = 𝑥 + 𝑖𝑦 , dengan 𝑥, 𝑦 ∈ ℝ
Ada – 𝑧 = (−𝑥, −𝑦) ∈ 𝐶 berarti :
−𝑧 = −𝑥 − 𝑖𝑦 , dengan 𝑥, 𝑦 ∈ ℝ.
Sehingga,
𝑧 + (−𝑧) = (𝑥 + 𝑖𝑦) + (−𝑥 − 𝑖𝑦) ... definisi 3
𝑧 + (−𝑧) = (𝑥 − 𝑥) + 𝑖(𝑦 − 𝑦)
𝑧 + (−𝑧) = 0 + 𝑖0
𝑧 + (−𝑧) = 0
Maka,
(−𝑧) + 𝑧 = (−𝑥 − 𝑖𝑦) + (𝑥 + 𝑖𝑦)
(−𝑧) + 𝑧 = (−𝑥 + 𝑥) + 𝑖(−𝑦 + 𝑦)
(−𝑧) + 𝑧 = 0 + 𝑖0
(−𝑧) + 𝑧 = 0
Karena, 𝑧 + (−𝑧) = 0 dan (−𝑧) + 𝑧 = 0 maka 𝑧 + (−𝑧) = (−𝑧) + 𝑧 = 0 , maka berlaku
untuk setiap 𝑧 = (𝑥, 𝑦) ∈ ℂ ada – 𝑧 = (−𝑥, −𝑦) ∈ ℂ sehingga 𝑧 + (−𝑧) = (−𝑧) + 𝑧 = 0.
Terbukti.

x −y
Teorema 1.8 Untuk setiap 𝒛=(𝒙,𝒚)∈ℂ, 𝒛≠𝟎 ada 𝒛−𝟏=( 2 2
, 2 2 ∈ℂ sehingga
x +y x +y
𝒛𝒛−𝟏=𝒛−𝟏𝒛=𝟏
Bukti:
(i) Akan dibuktikan 𝑧≠0 memiliki invers perkalian yang adalah bilangan kompleks,
yaitu 𝑧−1∈ℂ

(ii) Akan dibuktikan 𝑧𝑧−1=𝑧−1𝑧=1 untuk 𝑧,𝑧−1∈ℂ

Bukti (i)
Ambil sembarang 𝑧≠0∈ℂ
Misalkan 𝑧=𝑥+𝑖𝑦 dengan 𝑥,𝑦∈ℝ. Sehingga:
 1
𝑧−1=
z
1
𝑧−1=
x+iy
1 ( x +iy)
𝑧−1=
x+iy ( x +iy)
x−iy
𝑧−1=
x −i2 y 2
2

x−iy
𝑧−1=
x2 + y 2
x y
𝑧−1= 22
−i 2 2
x +y x +y
x y
Karena 𝑥, 𝑦 ∈ ℝ maka 2 2
, 2 2 ∈ℝ
x +y x +y
x y x y
Jika 2
2
, 2 2 ∈ ℝ dan 𝑧−1= 2 2 −i 2 2 maka berdasarkan defenisi 1 berlaku
x +y x +y x +y x +y
𝑧−1 ∈ ℂ Terbukti!

Bukti (ii)
Ambil sembarang 𝑧≠0∈ℂ
Misalkan 𝑧=𝑥+𝑖𝑦 dengan 𝑥,𝑦∈ℝ. Sehingga:
x y
𝑧𝑧−1=( 𝑥+𝑖𝑦)( 2 2
−i 2 2 ¿....................... (defenisi 3)
x +y x +y
𝑧𝑧−1=¿ )......... (defenisi 3)
x y2
𝑧𝑧 =( 2 2 + 2 2 )
−1
x +y x +y
2 2
x +y
𝑧𝑧−1=( 2 2
¿
x +y
𝑧𝑧−1=1
Demikian halnya:
x y
𝑧−1𝑧=( 2 2
−i 2 2 )( 𝑥+𝑖𝑦) ....................... (defenisi 3)
x +y x +y
𝑧−1𝑧=¿ ......... (defenisi 3)
𝑧−1𝑧=¿)
𝑧−1𝑧==¿)
𝑧−1𝑧=1
Karena 𝑧𝑧−1=1 dan 𝑧−1𝑧=1 maka 𝑧𝑧−1=𝑧−1𝑧=1,sehingga berlaku untuk setiap 𝑧=(𝑥,𝑦)∈ℂ ada 𝑧−1=
¿) ∈ℂ sehingga 𝑧𝑧−1=𝑧−1𝑧=1 Terbukti!