Definition 44.1.1
A complex number is a number that can be written as , where and are real numbers and is the “imaginary unit”. is the real part of the number and is the imaginary part. Complex numbers are often named with the letter .
Put a second axis through the number line and arithmetic turns into geometry: multiplying rotates, De Moivre powers spiral, and roots of unity make regular polygons.
In this section you will be able to add, multiply and divide complex numbers, use powers of i, and work with conjugates and moduli.
What number squares to −1? No real number does. So invent one, call it i, and put it on a second axis. Now arithmetic becomes geometry.
A complex number is just the point . You add complex numbers like vectors. You multiply them like binomials, then replace with .
Look: the conjugate is the mirror image of in the real axis. And is always real. That one fact clears out of any denominator.
A complex number is a number that can be written as , where and are real numbers and is the “imaginary unit”. is the real part of the number and is the imaginary part. Complex numbers are often named with the letter .
Powers of cycle every 4 terms, so , , , .
Expand like any two binomials: . Since , the term is , which joins the real part: .
The imaginary part of a complex number is , and the real part is .
The imaginary part does not include a factor of : the imaginary part of is , not .
The complex conjugate of a complex number is found by flipping the sign of its imaginary part. The conjugate of is written .
A complex number can also be drawn as the point in the complex plane. The -axis is the real axis and the -axis is the imaginary axis.
The magnitude of a complex number, written , is the distance of the point from the origin.
For a complex number ,
This comes straight from the theorem above: . It is super useful! For example, it turns into .
The complex numbers and satisfy the system
Find the smallest possible value of .
We want , so multiply the two equations together. What does the left side expand to?
There is a complex number with imaginary part and a positive integer such that
Find .
Clear the fraction. What linear equation does satisfy?
For complex numbers and (where ), define the binary operation
Suppose is a complex number such that . What is ?
Find if , , and are positive integers which satisfy , where .
For what value of is ? Note: here .
The complex number is equal to , where is a positive real number and . Given that the imaginary parts of and are the same, what is equal to?
Let be a complex number satisfying . What is the value of ?
A function is defined by for all complex numbers , where and are complex numbers and . Suppose that and are both real. What is the smallest possible value of ?
In this section you will be able to write complex numbers in polar form, raise them to powers with De Moivre, and use the roots of unity.
What is ? Multiplying it out eight times is painful. In polar form it takes one line.
Every complex number is a length and an angle : cis = re^(iθ). Multiplying two complex numbers multiplies the lengths and adds the angles. So has length and angle . That is De Moivre’s Theorem.
Look: the solutions of all have length 1, and their angles are multiples of . They are the corners of a regular polygon. Ex 44.1 is printed earlier in the book, but it needs polar form, so it lives here.
The angle that the positive real axis makes with the ray from the origin to a complex number is called the argument of that complex number. It is written .
The argument of a complex number satisfies
Careful: does not pin down the quadrant. and both have , but their arguments are and . Always check which quadrant the point is in.
The distance between and a complex number is also called the modulus of that complex number, written .
The modulus of a complex number is
Polar form is another way to write a complex number, using its modulus and argument .
Trigonometric ratios tell us that and , which we can rearrange to and . Plugging these in gives the polar form.
is just short for .
can also be written as .
Euler's Formula says
so
(Here is in radians.)
Euler's Identity is a special case of Euler's Formula ():
The roots of unity are the complex solutions of for a positive integer . There are always solutions of .
The th roots of unity are
They are the corners of a regular -gon inscribed in the unit circle, with one corner at .
To rotate a point radians counterclockwise about the origin, convert it to its complex number and multiply by . Converting back to an ordered pair gives the rotated point.
For a complex number and an integer ,
(The book says “a real number ”; for non-integer powers, has several values, so the formula needs integer .)
For , multiply copies of : moduli multiply to and arguments add to . For negative , use .
De Moivre makes expressions like
easy: , so .
De Moivre's Theorem is very useful whenever complex numbers meet exponents.
Let be the number of complex numbers with the properties that and is a real number. Find the remainder when is divided by .
With , write . Since and , what are and ?
How many integers are there such that whenever are complex numbers such that
then the numbers are equally spaced on the unit circle in the complex plane?
Start with . If , where is ?
The complex numbers and satisfy , , and the imaginary part of is , for relatively prime positive integers and with . Find .
Substitute into . What equation does satisfy?
There are different complex numbers such that . For how many of these is a real number?
What is the sum of the roots of that have a positive real part?
Of the following complex numbers , which one has the property that has the greatest real part?
How many complex numbers satisfy the equation , where is the conjugate of the complex number ?
For how many positive integers less than or equal to is
true for all real ?
A sequence , , , of points in the coordinate plane satisfies
Suppose that . What is ?
There are complex numbers that satisfy both and . These numbers have the form , where and angles are measured in degrees. Find the value of .
In this section you will be able to solve geometry problems by rotating points with multiplication by cis θ.
The points , and make an equilateral triangle. Coordinates alone give messy equations. One rotation by gives the answer.
To rotate a point by about a center : shift so is at , multiply by cis , then shift back. Squares use (multiply by ). Equilateral triangles use .
Look: a right angle at a point means the quotient of the two side vectors from is purely imaginary.
Complex numbers and their link to circles make many geometry problems easy, especially ones with polygons such as equilateral triangles or squares.
How to solve geometry problems with complex numbers:
We can also view algebraic complex-number problems geometrically: is a distance, multiplying by is a rotation, and is a circle.
The points , , and are the vertices of an equilateral triangle. Find the value of .
Think of the points as , and . How do you get from to ?
Given , there are complex numbers with the property that , , and are the vertices of a right triangle in the complex plane with a right angle at . There are positive integers and such that one such value of is . Find .
The right angle is at . What must be true of ?
What is the greatest possible area of the triangle in the complex plane with vertices , , and , where is a complex number satisfying ?
Find the greatest possible real part of
where is a complex number with . Here .
The solutions to the equation are connected in the complex plane to form a convex regular polygon, three of whose vertices are labeled , , and . What is the least possible area of ?
Let be the region in the complex plane consisting of all complex numbers that can be written as the sum of complex numbers and , where lies on the segment with endpoints and , and has magnitude at most . What integer is closest to the area of ?
In this section you will be able to use complex roots of polynomials, conjugate pairs and roots of unity to evaluate polynomials.
A polynomial of degree 2018 looks hopeless. But plug in a sixth root of unity and every power collapses to one of six values.
Every polynomial of degree has exactly complex roots. When the coefficients are real, the non-real roots come in conjugate pairs and , mirror images in the real axis.
Look: to evaluate at a root of unity, reduce every exponent mod the order of first.
A polynomial of degree has roots (counted with multiplicity), and these roots may be complex. For quadratics, a negative discriminant means two complex roots. (The book says “binomials”; it means quadratics.) If the coefficients are real, non-real roots come in conjugate pairs .
The polynomial has real coefficients not exceeding , and . Find the remainder when is divided by .
Let . Write it in polar form. Which small power of is ?
The equation
has complex roots , where the bar denotes complex conjugation. Find the value of
. So switch to : divide the equation by . What do you get?
The polynomial has real coefficients, and . What is ?
Let and be the unique polynomials such that
and the degree of is less than . What is ?
The polynomial
has three roots in the complex plane, where . What is the area of the triangle formed by these three roots?
There are real numbers , , , and such that is a root of and is a root of . These two polynomials share a complex root , where and are positive integers and . Find .
Let be the product of the roots of that have a positive imaginary part, and suppose that , where and . Find .
In this section you will be able to turn sines and cosines into exponentials and use roots of unity to evaluate trig sums and products.
What is cos(2π/7) + cos(4π/7) + cos(6π/7)? No identity on your sheet gives it directly. The 7th roots of unity do.
Add e^(iθ) and its mirror image e^(−iθ): the imaginary parts cancel and you get . Subtract them and you get . So every trig expression can become an algebra problem about points on the unit circle.
Look: the book prints these formulas with a degree slip and a sign error in the tangent; the card below has the fixed version.
Fixed from the book. The book writes , mixing degrees into a radian exponent; it means . Its tangent formula also has the wrong sign: it gives .
Add and : the sines cancel, leaving . Subtract instead: the cosines cancel, leaving . Divide the two results for , and .
With these substitutions you can bash out the value of a trigonometric expression directly, without the clever identity tricks you would otherwise need.
Suppose that the roots of the polynomial are , , and , where angles are in radians. What is ?
Let . What is ?
The value of is . Find .
Let . The numbers are the roots of . Put : what is ?
Given that is a complex number such that , find the least integer that is greater than .
There is a unique sequence of integers such that
whenever is defined. What is ?
In this section you will be able to mix every tool of the chapter on contest problems.
The rest of the Additional Problems, from AMC 12 warm-ups to an AIME 15. Some you have seen before in this chapter: try them again without the walkthrough.
A function is defined by , where and is the complex conjugate of . How many values of satisfy both and ?
This problem also appears in the book as 44.4.9.
What is the sum of the roots of that have a positive real part?
This problem also appears in the book as 44.5.
The complex numbers and satisfy , , and the imaginary part of is , for relatively prime positive integers and with . Find .
Let for all complex numbers , and let for all positive integers . Given that and , where and are real numbers, find .
Consider the set of complex numbers satisfying . The maximum value of the imaginary part of can be written in the form , where and are relatively prime positive integers. What is ?
A sequence of complex numbers is defined by the rule
where is the complex conjugate of and . Suppose that and . How many possible values are there for ?
This problem also appears in the book as 44.1.
Let be the number of complex numbers with the properties that and is a real number. Find the remainder when is divided by .
Let and be complex numbers such that and . Let . The maximum possible value of can be written as , where and are relatively prime positive integers. Find . (Note that , for , denotes the measure of the angle that the ray from to makes with the positive real axis in the complex plane.)
Let be a real number, and let and be the two complex numbers satisfying the equation . Points , , , and are the vertices of (convex) quadrilateral in the complex plane. When the area of obtains its maximum possible value, is closest to which of the following?
The solutions to the equations and , where , form the vertices of a parallelogram in the complex plane. The area of this parallelogram can be written in the form , where , , , and are positive integers and neither nor is divisible by the square of any prime number. What is ?