分からない問題はここに書いてね443

**１３２人目の素数さん** · 2018/05/04(金) 23:15:16.29

さあ、今日も１日がんばろう★☆

前スレ
分からない問題はここに書いてね442
https://rio2016.5ch.net/test/read.cgi/math/1522418128/

**１３２人目の素数さん** · 2018/05/05(土) 15:24:47.69

>>21
何すかソレ？

**１３２人目の素数さん** · 2018/05/05(土) 17:01:02.48

>>5
k:={3^n+2^(n+1)}/{2^n+1}-2=(3^n-2)/(2^n+1)が自然数となる自然数nを求めることが必要十分.
kが自然数と仮定する.
3^n-2=k(2^n+1)…①
①の両辺をmod 2で考えkは奇数2l-1.
①の両辺をmod 3で考えnは偶数2mでありl≡2(mod 3).k=6r-1とかける.
3^{2m}-2=(6r-1)(2^{2m}+1)の両辺をmod 6で考えmは偶数2s.
3^{4s}-2=(6r-1)(2^{4s}+1)の両辺をmod 5で考えr≡2(mod 5).k=30t-19とかける.
3^{4s}-2=(30t-19)(2^{4s}+1)の両辺をmod 10で考え,8≡6^s.
このような非負整数sは存在しない.よって{3^n+2^(n+1)}/{2^n+1}が整数となるnは存在しない.

**１３２人目の素数さん** · 2018/05/05(土) 17:07:06.96

0は自然数ですよ。

**１３２人目の素数さん** · 2018/05/05(土) 17:28:15.22

基礎論以外の分野では自然数に0は含まれないと思います

**１３２人目の素数さん** · 2018/05/05(土) 17:34:52.58

連続関数に対しては必ず、任意の区間での定積分が定義できますか？

**１３２人目の素数さん** · 2018/05/05(土) 17:41:58.45

できますね

**１３２人目の素数さん** · 2018/05/05(土) 17:42:09.76

もしかしたらクソ簡単で叩かれるかも知れませんけど、この文の意味がわかりません。
最大数の集合ってことですか？

https://i.imgur.com/1DL0o0c.jpg

**１３２人目の素数さん** · 2018/05/05(土) 17:44:26.32

左と右どっちが大きいですかってことですね

**１３２人目の素数さん** · 2018/05/05(土) 17:50:43.82

>>29
εの値を変化させて、最大数が1 - ε/2の集合と1/2の集合を作りますよってことですか？

**１３２人目の素数さん** · 2018/05/05(土) 17:53:15.41

1-ε/2と1/2の大きい方をaεとするということです

**１３２人目の素数さん** · 2018/05/05(土) 17:55:58.18

>>31
てっきり集合のことかと勘違いしてました
スレの流れを邪魔してごめんなさい

**１３２人目の素数さん** · 2018/05/05(土) 18:12:45.84

A:=［0,1）に対して sup=1 となることを証明せよ

**１３２人目の素数さん** · 2018/05/05(土) 18:14:27.77

自明ですね

**１３２人目の素数さん** · 2018/05/05(土) 18:22:30.39

>>34
この定理を利用して証明して欲しいです

(2)の方を証明するために、さっき質問したようにaεを定義して利用しろと言われているんですが、この先が分かりません
https://i.imgur.com/Ktd7e1o.jpg

**１３２人目の素数さん** · 2018/05/05(土) 18:22:38.64

>>25
>基礎論以外の分野では自然数に0は含まれないと思います
ウゾだーー

**１３２人目の素数さん** · 2018/05/05(土) 18:23:17.62

>>14
バカ？

**１３２人目の素数さん** · 2018/05/05(土) 18:47:19.33

>>35
任意のεを選択したとき、1-ε＜aε＜≦1
となることを示しましょう
aεが必ず[0,1)に入ることも示せば、その定理より証明できたことになりますね

>>36
基礎論でも自然数が1以上をさすこともあります
0を含むという定義は小数派ですね

**１３２人目の素数さん** · 2018/05/05(土) 18:55:33.83

xy平面上の曲線C:y=f(x)（a≦x≦b）の長さが、ある初等関数g(x)を用いてg(b)-g(a)と表されるとする。
このとき、Cをx軸の周りに一回転させてできる曲面Dの面積も、ある初等関数h(x)を用いてh(a)-h(b)と表せることを示せ。

**１３２人目の素数さん** · 2018/05/05(土) 19:17:32.69

>>23
あってる？

**１３２人目の素数さん** · 2018/05/05(土) 19:20:24.86

>>39
f(x)は初等関数？

**１３２人目の素数さん** · 2018/05/05(土) 19:30:15.42

>>23
失礼しました。合ってるね。mod2、mod3、mod5で考えて必要条件出して、その後mod10で矛盾って何って思ったけど、背理法だからこういう事もあるのね。

**１３２人目の素数さん** · 2018/05/05(土) 19:35:13.52

sinh/hは1で y= sinuを微分するとy'= cosxの違いを教えてください

**１３２人目の素数さん** · 2018/05/05(土) 19:36:43.83

0での微分では一致しますね

**１３２人目の素数さん** · 2018/05/05(土) 20:15:57.27

>>44
どういうことですか？詳しく教えてほしいです

**１３２人目の素数さん** · 2018/05/05(土) 20:41:42.90

東京大学理学部数学科は、東京大学の頂点ですか？

**１３２人目の素数さん** · 2018/05/05(土) 20:48:21.41

>>4
整数係数だと、るじゃんどるみたいにウマい多項式はないのでしょうか

**１３２人目の素数さん** · 2018/05/05(土) 20:54:35.93

>>39
曲面は
y=f(x)cosθ
z=f(x)sinθ
か

**１３２人目の素数さん** · 2018/05/05(土) 21:05:10.07

217の一番なんですが、この一般項anはどうやって出したのですか？
等差数列と等比数列の足し算なので
an=(4n-2)+[-4(2)↑n-1]
はダメなのですか？
https://i.imgur.com/Xvj5iB6.jpg
https://i.imgur.com/Xvj5iB6.jpg

**１３２人目の素数さん** · 2018/05/05(土) 21:44:58.85

>>49
問題も見せろや

**１３２人目の素数さん** · 2018/05/05(土) 22:00:51.56

>>38
>0を含むという定義は小数派ですね
基礎論とか整数論はやったこたないが、おらっちはずっと０は自然数だお

**１３２人目の素数さん** · 2018/05/05(土) 22:19:15.71

微分方程式の入り口に来たんだけど、一般解を求めよって言われたときに、
特異解のことも答えたほうがいいもの？

**１３２人目の素数さん** · 2018/05/05(土) 22:21:39.76

>>51
義務教育では1以上と習ったはずですが？

**１３２人目の素数さん** · 2018/05/05(土) 22:23:30.40

>>52
入り口ならそもそもないと思いますよ

**１３２人目の素数さん** · 2018/05/05(土) 22:44:32.10

>>39は成り立たん気がする。
結局
l(x) = ∫[a,x]√(1+f’(t)^2)dt が初等関数のとき
S(x) = ∫[a,x]πf(t)^2dt も初等関数であるか？
だけどS(x)が初等関数ならf(x)^2=(S’(x)/π)も初等関数になるけど
v(x) = √(1+f’(x)^2)とおいたとき
l(x) = ∫[a,x]v(t)dtは初等関数だけど
f(x)^2 = ∫[a,x]√(v(t)^2-1)dtが楕円積分になる例なんていくらでもありそうな希ガス。

**１３２人目の素数さん** · 2018/05/05(土) 23:01:30.41

うーん、普通はないのかな。
微分方程式の変数分離型の最初の問題からいきなり特異解がひっついてるんだけど。
なんか理由があるんだろうな
さんきゅ

**１３２人目の素数さん** · 2018/05/05(土) 23:15:14.78

変数分離型で分母が0になったりすると出て来るから
問題しだいだな

**１３２人目の素数さん** · 2018/05/06(日) 00:52:47.38

>>39

x軸に垂直な断面の円周の長さは 2πf(x)
xy-平面内の幅は g '(x) dx = √{1 + f '(x)^2} dx
h(b) - h(a) = ∫[a,b] 2πf(x) g '(x) dx
　= 2π{f(b)g(b)-f(a)g(a)} - ∫[a,b] 2πf '(x) g(x) dx
　= 2π{f(b)g(b)-f(a)g(a)} - ∫[a,b] 2π√{g '(x)^2 - 1} g(x) dx

う～む

**１３２人目の素数さん** · 2018/05/06(日) 01:04:34.75

>>49

> 等差数列と等比数列の足し算なので

ちがいます、掛け算です。

　a_n = {(-1)^(n-1)} * 2n

**１３２人目の素数さん** · 2018/05/06(日) 01:06:26.13

前スレ>>953で素数の間隔について質問したものです
前スレ>>954さん、>>956さん、情報ありがとうございました

ベルトラン・チェビシェフの定理で証明されているのですね

解答ありがとうございました

**１３２人目の素数さん** · 2018/05/06(日) 01:09:22.86

数列{an}は初項が1の隣接k項間漸化式である。例えばk=3のとき、0でない実数s,tを用いてa(n+2)=sa(n+1)+ta(n)と表される。
この数列がlim[n→∞] a(n)=+∞となるとき、a(j)>a(j-1)なるjを少なくとも何個持つといえるか。

**１３２人目の素数さん** · 2018/05/06(日) 01:44:22.54

>>58

＞　= 2π{f(b)g(b)-f(a)g(a)} - ∫[a,b] 2π√{g '(x)^2 - 1} g(x) dx

の最後の積分のみならず、前の方のf(x)すら初等的という仮定が使えない。
使えるのは “g(x)が初等関数” のみ。
到底できる気がしないんだけど。

**１３２人目の素数さん** · 2018/05/06(日) 02:28:51.16

>>23
mod 5でうまくいくようにしたのにmod 5で矛盾するっておかしいと思ったら
r≡2(mod 5)じゃなくてr≡3(mod 5)じゃないか

**１３２人目の素数さん** · 2018/05/06(日) 04:47:18.96

極限です、教えてください
https://i.imgur.com/x1NFUTY.jpg

**１３２人目の素数さん** · 2018/05/06(日) 05:31:53.10

>>64
nまたはnの式で割って無理やりk/nを作ればいい

**１３２人目の素数さん** · 2018/05/06(日) 14:58:12.48

数列は漸化式である

**１３２人目の素数さん** · 2018/05/06(日) 15:36:46.99

じゃ、次の数列の漸化式教えて、
8,9,7,9,3,2,3,8,4,6,…
ある規則で並んでるんだけどね

**１３２人目の素数さん** · 2018/05/06(日) 15:57:55.67

>>67

> じゃ、次の数列の漸化式教えて、
> 8,9,7,9,3,2,3,8,4,6,…
> ある規則で並んでるんだけどね

教えてか～ら～の～ある規則で並んでるんだけどねwww

**１３２人目の素数さん** · 2018/05/06(日) 16:06:01.75

>>67

　a_n = [10^n･π] - 10･[10^(n-1)･π]　　（小数点下n桁目)

3,1,4,1,5,9,2,6,5,3,5,8,9,7,9,3,2,3,8,4,6,2,6,4,3,3,8,3,2,7,9,5

**１３２人目の素数さん** · 2018/05/06(日) 16:48:52.61

>>64

√(nn+k) -n - k/(2k+1)
= k/{√(nn+k) +n} - k/(2n+1)
= k{(n+1) - √(nn+k)} / ( {√(nn+k) +n} (2n+1) )
= k(2n+1-k) / ( {(n+1)+√(nn+k)} {√(nn+k) +n} (2n+1) )

ここで　2n(2n+1)^2 < (分母) < (2n+2)(2n+1)^2

分子だけたすと　Σ[k=0,2n] k(2n+1-k) = 2n(2n+1)(2n+2) /6

lim[n→∞] (与式) = 1/6,

**１３２人目の素数さん** · 2018/05/06(日) 16:53:00.50

√2を循環少数に展開する無限級数
Σ少数第k位/2＾k を求めよ

**１３２人目の素数さん** · 2018/05/06(日) 17:11:12.46

A=｛1-1/n:n∈Ｎ｝のminAって存在しますよね？
教授が存在しないって言ってたんですけどだれかご教授下さい

**１３２人目の素数さん** · 2018/05/06(日) 17:15:16.81

maxの間違えでしょうね

**１３２人目の素数さん** · 2018/05/06(日) 17:27:46.77

>>69　うぬ

**１３２人目の素数さん** · 2018/05/06(日) 22:19:11.73

>>64

別々に計算すると
　Σ[k=0，2n] {k/(2n+1) + n} = n + (2n+1)n = 2n(n+1),

Σ[k=0，2n] √(nn+k)
　= {n/2 + Σ[k=1，2n] √(nn+k) + (n+1)/2} - 1/2　　…… 割線
　< ∫[nn，(n+1)^2] √x dx - 1/2
　= 2n(n+1) + 1/6,
から
(与式) < 1/6,

Σ[k=0，2n] √(nn+k)　　　…… 接線
　> ∫[nn-1/2，(n+1)^2 -1/2] √x dx
　= ∫[nn，(n+1)^2] √x dx - ∫[(n+1)^2 -1/2，(n+1)^2] √x dx + ∫[nn-1/2，nn] √x dx
　> 2n(n+1) + 2/3 - {n+1 - √(nn-1/2)}/2
　= 2n(n+1) + 1/6 - {n - √(nn-1/2)}/2
　= 2n(n+1) + 1/6 - 1/[4{n + √(nn-1/2)}]
から
(与式) > 1/6 - 1/[4{n + √(nn-1/2)}]　→　1/6　(n→∞)

**１３２人目の素数さん** · 2018/05/06(日) 22:32:20.00

>>75

∫[nn，(n+1)^2] √x dx = [ (2/3) x^(3/2) ]_{x：nn→(n+1)^2}
　= (2/3) {(n+1)^3 - n^3}
　= (2/3) (3nn +3n +1)
　= 2n(n+1) + 2/3,
を使った。

**１３２人目の素数さん** · 2018/05/06(日) 22:49:46.53

>>71

√2 を循環小数で表わすのは無理っすぅ

**１３２人目の素数さん** · 2018/05/06(日) 23:56:29.96

もしかして：2進数展開

**１３２人目の素数さん** · 2018/05/07(月) 00:04:02.48

お願い
（問）
0<a<1として、a1=a, an+1 = 4an*(1-an) 　として漸化式で数列anを定義する。
lim[n->∞]an = 0　のとき、aN=0 となる自然数Nが存在することを示せ。

**１３２人目の素数さん** · 2018/05/07(月) 00:23:31.94

>>79
定義より
a[n]<1/2 ⇒ a[n+1] = 4a[n](1-a[n]) ≧ 2a[n]
である。lim a[n]=0からn≧N ⇒ a[n]＜1/2となるNがとれるが、このときn≧Nに対して
1/2 > a[n] ≧ 2^(n-N)a[N]
により
0≦a[N]＜2^(N-n)(1/2)
を得る。n→∞とすればa[N]=0。

**１３２人目の素数さん** · 2018/05/07(月) 03:58:55.21

>>79
y=4x(1-x) と　y=x　のグラフを 0≦x≦1 の範囲で描いて、
初期値aによって、a[n]の値がどのような“動き”をするか調べてみるとよい。
多くの場合は、大きくなったり、小さくなったりと、複雑な動きをすることが判ると思う。

しかし、特徴的な動きもみられる。

あるところでa[k]が3/4近辺の値をとると、次の値も、3/4近辺になる。当然、その次も3/4近辺だ。
3/4を含むある範囲では、常にこのループに陥り、a[k]=0となる様なことはない。
つまり、あるkで、a[k]の値が、この範囲に入るような値を取ると、lim[n->∞]a[n] = 0　となる様なことはない。

また、あるところでa[k]が、1/2　という値を取ると、a[k+1]=1、a[k+2]=0、となり、n≧k+2では常にa[n]=0となる
a[k]が1/2という値を取るためには、a[k-1]が　1/2=4x(1-x)　の解　つまり、(2±√2)/4　という値を取っていた場合である。
さらに、(2±√2)/4=4x(1-x)　の解を取っていると、．．．．　というように、ある特別な値を取っていた時に限り、
あるところでa[k]=0となり、それ以後、常に0となる。

それ以外の値の場合は、大きくなったり、小さくなったり、あるいは、3/4近辺でぐるぐる回っていたりするだけで、
lim[n->∞]a[n] = 0　等という事は起こらない。このようなことを説明すればよい。

**１３２人目の素数さん** · 2018/05/07(月) 04:24:39.31

補足。というか、こちらの方が、本命かもしれない。
多くの場合、
lim[n->∞]a[n] = 0
というのを見ると、a[n]≠0　だけど、　nが大きくなるにつれて、|a[n]|が
どんどん小さくなるような場合を思い浮かべると思うけど、
この問題の場合の　lim[n->∞]a[n] = 0　は、そのようなケースではなく、
あるところで、a[k]が0になり、その後は、定義から常に0という場合に限られる。

何故なら、あるところで、a[k]=ε、(ただし、εは非常に小さい値で、正)、を取ったとすると、

a[k+1]=4ε(1-ε)≒4ε=4a[k]　となり、前項より大きくなる。

このような性質を持っていては、
“a[n]≠0　だけど、　nが大きくなるにつれて、|a[n]|がどんどん小さくなるような場合”
の、lim[n->∞]a[n] = 0　は起こらない。実際、図を描いても確かめられる。
従って、lim[n->∞]a[n] = 0　というのは、あるところで、a[k]=0　となり、その後全ての項が0
の場合に限られると結論できる。

**１３２人目の素数さん** · 2018/05/07(月) 05:18:54.47

xy平面上に点A(1,0)も単位円Cがある。
点Aの、C上の点Pにおける接線lに関する対称点をBとするとき、以下の問に答えよ。

（1）P(cosθ,sinθ)とするとき、Bの座標をθを用いて表せ。

以下、θは0≦θ<2πを動くものとする。

（2）Bの座標を(s,t)とおき、点KをK(s+t,st)により定める。Kが動いてできる曲線Tの式を求めよ。

（3）Tの長さを求めよ。

**１３２人目の素数さん** · 2018/05/07(月) 07:50:42.17

>>48
ds=√(1+(f')^2)dx
dS=f(x)dsdθ
s=s(x)初等関数
ds=s'(x)dx
dS=f(x)s'(x)dxdθ
S(x)初等関数とは限らない
ボクの考えた最強のアホな問題

**１３２人目の素数さん** · 2018/05/07(月) 08:08:08.16

限らないことの証明は

**１３２人目の素数さん** · 2018/05/07(月) 11:24:22.82

>>79
　α = arcsin(√a) = arccos(1-2a)/2,
とおくと
　a_n = {sin(2^(n-1)･α)}^2 = {1 - cos(2^n･α)}/2

　α = (奇数)π/{2^(n0-1)}　⇔　　a_n = 0　(n≧n0)

**１３２人目の素数さん** · 2018/05/07(月) 11:40:50.80

>>86

つまり、α/π の2進数展開が有限項で終わるとき。

**１３２人目の素数さん** · 2018/05/07(月) 12:47:28.38

2017年早稲田理工の5番ですが
f(x)=x^3+x^2+px+q g(x)=-1/x+1
条件：f(x)=0の任意の解αに対してg(α)もf(x)=0の解である。

当然一つの解はαでもう一つは-1/α+1
模範解答だともう一つはg(g(α))=-α+1/αになります
この後に解が同じか違うかで場合分けという流れですが

はじめの２つの解と解と係数の関係でもう一つの解を出すと-α^2-2α/α+1がでてしまいますが、これはなんでしょうか？任意解を入れれば初めの3つの解のどれかと同じになるということでしょうか？？

**１３２人目の素数さん** · 2018/05/07(月) 12:59:11.20

>>83

　P-接線：　(cosθ)x + (sinθ)y = 1,
　Q (cos(2θ)，sin(2θ)) とおくと、P は BQ の中点。
　B (2cosθ-cos(2θ)，2sinθ-sin(2θ)) = (s，t)

　s+t = (√2){2sin(θ +π/4) - sin(2θ +π/4)},
　st = (3/2)sin(2θ) - (2-cosθ)sin(3θ) = 2sin(2θ) - 2sin(3θ) + (1/2)sin(4θ),

**１３２人目の素数さん** · 2018/05/07(月) 14:13:35.36

接線の性質として
半径の中心と異なる端で，半径に垂直な直線は，この円の接線である。

と書いてあるがこれはどういうこと？
半径の中心と異なる端ってことは、円周か円の中心ってこと？

**１３２人目の素数さん** · 2018/05/07(月) 14:22:04.37

>>90
自己解決した

つまり
半径の中心と異なる端ってことは円周か
円周上で半径に垂直な直線は接線だぜってことか

**１３２人目の素数さん** · 2018/05/07(月) 19:39:07.93

未だ>>5解けないんだけど。これホントに解けるんかな？

**１３２人目の素数さん** · 2018/05/07(月) 19:54:58.69

>>92
>>23が正解らしいけども

**１３２人目の素数さん** · 2018/05/07(月) 21:05:04.27

>>93
いや、それは後で間違い指摘されて実際間違ってる。今のところ正解出てないと思う。でもこのスレ解けない問題上がってくる事もあるからその類かもしれないけど。

**１３２人目の素数さん** · 2018/05/08(火) 00:32:16.79

今ふっと思い立ったんだけどもしかして>>23が出題者でその解答が間違ってたのかな？

**１３２人目の素数さん** · 2018/05/08(火) 10:58:07.18

f=sin(ax)/axとした時に
∮[0,1]fdx / ∮[0,1]f^2dx
って求められますか？

教員曰く簡単らしいんですけれど全く無理でした…

**１３２人目の素数さん** · 2018/05/08(火) 11:17:44.07

たぶん誤解してる

**１３２人目の素数さん** · 2018/05/08(火) 12:20:56.12

>>96

∫f(x)dx = (1/a)∫sin(ax)/x dx = (1/a)Si(ax),

∫{f(x)}^2 dx = ∫{sin(ax)/ax}^2 dx
　= - {sin(ax)}^2 /(aax) + (1/a)∫sin(2ax)/x dx
　= - {sin(ax)}^2 /(aax) + (1/a)Si(2ax),

にて簡単

**１３２人目の素数さん** · 2018/05/08(火) 13:35:30.51

>>98
で？

**１３２人目の素数さん** · 2018/05/08(火) 13:43:59.02

ででんでん

**１３２人目の素数さん** · 2018/05/08(火) 14:34:06.13

蒸し蒸し

**１３２人目の素数さん** · 2018/05/08(火) 14:35:14.14

なるほど。簡単♡

**１３２人目の素数さん** · 2018/05/08(火) 14:38:13.13

云々

**１３２人目の素数さん** · 2018/05/08(火) 15:04:15.29

>>98
Si(x)とは？

**１３２人目の素数さん** · 2018/05/08(火) 15:13:24.97

正弦積分関数

**１３２人目の素数さん** · 2018/05/08(火) 16:13:37.69

積分がわからんから姑息な手段を使ったのか

**１３２人目の素数さん** · 2018/05/08(火) 16:26:07.78

>>98
間違ってるぞ

**１３２人目の素数さん** · 2018/05/08(火) 16:33:42.19

かたつむりか。ターミネーターじゃないのか。

**１３２人目の素数さん** · 2018/05/08(火) 20:12:32.29

3次元の座標系を任意に回転させたいのですが、何回回転させればよいか、場合分けすることはできますか？
1回のとき、2回のとき、3回のときがあると思います。

**１３２人目の素数さん** · 2018/05/08(火) 20:39:28.76

情報が足りない

**１３２人目の素数さん** · 2018/05/08(火) 21:47:22.34

>>109
質問になってない

**１３２人目の素数さん** · 2018/05/08(火) 21:55:54.22

SO(3)は3次元

**１３２人目の素数さん** · 2018/05/08(火) 22:09:00.06

すまん、この問題がわからないんだが・・・・
https://imgur.com/4utNyqX
お願いします(´・ω・`)

**１３２人目の素数さん** · 2018/05/08(火) 22:17:14.40

xz座標だけθ回転させるだけだよ
結局回転で変わるのは外積だけだが

**１３２人目の素数さん** · 2018/05/08(火) 22:17:58.83

109です。
わかりづらくてすみません。
座標系じゃなく3次元の立体図形を回転させるもきに、

**１３２人目の素数さん** · 2018/05/08(火) 22:23:00.28

書き間違えました。
少し質問を変えます。
座標系じゃなく3次元の直方体のような立体図形にします。
立体図形を任意に回転させるときに、例えば上下反対にするには1回転させますが、
左右を上下にして裏表反対にするには2回転必要かと思います。
ここで思ったのですが、2次元の場合は1回転で全ての回転を表されるので、3次元の場合は2回転あればすべての回転を表されると思ったのですが、いかがでしょうか。

**１３２人目の素数さん** · 2018/05/08(火) 22:30:46.76

>>116
SO(3)は3次元なので3種類の回転を用意せんとダメだっての

**１３２人目の素数さん** · 2018/05/08(火) 22:32:53.46

>>116
補足
ただしかける回数に制限がないなら2種類で可能。

**１３２人目の素数さん** · 2018/05/08(火) 22:37:40.37

おいらに任せろ

**１３２人目の素数さん** · 2018/05/08(火) 22:49:41.27

116です。
回答ありがとうございます。
3種類の回転が必要ですか。SO(3)という数式を初めて見ました。
回転の軸を3次元中に自由に取れるとしても必ず3種類の回転が必要になりますでしょうか。

**１３２人目の素数さん** · 2018/05/08(火) 23:01:33.14

>>120
なるよ。もしA(x)B(y) (x,yはパラメータ)でSO(3)全体をカバーできたらそれは2次元空間から3次元空間への全射を与えてしまうけどそれは無理。