- 1 名前：１３２人目の素数さん [2007/11/15(木) 08:01:29 BE:75737142-2BP(12)]
- さあ、今日も１日頑張ろう★☆
前スレ
分からない問題はここに書いてね２８０
science6.2ch.net/test/read.cgi/math/1193029141/
- 705 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 18:47:38 ]
- >>703
分子 = sin^2 = 1 - cos^2 = ( 1 + cos )( 1 - cos )
あとは分母と約分…だろうか？
- 706 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 18:48:08 ]
- >>703
Tan(x/2)=tで必ず積分できる事が証明されている
- 707 名前：１３２人目の素数さん [2007/12/01(土) 18:50:22 ]
- >>705
なるほど
sin^2+cos^2=1を利用するのですね！
ありがとうございます！
- 708 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 19:05:47 ]
- >>704
部分分数展開する。
- 709 名前：１３２人目の素数さん [2007/12/01(土) 20:26:19 ]
- >>708
その展開がうまくできませぬ
- 710 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 20:31:06 ]
- とっとと数IIIの教科書でも読み直せ。
- 711 名前：１３２人目の素数さん [2007/12/01(土) 20:33:17 ]
- >>709
a/s +(bs+c)/(s^2+16)
as^2+16a+bs^2+cs=s^2+8
a+b=1
c=0
16a=8
a=1/2,b=1/2
(1/2)(1/s) +(1/2)(1/4)(4/(s^2+4^2)
L^-1(1/s)=1
L^-1(4/(s^2+4^2))=sin4t
- 712 名前：１３２人目の素数さん [2007/12/01(土) 21:59:04 ]
- [(1/2x^2)-3logx][1→e]
がe^2-7/2なんですがうまく納得できません
- 713 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 22:02:28 ]
- (1/2)e^2-3-(1/2)=(e^2-7)/2
- 714 名前：１３２人目の素数さん [2007/12/01(土) 22:53:04 ]
- >>713
ケアレスミスしてました。
助けてくれてありがとうございます
- 715 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 23:20:01 ]
- x^n+px+qの判別式を求めよ。
行列式が解けないんだけど、他に解き方でもあるんでしょうか。
- 716 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 23:28:01 ]
- また出た。行列式を「解く」
- 717 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 23:28:33 ]
- >>715
n*(x^n+px+q) - x*(n x^(n-1) + p) = (n-1) px + nq
- 718 名前：１３２人目の素数さん mailto:sage [2007/12/01(土) 23:31:24 ]
- a=Det[matrix]を解け、なら何の問題も無いのに何で微妙な言い回しになるんだろうか
- 719 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 00:32:05 ]
- 「XXについての問題を解く」でもおけ。
- 720 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 00:36:52 ]
- じゃあ行列式を計算することはなんていえばいい？
計算するってのは違和感あるような気がするんで。
- 721 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 00:50:10 ]
- 別に計算するでいいんじゃないの？
- 722 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 01:05:51 ]
- そうですか
- 723 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 01:07:23 ]
- ああ
- 724 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 01:34:00 ]
- 行列式の値を求めるでもいいんでないか
- 725 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 02:24:12 ]
- ああ
- 726 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 02:31:29 ]
- >>720
中学校くらいから国語やり直せ
- 727 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 05:15:26 ]
- 中学からやり直してもそんなものは教えてもらえない。
- 728 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 10:42:29 ]
- >>720
以下、独断と偏見で勝手に定義しているから間違えているかも。
計算する→最初の式より簡単な式や値に等価変換すること。
解く→文章問題等の答えや方程式の解を求めること。
方程式がなぜ下なのか分からないかもしれないので補足すると
x^2+2x+1=0
(x+1)^2=0
x=-1(2重解)
の式は、最初の式より簡単にはなってないよね？ってこと。
ただし、x^2+2x+1=(x+1)^2は、解くではなく計算する。
- 729 名前：１３２人目の素数さん [2007/12/02(日) 11:21:50 ]
- しったかぶりおぜき
ぎざきもす死ね
- 730 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 11:43:08 ]
- >715
判別式は根の差積の2乗で、f(x) が重根をもつとき0である。
あるいは、f(x) と f '(x) が共通根をもつとき0である。
{f(x), f '(x)} で互除法した結果は
D = {xの(n-2)次式}f(x) + {xの(n-1)次式}f '(x),
と書けるが、 >717 によれば
D = p^(n-1)･f '(x) - {xの(n-2)次式}{nf(x)-xf '(x)}
= p^(n-1)･{nx^(n-1) + p} - Q(x){(n-1)px + nq},
剰余の定理から
D = p^(n-1)･f '(-nq/(n-1)p) = (n^n)(-q/(n-1))^(n-1) + p^n,
(蛇足)
D = (-1)^(n(n-1)/2)･R(f,f ')
ここに
R(f,g) = Π[i=1,n] Π[j=1,m] (α_i-β_j),
は f(x) の根α_i と g(x)の根β_j の差の積で、終結式（resultant, eliminant）とか言うらしい。
{f(x),g(x)} で互除法した結果だな。
mathworld.wolfram.com/PolynomialDiscriminant.html
mathworld.wolfram.com/Resultant.html
- 731 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 12:37:03 ]
- ある弁護士はn人の顧客を抱えている。
顧客と連絡を取りやすくする為に、弁護士事務所と顧客の住所との距離の２乗の和を最小にするように事務所を構えたい。
事務所をどこに構えれば良いか。
どこに構えれば良いんでしょう。
- 732 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 12:42:40 ]
- 成増
- 733 名前：１３２人目の素数さん [2007/12/02(日) 12:55:04 ]
- >>731
品川
- 734 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 12:55:51 ]
- >>731
顧客の家の中ｗ
- 735 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 13:33:10 ]
- まず何次元空間で話をしているかを明らかにしてくれんとね
- 736 名前：731 mailto:sage [2007/12/02(日) 13:38:08 ]
- ですよね。実際問題文はこれだけなんですけど。
とりあえず僕の大好きな二次元空間ということでお願いします
- 737 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 13:45:22 ]
- 「顧客の住所との距離の２乗の和を最小にする」場所におけばいい。
この点には特に名前が付いていないから、こうとしか述べられないが、
簡単な二次計画なので、効率的に計算することができる。
- 738 名前：期末 [2007/12/02(日) 13:48:06 ]
- n=6、３のn乗って公式はないんですか？
地道に計算するしかないですか？
教えて下さい。
- 739 名前：期末 [2007/12/02(日) 13:49:46 ]
- すいません
ちなみにΣの計算です
6ΣK=1 ３K乗です
- 740 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 13:56:06 ]
- >>739
初項3、公比3、項数6の等比数列。等比数列の和の公式くらい知ってるだろう？
- 741 名前：１３２人目の素数さん [2007/12/02(日) 13:56:53 ]
- >>738-739
普通に等比数列の和の公式から。
- 742 名前：１３２人目の素数さん [2007/12/02(日) 14:39:03 ]
- ∫[0→π/2]cos^2xdx/2
回答ｈaπ+2/4です
- 743 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 14:42:09 ]
- cos^2x=(1+cos2x)/2
- 744 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 15:05:01 ]
- 解説をお願いします。
次の方程式を解け
x^4-3x^2+1=0
- 745 名前：１３２人目の素数さん [2007/12/02(日) 15:06:10 ]
- ばか？>>744
- 746 名前：１３２人目の素数さん [2007/12/02(日) 15:08:36 ]
- 744はそんなものを分からないなら、諦めた方がいい。
- 747 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 15:13:15 ]
- すみません、馬鹿です
- 748 名前：１３２人目の素数さん [2007/12/02(日) 15:17:51 ]
- バカなら多元スレにでも行け
- 749 名前：某ing mailto:sage [2007/12/02(日) 15:19:54 ]
- >>744 ,747
x^4 -3x^2 +1 = (x^2 -1)^2 -x^2 = (x^2 +x-1)(x^2 -x-1),
- 750 名前：744 mailto:sage [2007/12/02(日) 15:25:44 ]
- 4次方程式の解の公式を習っていないので、
因数定理や剰余の定理を使って解きたいのですが分かりませんでした。
それでもお前は馬鹿だ、というなら失礼します。
- 751 名前：744 mailto:sage [2007/12/02(日) 15:27:06 ]
- >749
ありがとうございます。スレ汚し失礼しました。
- 752 名前：１３２人目の素数さん [2007/12/02(日) 15:28:45 ]
- バカ
- 753 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 15:31:40 ]
- いるよなー、公式にあてはめることしか考えられない馬鹿。
- 754 名前：某ing mailto:sage [2007/12/02(日) 15:35:02 ]
- >744 ,747,750
x^2 =t とおけば2次方程式で
t^2 -3t +1 ={t-(3/2)}^2 - (5/4),
t = (3±√5)/2 = {(√5 ±1)/2}^2,
だな。
- 755 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 16:07:54 ]
- バネ定数k
バネ長さl
重力加速度g
先端の物体の質量m
棒にひっついてるやつの質量M
棒にひっついてるやつの高さy
として運動エネルギーと位置エネルギー教えてください
先端の座標は(lcosθ、y+lsinθ)、棒にひっついてるやつの座標(0、y)だと思います
全て時間変化します
図にするとこんな感じです
ttp://kjm.kir.jp/pc/index.php?p=48345.jpeg
- 756 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 16:08:54 ]
- url間違えました
ttp://kjm.kir.jp/pc/?p=48345.jpeg
- 757 名前：１３２人目の素数さん [2007/12/02(日) 16:09:30 ]
- >>754
ライプニッツ先生も誤りを犯した
その手の方法はあまりおすすめできない。
- 758 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 16:12:51 ]
- Rosserの定理の証明を見たいんだけど英語か日本語で、読む事はできないかな？
証明が載ってる本で簡単に手に入るようなのでもいいから教えてもらえるとありがたい
【Rosserの定理】
n番目の素数をPnで表現する（P1＝2、P2＝3、…）
この時 Pn ＞ nlogn が成立する
- 759 名前：１３２人目の素数さん [2007/12/02(日) 17:27:32 ]
- そんなもん、簡単だから自分で証明しろ
- 760 名前：１３２人目の素数さん mailto:age [2007/12/02(日) 17:52:28 ]
- >755
物理板できけ馬鹿
- 761 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 17:58:09 ]
- 質問者じゃないが
>>759
本当？少なくとも元論文の証明は決して簡単とはいえないと思うけど。
もし簡単だというのなら、アウトラインを示して欲しいなあ。
- 762 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 18:22:04 ]
- 板違いすみません
物理板いってきます
- 763 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 19:12:53 ]
- お前らは高校レベルの物理もできないのか
- 764 名前：758 mailto:sage [2007/12/02(日) 20:11:41 ]
- >>759
n・lognはともかくとして
素数列Pnの取り扱いをどうしていいか、全然分かりません。
どう考えるんだろうか取っ掛かりも謎なので、
手っ取り早く証明を読んで理解したいわけです。
>>761
Rosser自身の論文で無くても構わないのだけど、
いい書籍なんかがあれば（特に絶版でないようなものがあれば）教えて下さい。
- 765 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 20:44:04 ]
- >>764
専門外なんでよく調べてないんだが、
俺は元論文以外で完全な証明を見たことがない。
元論文の方針は、Digamma 関数 ψに対して m 番目の素数 p(m) を
突っ込んだものを上と下から評価すると、十分大きな m に対して
上から p(m) くらい、下から m log m くらいで抑えられる、というもの。
どれくらい大きければ十分か、という評価がキーポイントで、
e^50 とか 1468 とかいうマジックナンバーが飛び回る証明になっている。
あなたの知識にもよるが、手っ取り早く理解できるような代物ではないと思う。
なお、元論文が今でもだいたいの大学からは落とせるはず。
- 766 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 22:07:56 ]
- >761
x≧e^e のとき ln(ln(x)) ≧ 1,
1 ≧ {1+ln(x)}/{ln(x) + ln(ln(x))} = {1+ln(x)}/{ln(x･ln(x))},
これを e^e≦x≦n で積分して、
n - e^e ≧ ∫[e^e, n] {1+ln(x)}/{ln(x･ln(x))}dx
= ∫[e^(e+1), n･ln(n)] 1/ln(y) dy (← y=x･ln(x) )
= Li(n･ln(n)) - Li(e^(e+1))
≒ π(n･ln(n)) - π(exp(e+1)), (← 怪しい…)
∴ n ≧ π(n･ln(n)) + e^e - π(e^(e+1))
= π(n･ln(n)) + 15.15426224… -13
> π(n･ln(n)) + 2,
π(x) = #{p|pは素数、p≦x} はp_nの逆函数なので、
p_n ≧ n･ln(n),
- 767 名前：758 mailto:sage [2007/12/02(日) 22:13:41 ]
- >>765
素早いレス感謝です。
当方もう既卒で数年経っており指導教官と連絡を取るぐらいしか大学にコネはないんですが、
まだ同じ職場で勤務しておられるかも謎で、まず其処から始めなくてはならないようです。
証明自体は何やらとんでもない数が出てきてますね。
私は確率過程なんかをやっておりましたが数論は専門外ですし
知識的にも錆びついてますから、なかなか理解するのは大変そうですが、
論文さえ手に入れば、別に焦っておりませんのでゆっくりと理解して行こうかと思います。
どうも丁寧にありがとう御座いました。
- 768 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 22:52:47 ]
- >>767
ttp://hey.chu.jp/up/source3/No_10369.pdf
- 769 名前：766 mailto:sage [2007/12/02(日) 23:03:41 ]
- >761
Li(x) > π(x)
はたぶん成り立つだろうな…（Riemannの函数を持ち出す迄もなく)
mathworld.wolfram.com/PrimeCountingFunction.html
- 770 名前：１３２人目の素数さん mailto:sage [2007/12/02(日) 23:07:22 ]
- それはわかってて言ってるんだよな？
- 771 名前：１３２人目の素数さん [2007/12/03(月) 05:49:40 ]
- なんかここで質問答えてるやつはプライドだけは高いな
- 772 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 05:54:32 ]
- ageるほど価値ある陳述なんですね
ありがたや、ありがたや
- 773 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 09:36:40 ]
- お前らへの愛こそが俺のプライド
- 774 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 10:16:14 ]
- ある資格試験の受験者は2600名で、その平均点は296点、標準偏差は52点であった
合格最低点を360点と設定したとき、合格者はおよそ何人になるか
ただし得点の分布は正規分布に従うものとする
この問題おねがいしますm(_ _)m
- 775 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 10:48:25 ]
- >>774
正規分布表の見方は知っているか？
- 776 名前：１３２人目の素数さん [2007/12/03(月) 12:54:12 ]
- ∫[0,∞]x*e^(-x)*sin(x)dx=1/2を証明せよ
どなたか宜しくお願いします。
- 777 名前：776 [2007/12/03(月) 13:26:35 ]
- 自己解決しました
- 778 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 17:50:24 ]
- k≧n H(n,k)を重複組合せ、C(n,k)を二項係数として
Σ[i=n,k]H(n,i)=Σ[i=n,k]C(n+i-1,i)=Σ[i=0,k-n]C(2n+i-1,n-1)
と変形したのですがこれ以上簡単になるのでしょうか？
- 779 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 18:04:58 ]
- >>778
もっと簡単にできます。Hint:
C(n,r)＝C(n-1,r)+C(n-1,r-1)
をうまく使う。
- 780 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 18:19:36 ]
- >>773
ｶｯｺﾖｽ
- 781 名前：758 mailto:sage [2007/12/03(月) 21:09:14 ]
- >>768
おおおぉ、論文が上がってる！
何方かわからないけれど素敵すぐる。
ディスプレイの前で手を合わせるぐらいに、ていうか合わせて感謝。
>>766
素数定理とか、そっちの方からのアプローチなんですね。
π（ｘ）って何？という低レベルなので…ええ、味噌汁で顔を洗って出直しますorz
ともあれ、ありがとう御座いました。
- 782 名前：766 mailto:sage [2007/12/03(月) 22:06:11 ]
- >>766 を改良…
n = Li(n･ln(n)) - Li(e^(e+1)) + e^e
= Li(n･ln(n)) - 15.11664665… + 15.15426224…
= Li(n･ln(n)) + 0.03761559…
- 783 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 22:19:06 ]
- >>781
味噌汁の出汁はきちんととるように
- 784 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 22:20:00 ]
- >>779
㌧ｸｽです。
H(n,i) = C(n+i-1,i) = C(n+i-1,n-1) = C(n+i,n) - C(n+i-1,n)
でつね?
- 785 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 22:59:48 ]
- >>779
>>784
ども。以下の計算に必要なのでした。
x_1 + x_2 + … + x_n = k を満たす非負整数(x_1,x_2,…,x_n)の組合せの数はH(n,k)通り．
x_1 + x_2 + … + x_n ≦ k を満たす非負整数(x_1,x_2,…,x_n)の組合せの数はΣ[i=0,k]H(n,i)=C(n+k,n) 通り．
Σ[i=0,k]H(n,i)=Σ[i=0,k](C(n+i,n) - C(n+i-1,n))
=C(n,n) - C(n-1,n) +C(n+1,n) - C(n,n) +C(n+2,n) - C(n+1,n) + C(n+3,n) - C(n+2,n)
...+ C(n+k-3,n) - C(n+k-4,n)+ C(n+k-2,n) - C(n+k-3,n)+ C(n+k-1,n) - C(n+k-2,n)+ C(n+k,n) - C(n+k-1,n)
= C(n+k,n) - C(n-1,n) =C(n+k,n)
x_1 + x_2 + … + x_n = k (k≧n)を満たす 自然数(x_1,x_2,…,x_n)の組合せの数はH(n,k-n)=C(k-1, n-1)通り．
x_1 + x_2 + … + x_n ≦k (k≧n)を満たす 自然数(x_1,x_2,…,x_n)の組合せの数はC(k, n)通り．
(k≧n)
Σ[i=n,k]C(i-1, n-1)=C(n-1, n-1)+C(n, n-1)+C(n+1, n-1)+C(n+2, n-1)...+C(n+(k-n-1), n-1)
=1+C(n, 1)+C(n+1, 2)+C(n+2, 3)+C(n+3, 4)...+C((k-1), k-n)
=1+Σ[i=1,k-n]C(n+i-1, i)=C(k, k-n)=C(k, n)
- 786 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 23:10:32 ]
- x_1 + x_2 + … + x_n ≦ k
を満たす自然数(x_1,x_2,…,x_n)の組合せの数は
x_1 + x_2 + … + x_n + x_{n+1} = k
を満たす自然数(x_1,x_2,…,x_n, x_{n+1} )の組合せの数と同じ
- 787 名前：１３２人目の素数さん mailto:sage [2007/12/03(月) 23:11:48 ]
- ×自然数
○非負整数
- 788 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 07:54:24 ]
- >>775
はい、分かります
- 789 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 08:20:07 ]
- >>788
では、正規分布表の（(360-296)/52)あたりを見たうえで
分布表が片側か両側かに注意すれば
不合格者の率がわかるだろう。
- 790 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 10:54:24 ]
- >>789
なるほど
分かりました、やってみます!
- 791 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 10:56:13 ]
- ∫[ｰ∞,∞]e^(ｰiωx)/(√|x|)dx (x≠0)
の求め方を教えて下さい。
- 792 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 11:13:20 ]
- >>791
ませまてぃかさんにきいてみる。
- 793 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 11:21:10 ]
- >>790
おいおい
正規分布表の見方がわかっているのに
その問題がわからないということは
分布表に何が書いてあるのかが
わかっていないということだぞ。
- 794 名前：１３２人目の素数さん [2007/12/04(火) 13:08:23 ]
- 次の問題が分かりません。tan(y/2)=t と変数変換すれば左辺は解けるのは
分かっているのですが、その後の変形が上手くいかず、一般解をどうやって求めて
いいのか分かりません（x=○と言う形に変形できないと言う意味です。）。
よろしくお願いします。
次の一般解を求めよ
∫dy/cosy=∫dx/(1-x^2)
- 795 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 13:24:18 ]
- >>794
t=tan(y/2) なんて最終手段だろ。もっと平易に計算できる。
nが奇数のとき、∫(cosy)^n dy はどう求めるの？
- 796 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 13:30:29 ]
- >>794
左辺を解くとはどういうことか
- 797 名前：795 mailto:sage [2007/12/04(火) 13:31:54 ]
- >>796
それはもう飽きた
- 798 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 13:32:00 ]
- 事故解決しました
- 799 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 13:33:19 ]
- >>798
お前誰だ
- 800 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 14:17:02 ]
- >>797
そんなことは知らん
>>796は正しい指摘だ
- 801 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 14:30:02 ]
- >800
疑問文が「指摘」であるとはどういうことか
- 802 名前：１３２人目の素数さん [2007/12/04(火) 14:32:29 ]
- A地点からC地点までの距離は105kmである。
小杉君はA地点を午前10時30分に出発して一定の速さでC地点に向かい、
同時に中原君はC地点を出発して一定の速さでA地点に向かった。
その結果、小杉君は途中のB地点で中原君と出会ってから8時間後にC地点に到着し、
中原君のほうはB地点で小杉君に出会ってから6時間7分30秒後にA地点に到着したという。
小杉君、中原君の時速をxkm, ykm とすると、
x と y の関係式として
_________×y/x=8x/y
が得られる。________に入る値を求めよ。
105=8x+49y/8 以外のもうひとつの関係式だと思うのですが、
何に注目すればいいのかわかりません。お願いします。
- 803 名前：１３２人目の素数さん [2007/12/04(火) 14:48:35 ]
- 漠然とした質問ですが、不変式論を使って多項式の既約性を示す方法って何かあるんでしょうか？
- 804 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 14:52:20 ]
- >>802
それなんて川崎市？
右辺
＝小杉の速さ×小杉がBCに要した時間÷中原の速さ
＝BCの距離÷中原の速さ
＝中原がBCに要した時間
＝小杉がABに要した時間
＝ABの距離÷小杉の速さ
＝中原の速さ×中原がABに要した時間÷小杉の速さ
＝左辺
- 805 名前：１３２人目の素数さん [2007/12/04(火) 15:09:42 ]
- >>804
ありがとうございました！
川崎市？ 川崎市の高校の受験問題かということですか？
問題だけ聞かれたのですいませんがわかりません。
- 806 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 15:20:32 ]
- >>801
疑問文はわからないことを尋ねる時だけに使うものではないということだ。
- 807 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 15:22:05 ]
- >>805
小杉と中原が川崎の地名だというだけの話だ気にすんな。
- 808 名前：１３２人目の素数さん [2007/12/04(火) 15:45:12 ]
- >>801
反語表現「～であろうか(いや～ではない)」のように裏に省略があるということだよ。
- 809 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 15:59:08 ]
- 関数u=(1-√(lg(n)/n))^(√(nlg(n))がn>2の時、単調減少である事を証明したいのですが、どうすれば良いのでしょうか
一階微分が常に負である事を示そうとしたのですが、かなり複雑な式になってしまい無理でした。
lgは底を2とする対数です。
- 810 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 17:48:32 ]
- >>809
d{ln(u)}/dn の中に含まれる ln(1－√(lg(n)/n)) を －√(lg(n)/n) に変えると
式の値が少し大きくなります。その少し大きくなった式が、それでもなお負である
ことを示せば d{ln(u)}/dn < 0 を(従って du/dn <0 を)示したことになります。
私自身は最初は x=√(n*lg(n))、y=√(lg(n)/n) という補助変数を導入し、
・xがnの単調増加関数であること
・x,yは独立ではなく ln(2)xy=ln(x/y) という関係をみたしていること
に注意して、まず dy/dx ＝ (x/y)*{1-ln(x/y)}/{1-ln(x/y)} を導き、それを
利用して d{ln(u))/dx を計算しましたが、結局最後の式はnで表して
最後の詰め(とある関数の極大値の符号計算)はPCによる数値計算に頼って
しまいました。
- 811 名前：１３２人目の素数さん mailto:sage [2007/12/04(火) 17:51:03 ]
- × まず dy/dx ＝ (x/y)*{1-ln(x/y)}/{1-ln(x/y)} を導き、
○ まず dy/dx ＝ (y/x)*{1-ln(x/y)}/{1-ln(x/y)} を導き、
- 812 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 02:12:29 ]
- >794
x=sinθ とおくと
∫ dy/cos(y) = ∫dθ/cosθ,
- 813 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 02:36:51 ]
- >>808
裏に省略があるのか。なら >>794 にも裏に省略があるんだろうよ。
- 814 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 03:46:00 ]
- >>809,810
2ln(2) * (√(n*lg(n))) * (n-√(n*lg(n))) * ((d/dn)ln(u))
= (ln(n)+1) * (n-√(n*lg(n))) * log(1- √(lg(n)/n)) + (ln(n)-1) * √(n*lg(n))
＜ (ln(n)+1) * (n-√(n*lg(n))) * (-√(lg(n)/n)) + (ln(n)-1) * √(n*lg(n))
= (√lg(n)) {(ln(n)+1)(√lg(n)) - 2√n}
だから
(ln(n)+1)(√lg(n)) - 2√n ＜ 0
を言えばよい
あとは簡単
- 815 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 07:45:24 ]
- >>803
漠然としすぎてるね。もう少し具体的に？
- 816 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 13:41:45 ]
- >>813
その省略されているところが質問の答えだ。
それがわからないから聞いているんだろう。
- 817 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 20:26:12 ]
- >>810,814
ありがとうございます。
- 818 名前：810=811 mailto:sage>> [2007/12/05(水) 20:50:17 ]
- うっく >>811 にはまだ誤植が残っているな。分母と分子の両方に
1-ln(x/y) があるけれど、分母の方は 1+ln(x/y) だ。
>>817
どんな分野に出てきた数式なのか、興味があります。
- 819 名前：１３２人目の素数さん mailto:sage [2007/12/05(水) 21:03:23 ]
- >>818
行列乗算アルゴリズムの開発中に出てきました。
まだ証明の概要しか把握できていませんが、これで停滞していた部分を進めれそうです。
ありがとうございました
|
 |
