Сайт Романа ПарпалакаЗаметкиНаучный калейдоскопФормула Эйлера и приближенные методы

Формула Эйлера и приближенные методы

29 декабря 2012 года

Илья Бирман в заметке о числах π и e написал об их связи со мнимой единицей:

Числа π и e входят в мою любимую формулу — формулу Эйлера, которая связывает 5 самых главных констант — ноль, единицу, мнимую единицу i и, собственно, числа π и е:

e + 1 = 0

Почему число 2,7182818284590 в комплексной степени 3,1415926535i вдруг равно минус единице? Ответ на этот вопрос выходит за рамки заметки и мог бы составить содержание небольшой книги, которая потребует некоторого начального понимания тригонометрии, пределов и рядов.

Замечание о небольшой книге верно. Но я собираюсь в одной заметке рассказать, почему e = −1, без привлечения пределов и рядов. Сначала я остановлюсь на приближенном выражении для экспоненты, а также напомню, как обращаться с комплексными числами.

Экспоненциальная функция

$$\begin{tikzpicture}[scale=1.0544]\small \begin{axis}[axis line style=gray, samples=120, width=11.3cm,height=7.158cm, xmin=-2.1, xmax=2.1, ymin=0, ymax=1.8, restrict y to domain=-0.2:2, ytick={1}, xtick={-1,1}, axis equal, axis x line=center, axis y line=center, xlabel=$x$,ylabel=$y$] \addplot[red,domain=-2:1,semithick]{exp(x)}; \addplot[black]{x+1}; \addplot[] coordinates {(1,1.5)} node{$y=x+1$}; \addplot[red] coordinates {(-1,0.6)} node{$y=e^x$}; \path (axis cs:0,0) node [anchor=north west,yshift=-0.07cm] {0}; \end{axis} \end{tikzpicture}$$

Экспоненциальная функция y = ex среди степенных функций с другими основаниями примечательна тем, что касательная к ее графику в точке x = 0 идет под углом в 45 градусов. Как видно из рисунка, вблизи точки касания кривую y = ex можно заменить самой касательной y = 1 + x. Поэтому для очень малых значений x экспоненту легко вычислить по приближенной формуле

ex ≈ 1 + x,     |x| << 1.

Что делать, если показатель экспоненты не является малым числом? Попробуем извлечь корень из ex и сразу же возвести в квадрат: ex = ex/2 ex/2 = (ex/2)2. Показатель экспоненты уменьшился в два раза. Ясно, что если экспоненту разбить на большее количество множителей, показатель уменьшится еще сильнее: ex = (ex/n)n. Выбираем n очень большим и используем приближение для ex/n:

$$e^x=\left(e^{x\over n}\right)^n\approx\left(1+{x\over n}\right)^n.$$

Чем больше n, тем меньше аргумент экспоненты x/n и тем точнее работает эта формула.

Комплексные числа

Комплексное число — это сумма обычного действительного числа a и мнимого числа bi, где мнимая единица i есть решение уравнения x2 + 1 = 0. Правила действий над комплексными числами легко получить, если потребовать, чтобы основные формулы арифметики действительных чисел, такие как возведение в степень и раскрытие скобок, были верны и для комплексных чисел. То есть комплексные числа можно складывать и умножать как обычно, нужно только помнить, что i2 = −1. Например,

$$\begin{align*}(a+bi)+(c+di)&=(a+c)+(b+d)i,\\ (a+bi)\cdot(c+di)&=ac+adi+bci+bdi^2=(ac-bd)+(ad+bc)i.\end{align*}$$

У комплексных чисел a + bi есть наглядное графическое представление. Будем считать, что это число задает точку с координатами (a, b). Или, что то же самое, вектор, проведенный из начала координат в эту точку. Проекции вектора на оси координат есть a и b. Ясно, что каждому вектору можно сопоставить свою пару чисел (a, b), то есть свое комплексное число a + bi.

$$\begin{tikzpicture}[semithick,scale=1.0545]\small \tikzset{>=stealth} \def\r{2.3} \def\l{4} \def\ll{\l*0.8} \def\h{0.6} \def\a{2.4} \def\b{1.8} \def\t{0.07} \def\p{0.5} \draw[->,thin,gray](-\h,0)--(\l,0); \draw[->,thin,gray](0,-\h)--(0,\ll); \draw[red!50!black](0,0)--(\a,0) node[midway,below] {$a$}; \draw[black!50!green](\a,0)--(\a,\b) node[midway,right] {$b$}; \draw[->,black!40!blue](0,0)--(\a,\b) node[midway,above] {$r$} node[p=1,above,black] {$(a,b)$}; \draw[thin](\p,0) arc (0:atan2(\b,\a):\p) node[midway,right,yshift=0.06cm] {$\alpha$}; \path(0,0) node [anchor=north west,yshift=-0.07cm] {0}; \draw[line width=0.2mm,opacity=0] (-\h,-\h) rectangle (\l,\ll); \end{tikzpicture}$$

Представление в виде вектора удобно, когда речь идет о сумме комплексных чисел. Тогда вектор, соответствующий сумме комплексных чисел, равен сумме векторов, соответствующих каждому слагаемому. К сожалению, у произведения комплексных чисел нет такой наглядной картины. Тем не менее, чтобы сформулировать относительно простое правило для представления произведения в виде вектора, перейдем от декартовых координат (a, b) к полярным координатам r и α. Первое число задает длину вектора и называется модулем комплексного числа, а второе есть угол между вектором и осью абсцисс и называется аргументом. Ясно, что каждая пара этих чисел, r и α, тоже однозначно задает свой вектор и свое комплексное число.

Теперь можно сформулировать правило умножения в терминах длины вектора и его направления (оно выведено в дополнении к заметке). Длина вектора произведения равна произведению длин векторов сомножителей, а аргумент (угол между вектором и осью абсцисс) равен сумме аргументов. Я изобразил это правило на рисунке. Здесь синий вектор равен произведению зеленого и красного.

$$\begin{tikzpicture}[scale=1.0545,semithick,st1/.style={black!30!red,->},st2/.style={black!50!green,->},st3/.style={black!40!blue,->}] \footnotesize \tikzset{>=stealth} \def\r{2.5} \def\ra{1.3} \def\aa{48} \def\rb{1.1} \def\ab{72} \def\b{1.8} \def\t{0.07} \def\l{\r*1.6} \draw[gray,thin,->] (-0.5*\l,0)--(\l,0); \draw[gray,thin,->] (0,-0.6)--(0,\l); \draw[st1](0,0)--(\aa:\ra*\r) node[pos=0.7,left] {$r$}; \draw[st2](0,0)--(\ab:\rb*\r) node[pos=0.7,left] {$R$}; \draw[st3](0,0)--(\aa+\ab:\rb*\ra*\r) node[pos=0.6,left] {$r\cdot R\,$}; \def\pa{1.2} \draw[thin,st1] (\pa,0) arc (0:\aa:\pa) node[midway,right,yshift=0.06cm] {$\alpha$}; \def\pb{1.0} \draw[thin,st2] (\pb,0) arc (0:\ab:\pb) node[pos=0.74,above] {$\beta$}; \def\pb{0.8} \draw[thin,st3] (\pb,0) arc (0:\aa+\ab:\pb) node[pos=0.81,above] {$\alpha\!+\!\beta$}; \draw[very thin] (\r,\t)--(\r, -\t) node[below]{$1$} (\t,\r)--(-\t, \r) node[left]{$1$} (0,0) node [anchor=north west,yshift=-0.07cm] {0}; \draw [line width=0.2mm,opacity=0] (-0.5*\l,-0.6) rectangle (\l,\l); \end{tikzpicture}$$

Возведение в комплексную степень

В отличие от сложения и умножения, правило возведения в комплексную степень xa + bi, или хотя бы во мнимую степень xbi, нельзя получить, обобщив обычное правило возведения в действительную степень. Например, 2i — это результат умножения числа 2 самого на себя «i раз». Непонятно, правда?

Чтобы всё же определить возведение в комплексную степень, нужно привлечь дополнительные принципы или соображения по отношению к правилам арифметики. В качестве такого принципа я предлагаю считать разложение ex ≈ 1 + x около нуля справедливым не только для действительных x, но и для комплексных.

Если это разложение верно, то тогда приближенная формула ex ≈ (1 + x/n)n должна работать и для комплексных чисел. В ее показателе уже нет мнимой единицы, поэтому расчеты можно проводить с помощью выписанных выше правил. Это ровно то, что нам нужно для вычисления e.

Возьмем для примера n = 10 и будем умножать число 1 + /10 само на себя, чтобы получить (1 + /10)10. К счастью, компьютер большую часть работы делает за нас:

(1 + /10)1 = 1 + 0,3142i
(1 + /10)2 = 1 + 2·0,3142i − 0,31422 = 0,9013 + 0,6283i
(1 + /10)3 = 0,7039 + 0,9115i
(1 + /10)4 = 0,4176 + 1,1326i
(1 + /10)5 = 0,0617 + 1,2638i
(1 + /10)6 = −0,3352 + 1,2832i
(1 + /10)7 = −0,7384 + 1,1779i
(1 + /10)8 = −1,1085 + 0,9459i
(1 + /10)9 = −1,4056 + 0,5976i
(1 + /10)10 = −1,5934 + 0,1561i

Вот эти числа на рисунке:

$$\begin{tikzpicture}[scale=1.0545]\small \tikzset{>=stealth} \def\k{10} \def\p{3.1415926/\k} \def\r{3.1} \def\l{5.8} \def\t{0.07} \draw[->,thin,gray] (-\l,0)--(\l,0); \draw[->,thin,gray] (0,-0.6)--(0,\l); \draw[green!40!black](\r,0) -- (\r,\p*\r) node[midway,right] {$i\pi/\k$}; \foreach \l in {1,...,\k} \draw[->] (0,0) -- ({(\l-1)*atan(\p)}:{((sqrt(1+\p*\p)^(\l-1)*\r)}); \draw[->,red] (0,0) -- ({\k*atan(\p)}:{((sqrt(1+\p*\p)^\k*\r)}) node[pos=0.91,above] {$-1,\!5934+0,\!1561i$}; \draw[very thin] (\r,\t)--(\r,-\t) node[below]{$1$} (-\r,\t)--(-\r,-\t) node[below]{$-1$} (\t,\r)--(-\t,\r) node[left]{$1$} (0,0) node [anchor=north west,yshift=-0.07cm] {$0$}; \draw [line width=0.2mm,opacity=0] (-\l,-0.6) rectangle (\l,\l); \end{tikzpicture}$$

В соответствии с правилом умножения, аргумент растет как арифметическая прогрессия, а модуль — как геометрическая. К сожалению, из-за небольшого n наша формула слишком неточная, и мы пришли к числу −1,5934 + 0,1561i вместо ожидаемого −1. Но зато мы понимаем процедуру, которая при неограниченном росте n даст нужное значение.

Действительно, чем меньше число /n, тем с большей точностью отрезок касательной /n приближает дугу окружности, тем ближе к π/n угол между соседними векторами и тем меньше отклонение длины векторов от 1. В пределе мы получим точки окружности единичного радиуса, а само число (1 + /n)n попадет в −1. Прямые вычисления это подтверждают:

(1 + /100)100 = −1,0506 + 0,001085i,
(1 + /1000)1000 = −1,004946 + 0,00001039i,
(1 + /10000)10000 = −1,0004936 + 1,03·10−7i.

Дополнение 1. Привлечение математической строгости

Я на простых примерах рассказал о том, как ведут себя числа и функции. Математики обычно не используют изложенный выше способ рассуждений, хотя его можно сделать вполне строгим с помощью понятий предела и «о малого».

Но даже если следовать абсолютно строгому математическому пути построения теории, нельзя просто так ввести правило возведения в комплексную степень, без дополнительных определений и аксиом. Разложение ex ≈ 1 + x представляет собой два первых слагаемых в ряде Тейлора (остальными слагаемыми мы пренебрегли, потому что они дадут поправку порядка x2, которая несущественна при малых x). В простейшем случае комплексная экспонента определяется как сумма всех слагаемых ряда Тейлора. С использованием такого определения вывод формулы eix = cos x + i sin x, и ее частного случая, формулы Эйлера, является легким упражнением для изучающих математический анализ.

В более продвинутом курсе теории функций комплексной переменной вводится понятие аналитической функции. Это такая функция f, которая раскладывается в ряд Тейлора, который сходится к самой функции f. (Для того чтобы комплексная функция была аналитической в какой-то области, достаточно, чтобы она была дифференцируемой в этой области. Требование дифференцируемости в комплексном случае гораздо сильнее, чем в действительном. Комплексная дифференцируемая функция в области бесконечно дифференцируема и аналитична на ней.) Оказывается, что аналитическую функцию, определенную для действительных чисел, можно единственным образом продолжить в область комплексных чисел, чтобы функция осталась аналитической. В этом и состоит обоснование выбора определения комплексной экспоненты через ряды: мы специально выбираем экспоненту в виде ряда, чтобы получилась аналитическая функция.

Дополнение 2. Тригонометрическая форма и умножение комплексных чисел

$$\begin{tikzpicture}[semithick,scale=1.0545]\small \tikzset{>=stealth} \def\r{2.3} \def\l{4} \def\ll{\l*0.8} \def\h{0.6} \def\a{2.4} \def\b{1.8} \def\t{0.07} \def\p{0.5} \draw[->,thin,gray](-\h,0)--(\l,0); \draw[->,thin,gray](0,-\h)--(0,\ll); \draw[red!50!black](0,0)--(\a,0) node[midway,below] {$a$}; \draw[black!50!green](\a,0)--(\a,\b) node[midway,right] {$b$}; \draw[->,black!40!blue](0,0)--(\a,\b) node[midway,above] {$r$} node[p=1,above,black] {$(a,b)$}; \draw[thin](\p,0) arc (0:atan2(\b,\a):\p) node[midway,right,yshift=0.06cm] {$\alpha$}; \path(0,0) node [anchor=north west,yshift=-0.07cm] {0}; \draw[line width=0.2mm,opacity=0] (-\h,-\h) rectangle (\l,\ll); \end{tikzpicture}$$

После перехода от декартовых координат к полярным через последние можно выразить действительную и мнимую часть комплексного числа a + bi, которые являются катетами в треугольнике с гипотенузой r и углом α:

a = r cos α,     b = r sin α,     a + bi = r (cos α + i sin α).

Перемножим два комплексных числа в тригонометрической форме:

r (cos α + i sin α) · R (cos β + i sin β) = rR [(cos α cos β − sin α sin β) + i (sin α cos β + cos α sin β)].

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

r (cos α + i sin α) · R (cos β + i sin β) = rR [cos (α + β) + i sin (α + β)].

Таким образом, модуль произведения комплексных чисел равен произведению модулей сомножителей, а аргумент произведения есть сумма произведений сомножителей.

Дополнение 3. О приближенных методах вычислений

В физике постоянно используются приближенные методы, особенно разложение в ряд Тейлора до первого (изредка до второго) слагаемого. Дело в том, что аналитическое решение в виде формулы можно получить разве что в простейших задачах. Численно, на компьютере, тоже не всякая задача решается. Поэтому часто в ходе преобразований приходится что-нибудь раскладывать и чем-нибудь пренебрегать.

Иногда приближенные методы удается использовать и в арифметических задачах. Прекрасный пример встречается в книге «Вы, конечно, шутите, мистер Фейнман»:

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

Официанты не хотели потерять лицо, поэтому сказали: «Да, да, конечно. А почему бы Вам не пойти к тому посетителю и не устроить соревнование с ним?»

Этот человек подошел ко мне. Я попытался сопротивляться: «Я плохо говорю на португальском!»

Официанты засмеялись. «С числами это не имеет значения», — сказали они.

Они принесли мне карандаш и бумагу.

Человек попросил официанта назвать несколько чисел, которые нужно сложить. Он разбил меня наголову, потому что пока я писал числа, он уже складывал их.

Тогда я предложил, чтобы официант написал два одинаковых списка чисел и отдал их нам одновременно. Разница оказалась небольшой. Он опять выиграл у меня приличное время.

Однако японец вошел в раж: он хотел показать, какой он умный. «Multiplicao!» — сказал он.

Кто-то написал задачу. Он снова выиграл у меня, хотя и не так много, потому что я довольно прилично умею умножать.

А потом этот человек сделал ошибку: он предложил деление. Он не понимал одного: чем сложнее задача, тем у меня больше шансов победить.

Нам дали длинную задачу на деление. Ничья.

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

«Raios cubicos!» — мстительно говорит он. Кубические корни! Он хочет брать кубические корни с помощью арифметики! Трудно найти более сложную фундаментальную задачу в арифметике. Должно быть, это был его конек в упражнениях со счетами.

Он пишет на бумаге число — любое большое число — я до сих пор его помню: 1729,03. Он начинает работать с этим числом и при этом что-то бормочет и ворчит: «Бу-бу-бу-хм-гм-бу-бу», — он трудится как демон! Он просто погружается в этот кубический корень!

Я же тем временем просто сижу на своем месте.

Один из официантов говорит: «Что Вы делаете?»

Я указываю на голову. «Думаю!» — говорю я. Затем пишу на бумаге 12. Еще через какое-то время — 12,002.

Человек со счетами вытирает со лба пот и говорит: «Двенадцать!»

«О, нет! — возражаю я. — Больше цифр! Больше цифр!» Я знаю, что, когда с помощью арифметики берешь кубический корень, то каждая последующая цифра требует большего труда, чем предыдущая. Это работа не из легких.

Он опять уходит в работу и при этом бормочет: «Уф-фыр-хм-уф-хм-гм…». Я же добавляю еще две цифры. Наконец, он поднимает голову и говорит: «12,0!»

Официанты просто светятся от счастья. Они говорят японцу: «Смотрите! Он делает это в уме, а Вам нужны счеты! И цифр у него больше!»

Он был абсолютно измотан и ушел, побежденный и униженный. Официанты поздравили друг друга.

Каким же образом посетитель выиграл у счетов? Число было 1729,03. Я случайно знал, что в кубическом футе 1728 кубических дюймов, так что было ясно, что ответ немногим больше 12. Излишек же, равный 1,03, — это всего лишь одна часть из почти 2000, а во время курса исчисления я запомнил, что для маленьких дробей излишек кубического корня равен одной трети излишка числа. Так что мне пришлось лишь найти дробь 1/1728, затем умножить полученный результат на 4 (разделить на 3 и умножить на 12). Вот так мне удалось получить целую кучу цифр.

Несколько недель спустя этот человек вошел в бар того отеля, в котором я остановился. Он узнал меня и подошел. «Скажите мне, — спросил он, — как Вам удалось так быстро решить задачу с кубическим корнем?»

Я начал объяснять, что использовал приближенный метод, и мне достаточно было определить процент ошибки. «Допустим, Вы дали мне число 28. Кубический корень из 27 равен 3…»

Он берет счеты: жжжжжжжжжжжжжжжж — «Да», — соглашается он.

И тут до меня доходит: он не знает чисел. Когда у тебя есть счеты, не нужно запоминать множество арифметических комбинаций; нужно просто научится щелкать костяшками вверх-вниз. Нет необходимости запоминать, что 9 + 7 = 16; ты просто знаешь, что когда прибавляешь 9, то нужно передвинуть десятичную костяшку вверх, а единичную — вниз. Поэтому основные арифметические действия мы выполняем медленнее, зато мы знаем числа.

Более того, сама идея о приближенном методе вычисления была за пределами его понимания, несмотря на то, что зачастую невозможно найти метод точного вычисления кубического корня. Поэтому мне так и не удалось научить его брать кубический корень или объяснить, как мне повезло, что он выбрал число 1729,03.

Фейнман использовал ряд Тейлора для степенной функции, который для кубического корня выглядит как $$\sqrt[3]{1+x}=1+x/3+\ldots$$ Вот вся последовательность вычислений:

$$\begin{align*} \sqrt[3]{1729,\!03}&=\sqrt[3]{1728\left(1+{1,\!03\over 1728}\right)}=12\sqrt[3]{1+{1,\!03\over 1728}}\approx12\left(1+{1\over 3}\cdot{1,\!03\over 1728}\right)=\\ &=12+{1,\!03\over 432}\approx12,\!00238. \end{align*}$$

В этом приближенном ответе благодаря малости числа 1,03/1728 по сравнению с единицей все цифры точные, расхождение с правильным ответом начинается в шестом знаке после запятой. Самая сложная операция в приведенной цепочке — вычисление дроби 1,03/432.

Поделиться
Посмотрите в блоге

Читайте также

Calc
Оказывается, что калькулятор Windows может считать факториалы от дробных чисел.
2008
Деление окружности на 5 частей
Разделим окружность на пять частей.
2005

Комментарии

#1. 3 января 2013 года, 08:01. Алекс пишет:
А в чем вы рисуете иллюстрации?
#2. 3 января 2013 года, 19:10. пишет:
Эти в фотошопе. На них действительно много времени ушло. Один раз не так критично, но для регулярного рисования нужно что-то другое искать.
#3. 7 января 2013 года, 01:31. Герман пишет:
Спасибо, получил эстетическое наслаждение.
#4. 9 января 2013 года, 23:09. Отто пишет:
Замечательная статья!
#5. 10 января 2013 года, 17:26. Прохожий с хабра пишет:
Замечательная статья! Очень интересно и доступно представлен материал. Хорошие иллюстрации и забавные цитаты и комментарии.
#6. 10 января 2013 года, 20:14. gdfs пишет:
А зачем то рисовать графики в фотошопе или это прикол такой?
А Maple? Matematika? Maxima?
Там графики из капорки.
#7. 10 января 2013 года, 20:39. пишет:
Разумеется. Я пользуюсь Маплом. Заготовку для будущего рисунка сделал в нем, а потом поверх нарисовал стрелочки в фотошопе. Получилось аккуратнее.
#8. 11 мая 2013 года, 22:58. arseniiv пишет:
Красиво вы вывели e^x ≈ (1 + x/n)^n из e^x ≈ 1 + x. Увидишь — преобразование кажется очевидным, а попробуй догадаться!

P. S. Кстати, не хотите MathJax (http://www.mathjax.org) поставить?
#9. 11 мая 2013 года, 23:25. пишет:
Не, слишком тормознутая вещь.

На этом сайте слишком мало математики, чтобы прикручивать латех.
#10. 14 июля 2013 года, 20:46. пишет:
Прочла статью, как увлекательнейший детектив, не могла оторваться!
Но главное, я нашла в ней именно то, что искала. Сложный материал изложен легко и изящно. Спасибо огромное.
#11. 23 мая 2014 года, 18:23. #11 пишет:
неплохой результат для малых Х дает exp(X)~(2+Х)/(2-Х).
#12. 7 ноября 2014 года, 22:07. Гарик пишет:
Роман, можете попробовать InkScape, там вектор и удобно рисовать. К тому же есть возможность написание Python скриптов как расширение.
#13. 16 января 2015 года, 00:32. Сергей пишет:
Роман, на каком основании вы предлагаете «считать разложение ex ≈ 1 + x около нуля справедливым не только для действительных x, но и для комплексных»
#14. 16 января 2015 года, 21:08. пишет:
На основании простоты и естественности.

В моем рассуждении это аксиома. Без подобной дополнительной аксиомы при введении понятия комплексного показателя степени не обойтись.
#15. 11 марта 2016 года, 12:21. Олег пишет:
Самая сложная операция в приведенной цепочке — вычисление дроби 1,03/432
На мой взгляд, это не совсем верный шаг. Проще было бы вот так:
http://cs7063.vk.me/c628123/v628123736/421 … K19Qsg.jpg
(по ссылке скриншот с решением)
#16. 16 марта 2016 года, 15:24. пишет:
Доказательство формулы Эйлера
Я пытаюсь найти доказательство формулы Эйлера, реализуемое на интуитивном уровне, а не через цепочку преобразований со степенными рядами, не укладывающуюся в голове как что-то целое и воспринимаемую как карточный фокус.
Есть ли какие-либо идеи на этот счет?
Может быть какой-либо визуальный образ?
Поясняю.
Интуитивно понятно, что число в квадрате, это число умноженное на само себя. Число в первой степени, это просто число, так как в операции умножения есть только один элемент. Также понятно, что назвали мнимой единицей, что определяется тоже через простое умножение, и понятно, вроде бы, что такое минус единица. Но вот почему экспонента от переменной, помноженной на мнимую единицу начинает синусоидь и косинусоидь, ну никак не понятно!
Можно ли это (формулу Эйлера) просто, пусть не точно, но «на пальцах» обьяснить?

Я рад встретить Вашу страничку, это что-то то, что я искал, но я еще не понял, даёт ли мне Ваше доказательство интуитивное понимание, или нет. И я подумал, а не ищу ли я в сложном того, что не нашел и в простом? Есть ли у меня интуитивное понимание, например, простейшей алгебраической формулы (a-b)(a+b)= a²-b² ? Есть ли у меня интуитивное понимание, что такое мнимое число? Или я просто привык, что это должно быть так, а дальше «механически щелкаю костяшками счет»?
#Формула #Эйлера #ФормулаЭйлера
Vasiliy S. Znamenskiy's photo.
#17. 16 марта 2016 года, 21:33. пишет:
Аксиомы нельзя доказать. Их можно только проиллюстрировать. Воспринимайте формулу Эйлера как аксиому.
#18. 8 февраля 2017 года, 15:51. Леонид пишет:
Формулу Эйлера можно доказать , какая же это аксиома? Аксиомой тут будет определение экспоненты.
Если определить экспоненту через формулу Эйлера, то как посчитать значения этой функции вне единичного круга? Например, чему будет равно e^2 ?
#19. 8 февраля 2017 года, 21:49. пишет:
Леонид! По вашему вопросу видно, что вы не прочитали статью. В ответ мне бы пришлось ее пересказывать. Давайте я не буду это делать.
#20. 8 февраля 2017 года, 22:11. пишет:
2^i — это результат умножения числа 2 самого на себя «i раз». Непонятно, правда? Да, так непонятно, но, может, можно всётаки придумать именно такую формулу: «2^i — это результат» и т.д., чтобы как-то было физически ощутимо и достоверно? Как то из того, что 2^-1 это 1/2, а (2^i)^i = 2^(i*i)=2^-1=1/2 … но не знаю как продолжить.
#21. 6 декабря 2017 года, 06:03. Леонид Соколецкий пишет:
Очень интересный материал ! Особенно Фейнман порадовал.

Но вот решил проверить Ваше утверждение для обычной экспоненты: «Чем больше n, тем меньше аргумент экспоненты x/n и тем точнее работает эта формула.»

Я понимаю, конечно, что теоретически формула сложных процентов работает идеально при n --> inf, но интересно было посмотреть как это работает на практике.

Проверил расчёты в Excel для больших положительных и отрицательных x. Оказалось, что вначале, по мере увеличения n, точность увеличивается, но потом начинает почему-то уменьшаться. Например, при x = 10, 100, 1000, оптимальные значения n = Е9, Е10, Е11 (это, конечно, очень приближённые значения), соответственно. В чём тут дело ? В чисто компьютерных ошибках или в чём-то другом ?
#22. 6 декабря 2017 года, 08:58. znamenski пишет:
Для тех, кто занимается массивными вычислениями на компютерах, понятно, что у компьюторной математики свои законы, отличающиеся значительно в некоторых моментах от законов математического анализа или алгебры. Главная причина — дискретность чисел в комьютерах, связанная с ограниченностью машинного слова. Поэтому, если в обычной математике стремление к пределу связано с приближением к теоретическому пределу, то в машинных вычислениях за счет дискретности чисел и увеличения количества вычислений, каждое из которых добавляет ошибку, приближение к теоретическому пределу на каком-то этапе вычислений предела последовательности, переходит к удалению от теоретического предела.
#23. 12 октября 2019 года, 18:45. Александр Клейн пишет:
Анализ статьи:

для функции «е в степени х» всегда выполняется:
«e в степени 0» равно 1

применяем формулу приблизительного вычисления в окрестностях точки 0:
«e в степени x» ≈ 1 + x

более точная приближенная формула в окрестностях точки «0»:
«e в степени x» ≈ (1 + мю) в степени n, где мю бесконечно малая величина

Не понимаем, что такое степень i ( = перемножить число на себя i раз)

Но допускаем, что выражение «e в степени (пи х i)» можно вычислить по формуле «(1 + мю) в степени n» (вблизи нуля)

Начнем перемножать комплексные числа, выраженные приближенной формулой «(1 + мю х i) в степени n», где мю бесконечно малая величина (пояснение: умножение в полярных координатах)

Перемножаем 2 числа вида «1 + мю х i», затем 3, затем n чисел, причем n возрастает бесконечно

Выражение «(1 + мю х i) в степени n», когда n возрастает до огромных величин, имеет своем пределом -1 (за счет правил умножения комплексных чисел)

Таким образом, что бы мы ни умножали таким образом, у нас всегда будет получаться -1.

Оставьте свой комментарий


Формулы на латехе: $$f(x) = x^2-\sqrt{x}$$ превратится в $$f(x) = x^2-\sqrt{x}$$.
Выделение текста: [i]курсивом[/i] или [b]жирным[/b].
Цитату оформляйте так: [q = имя автора]цитата[/q] или [q]еще цитата[/q].
Других команд или HTML-тегов здесь нет.