複素数の掛け算に三角関数の加法定理が出てくる理由

**１３２人目の素数さん** · 2020/06/06(土) 09:12:56.98

これ奇跡だろ

**１３２人目の素数さん** · 2020/06/06(土) 11:11:33.88

せやな

**１３２人目の素数さん** · 2020/06/06(土) 11:12:51.30

騙されちゃダメ。手品ですよ

**１３２人目の素数さん** · 2020/06/06(土) 15:53:43.33

複素数平面習い始めた人あるある。

**１３２人目の素数さん** · 2020/06/07(日) 19:57:14.73

最初に発見した人はびっくりしただろうな

**１３２人目の素数さん** · 2020/06/09(火) 16:37:58.64

別におかしくないが

exp(z)=exp(x+iy)=exp(x)exp(iy)=exp(x)(cos(y)+i*sin(y))

ってだけでしょ

**１３２人目の素数さん** · 2020/06/17(水) 21:50:30.73

ドモアブルの定理やオイラーの公式で
三角関数の公式がいらなくなるのは感動ですよ。

**１３２人目の素数さん** · 2020/06/17(水) 23:24:47.31

>>7
>ドモアブルの定理やオイラーの公式で
Taylor展開使え。そなものはゴミ箱へ

**１３２人目の素数さん** · 2020/06/19(金) 17:54:17.63

複素数が回転を内在している理由として、一般にクリフォード代数がスピノルと関係してることの側面と見れると思うんだけど
それは割と世界の神秘という気がする

**１３２人目の素数さん** · 2020/06/19(金) 20:20:52.07

三角関数って言うと、三角形の辺の比や角度を計算する　と思われがちだけど
実際は単位円上の点と　直交座標との対応関係を扱うのに優れてるのです。

**１３２人目の素数さん** · 2020/06/24(水) 13:19:24.63

複素平面を考えればむしろ必然とも思えるが

**１３２人目の素数さん** · 2020/09/09(水) 22:32:15.05

回転が線形性あるから

**１３２人目の素数さん** · 2020/10/05(月) 19:55:17.55

(1)　0<h<2π のとき
　(h/2) + Σ[n=1,∞] sin(nh)/n = π/2,
を示せ。
(2)　∫[0,∞] sin(x)/x dx = π/2,
を台形公式を使って求めたい。
刻み幅がh (0<h<2π) のときの誤差を求めよ。

(参考)
数セミ増刊「数学100の定理」日本評論社 (1983)
　p.154

**１３２人目の素数さん** · 2020/10/05(月) 19:57:24.69

(1)
(h/2)i + Σ[n=1,∞] (1/n) e^{inh}
= (h/2)i + Σ[n=1,∞] (1/n) (e^{ih})^n
= (h/2)i - log(1 - e^{ih})　　← マクローリン
= - log(e^{-ih/2} - e^{ih/2})
= - log((-2i)sin(h/2))
= - log(-i) － log(2sin(h/2))
= (π/2)i - log(2sin(h/2)),
虚数部をとる。
右辺のhが消えるのがミソ。

**１３２人目の素数さん** · 2020/10/06(火) 00:54:00.09

p>0 とする。
∫[0,∞] e^{(-p+i)x} dx
　= [ 1/(-p+i) e^{(-p+i)x} ](x=0,∞)
　= 1/(p-i)
　= (p+i)/(pp+1),
虚数部をとると
∫[0,∞] e^{-px} sin(x) dx = 1/(pp+1),
pで積分すると
∫[0,∞] (1 - e^{-px}) sin(x)/x dx = arctan(p),
p→∞ として
∫[0,∞] sin(x)/x dx = π/2,

高木貞治：「解析概論」改訂第三版, 岩波書店 (1961)
　第3章§35.［例3]　p.115
　第4章§48．[例4]　p.168-169

**１３２人目の素数さん** · 2021/01/21(木) 08:22:01.84

〔問題〕
複素数 a, d が 0 < |d| << |a| を満たしている。
　z_1 = a+d,　z_2 = a+d~,　z_3 = a-id,　z_4 = a-id~
　z_5 = a-d,　z_6 = a-d~,　z_7 = a+id,　z_8 = a+id~
とおく。(i=√(-1), ~ は共役な複素数を表わす｡)

さて、8つの (z_k)^2 のなるべく近くを通る円を曳きたい。
つまり、円の中心を a^2 + b とすれば
　|(z_k)^2 - a^2 - b|^2
の差を小さくしたい。 ( |d|^4 程度らしい…)
複素数b をどう取ればよいでしょうか？

[高校数学の質問スレPart409．477]

**１３２人目の素数さん** · 2021/01/21(木) 18:42:51.07

　arg(z-a) に依らないから、8点に限らず全周で成り立つね。

　|z^2 - a^2 - b|^2
　= |2a(z-a) + (z-a)^2 - b|^2
　= |2a(z-a)|^2 + 2(z-a)~(a|z-a|^2 -a~b) + 2(z-a)(a~|z-a|^2 -ab~) + |(z-a)^2 -b|^2
ここで　b = (a/a~)|z-a|^2　とおけば
　= |2a(z-a)|^2 + |(z-a)^2 - b|^2,