に対応する。"Re" は実軸(real part)、"Im" は虚軸(imaginary part)を意味する。]]
虚数単位 i を i^2=-1 を満たす数とする。2つの実数 a, b によって a+bi と表される数を複素数という。
座標平面上の点 (a, b) と複素数 a+bi を同一視することで、複素数を座標平面上の点と考えることができる。この平面を複素数平面(complex plane)という。複素平面やガウス平面と呼ばれることもある。
複素数平面において、 x 軸を実軸(real part)、 y 軸を虚軸(imaginary part)という。
複素数平面上で複素数 z に対応する点 \mathrm{A} のことを \mathrm{A}(z) と表現することもある。
複素数 z = a+bi について複素数 \bar z = a-bi を z の共役複素数といい、\bar z で表す。
複素数 z と複素数 -z は原点に対して対称であり、複素数 z と複素数 \bar z は実軸に対して対称である。
複素数平面において、複素数 z = a+bi から原点までの距離を絶対値といい |z| で表す。三平方の定理より |z| = \sqrt{a^2 + b^2} である。 
z \bar z = (a+bi)(a-bi) = a^2 + b^2 = |z|^2 である。
右|サムネイル|r(\cos\phi + i\sin\phi)に対応する点。
上記のように、複素数平面では、複素数の実部と虚部をそれぞれ平面上の点の直交座標に対応させている。ところで、平面上の点の位置の表し方として、直交座標の他に極座標があった。点の位置を極座標で表すことに対応する複素数の表し方を、極形式という。直交座標と極座標は
で変換することができるのであった。つまり、極形式とは次のような形の複素数の表現である。
ここで、''r''を複素数a+biの絶対値、θを複素数a+biの偏角といい、\theta = \arg zで表す。r=\sqrt{a^2+b^2} = |z|である。θは原点と z 、 a を頂点とする三角形の原点の角度を表している。
極形式で複素数を表すと、複素数の積が次のように簡単に計算できる。
z_1 = r_1(\cos\theta_1 + i\sin\theta_1), z_2 = r_2(\cos\theta_2 + i\sin\theta_2) とすると、
z_1z_2 &= 
\{r_1(\cos\theta_1+i\sin\theta_1)\}\{r_2(\cos\theta_2+i\sin\theta_2)\} \\
&=r_1r_2(\cos\theta_1+i\sin\theta_1)
(\cos\theta_2+i\sin\theta_2) \\
&= r_1r_2\{\cos\theta_1\cos\theta_2 - \sin\theta_1\sin\theta_2 +i(\sin\theta_1\cos\theta_2 + \cos\theta_1\sin\theta_2)\} \\
&=r_1r_2\{\cos(\theta_1+\theta_2)+i\sin(\theta_1+\theta_2)\}
\end{align}
ただし、三行目から四行目への式変形は三角形の加法定理を使った。
次に複素数の商を計算してみよう。
整数 n に対し、複素数  \cos \theta + i \sin \theta  の n 乗は、
となることが知られている。これを ド・モアブルの定理 という。
これを証明しよう。
まず、n \ge 0 の場合を数学的帰納法で証明する。
n = 0 のとき、
である。
n \ge 1 とし、
n-1 のとき
が成り立つと仮定すると
(\cos \theta + i\sin \theta)^n
&= (\cos \theta + i\sin \theta)^{n-1}(\cos \theta + i\sin \theta) \\
&= \{\cos (n-1)\theta + i\sin (n-1)\theta\}(\cos \theta + i\sin \theta)\\
&= \cos n\theta + i\sin n\theta \end{align} 
となり、n の場合も証明できた。
n \ge 1 のとき、
\begin{align}
(\cos\theta +i\sin\theta)^{-n} &= \{(\cos\theta +i\sin\theta)^{-1}\}^n \\
&= \{\cos(-\theta) +i\sin(-\theta)\}^n \\
&= \cos(-n\theta) +i\sin(-n\theta)
\end{align}
したがって、 n が整数のときド・モアブルの定理が成り立つことが証明できた。
ド・モアブルの定理を用いて、zについてのn次方程式
の複素数解をすべて求めてみよう。まず、''a''が正の実数のときを考える。z=r(\cos\theta+i\sin\theta)と極形式で表すとき、ド・モアブルの定理よりz^n=r^n(\cos n\theta+i\sin n\theta)である。正の実数''a''の絶対値は''a''、偏角は0であることに注意すると、z^n=aを満たすとき、
でなければならないことがわかる。ただし k は整数である。''r''が正の実数であることに注意してこの式を解くと、
であるから、整数''k''を用いて
と表される数が複素数解のすべてである。
一般の複素数\alphaに対して、''z''についての''n''次方程式
を考えると、まったく同様の計算により解は整数''k''を用いて
と表される。
偏角が 2\pi の整数倍ずれるだけの複素数は同じ複素数であることに注意すると、いずれの場合も異なる解はちょうど''n''個存在することがわかる。その''n''個の解を複素数平面上で考えると、原点を中心とする正''n''角形を描くことが確かめられる。
\alpha を複素数、r を正の実数とする。 方程式 |z-\alpha| = r を満たす複素数 z の軌跡は、 \alpha を中心とし、 r を半径とする円である。|z-\alpha| は \alpha, z  の距離を示す
\alpha, \beta を複素数とする、方程式 |z - \alpha| = |z - \beta| を満たす複素数 z の軌跡は、\alpha, \beta を通る線分の二等分線である。
複素数平面上の点 \mathrm{A}(\alpha),\mathrm{A'}(\alpha'),\mathrm{B}(\beta),\mathrm{B'}(\beta') に対し、 \arg \frac{\alpha' - \alpha}{\beta'-\beta} はベクトル \vec{\mathrm{AA}'} とベクトル \vec {\mathrm{BB}'} のなす角である。特に、 \frac{\alpha' - \alpha}{\beta'-\beta} が実数のときベクトル \vec{\mathrm{AA}'} とベクトル \vec {\mathrm{BB}'} は平行。\frac{\alpha' - \alpha}{\beta'-\beta} が純虚数のときはベクトル \vec{\mathrm{AA}'} とベクトル \vec {\mathrm{BB}'} は垂直である。
複素数 z に複素数 \cos \theta + i\sin \theta をかけた複素数 (\cos\theta + i\sin\theta)z は、複素数 z を原点を中心に \theta だけ回転した点を表す。
一般に、複素数 z を複素数 \alpha を中心に \theta だけ回転した点 z' は、z' = (z-\alpha)(\cos \theta + i\sin \theta)+\alpha である。