2.2 Complex numbers
Detailed Theory: Complex Numbers
1. Introduction to Complex Numbers
1.1 The Need for Complex Numbers
The equation x2+1=0 has no real solution because there is no real number whose square is negative. This limitation of real numbers led to the invention of complex numbers.
1.2 Definition of Imaginary Unit
The imaginary unit i is defined as:
i=−1
From this definition, we get:
i2=−1
1.3 Powers of i
The powers of i follow a cyclic pattern with period 4:
i1=i
i2=−1
i3=i2⋅i=−i
i4=i2⋅i2=(−1)(−1)=1
For any integer n, we can compute in by dividing n by 4 and using the remainder:
in=i4k+r=ir where r=0,1,2,3
Examples:
i17=i4⋅4+1=i1=i
i−3=i31=−i1=−i2i=−(−1)i=i
2. Definition and Representation of Complex Numbers
2.1 Standard Form
A complex number z is expressed in the standard form as:
z=a+bi
where a and b are real numbers, and i is the imaginary unit.
Components:
a is called the real part of z, denoted Re(z)=a
b is called the imaginary part of z, denoted Im(z)=b
2.2 Set Notation
The set of all complex numbers is denoted by:
C={a+bi:a,b∈R}
2.3 Equality of Complex Numbers
Two complex numbers z1=a+bi and z2=c+di are equal if and only if:
a=c and b=d
That is, their real parts are equal AND their imaginary parts are equal.
2.4 Special Types of Complex Numbers
a) Purely Real Number
If b=0, then z=a is a purely real number.
Example:
z=5, which is 5+0i
b) Purely Imaginary Number
If a=0, then z=bi is a purely imaginary number.
Example:
z=3i, which is 0+3i
c) Zero Complex Number
If a=0 and b=0, then z=0 is the zero complex number.
d) Complex Conjugate
For z=a+bi, its complex conjugate is:
z=a−bi
Properties:
z=z
If z is purely real, then z=z
If z is purely imaginary, then z=−z
2.5 Modulus (Absolute Value)
For z=a+bi, the modulus of z is:
∣z∣=a2+b2
The modulus is always a non-negative real number.
Geometric interpretation: ∣z∣ represents the distance from the origin to the point (a,b) in the complex plane.
3. Geometric Representation (Argand Plane)
3.1 The Complex Plane
The complex plane (Argand plane) is a Cartesian plane where:
The horizontal axis is the real axis
The vertical axis is the imaginary axis
The complex number z=a+bi is represented by the point (a,b)
3.2 Polar Form of Complex Numbers
Instead of using rectangular coordinates (a,b), we can represent a complex number using polar coordinates:
z=r(cosθ+isinθ)
where:
r=∣z∣=a2+b2 (modulus)
θ=arg(z)=tan−1(ab) (argument)
Note: The argument θ is determined up to multiples of 2π. The principal argument is usually taken in the interval (−π,π] or [0,2π).
3.3 Euler's Formula
Euler's formula provides an elegant representation:
eiθ=cosθ+isinθ
Using this, the polar form becomes:
z=reiθ
This is called the exponential form of a complex number.
4. Operations on Complex Numbers
4.1 Addition
For z1=a+bi and z2=c+di:
z1+z2=(a+c)+(b+d)i
Geometric interpretation: Vector addition in the complex plane.
Properties:
Commutative: z1+z2=z2+z1
Associative: (z1+z2)+z3=z1+(z2+z3)
Additive identity: z+0=z
Additive inverse: For z=a+bi, −z=−a−bi
4.2 Subtraction
For z1=a+bi and z2=c+di:
z1−z2=(a−c)+(b−d)i
4.3 Multiplication
a) Using Standard Form
For z1=a+bi and z2=c+di:
z1⋅z2=(a+bi)(c+di)
=ac+adi+bci+bdi2
=ac+(ad+bc)i+bd(−1)
=(ac−bd)+(ad+bc)i
b) Using Polar Form
For z1=r1(cosθ1+isinθ1) and z2=r2(cosθ2+isinθ2):
z1⋅z2=r1r2[cos(θ1+θ2)+isin(θ1+θ2)]
Using exponential form:
z1⋅z2=r1eiθ1⋅r2eiθ2=r1r2ei(θ1+θ2)
Geometric interpretation: Multiply the moduli, add the arguments.
Properties:
Commutative: z1⋅z2=z2⋅z1
Associative: (z1⋅z2)⋅z3=z1⋅(z2⋅z3)
Multiplicative identity: z⋅1=z
Distributive over addition: z1(z2+z3)=z1z2+z1z3
4.4 Division
a) Using Standard Form
For z1=a+bi and z2=c+di=0:
z2z1=c+dia+bi
Multiply numerator and denominator by the conjugate of the denominator:
=(c+di)(c−di)(a+bi)(c−di)
=c2+d2(ac+bd)+(bc−ad)i
=c2+d2ac+bd+c2+d2bc−adi
b) Using Polar Form
For z1=r1(cosθ1+isinθ1) and z2=r2(cosθ2+isinθ2)=0:
z2z1=r2r1[cos(θ1−θ2)+isin(θ1−θ2)]
Using exponential form:
z2z1=r2eiθ2r1eiθ1=r2r1ei(θ1−θ2)
Geometric interpretation: Divide the moduli, subtract the arguments.
4.5 Properties of Conjugates
For complex numbers z, z1, and z2:
z1+z2=z1+z2
z1−z2=z1−z2
z1⋅z2=z1⋅z2
(z2z1)=z2z1 for z2=0
z+z=2Re(z)
z−z=2iIm(z)
z⋅z=∣z∣2
z=z
4.6 Properties of Modulus
For complex numbers z, z1, and z2:
∣z∣≥0 and ∣z∣=0 if and only if z=0
∣z∣=∣z∣
∣z1⋅z2∣=∣z1∣⋅∣z2∣
z2z1=∣z2∣∣z1∣ for z2=0
∣z1+z2∣≤∣z1∣+∣z2∣ (Triangle Inequality)
∣∣z1∣−∣z2∣∣≤∣z1−z2∣
∣z1+z2∣2+∣z1−z2∣2=2(∣z1∣2+∣z2∣2) (Parallelogram Law)
5. De Moivre's Theorem and Applications
5.1 De Moivre's Theorem
For any integer n and any real number θ:
(cosθ+isinθ)n=cos(nθ)+isin(nθ)
Using exponential form:
(eiθ)n=einθ
5.2 Finding n-th Powers
To compute (a+bi)n:
Step 1: Convert to polar form: a+bi=r(cosθ+isinθ)
Step 2: Apply De Moivre's theorem:
(a+bi)n=rn[cos(nθ)+isin(nθ)]
Step 3: Convert back to standard form if needed.
Example: Find (1+i)8
Step 1: Convert to polar form:
r=12+12=2
θ=4π (since a=1, b=1)
So 1+i=2(cos4π+isin4π)
Step 2: Apply De Moivre:
(1+i)8=(2)8[cos(8⋅4π)+isin(8⋅4π)]
=24[cos(2π)+isin(2π)]
=16[1+0i]=16
5.3 Finding n-th Roots
The n-th roots of a complex number z=r(cosθ+isinθ) are given by:
z1/n=r1/n[cos(nθ+2kπ)+isin(nθ+2kπ)]
for k=0,1,2,…,n−1
Properties:
There are exactly n distinct n-th roots of any non-zero complex number.
In the complex plane, the n-th roots are equally spaced on a circle of radius r1/n.
Example: Find the cube roots of 8i
Step 1: Convert 8i to polar form:
8i=8(cos2π+isin2π) since 8i=0+8i
Step 2: Apply formula with n=3:
For k=0: z0=81/3[cos(3π/2)+isin(3π/2)]=2(cos6π+isin6π)
=2(23+21i)=3+i
For k=1: z1=2[cos(3π/2+2π)+isin(3π/2+2π)]=2(cos65π+isin65π)
=2(−23+21i)=−3+i
For k=2: z2=2[cos(3π/2+4π)+isin(3π/2+4π)]=2(cos23π+isin23π)
=2(0−i)=−2i
The cube roots are: 3+i, −3+i, and −2i
5.4 Applications of De Moivre's Theorem
a) Expressing cos(nθ) and sin(nθ)
Using the binomial expansion and De Moivre's theorem:
cos(nθ)=Re[(cosθ+isinθ)n]
sin(nθ)=Im[(cosθ+isinθ)n]
Example: Express cos(3θ) in terms of cosθ
(cosθ+isinθ)3=cos3θ+3icos2θsinθ−3cosθsin2θ−isin3θ
By De Moivre: (cosθ+isinθ)3=cos(3θ)+isin(3θ)
Equating real parts:
cos(3θ)=cos3θ−3cosθsin2θ
Using sin2θ=1−cos2θ:
cos(3θ)=cos3θ−3cosθ(1−cos2θ)=4cos3θ−3cosθ
b) Summing Series
De Moivre's theorem can be used to sum trigonometric series using geometric series formula.
Example: Sum S=cosθ+cos2θ+⋯+cosnθ
Consider C=cosθ+cos2θ+⋯+cosnθ
and S=sinθ+sin2θ+⋯+sinnθ
Then C+iS=eiθ+ei2θ+⋯+einθ
This is a geometric series with first term eiθ, ratio eiθ, and n terms.
6. Complex Numbers in Quadratic Equations
6.1 Solving Quadratic Equations with Real Coefficients
For a quadratic equation with real coefficients:
ax2+bx+c=0 with a=0
The discriminant is:
Δ=b2−4ac
Cases:
If Δ>0: Two distinct real roots
If Δ=0: One real root (double root)
If Δ<0: Two complex conjugate roots
6.2 Complex Roots Formula
When Δ<0, we can write Δ=−D where D>0
Then the roots are:
x=2a−b±iD
These are complex conjugates of each other.
Example: Solve x2−2x+5=0
Here a=1, b=−2, c=5
Δ=(−2)2−4(1)(5)=4−20=−16
Since Δ<0, roots are complex:
x=22±i16=22±4i=1±2i
Roots: 1+2i and 1−2i (complex conjugates)
6.3 Sum and Product of Roots
For ax2+bx+c=0 with roots α and β:
Sum of roots: α+β=−ab
Product of roots: αβ=ac
This holds even when roots are complex.
Verification of previous example:
Sum: (1+2i)+(1−2i)=2=−1−2✓
Product: (1+2i)(1−2i)=1−4i2=1+4=5=15✓
6.4 Quadratic with Given Complex Roots
To form a quadratic equation with real coefficients having roots α and β:
If roots are complex conjugates, use:
x2−(α+β)x+αβ=0
Example: Form quadratic with roots 2+3i and 2−3i
Sum: (2+3i)+(2−3i)=4
Product: (2+3i)(2−3i)=4−9i2=4+9=13
Equation: x2−4x+13=0
7. Locus Problems in Complex Plane
7.1 Basic Locus Concepts
A locus in the complex plane is a set of points satisfying certain conditions.
Common conditions:
∣z−z0∣=r: Circle with center z0 and radius r
∣z−z1∣=∣z−z2∣: Perpendicular bisector of segment joining z1 and z2
Re(z)=c: Vertical line through x=c
Im(z)=c: Horizontal line through y=c
arg(z−z0)=θ: Ray from z0 making angle θ with positive real axis
7.2 Circle Loci
a) Standard Circle
∣z−z0∣=r represents a circle with center at z0 and radius r.
If z0=a+bi and z=x+yi, then:
∣(x+yi)−(a+bi)∣=r
∣(x−a)+(y−b)i∣=r
(x−a)2+(y−b)2=r2
b) Circle in Different Forms
∣z∣=r: Circle centered at origin with radius r
∣z−i∣=2: Circle centered at i with radius 2
∣z−1∣=∣z+i∣: Set of points equidistant from 1 and −i, which is the perpendicular bisector
7.3 Line Loci
a) Perpendicular Bisector
∣z−z1∣=∣z−z2∣ represents the perpendicular bisector of the segment joining z1 and z2.
Example: ∣z−1∣=∣z+i∣
Let z=x+yi:
∣(x−1)+yi∣=∣x+(y+1)i∣
(x−1)2+y2=x2+(y+1)2
Squaring both sides:
(x−1)2+y2=x2+(y+1)2
x2−2x+1+y2=x2+y2+2y+1
−2x=2y
y=−x
This is a straight line through origin with slope −1.
b) Lines Parallel to Axes
Re(z)=k: Vertical line x=k
Im(z)=k: Horizontal line y=k
c) Lines at an Angle
arg(z−z0)=θ: Ray starting at z0 and making angle θ with positive real axis.
Example: arg(z−1)=4π represents the ray starting at 1 and making 45∘ angle with positive real axis.
7.4 Ellipse and Hyperbola Loci
a) Ellipse
∣z−z1∣+∣z−z2∣=2a (with 2a>∣z1−z2∣) represents an ellipse with foci at z1 and z2, and major axis length 2a.
b) Hyperbola
∣∣z−z1∣−∣z−z2∣∣=2a (with 2a<∣z1−z2∣) represents a hyperbola with foci at z1 and z2.
8. Applications and Solved Examples
Example 1: Simplify Complex Expression
Simplify: (1−i)2(1+i)3
Solution:
Step 1: Compute (1+i)3:
1+i in polar form: 2(cos4π+isin4π)
By De Moivre: (1+i)3=(2)3(cos43π+isin43π)=22(−21+21i)
=−2+2i
Step 2: Compute (1−i)2:
1−i=2(cos(−4π)+isin(−4π))
(1−i)2=2(cos(−2π)+isin(−2π))=2(0−i)=−2i
Step 3: Divide:
−2i−2+2i=−2i−2(1−i)=i1−i
Multiply numerator and denominator by −i:
=i(−i)(1−i)(−i)=−i2−i+i2=1−i−1=−1−i
Example 2: Solve Complex Equation
Solve: z2+2z+5=0
Solution:
Using quadratic formula:
z=2−2±4−20=2−2±−16=2−2±4i=−1±2i
Roots: −1+2i and −1−2i
Example 3: Find Locus
Find locus of z satisfying ∣z−2∣=3∣z+1∣
Solution:
Let z=x+yi:
∣(x−2)+yi∣=3∣(x+1)+yi∣
(x−2)2+y2=3(x+1)2+y2
Square both sides:
(x−2)2+y2=9[(x+1)2+y2]
x2−4x+4+y2=9(x2+2x+1+y2)
x2−4x+4+y2=9x2+18x+9+9y2
0=8x2+22x+5+8y2
Divide by 8:
x2+411x+85+y2=0
Complete the square for x:
(x2+411x+64121)+y2=−85+64121
(x+811)2+y2=64−40+121=6481
(x+811)2+y2=(89)2
This is a circle with center (−811,0) and radius 89
Example 4: Find Modulus and Argument
For z=1−i3, find ∣z∣ and arg(z)
Solution:
∣z∣=12+(−3)2=1+3=2
For argument: tanθ=1−3=−3
Since point is in 4th quadrant (positive real, negative imaginary):
θ=−3π or 35π
Principal argument usually taken in (−π,π], so arg(z)=−3π
Example 5: Find Cube Roots of Unity
Find the cube roots of 1.
Solution:
Write 1 in polar form: 1=cos0+isin0
Cube roots: 11/3=cos(30+2kπ)+isin(30+2kπ) for k=0,1,2
For k=0: z0=cos0+isin0=1
For k=1: z1=cos(32π)+isin(32π)=−21+23i
For k=2: z2=cos(34π)+isin(34π)=−21−23i
The cube roots of unity are: 1, −21+23i, and −21−23i
Note: ω=−21+23i is often denoted as the primitive cube root of unity, and satisfies ω3=1 and 1+ω+ω2=0
9. Important Formulas and Theorems
9.1 Basic Identities
i2=−1
i3=−i
i4=1
i1=−i
(a+bi)(a−bi)=a2+b2
9.2 Polar Form Relationships
r=∣z∣=a2+b2
θ=arg(z)=tan−1(ab) (with quadrant consideration)
a=rcosθ
b=rsinθ
z=r(cosθ+isinθ)=reiθ
9.3 De Moivre's Theorem
For any integer n:
(cosθ+isinθ)n=cos(nθ)+isin(nθ)
9.4 n-th Roots Formula
For z=r(cosθ+isinθ)=0, the n-th roots are:
zk=r1/n[cos(nθ+2kπ)+isin(nθ+2kπ)]
for k=0,1,2,…,n−1
9.5 Cube Roots of Unity
The cube roots of 1 are:
1, ω=−21+23i, and ω2=−21−23i
Properties:
ω3=1
1+ω+ω2=0
ω2=ω
9.6 Quadratic Formula with Complex Roots
For ax2+bx+c=0 with real coefficients:
If Δ=b2−4ac<0, then roots are:
x=2a−b±i−Δ
9.7 Triangle Inequality
For any complex numbers z1 and z2:
∣z1+z2∣≤∣z1∣+∣z2∣
∣∣z1∣−∣z2∣∣≤∣z1−z2∣
10. Exam Tips and Common Pitfalls
10.1 Common Mistakes to Avoid
Incorrect simplification of powers of i: Remember the cyclic nature i,−1,−i,1
Forgetting to rationalize denominators: Always write complex numbers in standard form a+bi
Incorrect argument calculation: Remember to consider the quadrant of the complex number
Misapplying De Moivre's theorem: It applies to polar/exponential form, not directly to standard form
Ignoring complex conjugate pairs: For polynomials with real coefficients, complex roots occur in conjugate pairs
10.2 Problem-Solving Strategies
For computations: Convert to polar form if multiplication/division/powers are involved
For equations: Use algebraic manipulation, conjugate properties, or geometric interpretation
For locus problems: Substitute z=x+yi and use coordinate geometry
For inequalities: Use modulus properties and triangle inequality
For root-finding: Use polar form and De Moivre's theorem for n-th roots
10.3 Verification Techniques
Check conjugates: For real-coefficient polynomials, verify roots are conjugates
Check modulus: Use ∣z∣2=zz to verify computations
Check special values: Test z=0, z=1, z=i when applicable
Check dimensions: Ensure real and imaginary parts are correctly identified
This comprehensive theory covers all aspects of complex numbers with detailed explanations and examples, providing complete preparation for the entrance examination.