Tokyo University of Science
NII-Electronic Library Service Tokyo Unlverslty of Solenoe
鬮
影
で
、虚数
を
図示
す
る
考
え
方
一 一影を研究申に、付随して考え た事項 (その3
) 田 中 成和
これ まで の (その
1
),(その2
)では、影の基本事項とその応用を扱ってきた。 今回の (その3
)で は 、それ らに付随して解決しなけれオまなちなかっ た事 噴を記述する。 12. 嫐 〜て『蠍 〃)翔更し、 ◆ まず、現行の数学で行われている扱い につい てふ れて みよ う。 例と して とりあげる関数は、単純な2
次関数とする。すなわち、従属変数= (独立変数 )2
, 記号で はア= κ2 ,
W = z2
など とする。 複素変数廃数論に お け る
1
つの特徴は、変数の表現をGauss
平面 (複素数平 面)に拠っ て いる ことである。すべ ての虚数を、その平面上 の個々の点 と1
対1
に対応 させ ることが で き る。 この こと自体 が、長所・短 所 を 共 にもつことになる と私は考え る。 長 所 は1
対1
の対応と、De M ・ivreの計算公式にあ るとい え る。 短所は、1
対1
を守るために従属変数において時に複数枚の Gauss 平 面を連結して つ くっ た Riemann 面を用意しなけれ ばなちない ことや、放物線y
= X2 とか球κ2 + ア2 +Z2 =1
などの図形 を描けないことである。 上の2
次関数で、独 立変数が円領域の実なる直径QOR
を動いた とき、その関数 値は実の線分 oN になる。 独立変数の Gauss 平面 麟 一1Q oP
. ’ R1 実軸 しかし、W = Z2 の放物線 (図形 )を描けないQOR
上の実 数は ORt になってしまう (図 100 ) (図99)Gauss
平面につ い て、いま1
つふれ て おきたい ことがある。虚数の計算処理にはき わめ て便利であるけ れ ど も、平 面 その ものについ て、 私はあらためて問いなお しを したい の である。すなわ ち、
Gauss
平 面が正しいとする。 こ の と き、実軸てない虚数領域 に実数を定める ことはで きない し、実軸上に虚数を定めることもできない. しか し、その原点 0 に は実数と虚数の2
つの特性 が同時に付与されて いる。 ところで、私 たちは 原 点0 をこ の宇宙空間の任意の点に設定する こ とが できるから、任意の点がその2
つ の特性を同時に あわ せ もつ こと になる。しか るに、Gau ・ ・平 面 は 実軸に よっ て実軸と虚の領域 とに分けられ て、2
つの特性を同時にあわ せ もつこと と違背する。不 (図101) 合 理 といわ ざ る を得ない。よって、こ の宇宙空間全体は、同 時 に実 と虚をもつ空間と考え ることのほうが 自然である と私は 主張する。 ◆ 私 は、実と虚の同時共存を前提とす るこ の3
次元空間に おい て 、実像に たいする影を導入 して、虚数 を影で図示する こ とをしてきた。 実の X,y
, Z軸は直線であることかち、影も自身に重なる直線になる。 また、虚数a +bi
= ’1
−2i
はそのま ま合算してよいが、見かけ 一11
= 略記一1
の 記法を採用 した。 一103
一 N工 工一Eleotronlo Llbrary虚数をその ま ま合算するこ とを復習して みよう。 〔例46 〕 次の
2
次方程式の解を図示せよ。(
1
)x2 =
2x
+3
…
黝 )駘
(
2
>x2 =
2x
−5
…
壇飜 (解 ) (
1
)こ の実数解の場合は、次の虚数解の 場合 と比較するためにあえて例示することにした。 x の解は、与式か らx2 −2x
−3
=O
として2
±Vi
;
ii
x = ;1
±2
=3
, −1
2
対する関数値y
は 、与式の左右どちらかの式を用 いる。左辺:
y
=(
1
±2)
2 =5
±4
=9
,1
これより2
点 A(
3
,9
)
,B ←
1
,1
)
を得る。右 図の2
点 A, Bで従来どうりに図示され る。 (2
)虚数解の場合も、 計算は従来どうり行う。 x2 −2x
+5
=0
(
x −1
)
2 +4
=0
∴
x =
1
±2i
= 見力斗ナ31
,−
1
,=3
,−
1
また、 アは与式の同じく左辺を用いて左辺 :
y
;(
1
±2i)
2 = −3
±4i
= 見力tsCナ
1
_ 3,−
7
_ 3 =1
,−
7
これより2
点P
(
1
+2
’, −3
+4
」)
,Q
(
1
−2i
, −3
−4i)
を得 る。虚数表示の こ の2
点は、右図の影におけ る共有点 P,Q
で図示される、 * 影につ い て復習 *2
次方程式 (放物線,直線)で、重解点θに対す る図形上の.点でそれぞれの図形を点対称移動した 図を具現化影 と称 し、原式へ虚数 θ+ti
を代入 し てそのまま描いた図を真影と称 した。 その結果 tzx2 +bx
+c =0
が与式 (各辺Yi
,Y2
)なら 真影;アi(
8
+の
,ア2
(
θ+の
具現化影 ;Y
, = −aM2 +bX
+c−2a
θ(
θ一2X
)
Y
,=0
(直線の影は、自身に重なる〉 真影の見かけと、具現化影との州致を試み る。 ン
9
・A
実像 ’ ら 幽 界や
’ 〃 鹽 へ ・ ・寸 十 , い1
_21
1Nl
い
5
裡+2
∴.! 轟 o ・ 2y = x , 3 ・ c , 実 像 凸 1 ’ i! { 丶 1匁
\
M
・丶
影
B
1
i
’、P 一1 1’
i2
3
\
’’’”く κ 0/
θ楚
\
/
ゆ
・ ’ 〃 ’
へ
等
一2 ・ ・十 笛 o11 −2
’1
’ ’ ., ・1
吻
丶 . l N2ム
. 1 ’!
.実虚 数 も数
1
±そ2
のと同様ま ま合算に 会 ’ L ’ 一5 ・虚数は影で図示できる ’ ∬ .’ . ー〃
ノ
Q
1点 c ア=
(
1
+’)
2 .7点
R ア= (1
+の
2 (図102) 放物線につ いて :Y1
(
θ+ti)
= a(
θ 2 −t2
)
+b
θ+c +(
2a
θ+b
)
ti
= その見かけ数 一一一一一一1
Y
,(
θ・り
一 ・(
θ2 − tZ)
・be
・・+(
2
・θ・b
)
t − 一 働 き・励 徴 一一」 直線 について : (略す )方程式 (
2
)x2 =2x
−5
につ いての影は、重解点 θ=1
より、具現化麟 ま次の式となる 。 実像Yi
= x2→
Y
, = −X2
+0
+O
−2
・1
・1
(
1
−2X
)
,∴ 実像ア2 =
2x
−5
→・
(自身に重なる)
∴ 実像
2
つの真影につ いて は、記述を省略する。 }て
= −X2
+4X
−2
Y
, =2X
−5
Tokyo University of Science
NII-Electronic Library Service Tokyo Unlverslty of Solenoe
一1+3f 離 Gauss 平 面 3」
q
R2 ’ . ・・ . ■, ■ . F ’ 唖●畠 s1 +’ 肋 け 2丶
P ・ 7 斷. .1 0園
f
2 辱9
・ . 実軸 一〜 o・. , T3 −’ 独立変数X = a +bi
の とき 重 解点θ= a で 実 像 から影へ潜 りこむ 見haナ2密
___.._ .;la
.2
.....→ 影へ 潜 りこむ
一
广
一 一 ・ 0 1 見かけ2 − 一一一一一 N 3iQ O 見 かけ2 0 0 ; S2P (図 103) 一一 一 “wwL ’一’−Pt − 一 一 x (図 104} 見か け2 3 −・1 虚数につ いて、従来の Gauss 平面は ;『1っの虚数には、 Gauss平 面 上の塑 ‘ そのつ ど1対1に対応する』 のよ うに扱っ たe これ を、新しく次のように言いなお して、虚数の扱い方と図示の方法とする。 新 しい扱い方 ; 『1つの虚数には、虚実力洞時 共存す る数直線 ヒで⊥:2
盤 蓄 そのつ ど1
対1に対応 ケるa 本来この扱い方は、研究の初め である (その1
)で記述 しておかなけれ ばいけないこ とであっ た。 しか し、その 当時、記述 したい気持ちはあっ ても、もの 凄い山 に立ち 向か うよ うな不安を覚えて言葉にな らなかっ た。 どこかで 自分の態度を きっ ちりと述べな ければいけな い と思いつ つ 、時がたっ た。 今がその最後の機会と考 え て上の よ うに記述した。 さて、 (図 103 )の点 P とR
,S,T
を示 す数につ い てy
=f
(
x)
= X2 に よ る関数値を計算して図示 してみ よ う。 ・点P
y
=ノ(
2
)
=22
=4
実像上の点 ・点R ア=
ノ(
0
+2i
)
=(
0
+2i
)
2 ; −4
影上の点 ・点S ア=f
(
1
+i)
=(
1
+2
) 2 =2i
〃 ・点Ty =
ノ(
3
−i
)
=(
3
−’)
2 =8
−6i
〃 ・点
Q
は、数値が (図 lo5 )をは み だすのて省 略した 。y
が虚数であ る ときは、X と同様に潜行させ る。 以上 のように虚数を扱うことで、実像と共に描 く影の中で虚 数を図示する こ とが 可能である といえる。 練 習30 , 関数y
=f
(
x)
= x2 に おいて、κ =2
− ’に よ る影の点は、 (図 105 }の中の点A
の位置になること を確か め よ。ま た、重解点x 二 θ=
2
による真影y
=ノ
(
θ+ti)
は4
−t2
+4
”になることを確かめ よ 。さらに、θ=
2
のと きの具現化影Y
=F
(
X
)
を求め、X
= θ+t
を代入 した式が、真影の見かけ に一致する こ とを確かめ よ。 一105
一 N工 工一Eleotronlo Llbrary以上、前ページまで に述べたことは、実数による実像上の具体的な点と実のグラフ、そして虚数に よ る 影上の具体的な点と影のグ ラフ (真影・具現化影)であっ た。 すなわ ち (ア )
y
= κ 2 で、 (図 105 }のなかの、 例えば点 P(
2
,4
)
と実の放物線ン = x2 を描いた (イ)r
= x2 で、 (図 105)の なかの、例えば点 S(
1
+i
,2i
)
と影の放物線y
ニ(
1
+ti)
2 を櫛 、たこ こか ら先 きは、Gauss 平面上の領域 D。main
(
D
)
を関数ア=ノ(
x)
で 剛 平面上に描 くこ と(
D
’)
を 考えようとしている。 それでもなおDt
を示そうとするなら、 その境界線となる影のグラフを描けること が大切 となる。 Gauss 平面上の領域 自体 さまざまな形そして変域がある。 いま、基本的と愚われ る領域 をい くつか選んで、園数)にノ(
x)による影のグ ラフを描いてみ よ う。 (ウ)関数ン=ノ(
x)
で、境界線となる影のグラ フ ァ=ノ(
θ+の を描くY
= x2 と実数の線型領域 OA 左 ;Gauss 平 面 虚軸 実数の嬲 ま0
≦x ≦1
とする。 これは易しい、 実像の放物線 (部分 )になる。 後の虚数のた め に、 笑数に よ る座 標の計算 を下 に 示 した。 鶏 (図 106)y
= X2 と虚数の線型領域OB
麟 。E
, 1 鶏 0 見か け (図107 ) x0 .12 .3 .4 .5 .6 .7 .8 .91 2 ア=κ 0 .01 、04 .09
ユ6 .25 .3649
.64 .811 虚数の領域は0
か らi
までとす る。 虚数に よ る座標の計算を下に示 した. (真影) κ 0 ,1. .2’ .3’ .4’ .5’ .6’ .7’ .8∫ .9’ 1 2 ア≡x0rO1 「 04 一.09 一.16
一25
「 36 一.49r64 「81
一1
これ も易しい。 影の放物 線 (部分 )になる。Y
= x2 と虚数の線型領域AC
虚i
C 1+ti l A 見か け 0 (図 108) 虚数の領域は1
から1
+i
までとする, 少し面倒。 固定の θ=1
, x =1
十tiJO
≦t ≦1
y
=(
1
+ti)
2 ;1
− t2+2ti
(真韻彡の
Ji
); 見力尋ナ
1
− t2 +2t
実t=
O
→ 点At(
1
,1)
t=
1
→ 点 Cて
1
+i
,2i
)
= 見魁 ナ(Y
(
2
,2
)
影の赦物線 (部分 )になる。y
= X2 と線型側 或BC
虚 2i B・ ’ C 01見かけ2 実 (図 109 ) 右 ;型 平 面
y
1 すべて実像 O l (図106’ ) O 一1
原点のみ実像 1丶
、 」、 B’ (図 107t ) 虚数の領域は
i
か ら1
+i
までとす る。 少し面倒。 変動の θ= t , x = ’ +i
,0
≦t
≦1
ア= (t
+i
)
2 ; 〆−1
+2ti
x,.y
のfi
」b
・けX
=t
+1
,Y
・t2
”1
+2t
6
か ら媒介変数を消去すれ ばY
=X2
−2
影の放物線 (部分)になる。.(図109! )−2
y2
(図 108’}數
ρ
..ノ
9
! ひ 〆 θ≡レ ’ ’ θ・t,., ! 〆’
メ
、. ’6
・ . ’/
’21
爭
Tokyo University of Science
NII-Electronic Library Service Tokyo University of Soienoe
Y
; X2 と虚数の線型領域 OC 虚数の領域は 虚 実 (図 110)0
から1
+i
までとする。 少し面倒。 変動の θ=t
, x =t
+ti
,0
≦t
≦1
ア=(
t
+ti)
2 =2
〆’(真影の ア ) x,
y
の見か けX
=2t
,Y
=2t2
から媒介変 数黼 去すればr
.1X
・を得る 。2
重解点がθ= ’の形で変動するか ち、重 解点 が異なる無数の影を考慮 しなけれ ばならない。 ’二 〇→ 点0(
0
,0
)
t;1
→ 点 Cて
1
+i
,2
」)
= 見か け (f
(
2
,2)
y
= X2 と線型領域BA
虚 B ’鬼
ノ 1 0 A (図 111) 実 虚数の領域はi
か ら1
まで とする。 少し面倒。 変動の θ=t
, x =t
十(1
−t
)i
,0
≦t
≦1
ア・{
t
・(1
− ’)
i
}
2 ・2t
−1
・2t
(
1
− t)
i
x,y
の見かけはX
=1
,Y
= −2t2
+4t
−1
よっ て、点(
」Y
, 】っ
に よ る線は、線分9A
’ と なる。Ji
= X2 と線型領域 OH 虚 虚数の領域は 1 0実 一’
匆
(図 112 >0
か ら1
−i
まで とする。 少し面倒e 固定の θ=1
, x ; t −ti
,0
≦t
≦1
アニ(
t
− ti)
2 = −2t2i
至
潔
鷺懸
£諭
7
蘓
。H’, なる。 (図 110’ ) 点nf
の み実像 (図 111t ) 原点の み実像 _ ,k
,4
L
− . 0 卜・・ 1f
∫
斗
聖
(図 112つ 以上の基本を組み合わ せ るなら、Gauss
平面上の第1
象限相当で1
辺が1
の正方形領域OACB
を考え だすこと もで き る。 次は、それ を応用した領域 へ と話 しを移す.Y
= X2 と下図のような線型領域 (線上のみとする。 内部はあとで) 虚 線上のみ.・ 内部を含 まず B ’ C 見が ナ 見 力肴 .1 1 2 D 0A G F 記号 間 を移動 す漏 (図 113 ) 単独とすれば面倒。 上の基 本 を利用すれば容 易。 左図の各頂点を、 右の 砂 平面 上へ関数で移し、点をつな ぐ。 右図のよ うな線の図となる。 → 記号間 (図 113’ ) 一107
一 N工 工一Eleotronio Library
Y
= X2 と下図のような線型領域 虚 居 見力縄ナ 4 ・線上の み B ’ 見かけ1A
H D O F (図 114) 実 (線 上の みとする ) 基本を利用する。 各頂点をつなぐ, ノ . 呷 P , 」 . 2 .一・ ,・ び 塵 . Al・ 1 ’ 、 ’ ’・
1
ノ(o ・ / 、〆
く
\
’ ∫ )な 12
’ \ ,1
>
ガ\
、 .2丶 (図 114’) H’・ , ’ ! ’ / ! ’ ゴ 下の図は、線型領域と 内部を含んだ逓常の領域との遡 、を、参考までに示 した ものである。 咽〜
曇
濃
舞
挈
諾
・“ . ∵呷・γ・,・.”『’・・縫馨
…
i
飄
(図117) 線上の み. 内部 を含まない 1「.∵・∵「’t:¶〉・:∵ゴ・’∴ :ご、. (図 11s )内部を 含む領域 影の考 え と計算 に従うとき
攤
攤 羈
剿
’、康
嬉 , 領彎
墨
讐
/
= ・f
(
・)
当初の境界とノ(
%
騨
購
鑼
嚇 ,図瀞
蔓
ン
Ji
= x2 と下図のよ うな線型領域 虚 線 上のみ E B ’ C 見削 ナ 見酬 ナ ・2 .1 12 実 D 0 A G F H 記号間 を (図120> (線上のみ とする) 基本を利用する。 各頂点をつ なぐ。 記号間 を移 動すれ ば→ → 記号間のTokyo University of Science
NII-Electronic Library Service Tokyo University of Soienoe
y
=x2.と下図のような領域嬲
費
。婆
葺
:難
ま
蟻
、韈
牙ご・: 美三
i
;1
;::ミ
〜甓
G (内部 を含ん だ領 域 ) 基本を利用する。塑
端
実 嬲ド
恥
謙
儷
誕
熊
裏
韓鞳
)
(図 121) 各頂点のほかに、 内部 の点 につ い て も調べる。 DOA は→ D’OAt (実像 > FOB は→ FtOBt(影 ) GOC は→ x = t十ti
, −1
≦t
≦1
ン;(
t+ ti)
2 =2t2i
か ら、見か けX
;2t
,Y
;2t2
.・.y
=1x2
2
を得て、 (YOC
’となる 。 他は省略す る. (図121’ ) 練習 31 . 下の (図 122 >のよ うな領域を独立変数X が動 くとき、関数ア=ノ(
X)
= X2 による像の領域 を、右側め方眼紙 を使って図示せ よ。 虚 P 2:! ’ 見脳 ナ .1 B C ” :な冫1
: ・¶ , :’鹽・こ∴ ・ 鹽 ■・丶 ■ ;’噸・」 見創 ナ 1 2 o 噛 一’ , ・:’・’・’7 ノ ∴ ゴ・’・薫
∫1A
H F 実 ア= X2 の ン . ◎ 2 艦 「 繦 . , 1 , ・ .2・ ・1o 1 2 」 」 一1 , . 呷 ・2 幽 ■ (図 122 )Y
= x3 と下図のような線型領域 (線上の みとする )虚
媒介変数 一
1
≦t ≦1
として、各線 上を独立変数x が動 くこと を考 える。 ・HAC のと き;x =1
+ti
と表 して、関数へ 代入すれ ばY
= x3 =(
1
+ti)
3=
1
+3
〃+3(の
2 +(
の
3;
1
−3t2
+(
3t
−t3)
i
影では、 実数と同様に虚数もその まま加減すること に留意して点
Ht
= −1
,(
1
−i
, −2
一2i
)
= 見かけ(
O
, −4
)
点At =
O
,(
1
,1
)
= 実質で(
1
,1
)
点 Ct =
1
,(
1
+i
, −2
+2i
)
= 見かけ(
2
,0
)
よって、 線分HAC
は→ ・H懲y
に移され る 。 なお 、HAC 全体を見かけでみればX
=1
+t
,Y
=1
−3t2
+(
3t
− t3)
から、次の式を得る 。y
= −X3
+6
丿r
−4
,0
≦ 丿r
≦2
E B 線 上のみ C 見 力勢謨
見力斗テ 1 2 D G 0 A実 F (図123) H 一
109
一 N工 工一Eleotronio Library・EBC のとき;X =
t
+i
と表 して、関数へ 代入すればy
=(
t
+i)
3 = t3+3t2i
+3
’.’ 2 +’3=
t3
−3t
+(
3tl
−1
)
i
点E t
ニ ー1
,( −
1
+i
,2
+2
ノ)
= 見力1け(
0
,4
)
点Bt
=O
,(
i
, −i
)= 実質で(1
, −1
)
点 Ct=
1
,(
1
+ ’, −2
+2
’)
; 見力、C
ナ(
2
,0)
よっ て、線分EBC は→E
’Btct
に移され る 。 なお、EBC
全体を見力9
ナで みれ ばX
=t
+1
,y
=t3
−3t
+(
3t2
−1
)
か ら、媒介変数を消去 して、次の具現化影を得る。y
=X3
−6X
+4
,0
≦丿r
≦2
線分 GDE , GFH につい て も同様にして GDE は→ (γD厂E/ GFH は→ GtFtH 「 へ 移され ることが わ か る、 結果 、右の (図 123 ’ 〉の ような線による領域を得る。 ア 3 ア= κ に よ る 線型領域 図 ゴ ’ 4、
ノ
、
’ 、 ’ 覧 ’!
’
(1
,、F!’ 丶
1
、’ .1V、
、 ! ll 、ア
、’1 A\
丶
12 .(ゴ、丶
、
乂
ノ
ハ
!
が丶
、 oハ ’ 、 4
!
・\
’1
4
げκ
丶
ノ
、 ’ 、 ’ 監’ 、’ 、’ 庄 (図 123りY
= X3 と下図のような領域 虚 E B 見が ナも
C ’− Qi:: ;N・’ド ’匸 .’i 、置一 ∵R {.∵ 、ト・讐 、翆
肄
” 貫 tt Sv きロ .. .・『孝・蚤S剤 ’璽1・ ・・∴ 讐.・/ 一. G F 見かけ←
4
実 (図 124) 上の を利用する。 また ・DOA は→ D’OA「 ・FOB は→Fb
正ず と容 易 に わ か る。 H記号間を移動 すれば→ → 記号間 さ らに、
y
= x3 と具現化影y
=X3
−6X
+4
との交点 をP とすれば x3 = x3 −6x
+4
よ り ・く
謝
・得・・同…く
号
・調
これは、当初の境界 ・(図 123’)よ りも広い領域になる 点を目印と して示したつ もりである。 実数の図にお け る内 部と、虚数を影で図示する と きの内部とで は 差異がある。 (図 124 つTokyo University of Science
NII-Electronic Library Service Tokyo Unlverslty of Solenoe
練習
32
. 虚 P2i扶
0 下図のような線型領域を独立変数X が動くものとする。 関数をン = X2 とすると き、与え られ た領域は どのよ うな影に移 る か を示せ。4
頂点 A ,B ,Q
,Pの影のQ
点をAf
,B
〜(1
,Pt
として右の方眼 紙に記入し、影の 図を完成せ よ。 B 見h9ナ 実 1 2 3 4 (図 125 ) (参考まで に) ・独立変数の標記の仕方は0
≦t
≦1
として AP x =0
+ ti BQ x =2
+ti
次に、0
≦t
≦2
と して AB X =t
+i
PQ x = t+2i
・線分PQ
の影の式を求めてみる。 x =t
+2i
を関数へ代入すれば 丿1= x2 =(
’+2
’)
2 =t2
−4
+4ti
… 真 影こ の真影の座標(
t
+2i
, 〆−4
+4
の
の ままでもよい のだ が、 形 をつかみにくい。 そこ で、実数と同じ く 虚数もそのまま加算するか ら見力擁ナ
X
=t
+2
, } 厂 =t2
−4
+4t
になおして媒介変数を消去すれば、次の放物線の式を得る。7
= 丿r2
−8
,2
≦丿r
≦4
・他の線分について は計算を省略する。y
8 ,噌 ’ f 7/
’
41
’ 4’ 2 ’〃
1
1 ” ” ” 0 − 1 −21
:
《
21
丁
門 κ 、 ’ 、 ’ 、 ’ 一4v
一8 ‘ 「 次は、Gauss
平面上で領 域の形を円に して考え ること にしよう。 その領域を独立変数X が動くとき、 関数による影が どのようになるか を扱っ てみたい。 ア= X2 と単位円の線型領域。_ 緬
整
岡 ・一・ ・.・・’寿
(図126} 媒介変数’を角度と考えて、独立変数 X
. 、。 、t.,、、。
t
で表せ ば、 従属変数・関数y
は、 ド ・ モ アブル の公式に よ り・\
y
= cos2t +isin
2t
となる。この関係からとりあげる角度を45
°の半角22
.5
°= α とそのk
倍角 と する。 点(
X,y
)
を計算 して、点を結 んで影とする。 さ て、 、、。 α」
而
。 、38
2
、。 ,α」
翫
。 。92
2
であるか ら、この数値を利用すればk
倍角の場合も計算しやすい 。 一111
一 N工 工一Eleotronlo Llbrary点 A
(
x = cosO ° 十’sinO°=1
y
= cosO ° +’sinO
° =1
∴
(
1
,.1
)
膿
蠶
筆
霈
諜 器
E
)
点℃
灘
纏
誰
獣
1
.
(
伽
VE
:
G
.v57
万
輪に畿慧
畜
傷
『畆
= 酬。
)
点B
(
x = cos4 α +’sin4
α =i
= 見か け1
ン= cos8 α +isin
8
α = −1
∴
(
1
,−
1
)
上のように他の点につい ても計算す
れ ば よいが、 (図 126 )を利用して も関数に よ る見かけの数値を求め られる。次の点 P4 な ち、角5
α ,10
α の見かけで(
0
.54
, −」
)
とす ぐにわ か る 。 下の表に した。 角 AO ° 22,5° 45° B 67.5° 90ゆ 112.5° 135’ 遅157.5’ 180° … タ 0° α2
α3
α4
α5
α6
α7
α8
α … x113
万
B
1
α54
0
−054
一1
2
角 o°2
α4
α6
α8
α10
α12
α14
α16
α … ア1
万
1
0
−1
一》
}
一1
0
1
一 ばならない 、ア= x2 と単位円全体の領域 ・実軸 ArOA を独立変数が動 くとき やさ しい→ 実像の放物線 ア= κ2, −
1
≦κ ≦1
・虚軸】yOB
を独立変数が動 くと き の領域で は、円の内部が ど うなるかを調べなけれ や さしい → 影の放物線 } 7 = 一丿r2
, −1
≦X
≦1
一2 (図 126リ ノ 円凋 上のみを動くとき P冒ハ
4 脚 、 1 、 1 、 L 、 1 、1
\ 、 0 2 ・ ン=ズ の 影の觸 或 P匸
f
。グ
、
馬 ノ 1 /1
’ 1 ’ 1 ! 且1
、雇 2轟
虚擁
趣
剛 P‘ 2 hl恥
\
、 \ 、 、 丶 \ ・る、畦
丶 ’ 、 ! 、、や’! ノPI冨 ’PB ” ” ” ” ノ ’ ノ ’ ” 、P5 ノ彈B 、 、 ! 、 ノ 、岬’ .°°’°卩゜°隔”胃 ’:凾∵鰹
羅
・鴇
: P、 ’::ぐ’∵ ・9 ト ゴ A実 \ P踞 u Plo P4 −2 (図 127 ) . − 一
ー
記号問を移動 すれば 丶Tokyo University of Science
NII-Electronic Library Service Tokyo University of Soienoe
・
PsOPII
を独立変 数力働 く とき1
1
x = s “s’ ・ −
E
≦ s ≦万
と表してア= x2 =
(
s− si)
2 = −2s2i
で示される影を描く。見かけで式を示せば丿
r
=0
,Y
; −2s2
となっ て、y
軸上を影でP5→ 0→ Ptlの道の りで動 く。 ・P4P12を独立変数が動 くと き → (図 126 ) 計算は面倒なの で省略する。 動きの途中で虚軸と実軸を 通過するか ら、関数に よ る像も影の放物線と実の放物線 と出会ってP12
に達する。 ・PsOP2 を独 立変数力勸 く と き1
1
x ; 湘 …
万
≦ s ≦万
と矧 まア= x2 =
(
s+si)
2 =2s2i
具現イ匕すれ‘ま
Y
= X3 と単位円の線型領域 盧軸 3 α =15° PiGauss
平面1
y ニ x 鶏 ノ 円全体が領域の とき 2 動 さの例1つ ・ → 記号周の動き となる P5ゆ 0 →・P塵肛 P7 外,.砂 》
臥
1
,騾
硬 一2 ∵:でが:糠響 ・ 畜ゑ
!:’ ; ’ “ 1御
゜ 爵馨灘
.、P
鰺 懸
. ,繍
:
毳
冤 ソ
灘
欝
言3
』li
聡
1
》
B. \織
シ
丶」↓/ P10 P4 実像の放 物 縁と 麟 噛 , 一2 ・ 」 (図 127’ ) ・一圭
x2
・凶
・」
ン 円周 上の みを動 くとき 2 ・ , ア 露 X3 の 影の領域 唱 PI5 P嵶 ノ(
/
P・・1
ピ 吋昌 /
hl丶
乱
π P・ 、 ,へ 、 \丶
。懲
恥 、 ’ 1\
目
、
4
鱒1
恥 . 剛 , PIρ ’竃 Ol
μ ハ , 、 ’ 、 ’ 、 1 〜 丶黙
ノ{ 「\
、℃ノ 丶強
鬥
姦1
\
1
ノ
》
2 ‘ Pl卩 P田 Pb ■ o , , 独立変数をX = cost 十isint
で表せ ば、関数は(図 126t >
丿ノ= x3
= cos3t +
isin
3t
この関係か ら とりあげる角度を45
°の3
分の1
である角15
°= α とそのk
倍角 とする。.
拓
一」
布
+,匝
sln α =
4
・ c°sα =4
であるか ら、こ の数値 を利用す液
ば他の角 も計算しやすい、 点Pl
だけ計算して、 他の角は省略する。 ・ ・ … α +i
・・…擘
・i
・布
i
彑
聰
亭
・÷
・・お
・舮
一113
一 N工 工一Eleotronio Library(図 12st)を描 くための手順が入れかわったが、与えられた条件下 で、い くつかの代表点につい て計算 した。 それ らの見かけの数で点の 座標を下に示 した。これ をもとに、 (図128 ! >
t
を描いた。 点と角’ AO° Pll5’ P230° P3459P460 ° P575 ’ B90 ° 105° 120° 7.. κ 180° ■, B ’ 270° 智冒「 360° ■,噛 独立変数 芳 11 .22L37 厄 1.371 .2210 ,710 .37 一1 一1 1 従属奕 数 ン 1 嬉 10 ・1 _240 1 .1 1 1ア= κ 3 と単位円全体の領域 ・円周上の独立変数は、x = cost +
isint
とおく 。 ・円の内部の点については、周上の2
点を結ぶ直線 を 利用 して、独 立変数を直線上の点で表現する。その独立変数x を関数
Y
= x3 で計算 し、見かけの 数で影の領域を撫 、たのが (図 129!)である 。 虚 P6ゴB α =15’ P8 丶 ・ .:N ・ ,鹽・°触 鹽 ・ 雪 .■ .で’〜 .・.巳1
霪∴’. . 恕 鹽鹽 ,「.鹽鹽篭 P1/
1 2 ぎ 図 129 ) 一 ∵・・o ’,∴ ; 「. 二:: 丶;・貼i
ヤ:〉
ジ ..¶ ぢ A 万\
P20 ア= X4 と単位円の 線型領域 実Y
= κ 4 と単位円全体の領域 次の表は のものである. )ノ=(
cost +isin
t
)
4 = cos4 ’+isin4t
か ら角α = 11 .25°を利用する 。 こ こで は、独立変数の領域 を 示すGauss
平面の図は省いた。 闘数に よ る影の図を下に描いた。 点と角’ A P且0
°α ゜22.5° P2 P3 P4 P5 P6 3α ゜ 45° 5 α ゜ 67.5’ P7 B A ’ 7α ゜ 90° … B 135°…180◎四・ 225°… 270°− 315°…360◎ … 独立変数 X1 t2L3 1,4 2 L4 L31 .2 1 0 ・11 .3 −1 0 1 従属変数 ン 1 π 1 0 ,1 一滬 .10 1 −1 1 .1 1 −1 1 円周上のみ を動 く と き = 4y x の影の領域ハ
8 ) jA ’ φ 1ガ 凸 1 ハ1
’ 1 「 一万; ン ,ハ、 、! 、 \ハ
1
、」
Ph α語11.25’ 歪 ハ !綴鬮 ノ 、ハ ・ 〆 婆・1
/
韻
な
ん
い
。 、 ン蕪
. 2 拒《
}《
L鏃
、 P唱 臼け
llll げ 〜 、° 、 、 、 、 、 馬 、 、 、 、 ・ 、 、 ’ 、 ’ 」 ’ 、 詭 x ” ill
l ll!
!
li
! ノ ロ ー1 ’ ・ 卜書▽
V
己 (図 130つβ
1
鴇
・褓
い’ 1::F と「:・∵,マl
l
驚
一万 (図 131ノ 〉鬚
臠!
嫉
ノ宿 丶毒ノ リ
Tokyo University of Science
NII-Electronic Library Service Tokyo University of Soienoe
独立変数が 、これまでは (図 121 )や (図 127 )のように、原点
O
を中心 に した対称性のあるきれいな 領域に“あった。 次は、原点 0 か ら領域がずれていっ た場合を調べてみた。 ン= X2 と内部を含んだ下のような領域 独立変数は 、領域の上でい くつもの直線として 表現すれば関数は処理 しやすい。 o ’ Fな らば x ・=t
+ti
,ン = x2 =
2t2i
,0
≦t≦ll
虚 c ’ F B ・1 0 丶’ ・’・・¶」・「 ’.箋・:し唱潟:” いでミ ミこ、ご:・ 三ミ2 見かけ 3 :迩 :N
.・.・.’ ∵・∵ ’∴ 1.遅 : ・ ,」’・一∴ :・, A 実 記号間 D 従属変数y
7 5 4 2 1 ・1 0 一’ G .;・了 .’1
:7瓣
・
簿
1
・・’
鯛
.:
f
:’・:
・ノ
.馳i.:’∴ゾ ・:ユ・.廴・” .モ’ E ‘ ;’ 孟’・’罅
:1
・.・’ }∵・’ 2 (図132 ) ア ,舮 , , . ¶ B}
記
冴
/
ノ
だ
1
3
4X → ∠ ・ ノ兇鹽・:・. !.・、’,・ び
く
・鹽∵ .1’ ,,.」. 、 け ∵. \::: \ ・、 ・2 ・:〉〜ξ響
1
.∴・感 ジ.1
・71 :ツ で∴・ノ 7 ’ ! G’ 独立変数 (図 132り 独立変数Ji
= X2 と内部を含ん だ下のような領域 これ は独立変数を X =1
+cost +(
i
sint)
と表現して も、関数は処理しにくい.そこで直接 に具体的な数値を代入して表にまとめた。 虚 Gsuss平面 c 1− 」 0 記号間を移動すれ ば ア; x .1 D ’ F B ロく ”v.侭
戛
1
そ
き建
2 3 記号 間 を動 く xy 平面演
ぐ
翼
§
A塩
講
・1・L馳:¶鹽 一’ G鹽E (図、33> 実 従属変数ア ・■褊 r . P亀 7 B 陰ノ 5 !
動
4囓
}
yl
・i幽・’ 皆.’「 .・レ’ 膠考1 .广ご.i’ 2鮮
ガ ・’∴二’ .1・・ノ ・1 1 0 N’. .耀
.i
瀞
’ 、緲
2 3 4x り云
置’・. ・畔
桑
ヤ
:
こ ∵ φ ∵ ” 一.7
:嚇
、騨
哲竝 蠍 :∵∵
1
唖c
宮
\「『・ノ ・2G ’ (図 133’1
ノ
点と角∫ AO ’30° P45° 60° F90° 120°Q135
° 150° 0180° 210° R225° 240° G S 270° 300◎315° 330° 360° 独立変数κ 2 2.41 + 22 .41 +ゴ 21 .410 .60 ・0.41 .π .0.41 .∫ 0 0.6 1 1.4 2 従贓 ツ 4 5ユ 4,84 .12 ’ 20 .40 一〇.10 ・0.4 ・0.8 .L4 一2’ ・2 −1.1 0 L4 4 一115
一 N工 工一Eleotronio Library
Ji
= X2 と下のよ うな円の領域 虚 2j C ’ H P5警
鱗
・ 、※
灘 鶏
:
覆
P, 9∵馴 :・・P、,2 3 見斛 ナ 0 1N A 2+五 (図 134 ) 左のよ うな領域で、独立変数を表現するには2
つの方法を考 え られ る。1
つは 円 周上の点 に対 してX =
1
+cost +(
i
+i
sint) もう1
つは、円の内部の点に対して で あ るが 実直線に よ る表現;例えば
P
,FP
,、はx =
t
+(
2i
一の
これちの独立変数をそのまま関数へ代入して も、式と してまと まっ た椅麗な結果を得られない。 そこで、 変数や囃数へ数値を直接代入する こ とで表をつ くり、関数の影の領域を図示 した。 点と角 B °PIO 30° 45°60°H90°120°P5135°150°C180°210°225’240° 壇 270°300 PH315°Pl2330°360° 独立変数 3 3.42 +23 .432 .42L61 0.63220 .631 1,622 .4 3 嫐 7 6.85 .84 .41 .1.4 ・L8 .1.8 ・1 ・0.10 、20 ,41 2.63 .85 .1 7 計算例を1
つ2
つ示して み よ う。 円周上の 1 点Pl
ならば、 t=30
° にとった か らx =
1
+cos30 ° +(
i
+isin30
°)
蒋
1
=
1
+一 +(
i
+i
・一)
2
2
=187
+1
.5i
= 見か け34
これ より関数値はア= x2 =
(
187
+1
.5i
)
2 =35
+55
∫−2
.3
=1
.25
+55i
= 見かけ6
。8
次に、内部の点に対 しては直線上の点 として扱う。 上に 示 したpmFPii
で考え よ う。1
1
x = t+
(
2
−t
)
’” −G
≦t
≦1
+E
y
− ・ 2 −{
t
・(
2
−t
)
i
}
2=
4
(
t
−1
)
+2t
(
2
− ’)
i
これ らを見かけの数で表現すれば(図 134’)
X
「=2
,y
= −2t2
+8t
−4
となっ て、 影は F’を通ってy
軸に平行な影の直線 (部分〉になることがわかる。独立変数の領域でその 内部のすべての点に対しても、同様に傾き一1
の平行直線を利用することで、 表現可能となるe 恥 ー ー ー 1ー
ー ー ノあ
長
薗
揮
阿
M4ゴ
罪
ゐ
p . 曾 鹽 影−
た
. . ・. 魑 , . . 』 . 丶 , . ・, 斷 且 馬 の p ’ 2 ’ 戸恥
ノ
蛋
・ げ ‘ 4 κ 拒 舒 》 ノ ー 薮 ゜ ガ. ∴ ワ/
u ペ パ ∴ , 」ジ
.流
、虻
、 に v訳
晒y
7 5 4 2 1 0 4 ・Tokyo University of Science
NII-Electronic Library Service Tokyo Unlverslty of Solenoe
一 般に、独立変数x の変域として、
Gauss
平面上 に或 る1
つ の領域D
が設定され た とする。 その領域趨
轗
\
。tl
$
YPn
\. o 実見h9ナa 見羽 ナb
(図 135)y
= x2 と下の ような領域 虚 で独立変数の動き方は さ ま ざ まであ り、自由である。主な動き 方を列挙するなちば:
繍
:
擶離 懃
(3)傾き一1の平行線上を動く:
1
:
黝譏
、動く 鞴iii
箏融
三: “こ
駄
幾
.蕊
臨
礬
などがある。(3)は1
つ の直線ln
上のすべて の点が一(影へ潜り込む実の点はそれぞれ異なる もの の) 一同じ1
つの見かけの数で表現され るかち便利である。 A’rN
(図 136り 31 120° °P535 ・,∴ B ・・1辱霎」 、 90° P4P360 °
蟄
1
も
● C 〜 R 夜 見羽 ナ 州 .1 0 1 2 3 実 (図 136) A(
2
.4
,38
)
また途中にある点 Pnの 見かけの数を示す と Pl(
29
,2
.8
)
P・(
3
,1
)
P3(2
.9
, −1
.3
) P4(
2
.4
,−
5
.8
)
p5(
15
,−
7
、6)
他の2
点B
、Cについても、その真影の数値を計算して おいて か ら 見か けの数になおして、方眼紙上に点をとればよい。結果は右の 図のような領域となる。 線分CP4 を関lkY
・ κ 2 で変換した と き、具現化影の式が ど う なる か を調べ て み よ う。 まず 、真影につ い てCP4の独立変数は x =
0
+ti
,1
≦t
≦V
歹
θ =
0
関数側 まア = x2 .
(
〇+の
2 = 一〆 を得る。 これ を見かけになお してx
=t
,Y
; 一〆.・.
Y
= −x2
倶 現 化影 ) (注 意 ) この具 現化影は、以前の公式1でも求めちれる。 練習33
.右のような領域を関数y
= −X2 で変換 した ときの 結果を図で示せ。 (図137) 領域を関数で変換することについては 、これで終わる. 虚1
\
「 覧1
ヤP・ ’ l rt’ 亀 ρ 1 ’ 匸 , 1 ’ 1 ’ 1 ’ ・
iP2
’ 11
1 ’ 1 ←一一 「xf
・ ° ’縫
含ん1
−・2 ”i
轡
嵐
1
’Lt,1
一5 噂7 S 聖・ 耳 一 「 ・冒
ノ
み
’颪
ノ
丶
イ
、 3庁 C 2’ G . F D, ’ ’5 で:ミ :『 ;’ミ・° こご掃「B , H .’:、・’E 見力嚇 0 1A2 3 実 一117
一 N工 工一Eleotronlo Llbrary13 .虚係数をもつ方程式の解を図示