﻿{"id":4489,"date":"2013-12-26T06:05:59","date_gmt":"2013-12-25T21:05:59","guid":{"rendered":"http:\/\/fujiitoshiki.com\/improvesociety\/?p=4489"},"modified":"2014-08-01T19:04:26","modified_gmt":"2014-08-01T10:04:26","slug":"complex-numbers","status":"publish","type":"post","link":"https:\/\/www.fujiitoshiki.com\/improvesociety\/?p=4489","title":{"rendered":"Complex numbers"},"content":{"rendered":"<div class=\"theContentWrap-ccc\"><blockquote>\n<p>Complex numbers arose in order to solve polynomial equations such as <img src='https:\/\/s0.wp.com\/latex.php?latex=x%5E2+%2B+1+%3D+0&#038;bg=T&#038;fg=000000&#038;s=0' alt='x^2 + 1 = 0' title='x^2 + 1 = 0' class='latex' \/> or <img src='https:\/\/s0.wp.com\/latex.php?latex=x%5E2+%2B+x+%2B+1+%3D+0&#038;bg=T&#038;fg=000000&#038;s=0' alt='x^2 + x + 1 = 0' title='x^2 + x + 1 = 0' class='latex' \/> which are not satisfied by real numbers. It&#8217;s assumed that a complex number has the form <span style=\"font-style: italic\">a + bi<\/span> where <span style=\"font-style: italic\">a, b<\/span> are real numbers and <span style=\"font-style: italic\">i<\/span>, called <span style=\"font-style: italic\">imaginary unit<\/span>, has the property that  <span style=\"font-style: italic\">i<sup>2<\/sup><\/span> = -1. Complex numbers are defined as follows.<\/p>\n<ol>\n<li>Addition. <br \/>\n<img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+%28a+%2B+bi%29+%2B+%28c+%2B+di%29+%3D+%28a+%2B+c%29+%2B+%28b+%2B+d%29i&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle (a + bi) + (c + di) = (a + c) + (b + d)i' title='\\displaystyle (a + bi) + (c + di) = (a + c) + (b + d)i' class='latex' \/><\/li>\n<li>Subtraction. <br \/>\n<img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+%28a+%2B+bi%29+-+%28c+%2B+di%29+%3D+%28a+-+c%29+%2B+%28b+-+d%29i&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle (a + bi) - (c + di) = (a - c) + (b - d)i' title='\\displaystyle (a + bi) - (c + di) = (a - c) + (b - d)i' class='latex' \/><\/li>\n<li>Multiplication. <br \/>\n<img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+%28a+%2B+bi%29%5Ctimes%28c+%2B+di%29+%3D+ac+%2B+adi+%2B+bci+%2B+bdi%5E2+%3D+%28ac+-+bd%29+%2B+%28ad+%2B+bc%29i&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle (a + bi)\\times(c + di) = ac + adi + bci + bdi^2 = (ac - bd) + (ad + bc)i' title='\\displaystyle (a + bi)\\times(c + di) = ac + adi + bci + bdi^2 = (ac - bd) + (ad + bc)i' class='latex' \/><\/li>\n<li>Division. <br \/>\n<img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+%5Cfrac%7Ba+%2B+bi%7D%7Bc+%2B+di%7D+%3D+%5Cfrac%7Ba+%2B+bi%7D%7Bc+%2B+di%7D%5Ctimes%5Cfrac%7Bc+-+di%7D%7Bc+-+di%7D+%3D+%5Cfrac%7Bac+%2B+bd%7D%7Bc%5E2+%2B+d%5E2%7D+%2B+%5Cfrac%7Bbc+-+ad%7D%7Bc%5E2+%2B+d%5E2%7Di&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle \\frac{a + bi}{c + di} = \\frac{a + bi}{c + di}\\times\\frac{c - di}{c - di} = \\frac{ac + bd}{c^2 + d^2} + \\frac{bc - ad}{c^2 + d^2}i' title='\\displaystyle \\frac{a + bi}{c + di} = \\frac{a + bi}{c + di}\\times\\frac{c - di}{c - di} = \\frac{ac + bd}{c^2 + d^2} + \\frac{bc - ad}{c^2 + d^2}i' class='latex' \/><\/li>\n<\/ol>\n<p>The ordinary rules of algebra has been used except that replaces <span style=\"font-style: italic\">i<sup>2<\/sup><\/span> by -1 wherever it occurs. The commutative, associative and distributive laws also apply to complex numbers. It&#8217;s called <span style=\"font-style: italic\">a<\/span> and <span style=\"font-style: italic\">b<\/span> of <span style=\"font-style: italic\">a + bi<\/span> the <span style=\"font-style: italic\">real<\/span> and <span style=\"font-style: italic\">imaginary parts<\/span>, respectively. Two complex numbers are <span style=\"font-style: italic\">equal<\/span> if and only if their real and imaginary parts are respectively equal. <\/p>\n<p>A complex number <span style=\"font-style: italic\">z = x + iy<\/span> can be considered as a point P with coordinates (<span style=\"font-style: italic\">x, y<\/span>) on a rectangular <span style=\"font-style: italic\">xy<\/span> plane called in this case the <span style=\"font-style: italic\">complex plane<\/span> or <span style=\"font-style: italic\">Argand diagram<\/span>. If the line would be constructed from origin <span style=\"font-style: italic\">O<\/span> to <span style=\"font-style: italic\">P<\/span> and let &rho; be the distance <span style=\"font-style: italic\">OP<\/span> and <span style=\"font-style: italic\">&phi;<\/span> the angle made by <span style=\"font-style: italic\">OP<\/span> with the positive <span style=\"font-style: italic\">x<\/span> axis, you could have from Figure<\/p>\n<p><a href=\"\/\/fujiitoshiki.com\/improvesociety\/wp-content\/uploads\/Graph.png\"><img loading=\"lazy\" decoding=\"async\" src=\"\/\/fujiitoshiki.com\/improvesociety\/wp-content\/uploads\/Graph-300x199.png\" alt=\"Graph\" width=\"300\" height=\"199\" class=\"alignnone size-medium wp-image-4515\" srcset=\"https:\/\/www.fujiitoshiki.com\/improvesociety\/wp-content\/uploads\/Graph-300x199.png 300w, https:\/\/www.fujiitoshiki.com\/improvesociety\/wp-content\/uploads\/Graph.png 454w\" sizes=\"auto, (max-width: 300px) 85vw, 300px\" \/><\/a><\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+x+%3D+%5Crho+%5Ccos%5Cphi%2C%5C+y+%3D+%5Crho%5Csin%5Cphi%2C%5C+%5Crho+%3D+%5Csqrt%7Bx%5E2+%2B+y%5E2%7D&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle x = \\rho \\cos\\phi,\\ y = \\rho\\sin\\phi,\\ \\rho = \\sqrt{x^2 + y^2}' title='\\displaystyle x = \\rho \\cos\\phi,\\ y = \\rho\\sin\\phi,\\ \\rho = \\sqrt{x^2 + y^2}' class='latex' \/><\/p>\n<p>and could write the complex number in so-called <span style=\"font-style: italic\">polar form<\/span> as <\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+z+%3D+x+%2B+iy+%3D+%5Crho%28%5Ccos%5Cphi+%2B+i%5Csin%5Cphi%29+%3D+%5Crho+cis%5Cphi&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle z = x + iy = \\rho(\\cos\\phi + i\\sin\\phi) = \\rho cis\\phi' title='\\displaystyle z = x + iy = \\rho(\\cos\\phi + i\\sin\\phi) = \\rho cis\\phi' class='latex' \/><\/p>\n<p>It&#8217;s often called that <span style=\"font-style: italic\">&rho;<\/span> the <span style=\"font-style: italic\">modulus<\/span> or <span style=\"font-style: italic\">absolute value<\/span> of of <span style=\"font-style: italic\">z<\/span> and denote it by |<span style=\"font-style: italic\">z<\/span>|. The angle <span style=\"font-style: italic\">&phi;<\/span> is called the <span style=\"font-style: italic\">amplitude<\/span> or <span style=\"font-style: italic\">argument<\/span> of <span style=\"font-style: italic\">z<\/span> abbreviated arg <span style=\"font-style: italic\">z<\/span>. It could be also written <img src='https:\/\/s0.wp.com\/latex.php?latex=%5Crho+%3D+%5Csqrt%7Bz%5Cbar%7Bz%7D%7D&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\rho = \\sqrt{z\\bar{z}}' title='\\rho = \\sqrt{z\\bar{z}}' class='latex' \/> where <img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cbar%7Bz%7D+%3D+x+-+iy&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\bar{z} = x - iy' title='\\bar{z} = x - iy' class='latex' \/> is called the <span style=\"font-style: italic\">conjugate<\/span> of <img src='https:\/\/s0.wp.com\/latex.php?latex=z+%3D+x+%2B+iy&#038;bg=T&#038;fg=000000&#038;s=0' alt='z = x + iy' title='z = x + iy' class='latex' \/>. <\/p>\n<p>If you write two complex numbers in polar form as<\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+z_1+%3D+%5Crho_1%28%5Ccos%5Cphi_1+%2B+i%5Csin%5Cphi_1%29%2C%5C+z_2+%3D+%5Crho_2%28%5Ccos%5Cphi_2+%2B+i%5Csin%5Cphi_2%29&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle z_1 = \\rho_1(\\cos\\phi_1 + i\\sin\\phi_1),\\ z_2 = \\rho_2(\\cos\\phi_2 + i\\sin\\phi_2)' title='\\displaystyle z_1 = \\rho_1(\\cos\\phi_1 + i\\sin\\phi_1),\\ z_2 = \\rho_2(\\cos\\phi_2 + i\\sin\\phi_2)' class='latex' \/><\/p>\n<p>then<\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+z_1z_2+%3D+%5Crho_1%5Crho_2%5B%5Ccos%28%5Cphi_1+%2B+%5Cphi_2%29+%2B+i%5Csin%28%5Cphi_1+%2B+%5Cphi_2%29%5D%5C%5C%5Cvspace%7B0.2+in%7D+++%5Cfrac%7Bz_1%7D%7Bz_2%7D+%3D+%5Cfrac%7B%5Crho_1%7D%7B%5Crho_2%7D%5B%5Ccos%28%5Cphi_1+-+%5Cphi_2%29+%2B+i%5Csin%28%5Cphi_1+-+%5Cphi_2%29%5D&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle z_1z_2 = \\rho_1\\rho_2[\\cos(\\phi_1 + \\phi_2) + i\\sin(\\phi_1 + \\phi_2)]\\\\\\vspace{0.2 in}   \\frac{z_1}{z_2} = \\frac{\\rho_1}{\\rho_2}[\\cos(\\phi_1 - \\phi_2) + i\\sin(\\phi_1 - \\phi_2)]' title='\\displaystyle z_1z_2 = \\rho_1\\rho_2[\\cos(\\phi_1 + \\phi_2) + i\\sin(\\phi_1 + \\phi_2)]\\\\\\vspace{0.2 in}   \\frac{z_1}{z_2} = \\frac{\\rho_1}{\\rho_2}[\\cos(\\phi_1 - \\phi_2) + i\\sin(\\phi_1 - \\phi_2)]' class='latex' \/><\/p>\n<p>Also if <span style=\"font-style: italic\">n<\/span> is any real number, you have<\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+z%5En+%3D+%5B%5Crho%28%5Ccos%5Cphi+%2B+i%5Csin%5Cphi%29%5D%5En+%3D+%5Crho%5En%28%5Ccos+n%5Cphi+%2B+i%5Csin+n%5Cphi%29&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle z^n = [\\rho(\\cos\\phi + i\\sin\\phi)]^n = \\rho^n(\\cos n\\phi + i\\sin n\\phi)' title='\\displaystyle z^n = [\\rho(\\cos\\phi + i\\sin\\phi)]^n = \\rho^n(\\cos n\\phi + i\\sin n\\phi)' class='latex' \/><\/p>\n<p>which is often called <span style=\"font-style: italic\">De Moivre&#8217;s theorem<\/span>. You can use this to determine roots of complex numbers. For example if <span style=\"font-style: italic\">n<\/span> is a positive integer, <\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+z%5E%7B%5Cfrac%7B1%7D%7Bn%7D%7D+%3D+%5B%5Crho%28%5Ccos%5Cphi+%2B+i%5Csin%5Cphi%29%5D%5E%5Cfrac%7B1%7D%7Bn%7D+%3D+%5Crho%5E%7B%5Cfrac%7B1%7D%7Bn%7D%7D%5Cleft%5C%7B%5Ccos%5Cleft%28%5Cfrac%7B%5Cphi+%2B+2k%5Cpi%7D%7Bn%7D%5Cright%29+%2B+i%5Csin%5Cleft%28%5Cfrac%7B%5Cphi+%2B+2k%5Cpi%7D%7Bn%7D%5Cright%29%5Cright%5C%7D%5C%5C%5Cvspace%7B0.2+in%7D+++%5C+%5C+k+%3D+0%2C%5C+1%2C%5C+2%2C%5C+%5Ccdots%2C%5C+n-1&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle z^{\\frac{1}{n}} = [\\rho(\\cos\\phi + i\\sin\\phi)]^\\frac{1}{n} = \\rho^{\\frac{1}{n}}\\left\\{\\cos\\left(\\frac{\\phi + 2k\\pi}{n}\\right) + i\\sin\\left(\\frac{\\phi + 2k\\pi}{n}\\right)\\right\\}\\\\\\vspace{0.2 in}   \\ \\ k = 0,\\ 1,\\ 2,\\ \\cdots,\\ n-1' title='\\displaystyle z^{\\frac{1}{n}} = [\\rho(\\cos\\phi + i\\sin\\phi)]^\\frac{1}{n} = \\rho^{\\frac{1}{n}}\\left\\{\\cos\\left(\\frac{\\phi + 2k\\pi}{n}\\right) + i\\sin\\left(\\frac{\\phi + 2k\\pi}{n}\\right)\\right\\}\\\\\\vspace{0.2 in}   \\ \\ k = 0,\\ 1,\\ 2,\\ \\cdots,\\ n-1' class='latex' \/><\/p>\n<p>Using the series for <span style=\"font-style: italic\">e<sup>x<\/sup><\/span>, sin <span style=\"font-style: italic\">x<\/span>, cos <span style=\"font-style: italic\">x<\/span>, you are led to define<\/p>\n<p><img src='https:\/\/s0.wp.com\/latex.php?latex=%5Cdisplaystyle+e%5E%7Bi%5Cphi%7D+%3D+%5Ccos%5Cphi+%2B+i%5Csin%5Cphi%2C%5C+e%5E%7B-i%5Cphi%7D+%3D+%5Ccos%5Cphi+-+i%5Csin%5Cphi&#038;bg=T&#038;fg=000000&#038;s=0' alt='\\displaystyle e^{i\\phi} = \\cos\\phi + i\\sin\\phi,\\ e^{-i\\phi} = \\cos\\phi - i\\sin\\phi' title='\\displaystyle e^{i\\phi} = \\cos\\phi + i\\sin\\phi,\\ e^{-i\\phi} = \\cos\\phi - i\\sin\\phi' class='latex' \/><\/p>\n<p>which are called <span style=\"font-style: italic\">Euler&#8217;s formulas<\/span> and which enable you to rewrite equations in terms of exponentials. <\/p>\n<\/blockquote>\n<p><iframe src=\"\/\/rcm-fe.amazon-adsystem.com\/e\/cm?lt1=_blank&#038;bc1=000000&#038;IS2=1&#038;bg1=FFFFFF&#038;fc1=000000&#038;lc1=0000FF&#038;t=fujiitoshiki-22&#038;o=9&#038;p=8&#038;l=as4&#038;m=amazon&#038;f=ifr&#038;ref=ss_til&#038;asins=0071635408\" style=\"width:120px;height:240px;\" scrolling=\"no\" marginwidth=\"0\" marginheight=\"0\" frameborder=\"0\"><\/iframe><\/p>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>Complex numbers arose in order to solve polynomial equations such as or which are not satisfied by real number &hellip; <a href=\"https:\/\/www.fujiitoshiki.com\/improvesociety\/?p=4489\" class=\"more-link\"><span class=\"screen-reader-text\">&#8220;Complex numbers&#8221; \u306e<\/span>\u7d9a\u304d\u3092\u8aad\u3080<\/a><\/p>\n","protected":false},"author":1,"featured_media":6040,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_crdt_document":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[9],"tags":[],"class_list":["post-4489","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-mathematics"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts\/4489","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=4489"}],"version-history":[{"count":30,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts\/4489\/revisions"}],"predecessor-version":[{"id":6057,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/posts\/4489\/revisions\/6057"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=\/wp\/v2\/media\/6040"}],"wp:attachment":[{"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=4489"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=4489"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.fujiitoshiki.com\/improvesociety\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=4489"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}