Differential-Equations · Unit 6 · Video 2 · Interactive Practice

Euler's e^(iθ) Passes Both Exponential Tests: Multiply the Moduli, Add the Angles

IKey Formulas

FormulaNameWhat it gives
ea+ib=ea eib=ea(cos⁡b+isin⁡b)e^{a+ib} = e^{a}\,e^{ib} = e^{a}(\cos b + i\sin b)Complex exponential (a definition)With a=0a = 0 it is Euler's eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta; eae^a is a positive real number
eiθ1eiθ2=ei(θ1+θ2)e^{i\theta_1}e^{i\theta_2} = e^{i(\theta_1+\theta_2)}Exponential law (test 1)The addition formulas for cos⁡(θ1+θ2)\cos(\theta_1+\theta_2) and sin⁡(θ1+θ2)\sin(\theta_1+\theta_2) in one line
ddteit=i eit,ei⋅0=1\dfrac{d}{dt}e^{it} = i\,e^{it}, \quad e^{i\cdot 0} = 1Differential equation and initial value (test 2)Checked with (u+iv)′=u′+iv′(u + iv)' = u' + iv' and with cos⁡0+isin⁡0=1\cos 0 + i\sin 0 = 1
r1eiθ1⋅r2eiθ2=r1r2 ei(θ1+θ2)r_1e^{i\theta_1}\cdot r_2e^{i\theta_2} = r_1r_2\,e^{i(\theta_1+\theta_2)}Polar productMultiply the moduli, add the arguments

Key Insight: A definition earns the name exponential by behaving like one. cos⁡θ+isin⁡θ\cos\theta + i\sin\theta obeys the exponential law and solves y′=iyy' = iy, y(0)=1y(0) = 1, so it may be written eiθe^{i\theta}, and then the polar form α=reiθ\alpha = re^{i\theta} turns multiplication into a stretch by rr and a rotation by θ\theta.

IIMultiply the Moduli, Add the Angles

The product α1α2\alpha_1\alpha_2 has length r1r2r_1r_2 and angle θ1+θ2\theta_1 + \theta_2, whatever the two factors are.

💡 Challenge: with ∣α1∣|\alpha_1| at least about 0.60.6, place α2\alpha_2 so that the product lands on 11. The point you have built is α1−1=1r1e−iθ1\alpha_1^{-1} = \tfrac{1}{r_1}e^{-i\theta_1}: reciprocal modulus, opposite angle.

IIIThe Derivative of eite^{it} Is i eiti\,e^{it}

Differentiating cos⁡t+isin⁡t\cos t + i\sin t part by part gives a velocity equal to the position turned a quarter turn.

IVea+ibe^{a+ib}: aa Sets the Length, bb Sets the Angle

In ea+ib=ea(cos⁡b+isin⁡b)e^{a+ib} = e^a(\cos b + i\sin b) the real part of the exponent scales, the imaginary part rotates.

💡 Because bb enters only through cos⁡b\cos b and sin⁡b\sin b, the exponents zz and z+2πiz + 2\pi i give the same value: e2πi=1e^{2\pi i} = 1. And since ea>0e^a > 0, the value ea+ibe^{a+ib} is never 00.

VQuiz Questions

Problem 1 · A Polar Product

Given: α=2eiπ/6\alpha = 2e^{i\pi/6} and β=3eiπ/3\beta = 3e^{i\pi/3} — find the product αβ\alpha\beta.

✅ Correct! Modulus 2⋅3=62 \cdot 3 = 6, argument π6+π3=π2\tfrac{\pi}{6} + \tfrac{\pi}{3} = \tfrac{\pi}{2}, and 6eiπ/2=6i6e^{i\pi/2} = 6i.
❌ Not quite. The angle π2\tfrac{\pi}{2} is right, but moduli multiply: r1r2=6r_1 r_2 = 6, not r1+r2r_1 + r_2.
❌ Not quite. The moduli multiply, but the angles add: the exponential law gives eiπ/6eiπ/3=ei(π/6+π/3)e^{i\pi/6}e^{i\pi/3} = e^{i(\pi/6 + \pi/3)}.
❌ Not quite. This is 6eiπ/36e^{i\pi/3}: the modulus is right, but the angle of α\alpha was dropped. The arguments add to π2\tfrac{\pi}{2}.
❌ Not quite. Multiply the moduli and add the angles.
Show solution

Multiply as ordinary products and combine the exponentials with the exponential law:

αβ=(2⋅3) eiπ/6eiπ/3=6 ei(π/6+π/3)=6 eiπ/2.\alpha\beta = (2 \cdot 3)\,e^{i\pi/6}e^{i\pi/3} = 6\,e^{i(\pi/6 + \pi/3)} = 6\,e^{i\pi/2}.

By Euler's definition, eiπ/2=cos⁡π2+isin⁡π2=0+i=ie^{i\pi/2} = \cos\tfrac{\pi}{2} + i\sin\tfrac{\pi}{2} = 0 + i = i, so αβ=6i\alpha\beta = 6i.

Check in Cartesian form: α=3+i\alpha = \sqrt{3} + i and β=32+332i\beta = \tfrac{3}{2} + \tfrac{3\sqrt{3}}{2}i, so (ac−bd)+i(ad+bc)=(332−332)+i(92+32)=6i(ac - bd) + i(ad + bc) = \big(\tfrac{3\sqrt3}{2} - \tfrac{3\sqrt3}{2}\big) + i\big(\tfrac{9}{2} + \tfrac{3}{2}\big) = 6i.

Problem 2 · Factoring Out the i

Given: ddt(cos⁡t+isin⁡t)=−sin⁡t+icos⁡t\dfrac{d}{dt}(\cos t + i\sin t) = -\sin t + i\cos t — which expression is this equal to?

✅ Correct! i(cos⁡t+isin⁡t)=icos⁡t+i2sin⁡t=−sin⁡t+icos⁡ti(\cos t + i\sin t) = i\cos t + i^2\sin t = -\sin t + i\cos t, so eite^{it} passes y′=iyy' = iy.
❌ Not quite. eit=cos⁡t+isin⁡te^{it} = \cos t + i\sin t, and its real part cos⁡t\cos t does not match −sin⁡t-\sin t. The derivative carries the factor ii from the exponent.
❌ Check the sign of i2i^2. −i(cos⁡t+isin⁡t)=−icos⁡t−i2sin⁡t=sin⁡t−icos⁡t-i(\cos t + i\sin t) = -i\cos t - i^2\sin t = \sin t - i\cos t, the negative of the derivative.
❌ Not quite. e−it=cos⁡t−isin⁡te^{-it} = \cos t - i\sin t, so i e−it=sin⁡t+icos⁡ti\,e^{-it} = \sin t + i\cos t: the real part has the wrong sign.
❌ Not quite. Expand each option with Euler's definition and compare real and imaginary parts.
Show solution

Differentiate the real and imaginary parts separately: (cos⁡t)′=−sin⁡t(\cos t)' = -\sin t and (sin⁡t)′=cos⁡t(\sin t)' = \cos t, so the derivative is −sin⁡t+icos⁡t-\sin t + i\cos t.

Factor out ii. The term −sin⁡t-\sin t must come from i⋅isin⁡t=i2sin⁡t=−sin⁡ti \cdot i\sin t = i^2\sin t = -\sin t, and icos⁡ti\cos t comes from i⋅cos⁡ti \cdot \cos t:

−sin⁡t+icos⁡t=i(cos⁡t+isin⁡t)=i eit.-\sin t + i\cos t = i(\cos t + i\sin t) = i\,e^{it}.

Together with ei⋅0=cos⁡0+isin⁡0=1e^{i\cdot 0} = \cos 0 + i\sin 0 = 1, the function eite^{it} solves y′=iyy' = iy, y(0)=1y(0) = 1, exactly as a real exponential ekte^{kt} solves y′=kyy' = ky, y(0)=1y(0) = 1.

Problem 3 · A Complex Exponent

Given: z=eln⁡2+2πi/3z = e^{\ln 2 + 2\pi i/3} — find its modulus ∣z∣|z| and write zz in Cartesian form.

What is ∣z∣|z|?

What is zz in the form x+iyx + iy?

✅ Correct! z=eln⁡2e2πi/3=2(−12+32i)=−1+3 iz = e^{\ln 2}e^{2\pi i/3} = 2\big(-\tfrac12 + \tfrac{\sqrt3}{2}i\big) = -1 + \sqrt3\,i, at distance 22 and angle 120°120\degree.
❌ Check the modulus. By definition ea+ib=eaeibe^{a+ib} = e^a e^{ib} with a=ln⁡2a = \ln 2; the factor eibe^{ib} has modulus 11, so ∣z∣=eln⁡2|z| = e^{\ln 2}.
❌ Check the cosine. 2π3\tfrac{2\pi}{3} is in the second quadrant, so cos⁡2π3=−12\cos\tfrac{2\pi}{3} = -\tfrac12, not +12+\tfrac12.
❌ Almost. That is e2πi/3e^{2\pi i/3} alone; the factor eln⁡2=2e^{\ln 2} = 2 still multiplies it.
❌ Check which part is which. The real part is 2cos⁡2π32\cos\tfrac{2\pi}{3} and the imaginary part is 2sin⁡2π32\sin\tfrac{2\pi}{3}, not the other way round.
❌ Not quite. Compute 2(cos⁡2π3+isin⁡2π3)2\big(\cos\tfrac{2\pi}{3} + i\sin\tfrac{2\pi}{3}\big).
Show solution

With a=ln⁡2a = \ln 2 and b=2π3b = \tfrac{2\pi}{3}, the definition gives

z=eln⁡2 e2πi/3=2(cos⁡2π3+isin⁡2π3).z = e^{\ln 2}\,e^{2\pi i/3} = 2\Big(\cos\tfrac{2\pi}{3} + i\sin\tfrac{2\pi}{3}\Big).

The first factor is the positive real number eln⁡2=2e^{\ln 2} = 2, and ∣eib∣=cos⁡2b+sin⁡2b=1|e^{ib}| = \sqrt{\cos^2 b + \sin^2 b} = 1, so ∣z∣=2|z| = 2 and arg⁡z=2π3\arg z = \tfrac{2\pi}{3}.

z=2(−12+32 i)=−1+3 i.z = 2\Big(-\tfrac{1}{2} + \tfrac{\sqrt{3}}{2}\,i\Big) = -1 + \sqrt{3}\,i.

Check: ∣−1+3 i∣=1+3=2|-1 + \sqrt3\,i| = \sqrt{1 + 3} = 2.

Problem 4 · A Triple-Angle Formula from the Exponential Law

Given: the exponential law gives e3iθ=(eiθ)3e^{3i\theta} = \big(e^{i\theta}\big)^3, that is cos⁡3θ+isin⁡3θ=(cos⁡θ+isin⁡θ)3\cos 3\theta + i\sin 3\theta = (\cos\theta + i\sin\theta)^3 — find cos⁡3θ\cos 3\theta by comparing real parts.

✅ Correct! The real terms of the expansion are cos⁡3θ\cos^3\theta and 3cos⁡θ (isin⁡θ)2=−3cos⁡θsin⁡2θ3\cos\theta\,(i\sin\theta)^2 = -3\cos\theta\sin^2\theta.
❌ Check the factor i2i^2. The term 3cos⁡θ (isin⁡θ)23\cos\theta\,(i\sin\theta)^2 carries i2=−1i^2 = -1, so it enters with a minus sign.
❌ Not quite. A cube of a sum is not the sum of the cubes; (x+y)3=x3+3x2y+3xy2+y3(x + y)^3 = x^3 + 3x^2y + 3xy^2 + y^3. Also (isin⁡θ)3=−isin⁡3θ(i\sin\theta)^3 = -i\sin^3\theta is imaginary.
❌ That is the other half. These terms carry a factor ii: they give sin⁡3θ\sin 3\theta, not cos⁡3θ\cos 3\theta.
❌ Not quite. Expand (cos⁡θ+isin⁡θ)3(\cos\theta + i\sin\theta)^3 binomially and keep the terms with no ii.
Show solution

Write c=cos⁡θc = \cos\theta, s=sin⁡θs = \sin\theta and expand with the binomial theorem:

(c+is)3=c3+3c2(is)+3c(is)2+(is)3=c3+3ic2s−3cs2−is3.(c + is)^3 = c^3 + 3c^2(is) + 3c(is)^2 + (is)^3 = c^3 + 3ic^2s - 3cs^2 - is^3.

Group the terms using i2=−1i^2 = -1 and i3=−ii^3 = -i:

(c+is)3=(c3−3cs2)+i(3c2s−s3).(c + is)^3 = \big(c^3 - 3cs^2\big) + i\big(3c^2s - s^3\big).

The left side is cos⁡3θ+isin⁡3θ\cos 3\theta + i\sin 3\theta, and two complex numbers are equal exactly when their real parts and their imaginary parts agree:

cos⁡3θ=cos⁡3θ−3cos⁡θsin⁡2θ,sin⁡3θ=3cos⁡2θsin⁡θ−sin⁡3θ.\cos 3\theta = \cos^3\theta - 3\cos\theta\sin^2\theta, \qquad \sin 3\theta = 3\cos^2\theta\sin\theta - \sin^3\theta.

Check at θ=π3\theta = \tfrac{\pi}{3}: cos⁡π=−1\cos\pi = -1 and 18−3⋅12⋅34=18−98=−1\tfrac18 - 3\cdot\tfrac12\cdot\tfrac34 = \tfrac18 - \tfrac98 = -1. As in the video, one line of the exponential law packs two trigonometric identities.

Solved: 0 / 4