Как строго доказать:

Answer 1

ерунду написали. в теории функций комплексной переменной верны все формулы обычного матанализа, (a^b) ^c = a^ (bc)

i - такое же число, как любое другое.

так что строгое доказательство первой строки - просто перенос обычной формулы. Второе тождество тоже верно.

сколько помню, доказательство было через теорему о единственности расширения аналитической функции с действительной прямой на комплексную, отсюда автоматом расширились и все формулы.