# Nakafa Learning Content

> For AI agents: use [llms.txt](https://nakafa.com/llms.txt) for the site index. Markdown versions are available by appending `.md` to content URLs or sending `Accept: text/markdown`.

URL: https://nakafa.com/en/subjects/mathematics/complex-number/properties-addition-complex-numbers
Source: https://raw.githubusercontent.com/nakafaai/nakafa.com/refs/heads/main/packages/contents/material/lesson/mathematics/complex-number/properties-addition-complex-numbers/en.mdx

Explore algebraic properties of complex addition: commutative, associative, identity, inverse. Learn scalar multiplication and prove expressions.

---

## Operation Basics

Addition and scalar multiplication operations on complex numbers have interesting properties, similar to those of real numbers. These properties help us in performing calculations.

Let $$z_1$$, $$z_2$$, and $$z_3$$ be any complex numbers, and let $$c$$ and $$d$$ be any scalars (real numbers).

Visible text: Let , , and be any complex numbers, and let and be any scalars (real numbers).

## Addition Properties

### Commutativity

The order of addition does not matter; the result remains the same.

```math
z_1 + z_2 = z_2 + z_1
```

Example: $$(2+i) + (1-3i) = (1-3i) + (2+i) = 3-2i$$

Visible text: Example:

### Addition Associativity

When adding three complex numbers, the grouping of the addition does not affect the result.

```math
(z_1 + z_2) + z_3 = z_1 + (z_2 + z_3)
```

### Identity Element

There exists a complex number $$0 = 0 + 0i$$ (zero) such that when added to any complex number $$z_1$$, the result is $$z_1$$ itself.

Visible text: There exists a complex number (zero) such that when added to any complex number , the result is itself.

```math
z_1 + 0 = z_1
```

### Inverse Element

Every complex number $$z_1 = x + iy$$ has an additive inverse (opposite), denoted by $$-z_1 = -x - iy$$, such that their sum is the zero element ($$0$$).

Visible text: Every complex number has an additive inverse (opposite), denoted by , such that their sum is the zero element ().

```math
z_1 + (-z_1) = 0
```

Example:

If $$z_1 = 5-2i$$, then $$-z_1 = -5+2i$$.

Visible text: If , then .

Then $$(5-2i) + (-5+2i) = (5-5) + i(-2+2) = 0 + 0i = 0$$.

Visible text: Then .

## Scalar Multiplication

### Multiplication Associativity

The grouping of scalar multiplication does not affect the result.

```math
c(dz_1) = (cd)z_1
```

### Scalar Distributivity

A scalar can be distributed over the addition of scalars.

```math
(c + d)z_1 = cz_1 + dz_1
```

### Complex Distributivity

A scalar can be distributed over the addition of complex numbers.

```math
c(z_1 + z_2) = cz_1 + cz_2
```

### Scalar Identity

Multiplying a complex number by the scalar $$1$$ does not change the complex number.

Visible text: Multiplying a complex number by the scalar does not change the complex number.

```math
1 z_1 = z_1
```

### Zero Scalar

Multiplying a complex number by the scalar $$0$$ results in the complex number zero.

Visible text: Multiplying a complex number by the scalar results in the complex number zero.

```math
0 z_1 = 0
```

## Property Applications

These properties can be used to simplify or prove expressions involving complex numbers.

### Application Example

Show that for any complex number $$z$$, $$4z + (-4)z = 0$$ holds.

Visible text: Show that for any complex number , holds.

**Solution:**

We can use the distributivity of scalar over scalar addition (property f) and the multiplication by zero scalar property (property i).

Component: MathContainer
Children:

```math
4z + (-4)z = (4 + (-4))z \quad \text{(Distributive Property)}
```

```math
= (0)z \quad \text{(Scalar addition)}
```

```math
= 0 \quad \text{(Multiplication by Zero Scalar Property)}
```

Thus, it is proven that $$4z + (-4)z = 0$$.

Visible text: Thus, it is proven that .

## Exercise

Using the properties above, prove that $$3z - \frac{1}{2}(2z) = 2z$$ for any complex number $$z$$.

Visible text: Using the properties above, prove that for any complex number .

### Answer Key

Component: MathContainer
Children:

```math
3z - \frac{1}{2}(2z) = 3z + (-\frac{1}{2})(2z) \quad \text{(Definition of subtraction)}
```

```math
= 3z + ((-\frac{1}{2}) \times 2)z \quad \text{(Associativity of Scalar Multiplication)}
```

```math
= 3z + (-1)z \quad \text{(Scalar multiplication)}
```

```math
= (3 + (-1))z \quad \text{(Distributive Property)}
```

```math
= (2)z \quad \text{(Scalar addition)}
```

```math
= 2z
```

Thus, it is proven that $$3z - \frac{1}{2}(2z) = 2z$$.

Visible text: Thus, it is proven that .