Gọi các số phức [TEX]\left{\begin{array}\\{z=a+bi}\\{z'=a'+b'i}\end{array} \ [/TEX][TEX] \ (a,b,a',b' \in R)[/TEX]
Ta có:
[TEX]|\frac{z}{z'}|=|\frac{(a+bi)(a'-b'i)}{a'^2+b'^2}|=|\frac{a.a'+b.b'-(a.b'-b.a')i}{a'^2+b'^2}|[/TEX]
[TEX]=\sqrt{\frac{(a.a')^{2}+(b.b')^{2}+(a.b')^2+(b.a')^{2}+2aba'b'-2aba'b'}{(a'^2+b'^2)}}= \sqrt{\frac{(a'^2+b'^2)(a^2+b^2)}{(a'^2+b'^2)^{2}[/TEX]
[TEX]=\sqrt{\frac{a^2+b^2}{a'^2+b'^2} \ (1)[/TEX]
[TEX]\frac{|z|}{|z'|}=\sqrt{\frac{a^2+b^2}{a'^2+b'^2} \ (2)[/TEX]
Từ (1) và (2) suy ra điều cần chứng minh.