1. Assosiatif terhadap penjumlahan.

∀ z1 , z2 , z3 ∈ C dimana z1 + (z2 + z3 ) = (z1 + z2 ) + z3

Bukti :
Diambil sebarang z1 , z2 , z3 ∈ C dimana z1 = x1 + iy1 dan z2 = x2 + iy2 dan z3 = x3 + iy3 dengan
x1 , y1 , x2 , y2 , x3 , y3 ∈ R
Maka :
z1 + (z2 + z3 ) = (x1 + iy1 ) + ((x2 + iy2 ) + (x3 + iy3 ))
= (x1 + iy1 ) + ((x2 + x3 ) + i(y2 + y3 ))
= (x1 + x2 + x3 ) + i(y1 + y2 + y3 )
= ((x1 + x2 ) + i(y1 + y2 )) + (x3 + iy3 )
= ((x1 + iy1 ) + (x2 + iy2 )) + (x3 + iy3 )
= (z1 + z2 ) + z3

2. Assosiatif terhadap perkalian.

∀ z1 , z2 , z3 ∈ C dimana z1 (z2 z3 ) = (z1 z2 )z3 dengan i = √−1
Bukti :
Diambil sebarang z1 , z2 , z3 ∈ C dimana z1 = x1 + iy1 dan z2 = x2 + iy2 dan z3 = x3 + iy3 dengan
x1 , y1 , x2 , y2 , x3 , y3 ∈ R
Maka :
(z1 . z2 ). z3 = [(x1 + iy1 )(x2 + iy2 )] (x3 + iy3 )
= [ x1 (x2 + iy2 ) + iy1 (x2 + iy2 )] (x3 + iy3 )
= [ x1 x2 + x1 iy2 + x2 iy1 + iy1 iy2 ] (x3 + iy3 )
= [(x1 x2 - y1 y2 ) + i (x1 y2 + x2 y1 )] (x3 + iy3 )
= [ x3 (x1 x2 - y1 y2 ) + iy3 (x1 x2 - y1 y2 )] + [x3 (x1 iy2 + x2 iy1 ) + iy3 (x1 𝑖y2 + x2 𝑖y1 )]
= [ x1 x2 x3 - x3 y1 y2 + iy3 x1 x2 - iy3 y1 y2 ] + [x3 x1 iy2 + x2 x3 iy1 - x1 y2 y3 - x2 y1 y3 ]
= ( x1 x2 x3 - x3 y1 y2 + iy3 x1 x2 - iy3 y1 y2 + x3 x1 iy2 + x2 x3 iy1 - x1 y2 y3 - x2 y1 y3 )
= ( x1 x2 x3 - x3 y1 y2 - x1 y2 y3 - x2 y1 y3 ) + (x2 x3 iy1 + x3 x1 iy2 + iy3 x1 x2 - iy3 y1 y2 )
= [ x1 (x2 x3 - y2 y3 ) + y1 (−x3 y2 − x2 y3 )] + [ x1 (x3 iy2 + iy3 x2 ) + y1 (−iy3 y2 + x2 x3 i)]
= [ x1 (x2 x3 - y2 y3 + x3 iy2 + iy3 x2 ) + y1 (x2 x3 i − iy3 y2 − x3 y2 −x2 y3 )] dikalikan i
= [ x1 (x2 x3 −y2 y3 + i (x3 y2 + x2 y3 ) + iy1 (x2 x3 + y3 y2 + x3 𝑖y2 + x2 iy3 )
= [ x1 (x2 x3 − y2 y3 + i (x3 y2 + x2 y3 ) + iy1 [(x2 x3 + y3 y2 ) + i (x3 y2 + x2 y3 )]
= (x1 + iy1) [(x2 x3 - y2 y3 ) + i (x3 y2 + x2 y3 )]