Ludium
Sign In
Differential Equations
The Geometric View of ODEs
01Direction Fields and the Geometric View of ODEs02Integral Curves and the Isocline Method03Perpendicular Isoclines: The Circles of y' = -x/y04Isocline Corridors and a Trap for Solutions05Existence and Uniqueness: One Curve Through a Point06Where Existence and Uniqueness FailProblem set0/10Problem set 20/10MIT problem set0/3
Numerical Methods
01Euler's Method and Its Three Equations02Euler's Method by Hand: Building the Table03Convexity and the Sign of Euler's Error04First Order Error: Halve the Step, Halve the Error05Improved Euler (RK2): Averaging Two Slopes06Runge-Kutta 4 and the Price of Accuracy07Singular Points: Where Every Method FailsProblem set0/10Problem set 20/10MIT problem set0/1
First-Order Linear Equations
01First Order Linear: Standard Form and the Sign of p02The Conduction-Diffusion Model: Newton's Law of Cooling03The Integrating Factor and the Four-Step Method04Integrating Factors: Two Mistakes and a Trick Question05Constant Coefficients: Steady State and TransientProblem set0/10Problem set 20/10MIT problem set0/1
Substitution Methods
01Scaling a First Order ODE: The Fourth-Power Cooling Law02The Bernoulli Equation and the Substitution v = y^(1-n)03A Worked Bernoulli Example: The Substitution v = 1/y04Homogeneous Equations: The Zoom Test and y = zx05Modelling the Lighthouse Chase: A 45-Degree Heading06The Boat's Path: A Logarithmic Spiral in Polar CoordinatesProblem set0/10Problem set 20/10
Autonomous Equations
01Autonomous Equations and Time-Translation Invariance02Critical Points: Constant Solutions as Barriers03The Embezzler Model dy/dt = ry - w: One Unstable Balance04The Logistic Equation: Carrying Capacity Without Solving05Stable, Unstable and Semi-Stable Critical Points06Maximum Sustainable Harvest: Why h = a^2/4bProblem set0/10Problem set 20/10MIT problem set0/3
Complex Numbers
01Complex Division, Polar Form and the Definition of e^(iθ)02Why e^(iθ) Earns Its Name: Multiply Moduli, Add Angles03Integrating e^(-x) cos x by Complexifying04The nth Roots of Unity: Zeta on the Unit CircleProblem set0/10Problem set 20/10MIT problem set0/4
Input and Response
01Steady-State and Transient Solutions of y' + ky = q(t)02Input, Response and the Superposition Principle03Solving y' + ky = k cos ωt by Complexification04Amplitude and Phase Lag of a Sinusoidal ResponseProblem set0/10Problem set 20/10MIT problem set0/2
01Cartesian Method: Rationalise, Then Take the Real Part02The Sinusoidal Identity and Its Right Triangle03Three Proofs of the Sinusoidal Identity04The Mixing Tank: Salt Balance and k = r/V05RC Circuits, Decay Chains and Negative kProblem set0/10Problem set 20/10MIT problem set0/2
Second-Order Linear Equations
01Second-Order Linear ODEs and the Spring–Mass–Dashpot02The Characteristic Equation and Overdamped Motion03Complex Roots a ± bi and Underdamped Oscillation04Critical Damping and Reduction of Order: t e^(−at)Problem set0/10Problem set 20/10MIT problem set0/2

Why e^(iθ) Earns Its Name: Multiply Moduli, Add Angles

How do the trig addition formulas hide inside $e^{i\theta}e^{i\phi}$, and why does complex multiplication add the angles?


Loading…

←Previous Complex Division, Polar Form and the Definition of e^(iθ)Next Integrating e^(-x) cos x by Complexifying →

Your summary note

    1. 1

      The exponential law eiθ1eiθ2=ei(θ1+θ2)e^{i\theta_1}e^{i\theta_2} = e^{i(\theta_1+\theta_2)}eiθ1​eiθ2​=ei(θ1​+θ2​)

      Multiply (cos⁡θ1+isin⁡θ1)(cos⁡θ2+isin⁡θ2)(\cos\theta_1 + i\sin\theta_1)(\cos\theta_2 + i\sin\theta_2)(cosθ1​+isinθ1​)(cosθ2​+isinθ2​) out into real and imaginary parts, and match each part to the cosine and sine addition formulas.

    2. 2

      Differentiating complex-valued functions of a real variable

      State (u+iv)′=u′+iv′(u + iv)' = u' + iv'(u+iv)′=u′+iv′, derive ddteit=ieit\frac{d}{dt}e^{it} = ie^{it}dtd​eit=ieit by factoring out iii, and check ei⋅0=1e^{i\cdot 0} = 1ei⋅0=1 via cos⁡0+isin⁡0\cos 0 + i\sin 0cos0+isin0, not via i⋅0=0i\cdot 0 = 0i⋅0=0.

    3. 3

      Polar form α=reiθ\alpha = re^{i\theta}α=reiθ and polar multiplication

      Define modulus ∣α∣|\alpha|∣α∣ and argument arg⁡α\arg\alphaargα, note ea+ib=ea(cos⁡b+isin⁡b)e^{a+ib} = e^a(\cos b + i\sin b)ea+ib=ea(cosb+isinb), and multiply r1eiθ1⋅r2eiθ2r_1e^{i\theta_1}\cdot r_2e^{i\theta_2}r1​eiθ1​⋅r2​eiθ2​ to reach the rule: multiply moduli, add arguments.

    Attempt 1 of 2