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

**１３２人目の素数さん** · 2017/11/25(土) 20:38:49.79

さあ、今日も１日頑張ろう★☆

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

**１３２人目の素数さん** · 2017/11/25(土) 20:45:15.41

ありがとう
スレ立てお疲れ様です

**１３２人目の素数さん** · 2017/11/25(土) 20:47:31.59

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

だった。。。

**１３２人目の素数さん** · 2017/11/25(土) 21:29:54.55

Ｑ.２

1000本のワインがあります。
その内２本毒入りワインが混じっています。
王様は、この毒入りワインを見つけだそうといしています。
毒入りワインを飲んだら 10～20時間で死んでしまいます。(正確な時間は分からない。)
王様は奴隷を使って24時間以内に毒入りワインを探し当てたい。
奴隷は何人必要か？
［前スレ.892］

**１３２人目の素数さん** · 2017/11/25(土) 21:46:29.77

〔点予想問題〕
ユークリッド空間において、有限個の点の集合が、
　どの2点を通る直線も、3つ以上の点を通る
を満たすならば、すべての点は１直線上にある。
［前スレ.815］

http://www.watto.nagoya/entry/20060618/p1
http://www004.upp.so-net.ne.jp/s_honma/pointconjecture.htm
サイモン・シン(著）青木薫(訳）「フェルマーの最終定理」新潮文庫（2006/May）495p．　853円
　p.195～196 および p.473～475

**１３２人目の素数さん** · 2017/11/25(土) 22:00:49.10

lim（x→0）｛Arcsin(x）- x}/{(e^x）sin(x)^2 - x^2｝
をロピタルの定理を使って求めたいのですが、どうやってやったらいいか教えてください。

［前スレ.719］

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 22:15:50.07

１乙

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 22:39:02.78

前スレでレスサンクス
やっぱりNP困難かぁ
行列か何かで表せるか洗ってみる

**１３２人目の素数さん** · 2017/11/25(土) 22:39:18.07

削除依頼を出しました

**１３２人目の素数さん** · 2017/11/25(土) 22:43:25.02

>>8
S(n+1)=2*[n/2]-n+1+S(n)

書き表せます
分割数となると難しいですけど、あなたの提示した問題は中学生でも解ける程度の問題です

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 23:00:36.44

>>10
へ？一般項は？俺の書き方やっぱりミスってたか？

**１３２人目の素数さん** · 2017/11/25(土) 23:02:34.21

>>11
>>974
[x/2]

漸化式書く前に書きましたよね？？

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 23:11:24.08

>>12
俺もはじめそれかなと思ってたんだが
その一般項に代入してもだめだよ
それでここで聞いたんよ？

**１３２人目の素数さん** · 2017/11/25(土) 23:12:01.26

お前自スレあるんだから自スレに引き込んでやれよ
ここでやるな

数学的にLOTO7 [無断転載禁止]©2ch.net
http://rio2016.5ch.net/test/read.cgi/math/1451195025/

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 23:22:44.03

>>14
いやぁ...いやぁ、人来んぞ？
纏まったのをあげる感じになってるけど、まぁ自分のスレでやるわ
とりあえず２/ｘでは無いと思う。勘違いだったらすまん

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 23:24:14.70

誤記
ｘ/2では無いと思っている

**１３２人目の素数さん** · 2017/11/25(土) 23:24:19.97

>>15
[]

このカッコが見えないんですか？

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 23:31:56.03

じゃあ改めてもう一度訂正する
[ｘ/2]では無いと思ってる

**１３２人目の素数さん** · 2017/11/25(土) 23:32:50.45

>>18
なぜですか？

**BLACKX** ◆jPpg5.obl6 · 2017/11/25(土) 23:40:29.91

>>19
私の求めている数列は
1.1.2.2.3.3.4.4....で
提示された一般は[X/2]から
1/2.1.3/2.2.5/2...を求めているのではないと思ってしまうから

**１３２人目の素数さん** · 2017/11/25(土) 23:42:35.85

>>20
1から始まるんですか？
それなら-[-x/2]に変更しましょうか

カッコの意味すら調べる気にはならないんですね

ガウス記号と呼びます
[-1/2]=-1、[-2/2]=-1、[-3/2]=-2、[-4/2]=-2となります

**BLACKX** ◆jPpg5.obl6 · 2017/11/26(日) 00:25:41.65

>>21
なるほど
[]をしりませんでした
範囲値が厳しいなら-付けなくて良さそうです

**１３２人目の素数さん** · 2017/11/26(日) 00:43:40.37

極方程式
r=(sin(θ/4))^4 (0≦θ≦π)

で表される曲線の長さが分かりません…
教えてください

**１３２人目の素数さん** · 2017/11/26(日) 01:11:58.69

>>23
http://www.wolframalpha.com/input/?i=integral+(sin(x%2F4))%5E3,x%3D0+to+pi

**１３２人目の素数さん** · 2017/11/26(日) 02:05:25.10

sを実数の定数、
eを自然対数の底、
xを実変数とするとき、
∫[0→sx] se^x dx = sex
となるsは存在するか。

**１３２人目の素数さん** · 2017/11/26(日) 09:14:56.25

山田くん、座布団ぜんぶ取っちゃいなさい。

**１３２人目の素数さん** · 2017/11/26(日) 10:56:08.99

>>23

r =｛sin(θ/4)}^4,

dr/dθ =｛sin(θ/4)}^3・cos(θ/4),

(長さ）= ∫ √{r^2 +（dr/dθ)^2｝dθ

　= ∫｛sin(θ/4)}^3 dθ

　= ∫｛３sin(θ/4）- sin(3θ/4)}/4 dθ

　= 8/3 -３cos(θ/4）+（1/3)cos(3θ/4),

θ=π のとき　(8-5√2)/3 = 0.309644

**１３２人目の素数さん** · 2017/11/26(日) 11:00:19.79

数列｛a_n｝を
　　a_1 = 1,
　　a_{n+1｝= ∫_[0, a_n］x^(-x）dx　(n = 1，2，3，…)
で定めるとき、次を求めよ。
(1) lim（n→∞）　a_n
(2) lim（n→∞）（a_{n+1})/a_n
(3) lim（n→∞）（a_n)^(1/n）

この問題が分かりません。方針とかヒント（できれば解答も）を教えて下さい。
　［前スレ.207，569］

**１３２人目の素数さん** · 2017/11/26(日) 11:08:49.93

>>28

(1）1.8066406743298…
(2）1
(3）1

y = x^(-x）は x～0 で傾きが ∞ になる。

∫[0，1］x^(-x）dx = Σ[k=1，∞］k^(-k）= 1.29128599706266354…

を使うといいよ。

**１３２人目の素数さん** · 2017/11/26(日) 11:50:28.75

>>6

lim（x→0）｛Arcsin(x）- x}/{(e^x）sin(x)^2 - x^2｝

= lim（x→0）｛1/√(1-xx）- 1}/{(e^x)[sin(x)^2 + sin(2x)］- 2x｝

= lim（x→0）｛x/(1-xx)^(3/2)}/{(e^x)[sin(x)^2 +2sin(2x）+2cos(2x)］- 2｝

= lim（x→0）｛1/(1-xx)^(3/2）+ 3x/(1-xx)^(5/2)}/{(e^x)[sin(x)^2 -sin(2x）+6cos(2x)]}

= 1/6,

**１３２人目の素数さん** · 2017/11/26(日) 12:00:49.04

>>6

マクローリン展開
　Ａｒｃｓｉｎ（ｘ）= x +（1/6)x^3 + O(x^5)
　exp(x）= 1 +x +xx/2 + O(x^3)
　sin(x)^2 = xx -（1/3)x^4 + O(x^6)
を入れる方が早い。

**１３２人目の素数さん** · 2017/11/26(日) 12:51:10.38

インドラとロスチャイルドはどっちの方が凄いですか？

**１３２人目の素数さん** · 2017/11/26(日) 12:58:11.11

そんな事書いて楽しい？

**１３２人目の素数さん** · 2017/11/26(日) 13:25:13.07

長年引きこもってて感性も対話の仕方も忘れてしまった哀れな人なんだろうと思ってる

**１３２人目の素数さん** · 2017/11/26(日) 13:26:30.41

ドイツ凄すぎだろ・・・・・。

ロスチャイルド → ドイツ出身
ロックフェラー → ドイツ系
ハプスブルク家 → ドイツ系
イギリス王室 → ドイツ系

**１３２人目の素数さん** · 2017/11/26(日) 13:46:53.68

>>23

ついでに、

(面積）=（1/2)∫ r^2 dθ
=（1/2)∫｛sin(θ/4)}^8 dθ
= ∫｛35 -56cos(θ/2）+28cosθ -8cos(3θ/2）+cos(2θ)}/256 dθ
=｛35θ -112sin(θ/2）+28sinθ -(16/3)sin(3θ/2) +(1/2)sin(2θ)}/256,

θ=π のとき、5(21π-64)/768 = 0.012848

**１３２人目の素数さん** · 2017/11/26(日) 13:59:09.05

老子と東京大学医学部首席はどっちの方が頭が良いですか？

**１３２人目の素数さん** · 2017/11/26(日) 14:32:46.89

>>4
log_2(1000C2)=10+10-1=19

**１３２人目の素数さん** · 2017/11/26(日) 14:57:57.35

>>37
まずお前の言う「頭の良さ」とやらの定義を示してくれ
その「頭の良さ」とやらは全人類の集合から線型順序の入った集合への写像のはずだよな

ついでに
１．老子の頭の良さは年齢に依存していなかったことの証明と
２．東大医学部首席とやらが年度によらず頭の良さの値が同じであるか、
　　又は老子の頭の良さの値より常に大きいか常に小さいかのであるか、の一方を満たすことの証明も提出してくれ

それらが揃って始めてお前の質問は有意になる

**１３２人目の素数さん** · 2017/11/26(日) 14:58:30.00

以下、超難問です
詳細な模範解答をお願い致します

0≦x≦π/2の範囲で、次の関数f(x)、g(x)を考える
　f(x)=5sinx+3cosx
　g(x)=2cos~2+10sinxcosx-16sin~2x+7
次の問いに答えよ

【問１】
(１)
r>0,0≦α≦2πとして、f(x)をrsin(x+α)と表すとき、
rおよびcosα,sinαの値を求めよ
(２)
f(x)の最大値を求めよ

【問２】
方程式g(x)=0はただ１つの解をもつことを示せ

【問３】
f(x)が最大となる時のxの値をx1とし、g(x)=0の解をx2とする
次の不等式を示せ
　π/720<｜x1-x2｜<π/360
必要であれば、0.0174<tanπ/1800<0.0175を用いてよい

**１３２人目の素数さん** · 2017/11/26(日) 15:42:55.76

>>4
>>38
　>>38の解答は情報理論的考察から要請される下限にすぎず、実際にその数で可能かどうかは別の問題になる。
例えば、ｎ個のものを、何らかの基準でソートする際、必要な比較回数の下限は　情報理論的考察からは
{log_2(n!)}　回（ただし{x}は、切り上げ関数とする）となり、実際に必要な最小数は、n≦11　では、
将にその下限と一致している事が知られているが、n≧13　では、それよりも大きいことが知られている。

このような例から、情報理論的考察からだされたこの種の式は、実際可能な最小数ではなく、下限を与える式
としか見なすことができず、具体的な方法が示されない限り、「19人」が正しいと認める事は出来ない。

**１３２人目の素数さん** · 2017/11/26(日) 16:30:13.79

1/4=(5-a)/(5-b)
このとき、両辺に(5-b)をかければ右辺の分母は消えますか？

**１３２人目の素数さん** · 2017/11/26(日) 16:43:01.53

955 名前：１３２人目の素数さん []： 2017/11/14(火) 21:46:57.65 ID:5GwueLvD (13)
[E]

100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数を
100円玉を使用する枚数によって場合分けする：

(Case 0)
0 枚の100円玉を使う場合に 100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数は、
100*n - 100*0 = 100*(n - 0) 円を1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数に等しい。

(Case 1)
1 枚の100円玉を使う場合に 100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数は、
100*n - 100*1 = 100*(n - 1) 円を1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数に等しい。

…

(Case i)
i 枚の100円玉を使う場合に 100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数は、
100*n - 100*i = 100*(n - i) 円を1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数に等しい。

…

(Case n)
n 枚の100円玉を使う場合に 100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数は、
100*n - 100*n = 100*(n - n) 円を1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数に等しい。

以上より、100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数を知るには、
100*整数円を1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数が分かればよい。

まえに100n円の両替問題で質問した者ですが、頂いた解答で質問があります。

上の書き込みの例
n 枚の100円玉を使う場合に 100*n 円を1円玉と5円玉と10円玉と50円玉と100円玉のみを使って両替する仕方の数は、
100*n - 100*n = 100*(n - n) 円を1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数に等しい。

**１３２人目の素数さん** · 2017/11/26(日) 16:43:22.98

続き

というのは0枚、1枚～i枚のときに帰納的に言えるから、
1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方の数に等しい。
と書いているのでしょうか？
100*(n - n) 円は当然0円ですが、1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方というのはこの場合
当然0通りになると思うのですが。（支払う方法は100円玉n枚の1通りですけど）

本当にしつこくてすみません。

**１３２人目の素数さん** · 2017/11/26(日) 16:46:50.45

>>44
あなたに赤チャートは早いようです
学校の先生に聞くか、もっと簡単な参考書を使いましょう

４４ · 2017/11/26(日) 16:51:19.21

>>45
お察しの通り文系の大学生でして、もはや学校の先生に聞ける環境にありません。
この解答をお書きになった方が、0枚、1枚の時から書いているということはおそらく
数学的帰納法を意識していると思うのですが、そこはあっていますか？
あと、最後の100円n枚の時に100円n枚出す1通りしかないというのもよろしいですか？
問題は文言だけなのですが、どうも
「1円玉と5円玉と10円玉と50円玉のみを使って両替する仕方」
という言葉が引っかかりまして。

４４ · 2017/11/26(日) 16:56:39.60

1円玉 0枚　10円玉　0枚 50円玉 0枚（100円玉　n枚を暗に含意）の1通りって意味なんですか？
これならばわからなくないですが・・・

**１３２人目の素数さん** · 2017/11/26(日) 16:57:05.34

>>46
なんで数学なんてやってるんですか？
公務員対策ならそれ用のがありますよね？

**１３２人目の素数さん** · 2017/11/26(日) 16:57:30.33

1円玉 0枚 5円玉 0枚 10円玉 0枚 50円玉 0枚
の間違いです、失礼。

49 · 2017/11/26(日) 16:58:43.74

>>48
出身校で講習をやることになりまして、なぜか文系数宇の担当が私になっってしまいまして・・・
英語、国語、歴史ならよかったのですが。

**１３２人目の素数さん** · 2017/11/26(日) 17:03:23.09

>>50
なら普通に教科書レベルでいいんじゃないですか？

**１３２人目の素数さん** · 2017/11/26(日) 17:05:42.46

あなたが理解できないものをあなたが教えられるとは到底思えませんし、生徒も理解できるとは思えません

49 · 2017/11/26(日) 17:07:59.49

>>52
たしかにおっしゃるとおりです。知的誠実さを重んじるのならば
講師の口は辞退した方がよいかもしれません。（可能ならば）

**１３２人目の素数さん** · 2017/11/26(日) 17:09:07.62

辞退しろとまでは言いませんが、理想はそうですね
ですが、授業のレベルを、あなたと生徒、両者のために下げろと言っているんですよ

49 · 2017/11/26(日) 17:10:09.68

今度出身高校に行った時に数学の先生に聞いてみます。
多分解けないと思います。（現役の時も赤チャートの質問をしてもほとんど解けませんでした。
馬鹿にするわけではありませんが）

**１３２人目の素数さん** · 2017/11/26(日) 17:24:10.98

お前はどのレベルの大学目指してんのや
予備校に行けば質の高い先生が確保できるぞ

**１３２人目の素数さん** · 2017/11/26(日) 17:47:08.10

話の流れぶった切るようで悪いんですが大学の線形で質問いいですか？

V,Wを二次多項式P(x)全体の集合とすると
{1,x,x^2}はV,Wの基底となる
T:V→W、P(x)→P(x+1)
となる写像Tの表現行列を求めよ
というものです
つまり
(T)(P)(x)=P(x+1)
となるTを求めるわけですが
このときのPの行列としての書き方がよくわかりません
P(x)=(a b c) t(1 x x^2)　（　t(1 x x^2)は横ベクトルの転置）
かなと思ったんですが、そうすると右からかけるTがスカラーでなくては成り立たなくなってよくわからなくなってます
たぶん根本のほうから勘違いしてそうなんですが、頭がこんがらがってきました
教えてもらえると助かります

**１３２人目の素数さん** · 2017/11/26(日) 17:49:22.26

あああageちゃったホント申し訳ない

**１３２人目の素数さん** · 2017/11/26(日) 18:36:17.60

前スレでも質問させていただいたんですが，皆様にも難しいようで，
あまりよい返答が得られなかったので，もう1回書かせていただきます．

[問題]
数列(a(n))を
　　a(1) = 1,
　　a(n + 1) = ∫_[0, a(n)] x^(-x) dx　(n = 1, 2, 3, ...)
で定めるとき，次を求めよ．（但し，0^0 = 1.)
(1) lim a(n)
(2) lim a(n + 1)/a(n)

**>>57** · 2017/11/26(日) 19:02:32.19

p(x)={a,b,c}{1,x,x^2}=a+bx+c x^2
T p(x)=p(x+1)=a+b+c+bx+2cx+cx^2
={a+b+c,b+2,c}{1,x,x^2}
={1,1,1
2,b,0
{0,0,1} (a,b,c}

**１３２人目の素数さん** · 2017/11/26(日) 19:11:56.37

>>38
これは１０００本のワインから２本取り出して組み合わせて得られる
１０００C２個のブレンドワインのうち、１本の毒入りワインを奴隷で探し当てる場合に当てはまるが

実際には１０００C２個のブレンドワインのうち、毒入りワインは１本ではないため、誤答である

２本のワインにA液とB液がそれぞれ混入しており、混ぜ合わされた場合に毒が生成するということであるならば
１９人が正答となる

**１３２人目の素数さん** · 2017/11/26(日) 19:25:21.49

>>57 Pを行列でとかって何か勘違いしてるでしょ。
T [ 1, x, xx ]
= [ 1, x+1, xx+2x+1]
= [ 1, x, xx ] A

A =
[ 1 1 1 ]
[ 0 1 2 ]
[ 0 0 1 ]

**１３２人目の素数さん** · 2017/11/26(日) 20:02:33.75

>>57
P(x), 1, x, x^2 はどれもベクトルだぞ
座標は数ベクトルになるから、初心者はまず各ベクトルを与えられた基底に関する座標ベクトルに直せ

形式的には順序基底(1,x,x^2)に関するTの表現行列がA_Tであるとは
　　T((1,x,x^2) t(a,b,c)) = (1,x,x2) A_T t(a,b,c)
を満たす行列、というふうに書ける

**１３２人目の素数さん** · 2017/11/26(日) 20:32:37.01

>>4
ワインが１本の場合の解答例
答え１０人

ABCDEFGHIJ
0000000001　ワイン1
0000000010　ワイン2
0000000011　ワイン3
0000000100　ワイン4
0000000101　ワイン5
…
1111101000　ワイン1000

それぞれのワインを1の印がついている奴隷に飲ませる
死んだ奴隷から毒ワインの番号がわかる
例えばA,C,E,G,Iが死んだ場合は
1010101010のワイン、つまりワイン682

**>>57** · 2017/11/26(日) 21:13:29.98

マトリックを写し間違えました。
あまりにも初歩だったので
表現論の初歩の初歩ですね

**１３２人目の素数さん** · 2017/11/26(日) 21:15:55.03

これでえらそうにしている＞＞６３のアホにはあきれた。

**１３２人目の素数さん** · 2017/11/26(日) 21:26:05.67

57です
>>60
それだと最後の行のところが3*3と1*3で席が定義できてないんではないのでしょうか
>>62
P(x)が係数行列と(1 x x^2)の積であらわせるんじゃないかな、と思って質問しました
自分で問題を解いたときは、まずP(ｘ）の表記法が分からなくなって、あきらめて係数だけで考えてみたら
t(a+b+c , 2b+c , c)= t(0 0 1)a+t(0 1 1)b+t(1 2 1)c
となって
(0 0 1)(a)
(0 1 2)(b)
(1 1 1)(c)
(かっこは縦同士でつながってて、３*３と3*1行列の積）
で、これがTかなと思ったんですがこれでもP(x)をどう書けばつじつまが合うのかよくわからないです
>>63
「各ベクトルを与えられた基底に関する座標ベクトルに直せ」
これの意味が浅学で申し訳ないですがわかりません
教えてもらえると幸いです
あと、T((1,x,x^2) t(a,b,c)) = (1,x,x2) A_T t(a,b,c) と書けるというのは知識として知っておくべきものでしょうか
個人的に表現行列が真ん中に来ることが見たことないので、導出等あれば…

**１３２人目の素数さん** · 2017/11/26(日) 21:28:44.13

>>65
個人的に、多項式の関数をそれぞれの項をベクトルとしてみる、(言い方あってなさそう）ということを感覚レベルまで落としきれてないです…
何かイメージ等ありましたら、教えてもらえると助かります

**１３２人目の素数さん** · 2017/11/26(日) 21:44:05.81

(数列の)極限の問題です

lim[n→∞]Σ[k=1～n]1/k=∞を示せ

ここで、以下の極限の厳密な定義を用いることが条件です。

「任意の（どんなに大きい）正の数 M に対しても，適当な（大きい）実数 N(M) を見つけて，すべての n > N(M) で， a_n > M とできる．」
(言い方は人によってそれぞれですが)

数時間考えましたが、全く分かりません
Σ[k=1～∞]1/kの一般項があればε-N論法で出来るかと思ったのですが、そもそも一般項は存在していないとのことで、完全に詰みの状態です…。
誰か御教授お願いします…。

**１３２人目の素数さん** · 2017/11/26(日) 21:44:23.38

>>66
哀れなやつ

>>67
＞これの意味が浅学で申し訳ないですがわかりません
自分でやっとるやないか↓
＞あきらめて係数だけで考えてみたら～で、これがT

＞導出等あれば…
定義をそのまま行列の形にまとめて書いただけだが？？

**１３２人目の素数さん** · 2017/11/26(日) 21:47:06.89

>>70

偉そうに低能が
こんな仕事は機械で出来るんだよ　あほ

**１３２人目の素数さん** · 2017/11/26(日) 21:47:57.19

>>71
哀れなクズｗｗｗ

59 · 2017/11/26(日) 21:50:35.85

前スレで>>59の問題を質問したんですが、>>28でどなたかが書き込みしてくださったようです。気付かずに59を書き込みしてしまいました。

>>29のかたに質問なんですが、(2)はどうやって導き出したのですか？
(1)の近似値はMathematicaか何かを用いて計算したのでしょうか？
(1)は、近似値ではなく、数学重要定数（円周率、ネイピア数、オイラー定数など）を用いて表すことはできませんか？

**１３２人目の素数さん** · 2017/11/26(日) 21:51:52.18

>>68
＞それぞれの項をベクトルとしてみる
多項式の項がベクトルなんじゃなくて多項式そのものがベクトルだからな
多項式を変な表記する必要ない、いつも通り普通に多項式を書けばいいだけ
それぞれの項の係数が座標になるのはは基底ベクトルとして1,x,x^2を取ったからであって
別の基底だとそうはならない

**１３２人目の素数さん** · 2017/11/26(日) 21:52:57.18

>>72
貧弱な語彙は低能の証拠だね
気持ち悪いね

**１３２人目の素数さん** · 2017/11/26(日) 21:56:07.24

>>75
ほれほれどうした哀れなクズｗｗｗ

**１３２人目の素数さん** · 2017/11/26(日) 22:04:37.16

>>69
正項級数だから一般項まで正確に出す必要はない

**１３２人目の素数さん** · 2017/11/26(日) 22:14:12.13

>>76
数学ができるんですね
>>73にこたえてあげなさい　カス

**１３２人目の素数さん** · 2017/11/26(日) 22:15:26.44

>>77
ご返答ありがとうございます
正項級数であり、有界でなければ発散というのは分かるのですが

今回は
「任意の（どんなに大きい）正の数 M に対しても，適当な（大きい）実数 N(M) を見つけて，すべての n > N(M) で， a_n > M とできる．」
という定義を使って証明せねばならないので、行き詰っている状態です。

**１３２人目の素数さん** · 2017/11/26(日) 22:17:16.75

>>78
それからどした哀れなクズ

**１３２人目の素数さん** · 2017/11/26(日) 22:21:01.35

>>80
できないんですか？

**１３２人目の素数さん** · 2017/11/26(日) 22:24:08.85

>>81
その調子その調子哀れなクズｗｗｗｗｗ

**１３２人目の素数さん** · 2017/11/26(日) 22:26:38.94

>>81
>>82

ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ

**１３２人目の素数さん** · 2017/11/26(日) 22:27:03.47

なさけないやつ
ﾊﾞｲﾊﾞｲ

**１３２人目の素数さん** · 2017/11/26(日) 22:30:00.96

>>84
おいおいもうギブアップしたのか哀れなクズだな

**１３２人目の素数さん** · 2017/11/26(日) 22:36:31.70

>>79
S(n) = 1/1 + 1/2+1/3 + 1/4+1/5+1/6+1/7+... + 1/n

1+2+4+....+2^(k-1) = 2^k - 1 に着目し、
T(n) = 1/1 + 1/2 +1/2 + 1/4+1/4+1/4+1/4 +....+ (1/2^k が 2^k 個続く) + ..... + n番目の項
とする。

自然数 k ( ＞ M) を選び N = 2^k - 1 とすると、 n ( ＞ N) に対して、
M < k = T( 2^k - 1 ) < S(2^k - 1) < S(n)

**１３２人目の素数さん** · 2017/11/26(日) 22:46:58.31

>>83
それが証明可能であることを示してください

**１３２人目の素数さん** · 2017/11/26(日) 22:49:57.46

>>87
東大生なんだからわかるはずですよね？？

**１３２人目の素数さん** · 2017/11/26(日) 22:51:09.06

>>88
あなたは分からないんですか？
わかるなら示すはずですが？

**１３２人目の素数さん** · 2017/11/26(日) 22:51:48.01

こっちだと劣等感婆相手してくれて嬉しいｗｗｗ

**１３２人目の素数さん** · 2017/11/26(日) 22:54:36.87

>>86
あー
常套手段である1/2^k のやつをそうやって持ってくるんですね…
眼から鱗と言いますか、何故気が付かなかったのか、という感じです…(笑)

丁寧且つ迅速なご返事ありがとうございました！！

**１３２人目の素数さん** · 2017/11/26(日) 22:57:51.22

あーもうこっちでも劣等感婆敗走かー
つまんねーおもちゃになっちゃったなー

**１３２人目の素数さん** · 2017/11/26(日) 23:21:18.38

>>28
a1=1
a2=1.20120..

a99=1.80664
a99/98=1.000..
a99^(1/99)=1.00599..

ですね

証明は>>85の答え？を見てください。

**１３２人目の素数さん** · 2017/11/26(日) 23:52:23.54

>>70,>>74
ありがとうございます
言葉からもうちょっと勉強しなおしてきます

**１３２人目の素数さん** · 2017/11/27(月) 12:50:42.17

大学受験の質問ですがよろしいでしょうか？

0でない複素数zに対して，w=z+(1/z*)とおく（z*はzの共役な複素数）。
Oを原点とする複素数平面上で，z,wの表す点をそれぞれP,Qとするとき，
OPとPQは直交することを示せ。

解答を見ると
w-z=(z+(1/z*))-z
=1/z*
=z/zz*
=z/(|z|^2)
=[z/(|z|^2)](cos(π/2)+isin(π/2))
よってPQとOPは直交する，とあるんですが
最後の行の(cos(π/2)+isin(π/2))がどこから出てくるのかがわかりません。
もしかしたら解答が間違っているのかもしれないのですが，お教えいただけると幸いです。

**１３２人目の素数さん** · 2017/11/27(月) 12:59:31.48

平行ということしか示せんな

**１３２人目の素数さん** · 2017/11/27(月) 13:02:32.71

歴史上最も世界に影響を与えた国はイギリスですか？

**１３２人目の素数さん** · 2017/11/27(月) 13:02:53.34

>>95
z=1

**１３２人目の素数さん** · 2017/11/27(月) 13:18:49.27

ローマ教皇になるのとフィールズ賞を獲得するのはどっちの方が難しいの？

**１３２人目の素数さん** · 2017/11/27(月) 13:24:17.56

aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa

**１３２人目の素数さん** · 2017/11/27(月) 13:29:30.34

w=z+(i/z*)だったらねえ

**１３２人目の素数さん** · 2017/11/27(月) 13:42:39.76

人類史上最高の天才ってガウスかオイラー？

**１３２人目の素数さん** · 2017/11/27(月) 13:51:18.02

イギリス連邦の長とロスチャイルド家当主ってどっちの方が凄いの？

ちなみにイギリス連邦は人口約22億人らしい。

**１３２人目の素数さん** · 2017/11/27(月) 14:39:54.11

極限の問題が分かりません。

lim(θ➡0){cosθ・log[(1＋sinθ)/cosθ]}/(1－cosθ)
lim(θ➡π/2){cosθ・log[(1＋sinθ)/cosθ]}/(1－cosθ)

で上式は∞に発散、下式は0に収束することは分かっているのですが、
どのようにして求めたら良いのでしょうか？

**１３２人目の素数さん** · 2017/11/27(月) 15:26:07.69

w-z=1/z*
(w-z)/z=1/(zz*)=1/|z|^2 : Real　ー＞位相差＝０

w=z+i/z* というわけか？　　>>101

w=z+I/z* のミスプリだな　(　I = i (MATHEMATICA) )

**１３２人目の素数さん** · 2017/11/27(月) 15:30:28.66

東京大学理学部数学科に絶対に入りたい。

**１３２人目の素数さん** · 2017/11/27(月) 16:07:45.60

>>96,>>98,>>101,>>105
ありがとうございました。ミスプリということで納得できました。

**１３２人目の素数さん** · 2017/11/27(月) 17:01:45.25

nは自然数として、k＝1,2,...nにおいて
(x_1)^k+(x_2)^k+...+(x_n)^k＝0が成り立つ時
x_1＝x_2＝...＝x_n＝0を証明して下さい
帰納法でしょうか？それにしてもどれか一つが0であることは示さなくてはなりませんが.,.

**１３２人目の素数さん** · 2017/11/27(月) 17:06:24.36

勿論x_iは複素数です

**１３２人目の素数さん** · 2017/11/27(月) 17:08:28.52

>>104
{cosθ・log[(1＋sinθ)/cosθ]}/(1－cosθ)
= log[(1＋sinθ)/cosθ]/((1-cos(θ))/cos(θ))
d(log[(1＋sinθ)/cosθ])/dt＝(sec(θ)+tan(θ))/(1+sin(θ))

d(((1-cos(θ))/cos(θ)))/dt= sec(θ)tan(θ)

ロピタルの定理をつかって

= infinity t->0
=1 t->Pi/2

**１３２人目の素数さん** · 2017/11/27(月) 17:26:09.66

s1=x1+x2+...+xn
s2= x1x2+x2x3+...= s1^2-x1^2-...-xn^2
......
sn= x1x2..xn

S1=S2=...=Sn=0

x^n+s1x^(n-1)+......+sn=0

根は全てゼロでおしまい。
（補不足）

**１３２人目の素数さん** · 2017/11/27(月) 17:34:16.41

>>111
s_1とs_2が0なのは分かりますがそれ以外は何故0と言えるのでしょうか

**１３２人目の素数さん** · 2017/11/27(月) 17:44:21.17

無になってもう二度と有にはなりたくないのですが、自殺をしても無にはなれませんか？
自殺をすると地獄に落ちたり虫に生まれ変わったりするのでしょうか？

誰か教えてください。お願いします。

**１３２人目の素数さん** · 2017/11/27(月) 17:50:06.67

確かにこいつの今回の人生自体罰ゲーム臭いからずっと罰ゲームなんじゃないの？。
諦めよう。

**１３２人目の素数さん** · 2017/11/27(月) 18:21:08.88

対称式は別種の対称式で表現される。
具体的にかくと大変だ。
帰納法で証明するやりかたもあるが。

自殺したら地獄ですよ　両親の嘆き、喪失感を思わないのですか　>>113

恥なんて２ｃｈで鍛えて免疫を作りなさい。

**１３２人目の素数さん** · 2017/11/27(月) 18:33:28.18

f(x)が整式のとき、g(x)=f(x)-[x]とする。
各整数nについて、y=g(n)のグラフが連続である点をすべて求め、それら以外にはないことを証明せよ。
ただしn≦x<n+1である整数nを[x]と表す。

**１３２人目の素数さん** · 2017/11/27(月) 19:09:47.75

>>115
そいつ物理板から移ってきた荒らしだよ。

**１３２人目の素数さん** · 2017/11/27(月) 19:10:15.19

>>113
座間にロフト付きの物件があります

**１３２人目の素数さん** · 2017/11/27(月) 19:22:32.54

日本人は全員ゴミ

**１３２人目の素数さん** · 2017/11/27(月) 19:23:38.50

>>113
解脱すれば転生しないで無になれるじゃん

**１３２人目の素数さん** · 2017/11/27(月) 20:16:07.32

>>120
どうすれば解脱できますか？

**１３２人目の素数さん** · 2017/11/27(月) 20:36:51.50

floor(sqrt(x)) = floor(sqrt(floor(x)))

がすべての負でない実数に対して成り立つことを示せ。

解答：

floor(x) ≦ x だから

sqrt(floor(x)) ≦ sqrt(x).
floor(sqrt(floor(x))) ≦ floor(sqrt(x)).

今、仮に、 floor(sqrt(floor(x))) < floor(sqrt(x))

が成り立つような負でない実数が存在すると仮定する。

x が整数ならば floor(sqrt(floor(x))) = floor(sqrt(x)) だから、 x は整数ではない。

x は整数ではないからもちろん sqrt(x) も整数ではない。

よって、 floor(sqrt(x)) < sqrt(x)

sqrt(floor(x)) < floor(sqrt(x)) が成り立つ。なぜなら、 floor(sqrt(x)) ≦ sqrt(floor(x))

と仮定すると、 floor(sqrt(x)) ≦ floor(sqrt(floor(x))) となってしいまい仮定に反するからである。

以上より、 sqrt(floor(x)) < floor(sqrt(s)) < sqrt(x).

x < floor(x) + 1 だから sqrt(x) < sqrt(floor(x) + 1).

∴ sqrt(floor(x)) < floor(sqrt(x)) < sqrt(floor(x) + 1)

sqrt(floor(x)) < sqrt((floor(sqrt(x)))^2) < sqrt(floor(x) + 1)

floor(x) と floor(x) + 1 の間に整数 (floor(sqrt(x)))^2 が存在することはあり得ない。

これは矛盾である。

したがって、

floor(sqrt(x)) = floor(sqrt(floor(x)))

がすべての負でない実数に対して成り立つ。  👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)

**１３２人目の素数さん** · 2017/11/27(月) 20:37:45.70

という解答を考えたのですが、本の解答を見てみたら意味不明でした。

1時間後くらいに本の解答を書きますので、解説をお願いします。

**１３２人目の素数さん** · 2017/11/27(月) 21:04:12.12

左辺、右辺それぞれにおいて、逆関数みたいなものを考え、それらが一致することを言えばよい。
つまり、m=floor(sqrt(x))　となるxの範囲をmを使って表し、
さらに、m=floor(sqrt(floor(x)))　となるxの範囲を、同じくmを使って表せば、
自然に証明が完了している。

**１３２人目の素数さん** · 2017/11/27(月) 21:36:19.70

右辺を m とおけ。つまり、 m は m^2 ≦ x ≦ (m + 1)^2 を満たす唯一の整数である。
これが成り立つための必要十分条件は、 m^2 ≦ x ≦ (m + 1)^2 が成り立つことである。
したがって、 m = floor(sqrt(x)) である。

これが本の解答です。意味不明です。

**１３２人目の素数さん** · 2017/11/27(月) 21:46:12.04

>>124

ありがとうございます。

m = floor(sqrt(x))

⇔

m^2 ≦ x < (m + 1)^2

m = floor(sqrt(floor(x)))

⇔

m ≦ sqrt(floor(x)) < m + 1

⇔

m^2 ≦ floor(x) < (m + 1)^2

⇔

m^2 ≦ x < (m + 1)^2

**１３２人目の素数さん** · 2017/11/27(月) 21:48:57.23

ある負でない整数 x に対し、

floor(sqrt(x)) ≠ floor(sqrt(floor(x)))

と仮定する。

m := floor(sqrt(x))
n := floor(sqrt(floor(x)))

とおく。

m^2 ≦ x < (m + 1)^2
n^2 ≦ x < (n + 1)^2

[m^2, (m + 1)^2) ∩ [n^2, (n + 1)^2) = 空集合

だからこれは矛盾である。

**１３２人目の素数さん** · 2017/11/27(月) 21:49:27.43

訂正します：

ある負でない実数 x に対し、

floor(sqrt(x)) ≠ floor(sqrt(floor(x)))

と仮定する。

m := floor(sqrt(x))
n := floor(sqrt(floor(x)))

とおく。

m^2 ≦ x < (m + 1)^2
n^2 ≦ x < (n + 1)^2

[m^2, (m + 1)^2) ∩ [n^2, (n + 1)^2) = 空集合

だからこれは矛盾である。

**１３２人目の素数さん** · 2017/11/27(月) 22:20:44.15

>>115
帰納法というのはどういう感じですか？

**１３２人目の素数さん** · 2017/11/27(月) 23:01:22.95

無になってもう二度と有になりたくない。

**１３２人目の素数さん** · 2017/11/27(月) 23:47:20.88

すいません計算の仕方がよくわからないんですが
例えば引き分けが無いものとして勝率85.7%って数字になるには最低何試合必要ですか？

**１３２人目の素数さん** · 2017/11/28(火) 01:07:36.29

>>131
四捨五入してその数字にするなら７試合
ぴったりにするなら１０００試合

それとも計算の方法が知りたい？

**１３２人目の素数さん** · 2017/11/28(火) 01:32:12.67

質問です。（1）は正直に計算すると面倒そうなので、m_tがy軸平行になる場合を除外した範囲と解答してみたのですが、これで合っているでしょうか。

放物線C:y=x^2上の点P(t,t^2)（ただしt≧0）におけるcの接線l_tを、Pを中心として反時計回りに30°回転させた直線をm_tとする。

(1)m_tとCが2つの交点を持つようなtの範囲を求めよ。

(2)tは(1)の範囲にあるとする。m_tとCの2つの交点のうち、PでないものをQとする。Qにおける接線とm_tが直交するようなtの値をすべて求めよ。

**１３２人目の素数さん** · 2017/11/28(火) 01:33:41.24

>>133
すみません写し間違えました。
反時計回りではなく、時計回りでした。

**１３２人目の素数さん** · 2017/11/28(火) 02:42:28.89

何故相撲協会関係者が「分析」などという言葉を発するのか
誰もこの件に関して、分析という言葉を使っていないと
考えられる。

メディアが簡単に意味不明な二項対立を作り出し、劇場型の情報展開を行う。
情報を小出しにし、情報を錯綜させて視聴者を混乱させる。

私が盗聴器に対して主張した内容を露骨に否定する。それを行ってどのような
利益があるのかは完全に理解不能だ。

**１３２人目の素数さん** · 2017/11/28(火) 03:07:15.36

夜分に失礼します

198 に 0～0.8を４回かけた場合

73未満になる確率ってどのくらいなんでしょうか…？

**１３２人目の素数さん** · 2017/11/28(火) 03:10:05.98

大変申し訳ありません…
言葉足らずでした

198 から
0％～80％の減少を４回繰り返して
73 以下になる確率でした

日本語不自由ですみません

**１３２人目の素数さん** · 2017/11/28(火) 03:49:11.22

>>137
0%～80%について、
この範囲のすべての実数値を取るのか、
それとも整数値のみを取るのか
その前提を書かないと解答しようがないよ
用途に応じて適切な計算方法は変わるんだから

**１３２人目の素数さん** · 2017/11/28(火) 06:44:47.49

>>132
ありがとう
四捨五入しないとそうだよな素数だし1000試合いるよな…

**１３２人目の素数さん** · 2017/11/28(火) 07:53:53.83

>>125

翻訳が誤っていました。
訳者が内容を全く理解していないことは明白ですね。
根上生也という人です。

以下が原文です。

1.2.2. Denote the right-hand side by m. Hence m is the unique
integer satisfying m^2 ? floor(x) < (m + 1)^2 . This holds if and only if
m^2 ? x < (m + 1)^2 , and hence m = floor(sqrt(x))

以下が誤訳です。

右辺を m とおけ。つまり、 m は m^2 ≦ x ≦ (m + 1)^2 を満たす唯一の整数である。
これが成り立つための必要十分条件は、 m^2 ≦ x ≦ (m + 1)^2 が成り立つことである。
したがって、 m = floor(sqrt(x)) である。

**１３２人目の素数さん** · 2017/11/28(火) 07:54:45.40

訂正します：

>>125

翻訳が誤っていました。
訳者が内容を全く理解していないことは明白ですね。
根上生也という人です。

以下が原文です。

1.2.2. Denote the right-hand side by m. Hence m is the unique
integer satisfying m^2 ≦ floor(x) < (m + 1)^2 . This holds if and only if
m^2 ≦ x < (m + 1)^2 , and hence m = floor(sqrt(x))

以下が誤訳です。

右辺を m とおけ。つまり、 m は m^2 ≦ x ≦ (m + 1)^2 を満たす唯一の整数である。
これが成り立つための必要十分条件は、 m^2 ≦ x ≦ (m + 1)^2 が成り立つことである。
したがって、 m = floor(sqrt(x)) である。

**１３２人目の素数さん** · 2017/11/28(火) 07:57:09.44

つまりこの本の解答は、

>>124
>>126
>>128

と同じということですね。

**１３２人目の素数さん** · 2017/11/28(火) 08:03:18.42

1以上1000以下の整数からなる集合の501個の元からなる
任意の部分集合には、

x | y

となるような二つの異なる元が存在することを示せ。

**１３２人目の素数さん** · 2017/11/28(火) 11:15:18.45

変なことを聞いて申し訳ないのですが、項数が減少していく数列の総和を表す記号ってあるんでしょうか？
Σはfrom k=0 to k=nのように工数が一つずつ増えていきますよね？

Σ　from k=5 to k=0のように徐々に項数が減少していく場合でもΣは使えるんでしょうか？

単にΣ from K=0 to K-5とひっくり返せばいいだけなのかも知れませんが・・・

高校数学しか知らないので馬鹿なことを聞いてすみません。

**１３２人目の素数さん** · 2017/11/28(火) 11:27:17.83

足す順序を変えても答えは同じなので、そういう記号を作る必要がないのではないでしょうか？

**１３２人目の素数さん** · 2017/11/28(火) 11:32:42.82

1 から 1000 までの整数を 2^n * (2*m + 1) の形で表す。

2*m + 1 の部分は、

2*0 + 1, 2*1 + 1, …, 2*499 + 1

の500個のパターンのいずれかに一致する。

よって、1 から 1000 までの整数の中から501個以上の異なる整数を選び出せば、
その中には、かならず、

2^n1 * (2*m + 1), 2^n2 * (2*m + 1)

という二つの整数が含まれる。

この二つの整数は一方が他方を割り切る。

**１３２人目の素数さん** · 2017/11/28(火) 12:08:45.30

>>144
数列について Σ の記号を使うときは、慣習として
Σ　from k=0 to k=5 のように徐々に項数が増加して行くと決められている。
現在は、Σ　from k=5 to k=0のように徐々に項数が減少するときに Σ を用いる慣習はない。

しかし、誤解を招き易くなってよくないので、余程のことがない限りやめた方がいいとは思うが、
文章の中で数列の総和の記号 Σ について慣習的な使用をしたくないのであれば、
Σ　from k=5 to k=0のように徐々に項数が減少するときに Σ を用いる
という旨の断り書きを最初に書いておき、それ以降の文章の中で
「一切慣習的な Σ の使用をしなければ」、読者が分かるかどうかはともかく、特に大きな問題はない。
いわゆる、その文章の最初に Σ という記号の使用法などの定義をすることにあたる。
慣習に反した Σ　の使用をする旨の断り書きを最初に書いておきながら、
その文章の中で従来通りの慣習に則った Σ　の使用をすると、理解出来る読者はいないどころか、
その文章内での数列の総和の記号 Σ について使用法に統一感がなくなって問題が生じる。

**１３２人目の素数さん** · 2017/11/28(火) 12:16:47.93

>>144
(総)和が収束する数列の和の記号 Σ from k＝0 to k＝+∞ などについても、同じ。

**１３２人目の素数さん** · 2017/11/28(火) 12:17:08.09

ヴェルナー・フォン・ブラウンとカール・フリードリヒ・ガウスはどっちの方が天才ですか？

**144** · 2017/11/28(火) 12:20:45.72

>>145
>>146
レスありがとうございます。やはりそのような記号はないのですね。勉強になりました。

**１３２人目の素数さん** · 2017/11/28(火) 12:35:58.10

>>24
>>27
>>36
ありがとうございます。助かります。

**１３２人目の素数さん** · 2017/11/28(火) 16:05:30.26

>>110
ありがとうございます。

＞d(log[(1＋sinθ)/cosθ])/dt

なぜdθでなくdtなのですか？そして単純に
d(log[(1＋sinθ)/cosθ])/dθ＝1/cosθ
ではないのですか？
(sec(θ)+tan(θ))/(1+sin(θ))
でも間違ってはいませんが。

＞d(((1-cos(θ))/cos(θ)))/dt= sec(θ)tan(θ)

同じことですが
d(((1-cos(θ))/cos(θ)))/dθ=sinθ/(cosθ)^2

よって
lim(θ➡θ, θ＞0){cosθ・log[(1＋sinθ)/cosθ]}/(1－cosθ)
＝lim(θ➡0, θ＞0)(1/tanθ)＝∞

lim(θ➡π/2, θ＜π/2){cosθ・log[(1＋sinθ)/cosθ]}/(1－cosθ)
＝lim(θ➡π/2, θ＜π/2)(1/tanθ)
＝0
ではないでしょうか？

θの範囲は、0≦θ≦π/2でした。
θの範囲の設定、つまりどちらの方向から近付くかという設定を忘れてました。すみませんでした。

＞= infinity t->0
=1 t->Pi/2

これはtが0に近付くと∞になるという意味ですか？
更にはPiはπという意味ですか？
tがπ/2に近付くと1に近付くという意味ですか？
0に近付くのではないですか？

**１３２人目の素数さん** · 2017/11/28(火) 17:04:22.87

解析接続って言葉を聞いたのですが、複素数の言葉なのでイメージがわきまん。定義域を拡張する考え方だとなんとなく理解しています。

例えばf(x)=sinx/xの定義域は0を除いた実数です
これに対して本来は定義できないf(0)をf(0)=1として付け加え、定義域を全実数とすることは解析接続でしょうか？

**１３２人目の素数さん** · 2017/11/28(火) 17:08:38.64

>>153
違いますね

等比級数を考えましょう
1+r+r^2+...=1/(1-r)
これは|r|＜1の時は成り立ちますね
しかし、これを|r|≧1の場合にも適応してしまおう、という考え方です
1+2+2^2+...=-1
というような不思議な等式が成り立ちますね

定義域を拡張する
どのような定義域からどのような定義域へと拡張するか、というのは勉強しないと少し難しいでしょうね

**１３２人目の素数さん** · 2017/11/28(火) 17:10:57.62

e^z/{(z+1)(z+2)}のz=-1の周りでのローラン展開はどのようになりますか？

**１３２人目の素数さん** · 2017/11/28(火) 17:15:01.75

階乗の逆演算ってある？？

**１３２人目の素数さん** · 2017/11/28(火) 17:19:22.81

>>155
e^z/{(z+1)(z+2)} = e^-1 * e^(z+1)/{(z+1)(z+2)}
1/(z+2) = 1/{1+ (z+1)} = 1 -(z+1) +(z+1)^2 -(z+1)^3 + ....
後はもういいよね。

**１３２人目の素数さん** · 2017/11/28(火) 17:52:27.95

>>153
解析接続は正則関数(正確には有理型関数だが)の定義域を拡張する方法で、
正則関数を定義域内の点で微分するときはその正則関数の定義域内で
複素変数をその点に向けて自由に渦を巻くようにして近付けることが出来て、
それをしながら複素変数で微分することになる。
実関数だと、今書いた正則関数の微分の方法について、渦を巻くところが
数直線上の一点に向けてその数直線上の2つの方向から実変数を近付けることになる。
そこが違う。なので、実関数に対して解析接続で定義域を拡張した後の定義域が全実数となることはない。
でも、実関数の定義域に対して制限の逆にあたる拡張なる操作を施して全実数とすることは出来る。

**１３２人目の素数さん** · 2017/11/28(火) 17:55:49.29

>>136
f(a)=∫[a,1]∫[a/z,1]∫[a/(yz),1](1-a/(xyz))dxdydz
=-a*log(1/a)^3/6-a*log(a)^2/2+1+a*log(a)-a
f(73/198)≒0.018854027691585274670135130842518828271
f(73/198)/0.8^4≒y≈0.046030341043909361987634596783493233083

**１３２人目の素数さん** · 2017/11/28(火) 17:58:08.18

>>159 訂正
×f(73/198)/0.8^4≒y≈0.046030341043909361987634596783493233083
〇f(73/198)/0.8^4≒0.046030341043909361987634596783493233083

**１３２人目の素数さん** · 2017/11/28(火) 18:01:27.20

接続厨のほとんどが部分が全体に等しいことを前提にしてる詭弁だから相手にしないほうがいいよ

**１３２人目の素数さん** · 2017/11/28(火) 18:08:54.32

>>157
お手数ですが最後までお願いできませんか？
計算いただいている等比級数の部分に加えてe^(z+1)を展開して整理しても手元の解答通りにならないのです

**１３２人目の素数さん** · 2017/11/28(火) 18:20:18.87

e^-1 {1/(z+1)+(z+1)/2-1/3(z+1)^2+3/8 (z+1)^3-11/30(z+1)^4+53/144(z+1)^5+..

**１３２人目の素数さん** · 2017/11/28(火) 18:32:50.53

>>160　再度訂正
f(73*(1/0.8)^4/198)≒4.69792×10^-6

**１３２人目の素数さん** · 2017/11/28(火) 19:04:15.38

東京大学理学部数学科に入りたいのですが、白チャートすら理解できません。
本の選び方が悪かったのでしょうか？いきなり白チャートはキツイですか？
もっと簡単で分かりやすい参考書があるのでしょうか？

**１３２人目の素数さん** · 2017/11/28(火) 19:14:27.50

>>164 再々訂正
1-f(73*(0.8)^4/198)≒0.87634216062789295494677646056189750747

**１３２人目の素数さん** · 2017/11/28(火) 19:33:15.35

そもそもこの世とは何なのでしょうか？
なぜ我々はここに存在しているのでしょうか？
生きる意味・目的は何なのでしょうか？
そして我々はどこへ行くのでしょうか？
　　　　　　　・
　　　　　　　・　
　　　　　　　・

疑問は尽きない。

**１３２人目の素数さん** · 2017/11/28(火) 19:47:26.22

全、無、空、考えない、どうなってもいい、不定、観測者不在、自由自在、なんでもあり、考えることすらできない、感じることすらできない

これらが「最強」の候補だと思う。

**１３２人目の素数さん** · 2017/11/28(火) 20:08:01.96

簡単な中3の相似なんですが教科書にも解答書（画像）にもA'B'間の長さは書いてないんですが当たり前のように7cmなので～...とかかいてあるんですが。

https://i.imgur.com/AZxGxN5.jpg

**１３２人目の素数さん** · 2017/11/28(火) 20:16:28.92

すまん、頭ええ人この問題教えてくれい

https://dotup.org/uploda/dotup.org1399806.jpg.html

**１３２人目の素数さん** · 2017/11/28(火) 20:52:56.82

**１３２人目の素数さん** · 2017/11/28(火) 20:56:47.58

無＝全

ですか？

**１３２人目の素数さん** · 2017/11/28(火) 20:56:48.43

>>171
丁寧に助かるわ～‼
数学メンサンクス

**１３２人目の素数さん** · 2017/11/28(火) 21:02:12.11

松坂和夫著『解析入門3』を読んでいます。

第14章「多変数の関数」に入ってから急に証明が雑になり始めました。

ベクトル値関数の極限ですが、

t → t0 のとき、 b(t) → b(t0) とすると、

t → t0 のとき、<a, b(t)> → <a, b(t0)>

が成り立つということを何の言及もなしに使っています。

**１３２人目の素数さん** · 2017/11/28(火) 21:08:09.77

>>169
A'B'=4.17961cm ?

**１３２人目の素数さん** · 2017/11/28(火) 21:19:01.89

物理板で電気力線が議論になっています

電気力線が整数本ではないと主張する人たちがいます
その人たちによると、電気力線は任意の点に引くことができます
電気力線1本あたりの本数を、本当の本数に比例させることを考える、すなわちスケール変換することを考えましょう
スケール変換することにより、1本はn本に分割され、分割された電気力線は1本あたり1/n本になります

このようにスケール変換を考えることで電気力線は任意の点に引くことが可能になり、電気力線の密度が電場の大きさを表すようになるようです

しかし、こんなこと不可能ですよね？

**１３２人目の素数さん** · 2017/11/28(火) 21:20:27.39

【ミニロトの当選数(5個)の総和の問題】

ミニロト(1～31)当選数字の組合せ(169911通り)のそれぞれの総和の平均を答えてください

最小は(01 02 03 04 05)で15 ①
最大は(27 28 29 30 31) で145

上記の2つだけなら(15+145)/2=80
ですね

総和が同数の組合せがいくつもあります
①に数字を足していくと考えます (a b c d e)
2番目の最小(0 0 0 0 1) で(01 02 03 04 06)
3番目は(0 0 0 0 2)と(0 0 0 1 1) 足す数字が増えるにつれて組合せも増えます。つまり、
a ≦b ≦c ≦d ≦e でa+b+c+d+e＝1～130
のパターンを考える問題です
できる人いますか？

**１３２人目の素数さん** · 2017/11/28(火) 21:30:08.94

最初に書いた通り80ちゃうん？

**１３２人目の素数さん** · 2017/11/28(火) 21:31:00.60

>>177
パクりか？
どっかで見たことある問題だな

**１３２人目の素数さん** · 2017/11/28(火) 21:40:38.15

>>176
＞電気力線1本あたりの本数を、本当の本数に比例させることを考える、すなわちスケール変換することを考えましょう

意味不明

**１３２人目の素数さん** · 2017/11/28(火) 21:56:20.89

p素数で
pがxyを割らないというのと、(p,xy)=1というのは同値ですか？

**１３２人目の素数さん** · 2017/11/28(火) 22:06:24.96

>177
Σ[e=d+1,31]Σ[d=c+1,30]Σ[c=b+1,29]Σ[b=a+1,28]Σ[a=1,27](a+b+c+d+e)=80*C[31,5]

**１３２人目の素数さん** · 2017/11/28(火) 22:14:25.16

>>182 訂正
Σ[a=1,27]Σ[b=a+1,28]Σ[c=b+1,29]Σ[d=c+1,30]Σ[e=d+1,31](a+b+c+d+e)=80*C[31,5]

**１３２人目の素数さん** · 2017/11/28(火) 22:26:39.68

>>182
ありがとうございます総和は長大な数列になり平均は80ということですね

**１３２人目の素数さん** · 2017/11/28(火) 22:42:27.69

x∈[a,b] に対して f_0(x)=f(x)
f_n(x)=∫[a,x]f_(n-1)(t)dt と定めるとき
f_n(x)=∫[a,x](f(t)(x-t)^(n-1))/(n-1)!dt が成り立つことを示して下さい

**BLACKX** ◆jPpg5.obl6 · 2017/11/28(火) 23:16:24.46

https://imgur.com/ZOphQTF.jpg
整数の分割と言う参考書の
6.10の式の代数操作後の式の代数操作の詳細がわかりません。
どのような操作を行うと操作後の式になりますか。ご教授お願いします。

**１３２人目の素数さん** · 2017/11/28(火) 23:24:09.55

>>183

　Σ[a=1,27] Σ[b=a+1,28] Σ[c=b+1,29] Σ[d=c+1,30] Σ[e=d+1,31] (a+b+c+d+e)
= Σ[a=1,27] Σ[b=a+1,28] Σ｢c=b+1,29] Σ[d=c+1,30] (1/2)(31-d)(32+2a+2b+2c+3d)
= Σ[a=1,27] Σ[b=a+1,28] Σ[c=b+1,29] (1/2)(30-c)(31-c)(32+a+b+2c)
= Σ[a=1,27] Σ[b=a+1,28] (1/4)(29-b)(30-b)(31-b){32+(2a+5b)/3}
= Σ[a=1,27] (1/12)(28-a)(29-a)(30-a)(31-a)(32+3a/2)
= 27*28*29*30*31*(2/3)
= 80 C[31,5]
= 13592880.

**１３２人目の素数さん** · 2017/11/29(水) 00:21:43.96

>>185
f_n(x)=∫[a,x](f(t)(x-t)^(n-1))/(n-1)!dt
・1の時は明らかに成り立つ
・nまで成り立つと仮定
f_[n+1] (x) = ∫[a,x] ds f_n(s)
= ∫[a,x] ds ∫[a,s] dt (f(t)(s-t))^(n-1))/(n-1)!
= ∫[a,x] dt ∫[t,x] ds (f(t) (s-t)^(n-1))/(n-1)!
= ∫[a,x] dt f(t)/(n-1)! ∫[t,x] ds (s-t)^(n-1)
= ∫[a,x] dt f(t)/(n-1)! ((x-t)^n) /n
= ∫[a,x](f(t)(x-t)^n)/n!dt
帰納法云々。
積分順序の変更については図を参照

**１３２人目の素数さん** · 2017/11/29(水) 01:33:51.27

(√m+√n)^k-(√m-√n)^kが整数になる条件が分かりません。
m,n,kは整数です。
これを利用して(√m+√n)^kに最も近い整数を求めようと考えています。

**１３２人目の素数さん** · 2017/11/29(水) 01:41:20.71

(√m+√n)^k-(√m-√n)^k
は、
(√m+√n)^k+(√m-√n)^k
の間違いじゃないですか？
こうであれば、
|√m-√n|<1　のときは、kが大きくなれば、（偶数の時）どんどん、何らかの整数に
近い数になっていきます。

**１３２人目の素数さん** · 2017/11/29(水) 03:00:19.69

ベクトルを用いた三角形の面積の式のルートの内側に見えてきた
前に1/2かなんかと後ろにCOSが入るのかな？

**１３２人目の素数さん** · 2017/11/29(水) 05:44:08.62

>>188
積分順序の変更以外の方法でお願いしてもいいですかね
一応この問題は原始関数や部分積分までの知識で解ける問題らしいです

**１３２人目の素数さん** · 2017/11/29(水) 06:49:02.57

>>176
こっちで援軍求めても誰も相手にしないよｗｗｗｗｗｗ

**１３２人目の素数さん** · 2017/11/29(水) 08:25:09.49

F(x)=(ax^2+be+c)/(dx+e)

の二次導関数でなんですか？
自分でやったら(2(e^2-bed+cd^2))/((dx+e)^3)
になったんですが確認お願いします。

**１３２人目の素数さん** · 2017/11/29(水) 08:34:41.46

>>169
測れ。

**１３２人目の素数さん** · 2017/11/29(水) 09:49:10.50

>>192 そこまで分かってるのに... クイズなん？
積分順序変更がザコすぎるのか高度すぎるのか知らんけど好きに解いたらいいじゃん。

定義より
f_[n](a) = 0、f_[n]'(t) = f_[n-1] (t)

f_[n](x) = ∫[a,x] f_[n-1](t) dt
= ∫[a,x] f_[n-1](t) (t-x)' dt
= [f_[n-1](t) (t-x)] - ∫[a,x] f_[n-1]'(t) (t-x) dt
= 0 + ∫[a,x] f_[n-2](t) (x-t) dt
= ∫[a,x] f_[n-2](t) (-(x-t)^2/2!)' dt
= ∫[a,x] f_[n-3](t) (x-t)^2/2! dt
.....
= ∫[a,x] f_[0](t) (x-t)^(n-1)/(n-1)! dt

**１３２人目の素数さん** · 2017/11/29(水) 11:16:52.81

関数方程式の問題です
解説に分からないところがあります
https://i.imgur.com/DEQrTjh.jpg
https://i.imgur.com/rnpY9rj.jpg
https://i.imgur.com/qHMV1ot.jpg
二枚目の下線部がどうしてそうなるのかが分からないので教えてください

**１３２人目の素数さん** · 2017/11/29(水) 11:18:07.75

>>197
ある無矛盾な公理系τの任意のモデルに対してある論理式φが常に真となるならば、τからφがLKにおいて証明可能となることを示せ、という問題がわかりません

**１３２人目の素数さん** · 2017/11/29(水) 11:19:49.49

>>198
？

**１３２人目の素数さん** · 2017/11/29(水) 11:20:13.84

>>199
ペアノ算術を含む任意の無矛盾な公理系に対し、あるモデルM,Nおよび論理式φが存在して、M|=φかつN|≠φとできることを示せ、という問題がわかりません