Difference between revisions of "Complex number"

m (why is this in number theory???)
m (Topics)
 
(8 intermediate revisions by 7 users not shown)
Line 2: Line 2:
  
 
==Derivation==
 
==Derivation==
We know (from the [[trivial inequality]]) that the square of a [[real number]] cannot be [[negative]], so this equation has no solutions in the real numbers.  However, it is possible to define a number, <math> i </math>, such that <math> i = \sqrt{-1} </math>.  If we add this new number to the reals, we will have solutions to <math> x^2 = -1 </math>.  It turns out that in the system that results from this addition, we are not only able to find the solutions of <math> x^2 = -1 </math> but we can now find ''all'' solutions to ''every'' polynomial.  (See the [[Fundamental Theorem of Algebra]] for more details.)
+
We know (from the [[Trivial Inequality]]) that the square of a [[real number]] cannot be [[negative]], so this equation has no solutions in the real numbers.  However, it is possible to define a number, <math> i </math>, such that <math> i = \sqrt{-1} </math>.  If we add this new number to the reals, we will have solutions to <math> x^2 = -1 </math>.  It turns out that in the system that results from this addition, we are not only able to find the solutions of <math> x^2 = -1 </math> but we can now find ''all'' solutions to ''every'' polynomial.  (See the [[Fundamental Theorem of Algebra]] for more details.)
  
 
==Formal Definition==
 
==Formal Definition==
We are now ready for a more formal definition.  A complex number is a number of the form <math> a + bi </math> where <math> a,b\in \mathbb{R} </math> and <math> i = \sqrt{-1} </math> is the [[imaginary unit]]. The set of complex numbers is denoted by <math>\mathbb{C}</math>.  The set of complex numbers contains the set <math>\mathbb{R}</math> of the [[real number]]s, since <math>a = a + 0i</math>, but it is much larger.  
+
We are now ready for a more formal definition.  A complex number is a number of the form <math> a + bi </math> where <math> a,b\in \mathbb{R} </math> and <math> i = \sqrt{-1} </math> is the [[imaginary unit]]. The set of complex numbers is denoted by <math>\mathbb{C}</math>.  The set of complex numbers contains the set <math>\mathbb{R}</math> of the [[real number]]s, since <math>a = a + 0i</math>.
  
 
==Parts==
 
==Parts==
Line 11: Line 11:
  
 
As you can see, complex numbers enable us to remove the restriction of <math>x\ge 0</math> from the [[domain]] of the [[function]] <math>f(x)=\sqrt{x}</math> (although some additional considerations are necessary).
 
As you can see, complex numbers enable us to remove the restriction of <math>x\ge 0</math> from the [[domain]] of the [[function]] <math>f(x)=\sqrt{x}</math> (although some additional considerations are necessary).
 +
 
== Operations ==
 
== Operations ==
  
* Addition
+
Addition and subtraction of complex numbers are similar to doing the same operations to polynomials -- add the real parts then add the imaginary parts.
* Subtraction
+
 
* Multiplication
+
Multiplication is also similar to doing the same operations to polynomials -- use the [[distributive property]] and apply <math>i^2 = -1</math>. For division, however, the denominator needs to be a real number; this is done so by multiplying the [[complex conjugate]], where the sign of the imaginary part is swapped.  The complex conjugated is denoted by <math>\overline{z}</math>.
* Division
+
 
* [[Absolute value]]/Modulus/Magnitude (denoted by <math>|z|</math>). This is the distance from the origin to the complex number in the [[complex plane]].
+
The [[absolute value]] (or modulus or magnitude) of a complex number is the distance from the complex number to the origin.  It is denoted by <math>|z|</math>.
* [[Complex conjugate | Conjugation]]
+
 
* The [[argument]] function <math>\arg</math>
+
The [[argument]] of a complex number is the angle formed between the line drawn from the complex number to the origin and the positive real axis on the complex coordinate plane.  It is denoted by <math>\arg(z)</math>.
  
== Simple Example ==
+
=== Examples ===
  
 
If <math>z=a+bi</math> and <math>w = c + di</math>,
 
If <math>z=a+bi</math> and <math>w = c + di</math>,
Line 27: Line 28:
 
* <math>\mathrm{Re}(z)=a</math>,<math>\mathrm{Im}(z)=b</math>
 
* <math>\mathrm{Re}(z)=a</math>,<math>\mathrm{Im}(z)=b</math>
 
* <math>|z|=\sqrt{a^2+b^2}</math>
 
* <math>|z|=\sqrt{a^2+b^2}</math>
* <math>\mathrm{Re}(w)=c</math>,<math>\mathrm{Im}(w)=d</math>
+
* <math>\overline{z}=a-bi</math>
* <math>|w|=\sqrt{c^2+d^2}</math>
 
 
* <math>z+w=(a+c)+(b+d)i</math>
 
* <math>z+w=(a+c)+(b+d)i</math>
 
* <math>z-w=(a-c)+(b-d)i</math>
 
* <math>z-w=(a-c)+(b-d)i</math>
 +
 +
==Alternate Forms==
 +
 +
In addition to the standard form <math>a+bi</math>, complex numbers can be expressed in two other forms.
 +
 +
The trigonometric form of a complex number is denoted by <math>r(\cos \theta + i \sin \theta)</math>, where <math>r</math> equals the magnitude of the complex number and <math>\theta</math> (in radians) is the argument of the complex number.
 +
 +
The exponential form of a complex number is denoted by <math>re^{i \theta}</math>, where <math>r</math> equals the magnitude of the complex number and <math>\theta</math> (in radians) is the argument of the complex number.
  
 
== Topics ==
 
== Topics ==
Line 38: Line 46:
 
* [[Exponential form]]
 
* [[Exponential form]]
 
* [[Roots of unity]]
 
* [[Roots of unity]]
* [[Geometry with complex numbers]]
 
  
 
== Problems ==
 
== Problems ==
Line 63: Line 70:
 
*[[2004 AIME I  Problems/Problem 13|2004 AIME I Problem 13]]
 
*[[2004 AIME I  Problems/Problem 13|2004 AIME I Problem 13]]
 
*[[2005 AIME II Problems/Problem 9|2005 AIME II Problem 9]]
 
*[[2005 AIME II Problems/Problem 9|2005 AIME II Problem 9]]
 +
*[[2009 AIME I  Problems/Problem 2|2009 AIME I Problem 2]]
 +
*[[2011 AIME II Problems/Problem 8|2011 AIME II Problem 8]]
  
 
===Olympiad===
 
===Olympiad===

Latest revision as of 14:36, 10 December 2023

The complex numbers arise when we try to solve equations such as $x^2 = -1$.

Derivation

We know (from the Trivial Inequality) that the square of a real number cannot be negative, so this equation has no solutions in the real numbers. However, it is possible to define a number, $i$, such that $i = \sqrt{-1}$. If we add this new number to the reals, we will have solutions to $x^2 = -1$. It turns out that in the system that results from this addition, we are not only able to find the solutions of $x^2 = -1$ but we can now find all solutions to every polynomial. (See the Fundamental Theorem of Algebra for more details.)

Formal Definition

We are now ready for a more formal definition. A complex number is a number of the form $a + bi$ where $a,b\in \mathbb{R}$ and $i = \sqrt{-1}$ is the imaginary unit. The set of complex numbers is denoted by $\mathbb{C}$. The set of complex numbers contains the set $\mathbb{R}$ of the real numbers, since $a = a + 0i$.

Parts

Every complex number $z$ has a real part denoted $\Re(z)$ or $\mathrm{Re}(z)$ and an imaginary part denoted $\Im(z)$ or $\mathrm{Im}(z)$. Note that the imaginary part of a complex number is real: for example, $\Im(3 + 4i) = 4$. So, if $z\in \mathbb C$, we can write $z=\mathrm{Re}(z)+i\mathrm{Im}(z)$. ($z$ and $w$ are traditionally used in place of $x$ and $y$ as variables when dealing with complex numbers, while $x$ and $y$ (and frequently also $a$ and $b$) are used to represent real values such as the real and imaginary parts of complex numbers. This mathematical convention is often broken when it is inconvenient, so be sure that you know what set variables are taken from when dealing with the complex numbers.)

As you can see, complex numbers enable us to remove the restriction of $x\ge 0$ from the domain of the function $f(x)=\sqrt{x}$ (although some additional considerations are necessary).

Operations

Addition and subtraction of complex numbers are similar to doing the same operations to polynomials -- add the real parts then add the imaginary parts.

Multiplication is also similar to doing the same operations to polynomials -- use the distributive property and apply $i^2 = -1$. For division, however, the denominator needs to be a real number; this is done so by multiplying the complex conjugate, where the sign of the imaginary part is swapped. The complex conjugated is denoted by $\overline{z}$.

The absolute value (or modulus or magnitude) of a complex number is the distance from the complex number to the origin. It is denoted by $|z|$.

The argument of a complex number is the angle formed between the line drawn from the complex number to the origin and the positive real axis on the complex coordinate plane. It is denoted by $\arg(z)$.

Examples

If $z=a+bi$ and $w = c + di$,

  • $\mathrm{Re}(z)=a$,$\mathrm{Im}(z)=b$
  • $|z|=\sqrt{a^2+b^2}$
  • $\overline{z}=a-bi$
  • $z+w=(a+c)+(b+d)i$
  • $z-w=(a-c)+(b-d)i$

Alternate Forms

In addition to the standard form $a+bi$, complex numbers can be expressed in two other forms.

The trigonometric form of a complex number is denoted by $r(\cos \theta + i \sin \theta)$, where $r$ equals the magnitude of the complex number and $\theta$ (in radians) is the argument of the complex number.

The exponential form of a complex number is denoted by $re^{i \theta}$, where $r$ equals the magnitude of the complex number and $\theta$ (in radians) is the argument of the complex number.

Topics

Problems

Introductory

Intermediate

Olympiad

See also