basic_tools:eulers_formula

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision Next revision | Previous revision | ||

basic_tools:eulers_formula [2018/04/16 07:50] jakobadmin ↷ Page moved from basic_notions:eulers_formula to basic_tools:eulers_formula |
basic_tools:eulers_formula [2021/05/15 18:11] boldstonegoson |
||
---|---|---|---|

Line 11: | Line 11: | ||

* For a great explanation, see [[https://betterexplained.com/articles/intuitive-understanding-of-eulers-formula/|Intuitive Understanding Of Euler’s Formula]] by Kalid Azad | * For a great explanation, see [[https://betterexplained.com/articles/intuitive-understanding-of-eulers-formula/|Intuitive Understanding Of Euler’s Formula]] by Kalid Azad | ||

* See also [[https://betterexplained.com/articles/easy-trig-identities-with-eulers-formula/|Easy Trig Identities With Euler’s Formula]] by Kalid Azad | * See also [[https://betterexplained.com/articles/easy-trig-identities-with-eulers-formula/|Easy Trig Identities With Euler’s Formula]] by Kalid Azad | ||

+ | |||

+ | |||

+ | |||

+ | |||

+ | The exponential function has the property that it is its own derivative. | ||

+ | |||

+ | $$ \frac{d(e^x)}{dx} = e^x \qquad (1) $$ | ||

+ | |||

+ | The is-its-own-derivative implies the following Taylor series: | ||

+ | |||

+ | $$ e^x = 1 + x + \frac{x^2}{2!} + \frac{x^3}{3!} + \frac{x^4}{4!} + \cdots \qquad (2) $$ | ||

+ | |||

+ | **2-cycle** | ||

+ | |||

+ | We also know two functions that are //each other's derivative//; a derivation 2-cycle. | ||

+ | |||

+ | $$ \sinh(x) = x +{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}+{\frac {x^{7}}{7!}}+\cdots \qquad (3) $$ | ||

+ | |||

+ | $$ \cosh(x) = 1+{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}+{\frac {x^{6}}{6!}}+\cdots \qquad (4) $$ | ||

+ | |||

+ | formula for the hyperbolic sine: | ||

+ | |||

+ | $$ \sinh(x) = \frac{e^x - e^{-x}}{2} \qquad (5) $$ | ||

+ | |||

+ | |||

+ | formula for the hyperbolic cosine: | ||

+ | |||

+ | $$ \cosh(x) = \frac{e^x + e^{-x}}{2} \qquad (6) $$ | ||

+ | |||

+ | We can count taking the derivative of the exponential function as a 1-cycle. For the $\sinh$ and $\cosh$ the split is achieved by using the cyclic property of successive multiplication of a factor of -1. With -1 you get a 2-cycle. | ||

+ | |||

+ | **4-cycle** | ||

+ | |||

+ | The next step is a sequence of two functions that are each others derivative, but after the second derivation the resulting function is the negative of the original, so the total cycle is a 4-cycle. | ||

+ | |||

+ | The Taylor series expansion of the trigonometric functions follows from the 4-cycle derivatives property: | ||

+ | |||

+ | $$ \sin(x) = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \frac{x^7}{7!} + \cdots \qquad (7) $$ | ||

+ | |||

+ | $$ \cos(x) = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \frac{x^6}{6!} + \cdots \qquad (8) $$ | ||

+ | |||

+ | At this point it is of course helpful to devise a compact notation for the above Taylor series. The $\sin$ and $\cos$ can be expressed in terms of the exponential function by using a factor that has the property of repeating in a 4-cycle, with sign alteration along the way. Interestingly, while we can connect this 4-cycle factor to other areas of mathematics, for the purpose of this demonstration making this connection is not a necessity. | ||

+ | |||

+ | We can pretend to invent a novel entity for this, we can call this factor the 'inventive number', abbreviated 'i'. | ||

+ | |||

+ | For this invented factor the following 4-cycle is defined:\\ | ||

+ | $i^1 = i$\\ | ||

+ | $i^2 = -1$\\ | ||

+ | $i^3 = -i$\\ | ||

+ | $i^4 = 1$\\ | ||

+ | |||

+ | The formulas for the sine and cosine then are: | ||

+ | |||

+ | $$ \sin(x) = \frac{e^{ix} - e^{-ix}}{2i} \qquad (9) $$ | ||

+ | |||

+ | $$ \cos(x) = \frac{e^{ix} + e^{-ix}}{2} \qquad (10) $$ | ||

+ | |||

+ | |||

+ | Euler's formula follows from (9) and (10): | ||

+ | |||

+ | $$ e^{ix} = \cos(x) + i\sin(x) \qquad (11) $$ | ||

+ | |||

+ | |||

+ | The key points: | ||

+ | |||

+ | The connection between the exponential function and the trigonometric functions is the property of getting the same function back after taking the derivative. The difference is whether the original function comes back right away, or in a 2-cycle pattern, or in a 4-cycle pattern. | ||

<tabbox Abstract> | <tabbox Abstract> | ||

Line 18: | Line 84: | ||

</note> | </note> | ||

- | | ||

<tabbox Why is it interesting?> | <tabbox Why is it interesting?> | ||

Line 27: | Line 92: | ||

where $e^{ix}$ denotes the [[basic_tools:exponential_function|exponential function]] and $ \cos(x)$, $\sin(x)$ are the usual [[basic_tools:trigonometric_functions|trigonometric functions]]. If we evaluate this equation at $x= \pi$, we get | where $e^{ix}$ denotes the [[basic_tools:exponential_function|exponential function]] and $ \cos(x)$, $\sin(x)$ are the usual [[basic_tools:trigonometric_functions|trigonometric functions]]. If we evaluate this equation at $x= \pi$, we get | ||

- | $$ e^{i\pi } = \cos(\pi) + i \sin(\pi) = 0 -i = -i \, .$$ | + | $$ e^{i\pi } = \cos(\pi) + i \sin(\pi) = -1 -i 0 = -1 \, .$$ |

This shows a deep relationship between the exponential function, the [[basic_tools:imaginary_numbers|imaginary unit]] $i$ and $\pi$. (Pi is the ratio between circumference and diameter shared by all circles.) | This shows a deep relationship between the exponential function, the [[basic_tools:imaginary_numbers|imaginary unit]] $i$ and $\pi$. (Pi is the ratio between circumference and diameter shared by all circles.) | ||

+ | |||

+ | <blockquote> Like a Shakespearean sonnet that captures the very essence of love, or a painting that brings out the beauty of the human form that is far more than just skin deep, Euler's equation reaches down into the very depths of existence. <cite>[[https://books.google.com/books?id=GvSg5HQ7WPcC&pg=PA1#v=onepage&q&f=false|Keith Devlin]]</cite></blockquote> | ||

+ | |||

+ | <blockquote> [Euler's equation] is absolutely paradoxical; we cannot understand it, and we don't know what it means, but we have proved it, and therefore we know it must be the truth". <cite>[[https://books.google.com/books?id=eIsyLD_bDKkC&pg=PA160|Benjamin Peirce]]</cite></blockquote> | ||

</tabbox> | </tabbox> | ||

basic_tools/eulers_formula.txt · Last modified: 2021/05/15 18:11 by boldstonegoson

Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Share Alike 4.0 International