複變函式/附錄/證明/三角不等式

設 $z$ 和 $w$ 是複數。因為我們有

$|z+w|^{2}\,$	$=(z+w){\overline {(z+w)}}=(z+w)({\bar {z}}+{\bar {w}})$
	$=|z|^{2}+z{\bar {w}}+{\overline {z{\bar {w}}}}+|w|^{2}$
	$=|z|^{2}+2{\mbox{Re }}(z{\bar {w}})+|w|^{2}$
	$\leq |z|^{2}+2|z||w|+|w|^{2}$
	$=(|z|+|w|)^{2}\,$

三角不等式在對等式兩邊開方後成立。這裡我們用到了性質

${\mbox{ Re}}(z)\leq |z|$, $|z|=|{\bar {z}}|$ 和 $z+{\bar {z}}=2{\mbox{Re }}(z)$.

此外，歸納法表明

$\left|\sum _{1}^{n}z_{k}\right|\leq \sum _{1}^{n}|z_{k}|$