Геометрический смысл алгебраических операций

Пусть даны два комплексных числа z₁ и z₂. В результате сложения этих чисел получается число z₃, изображаемое вектором 0С диагонали параллелограмма 0АСВ (по правилу параллелограмма сложения векторов): z₁+z₂=0A+0B=0C=z₃.

Разность (z₁-z₂) данных чисел, соответствующая их вычитанию, можно рассматривать как сумму вектора 0А, изображающего число z₁ и вектора 0D=--0В, противоположного вектору 0В (симметричного ему относительно начала координат): z₁-z₂=z₁+(-z₂)=0A+0D=0E=BA. Таким образом, разности (z₁-z₂) данных чисел соответствует вектор ВА другой диагонали параллелограмма 0АСВ Для иллюстрации остальных алгебраических действий над комплексными числами более удобна тригонометрическая форма.

Умножение. Пусть даны два комплексных числа z₁=r₁(cosφ₁+isinφ₁) и z₂=r₂(cosφ₂+isinφ₂). Перемножая их получим z₁z₂=r₁r₂(cos(φ₁+φ₂)+isin(φ₁+φ₂)). Следовательно, при умножении комплексных чисел их модули перемножаются, а аргументы складываются. Это правило верно и для любого числа сомножителей.

Деление. Если требуется разделить z₁ на z₂, то выполняем следующие преобразования: z₁/z₂=(z₁z₂)/(z₂z₂)=(r₁(cosφ₁+isinφ₁)r₂(cosφ₂-isinφ₂))/ (r₂(cosφ₂+isinφ₂)r₂(cosφ₂-isinφ₂))=(r₁/r₂)(cos(φ₁-φ₂)+isin(φ₁-φ₂)), т.е. при делении двух комплексных чисел их модули делятся, а аргументы вычитаются.

Возведение в степень. Умножая число z=r(cosφ+isinφ) само на себя «n» раз, получаем согласно правилу умножения zⁿ=rⁿ(cosφ+isinφ)ⁿ=rⁿ(cosnφ+isinnφ). Таким образом, при возведении комплексного числа в степень «n» в ту же степень возводится его модуль, а аргумент умножается на «n» (на показатель степени). В частном случае, если Извлечение корня. Пусть а=re^iφ, z=ρe^iσ. Решаем уравнение zⁿ=a для вычисления ⁿ√a: ρⁿe^inσ=re^iφ. Отсюда с учетом того, что аргументы чисел отличаются на целое кратное числу 2π, получаем: ρⁿ=r, nσ-φ=2πK, или ρ=ⁿ√r; σ_K+1=(φ+2πK)/n (причем К=0,1,2…n-1). Таким образом, z_k=ⁿ√r(cosφ+isinφ)=ⁿ√r((cosφ+2Kπ)/n+isin(φ+2Kπ)/n)), (8)

где ⁿ√r, - арифметический корень, а К=0,1,2,…,n-1; т.е. корень степени n в множестве комплексных чисел имеет “n” различных значений z_k (исключение представляет z=0. В этом случае все значения корня равны между собой и равны нулю).

Заметим также, что разность между аргументами соседних чисел z_k+1 и z_k постоянна и равна 2π/n: σ_k+1-σ_k=(φ+2π(K+1))/n-(φ+2πK)/n=2π/n. Отсюда следует, что все значения ⁿ√a располагаются на комплексной плоскости в вершинах некоторого правильного n-угольника с центром в начале координат.