§ 4.3. Комплексные числа 213
Упражнение 90. а) Запишите первое из двух предыдущих тождеств,
заменяя модули их выражениями через действительные и мнимые части.
Полученное тождество называется тождеством Фибоначчи и было от
-
крыто задолго до появления комплексных чисел.
б) Докажите его непосредственно.
в) Натуральное число назовем шумерским, если оно является суммой
двух квадратов натуральных чисел. Докажите, что произведение шумер
-
ских чисел
––
шумерское число.
г) Проверьте тождество hw, zi
2
+ hiw, zi
2
= |z|
2
|w|
2
. У к а з а
-
н и е. Так как Re (iz) =−Im z, то hiw, zi = Re (iw
z) = − Im (wz), значит,
hw, zi
2
+ hiw, zi
2
= Re (w
z)
2
+ Im (wz)
2
= |wz|
2
= |z|
2
|w|
2
.
д) Проверьте, что предыдущее тождество
––
это просто другая запись
тождества Фибоначчи.
Из тождества Фибоначчи немедленно следует частный случай нера
-
венства Коши
––
Буняковского
––
Шварца |hw, zi|6 |z|·|w|.
Упражнение 91. Проверьте, что в равенство оно обращается тогда
и только тогда, когда z = aw, где a ∈R.
Из неравенства |hw, zi|6 |z|·|w| немедленно следует неравенство
треугольника |z|+ |w|> |z + w|. Действительно, согласно упражне
-
нию 87 и неравенству Коши
––
Буняковского
|z + w|
2
= hw + z, w + zi= hw, wi+ hz, zi + 2hw, zi6
6 |w|
2
+ |z|
2
+ 2|z||w|= (|z|+ |w|)
2
.
Для комплексных чисел есть удобная геометрическая интерпрета
-
ция *
––
их изображают точками плоскости с координатами (a, b).
*
z(a, b)
Re z
• •
•
Im z
-
6
Рис. 24
Эквивалентным образом, их можно изоб
-
ражать векторами, выходящими из начала
координат и с концом в точке (a, b) (рис. 24).
Множество всех действительных чисел при
этом изображается одной из осей координат,
называемой действительной осью, а мно
-
жество всех чисто мнимых чисел, т.е. чисел
с нулевой действительной частью, изображается другой осью координат,
называемой мнимой осью. Модулем комплексного числа является длина
изображающего его вектора.
* Предложенная в начале XIX в. независимо французом Ж. Арганом и датчанином
К. Весселем, но вошедшая во всеобщее употребление благодаря Гауссу.