[size=150][b]このワークシートは[url=https://www.geogebra.org/m/twxxx3yq]Math by Code[/url]の一部です。[br][/b][size=100][br]複素数はガウス平面ではベクトルのように見える。[br]複素数は和と差と定数倍についてはベクトルと同様に扱える。[br]ベクトルの積に外積・内積の2種類があり、商はなかったが、複素数の積は１つで、商もある。[br]ベクトルの微分・積分ができたように複素数でも微分・積分ができる。[br]しかし、ベクトルの微分積分が成分・次元で合成・分解であり、偏微分と∇が大切だった。[br]複素数の微小変化には経路があるため、偏微分だけでなく、領域と経路と特異点が重要になる。[br]微分・積分の前に複素数の基本を確認することで、特徴をはっきりイメージしてみよう。[/size][/size][b][size=150][br][br]＜複素数の和差は線形で、積は回転と拡大で＞[/size][/b][br]・複素数ｚ＝x+yi は実部ｘ＝Re(z)、虚部ｙ=Im(z)を(x,y)と成分のようにかくと、[br]実軸Rと虚軸Iの交点(0,0)が原点の2次元平面上の点としてとらえることができるね。[br]これをガウス平面というのは有名。[br]複素数の和と差についてはベクトルと同様の性質が成り立つ。証明しなくてもわかるでしょう。[br][b]|Za + Zb|≦|Za|+|Zb| ( 三角不等式）[br]|Za + Zb|≧|Za|- |Zb|[br][/b]＝になるのは、２つの複素数Za,Zbが独立でないとき。[br]ベクトルOA,OBの向きと大小の関係からベクトルの和と差がどう変わるかをイメージしてみよう。[br][br]・複素数で重要なのは、ベクトルとちがうところです。[br]複素数を極形式（ｒ；θ）絶対値ｒと偏角θでとらえると、[br]２複素数の積は、絶対値が２絶対値の積で、偏角が２偏角の和になることです。[br][b]ZaZb=(ra；θa) (rb；θb)＝(ra*rb；θa+θb)[br][/b]つまり、回転相似大だね。[br][br]・しかし、この[b]和差イメージと回転相似イメージ[/b]はちがいすぎる。[br]この２つをつなぐのが三角関数と指数関数だ。[br]ベクトルイメージ [b]z=x + y i[/b][br]極形式（ｒ；θ)はｘ＝r cosθ、ｙ＝r sin θともかける。[br]つまり、[b]ｚ＝極形式（ｒ；θ)=成分表示(r cosθ，r sinθ）[/b]で２つがつながるね。[br]ZaZb=(ra；θa) (rb；θb)＝(ra*rb；θa+θb)　の理由も成分にしてかけ算すれば、[br]三角関数の加法定理と同じことがわかる。[br]さらに、z=(1；θ)=(cosθ, sinθ)とすると、[br][b][color=#0000ff]ｚ[sup]n[/sup]=(cos(nθ), sin(nθ)) =cos(nθ) +i sin(nθ) [br][/color][/b]となることも帰納法的に考えればわかるでしょう。[br]これは、[b][color=#0000ff]ド・モアブルの定理[/color][/b]というね。 [br][br]・e[sup]x[/sup]のテーラー展開はΣ1/n! x[sup]n[/sup] ＝1+x+1/2! x[sup]2[/sup]+ 1/3! x[sup]3[/sup] + 1/4! x[sup]4[/sup] + 1/5! x[sup]5[/sup]+.................[br] はｘが実数の場合の式だけれど、ｘにiyを代入すると興味深い。[br]　e[sup]iy[/sup]=1+ i y -1/2! y[sup]2[/sup] - i 1/3! y[sup]3[/sup] + 1/4! y[sup]4[/sup] + i1/5! y[sup]5[/sup]+-.................[br] =(1-1/2! y[sup]2[/sup] + 1/4! y[sup]4[/sup] -................)+ i (y- 1/3! y[sup]3[/sup] + 1/5! y[sup]5[/sup]-................)[br] =cos y + i sin y [br]つまり、　[b]e[sup]iy[/sup]=cos y + i sin y　（オイラー等式）[br]ということは、[br][/b][b]ｚ＝（ｒ；θ)=(r cosθ，r sinθ）= r (cos θ+ i sinθ)[/b][br] [b]=r e[sup]iθ[/sup][/b][br]これで、ベクトル、三角関数、指数関数が複素数によってつながったともいえね。[br]すばらしい。

複素数はベクトルの線形性と回転相似の両面をもち、[br]指数表示、三角関数表示が基軸になることがわかった。[br]では、複素数を複素数に対応させる関数とはどのような特徴をもつのだろうか？[br][br]ｚ=x+i y (複素平面）に対してw= u+ i v（複素平面）を対応させる関数w=f(z)を考えてみよう。[br][br][b][size=150]＜2次関数＞[br][/size][/b]z=x+iyに対してｗ＝z[sup]2[/sup][br]w=(x+i y)[sup]2[/sup]=(x[sup]2[/sup]-y[sup]2[/sup])+i 2xy から、u=(x[sup]2[/sup]-y[sup]2[/sup]),v=2xy [br]x=±k（定数）とすると、[br]zの平面のｙ軸平行な[b]直線群[/b]からｗ平面でy[sup]2[/sup]=v[sup]2[/sup]/4x[sup]2[/sup]を代入して、[b]u[/b]=k[sup]2[/sup]-[b]v[/b][sup]2[/sup]/4k[sup]2[/sup][b][color=#0000ff]放物線[/color][/b]群へ移る。[br]y=±k（定数）とすると、[br]zの平面のx軸平行な直線群からｗ平面でx[sup]2[/sup]=v[sup]2[/sup]/4y[sup]2[/sup]を代入して、[b]u[/b]=-k[sup]2[/sup]+[b]v[/b][sup]2[/sup]/4k[sup]2[/sup]放物線群へ移る。[br][br][b][size=150]＜逆数関数＞[br][/size][/b]z=(ｒ；cosθ）に対してｗ＝1/z[br]w=(１；cos0)/(ｒ；cosθ）=(1/r；cos(0-θ)=(1/r；cos(-θ)=[b]1/r e[sup]-iθ[/sup][/b][br][color=#0000ff][b]ｘ軸対称移動[/b][/color]と、１をさかいに[b]サイズの反転[/b]の写像だ。[br]ｚ平面のr＞1、 ｙ＞０はｗ平面のｙ＜０のｒ＜１に移る。[br]ｚ平面のr＜1、 ｙ＞０はｗ平面のｙ＜０のｒ＞１に移る。[br]ｚ平面のr＞1、 ｙ＜０はｗ平面のｙ＞０のｒ＜１に移る。[br]ｚ平面のr＜1、 ｙ＜０はｗ平面のｙ＞０のｒ＞１に移る。[br]ｚ平面のｚ＝０はｗ平面の無限遠点全体に移り、ｚの無限遠点全体はｗ平面の原点ｗ＝０にうつる。[br][br][b][size=150]＜一次分数関数＞[br][/size][/b]ｚに対して１次関数ｗ＝a z + bはaによる回転拡大とｂによる平行移動だね。[br]ｚに対してｎ乗ｗ＝ z[sup]n[/sup] はzによる回転と拡大のｎ回連続になる。[br]ｚに対して１次分数関数[b]ｗ＝ (az+b)/(cz+d) [/b]は係数分離で分子÷分母をしてカンタンな式にしよう。[br](a, b)÷(c,d)= a/c 余りb-ad/c=(ad-bc)/(-c)だから、[br][b]ad-bc=0のときはw=a/cの定数関数になる。[br][/b]α=(ad-bc)/(-c)、ｙ=cz+d, β=a/cとおくと、 [br]ad-bc≠0なら、[b][color=#0000ff]w= (az+b)/(cz+d)= α/ｙ+β[/color][/b]。[br]ｚ→ｙでｃによる回転拡大とｄによる平行移動。[br]ｙ→ｗで、ｘ軸反転とサイズ反転とαによる回転拡大とβによる平行移動。

複素数の整式、有理式の関数についてみてきた。[br]それらは、複素数の２つの側面、回転拡大と平行移動の合成によってしくみをつかめることがわかったね。では、指数、対数、三角関数についてはどうだろうか？[br]それを順にみてみよう。[br][br]ｚ=x+i y (複素平面）に対してw= u+ i v（複素平面）を対応させる関数w=f(z)を考える。[br][br][b][size=150]＜複素指数関数＞[br][/size]w=e[sup]z[/sup]=e[sup]x+iy[/sup]=e[sup]x[/sup]e[sup]iy[/sup]=e[sup]x[/sup](cosy + i siny)[br][/b]｜e[sup]iy[/sup]|=｜cosy + i siny｜＝１だから|w|=|e[sup]x[/sup]| から、[br]ｚ平面からｗ平面の[b][color=#0000ff]大きさ｜e[sup]x[/sup]｜で偏角ｙ[/color][/b]の複素数に移る。[br]ｚ平面の虚軸x=0はｗ平面の半径１の円周になる。y＝２πごとに１周する。[br]ｚ平面のx＝ｋのｙ軸平行な直線はｗ平面の半径｜e[sup]k[/sup]｜の円に移る。[br]ｚ平面のy＝ｋのｘ軸平行な直線は、ｗ平面の偏角ｙが一定の直線に移る[br]ｚ平面の格子点は、ｗ平面の同心円群と比例の直線群の交点に移る。[br]指数法則は、複素数でも成り立つ。[br]複素指数関数独自の法則は[b]e[sup]2nπi[/sup]=1[/b][br]e[sup]2nπi[/sup]=cos2nπ + i sin2nπ= 1+0=1

[b][size=150]＜複素対数関数＞[/size][/b][br][b]z=(r；θ)=x+iy=e[sup]w[/sup]のときに、ｗ＝logz=u+ivとしよう。[br][/b]z=e[sup]w[/sup]＝e[sup]u[/sup]e[sup]iv[/sup]=re[sup]iθ[/sup][sup][br][/sup]から、r=e[sup]u[/sup], v=θ+2nπ(nは整数）[br]u=logrとなるから、[b][color=#0000ff]w=logz=(logr[sup] [/sup], θ+2nπ)[/color][/b][br]だから、ｚ平面のｚの動径の大きさのlogがu座標。[br]ｖ座標は偏角argzに2πの整数倍をたした[b]多値関数[/b]になる。[br]z平面でｒが一定つまり円は、u=logrが一定だからｗ平面の直線になる。[br]z平面でθが一定つまり原点を通る直線は、ｗ平面でu軸に平行な直線群になる。[br]・多値関数をさけるために[b][color=#0000ff]大文字のLog[/color][/b]を定義することが多い。[br]ｖ座標の範囲を０以上２π未満かーπとπの間に制限し、[b][color=#0000ff]Logz=(logr, argz)[br][/color][/b]とする。

[b][size=150]＜複素三角関数＞[/size][/b][br]xが実数のとき、オイラー等式が成り立った。[br]e[sup]ix[/sup]=cos x + i sin x , e[sup]-ix[/sup]=cos x - i sin x [br]xを複素数にしても成り立つなら、[br]e[sup]iz[/sup]=cos z + i sin z , e[sup]-iz[/sup]=cos z - i sin z[br]これから、和差算をして、[br][color=#0000ff][b]cos z=(e[sup]iz [/sup]+ e[sup]-iz[/sup])/2、sin z=(e[sup]iz [/sup] - e[sup]-iz[/sup])/2i、tan z=sin z/ cos z[br][/b][/color]がなりたち、[br]ｚにｚ＋2nπを入れると,e[sup]2nπi[/sup]だけ変化するが、これは１だから、[br]cos (z+2nπ)=cos(z), sin(z+2nπ)=sin(z)　[br]cos, sin が2πの周期関数であるのは実三角関数と同じだ。[br]他にもcos(-z)=cosz, sin(-z)=-sinzや[b]加法定理[/b]など実関数と同じ法則が成り立つ。[br][br]・cosz=cos(x+yi)=(e[sup]i(x+iy) [/sup]+ e[sup]-i(x+iy)[/sup])/2=1/2 [ e[sup]ix [/sup]e[sup]-y[/sup]+e[sup]-ix[/sup]e[sup]y[/sup]]=1/2 [ (cos x + i sin x)[sup] [/sup]e[sup]-y[/sup]+(cos x - i sin x)e[sup]y[/sup]][br]=1/2 [ cos x(e[sup]-y[/sup]+ e[sup]y[/sup])- i sin x(e[sup]y[/sup]-e[sup]-y[/sup])]= cos x(e[sup]-y[/sup]+ e[sup]y[/sup])1/2- i sin x(e[sup]y[/sup]-e[sup]-y[/sup])1/2 [br]=cosx cosh y - i sin x sinh y=(cosx cosh y , - sin x sinh y) [br]ｚ平面でx軸に平行な[b]直線y= k[/b]（定数）はｗ平面で(u,v)=( cosx coshk, - sinxsinhk) だから、[br] (u/coshk ) [sup]2[/sup]+(v/sinhk)[sup]2[/sup]= (cosx)[sup]2[/sup]+(sinx)[sup]2[/sup]=1となり、(u/a)[sup]2[/sup]+(v/b)[sup]2[/sup]=1の[b][color=#0000ff]楕円[/color][/b]になる。